Найти объСдинСниС пСрСсСчСниС ΠΈ Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств Π° ΠΈ Π²: Найти объСдинСниС, пСрСсСчСниС, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств А ΠΈ Π’, Ссли: А={1,2,3,4,5,6},

1.1.4 ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мноТСствами

Π’ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π½Π°Π΄ мноТСствами ΠΈΠ· ΠΎΠ΄Π½ΠΈΡ… мноТСств ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΠΎΠ»ΡƒΡ‡Π°Ρ‚ΡŒΡΡ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ мноТСства. ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ ΠΈΠ· этих ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ – объСдинСниС, пСрСсСчСниС ΠΈ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ мноТСств. ΠšΡ€ΠΎΠΌΠ΅ Ρ‚ΠΎΠ³ΠΎ, часто ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΡŽΡ‚ΡΡ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ разности ΠΈ симмСтричСской разности мноТСств.

ОбъСдинСниС мноТСств. ΠŸΡƒΡΡ‚ΡŒ Π·Π°Π΄Π°Π½Ρ‹ мноТСства A ΠΈ Π’. ОбъСдинСниС этих мноТСств – мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ ΠΈΠ»ΠΈ мноТСству A, ΠΈΠ»ΠΈ мноТСству B (Ρ‚.Π΅. хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎΠΌΡƒ ΠΈΠ· Π½ΠΈΡ…). ОбъСдинСниС Π΄Π²ΡƒΡ… мноТСств ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ ΠΊΠ°ΠΊ .

Аналогично опрСдСляСтся объСдинСниС Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… мноТСств. ΠŸΡƒΡΡ‚ΡŒ Π΄Π°Π½Ρ‹ мноТСства . Π˜Ρ… объСдинСниС — мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎΠΌΡƒ ΠΈΠ· этих мноТСств. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ объСдинСния Π² этом случаС обозначаСтся ΠΊΠ°ΠΊ, ΠΈΠ»ΠΈ.

ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ мноТСств. ΠŸΡƒΡΡ‚ΡŒ Π·Π°Π΄Π°Π½Ρ‹ мноТСства A ΠΈ Π’

. ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ этих мноТСств – мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ ΠΈ мноТСству A, ΠΈ мноТСству B (Ρ‚.Π΅. ΠΎΠ±ΠΎΠΈΠΌ мноТСствам сразу). ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… мноТСств ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ ΠΊΠ°ΠΊ .

Аналогично опрСдСляСтся пСрСсСчСниС Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… мноТСств. ΠŸΡƒΡΡ‚ΡŒ Π΄Π°Π½Ρ‹ мноТСства . Π˜Ρ… пСрСсСчСниС — мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ всСм этим мноТСствам сразу. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ пСрСсСчСния Π² этом случаС обозначаСтся ΠΊΠ°ΠΊ, ΠΈΠ»ΠΈ.

Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ мноТСства. ΠŸΡƒΡΡ‚ΡŒ Π·Π°Π΄Π°Π½ΠΎ мноТСство A. Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ этого мноТСства – мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π½Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ мноТСству A. Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ мноТСства ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ ΠΊΠ°ΠΊ .

Π Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств. ΠŸΡƒΡΡ‚ΡŒ Π·Π°Π΄Π°Π½Ρ‹ мноТСства A ΠΈ Π’. Π Π°Π·Π½ΠΎΡΡ‚ΡŒ этих мноТСств – мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ мноТСству

A, Π½ΠΎ Π½Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ мноТСству B. Π Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ ΠΊΠ°ΠΊ S = A \ B.

БиммСтричСская Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств. ΠŸΡƒΡΡ‚ΡŒ Π·Π°Π΄Π°Π½Ρ‹ мноТСства A ΠΈ Π’. БиммСтричСская Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ этих мноТСств – мноТСство, состоящСС ΠΈΠ· всСх Ρ‚Π΅Ρ… ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅Ρ… элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ ΠΈΠ»ΠΈ мноТСству A, ΠΈΠ»ΠΈ мноТСству B, Π½ΠΎ Π½Π΅ ΠΈΠΌ ΠΎΠ±ΠΎΠΈΠΌ сразу. Π‘ΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ ΠΊΠ°ΠΊ S = A  B.

Π‘Π»Π΅Π΄ΡƒΠ΅Ρ‚ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΡ‚ΡŒ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ пСрСсСчСния ΠΈ объСдинСния Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ с нСсколькими мноТСствами (двумя ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅), Π° опСрация дополнСния – с ΠΎΠ΄Π½ΠΈΠΌ мноТСством. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ разности ΠΈ симмСтричСской разности Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ с двумя мноТСствами.

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ разности ΠΈ симмСтричСской разности ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹Ρ€Π°Π·ΠΈΡ‚ΡŒ Ρ‡Π΅Ρ€Π΅Π· ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ пСрСсСчСния, объСдинСния ΠΈ дополнСния:

, (1.1)

. (1.2)

Π­Ρ‚ΠΈ равСнства ΠΌΠΎΠΆΠ½ΠΎ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ Π½Π° основС ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π½Π°Π΄ мноТСствами.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 1. 1 – Π”Π°Π½Ρ‹ мноТСства: A = {2, 7, 9, 12}, B = {3, 6, 7, 12, 15}. Π’Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Π½Π°Π΄ этими мноТСствами ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, рассмотрСнныС Π²Ρ‹ΡˆΠ΅.

A  B = {7, 12}

A οƒˆ B = {2, 3, 6, 7, 9, 12, 15}

A \ B = {2, 9}

B \ A = {3, 6, 15}

A  B = {2, 3, 9, 15}.

Π§Ρ‚ΠΎΠ±Ρ‹ Π½Π°ΠΉΡ‚ΠΈ дополнСния мноТСств A ΠΈ B, Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΡƒΡ‚ΠΎΡ‡Π½ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π² Π΄Π°Π½Π½ΠΎΠΉ Π·Π°Π΄Π°Ρ‡Π΅ имССтся Π² Π²ΠΈΠ΄Ρƒ ΠΏΠΎΠ΄ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΌ мноТСством. ΠŸΡƒΡΡ‚ΡŒ ΠΏΠΎΠ΄ Π½ΠΈΠΌ имССтся Π² Π²ΠΈΠ΄Ρƒ всС мноТСство Ρ†Π΅Π»Ρ‹Ρ… чисСл (ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΠΌ Π΅Π³ΠΎ ΠΊΠ°ΠΊ Z). Π’ΠΎΠ³Π΄Π° Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ мноТСства A ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ ΠΊΠ°ΠΊ = {

a | a οƒŽ Z, a  A}. Аналогично записываСтся Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ мноТСства B: = {b | b οƒŽ Z, b  B}.

ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΡ

1Числа Π²ΠΎ мноТСствах записаны ΠΏΠΎ Π²ΠΎΠ·Ρ€Π°ΡΡ‚Π°Π½ΠΈΡŽ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ для удобства. На самом Π΄Π΅Π»Π΅, порядок элСмСнтов Π²ΠΎ мноТСствах Π±Π΅Π·Ρ€Π°Π·Π»ΠΈΡ‡Π΅Π½. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, пСрСсСчСниС мноТСствAΠΈBΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ ΠΈ ΠΊΠ°ΠΊ {7, 12}, ΠΈ ΠΊΠ°ΠΊ {12, 7}.

2Π‘Π»Π΅Π΄ΡƒΠ΅Ρ‚ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΡ‚ΡŒ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ Π² опСрациях пСрСсСчСния, объСдинСния, Π° Ρ‚Π°ΠΊΠΆΠ΅ симмСтричСской разности порядок мноТСств, с ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ выполняСтся опСрация, Π±Π΅Π·Ρ€Π°Π·Π»ΠΈΡ‡Π΅Π½:,,AB=BA. Говорят, Ρ‡Ρ‚ΠΎ эти ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΎΠ±Π»Π°Π΄Π°ΡŽΡ‚ свойством коммутативности. Π’ Ρ‚ΠΎ ΠΆΠ΅ врСмяA\Bο‚ΉB\A.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 1.2 – Π”Π°Π½Ρ‹ мноТСства:

A = {a | 5 ο‚£ a < 20}, B = {b | b ο‚£ 17}, C = {c | 10 < c ο‚£ 12}. ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π½Π°Π΄ этими мноТСствами:

X = AB = {x | 5 ο‚£ x ο‚£ 17}

X = AοƒˆB = {x | x < 20}

X = A \ B = {x | 17 < x < 20}

X = B \ A = {x | x < 5}

X = AC = {x | 10 < x ο‚£ 12}

X = AοƒˆC = {x | 5 ο‚£ x < 20}

X = A \ C = {x | 5 ο‚£ x ο‚£ 10 ΠΈΠ»ΠΈ 12 < x < 20}

X = C \ A = 

X = = {x | x < 5 ΠΈΠ»ΠΈ x ο‚³ 20}

X = = {x | x ο‚³ 17}.

НОУ ИНВУИВ | ЛСкция | ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π°

Аннотация: РСализация мноТСств Π² ΠŸΡ€ΠΎΠ»ΠΎΠ³Π΅. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мноТСствами: ΠΏΡ€Π΅Π²Ρ€Π°Ρ‰Π΅Π½ΠΈΠ΅ списка Π²ΠΎ мноТСство, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ элСмСнта мноТСству, объСдинСниС, пСрСсСчСниС, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ, Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅, Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅.

ΠšΠ»ΡŽΡ‡Π΅Π²Ρ‹Π΅ слова: мноТСство, встроСнныС структуры, Π΄ΠΎΠΌΠ΅Π½, список, Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, ПО, Ρ‚Π΅ΠΎΡ€Π΅Ρ‚ΠΈΠΊΠΎ-мноТСствСнныС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚, хвост списка, ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ элСмСнта мноТСству, опСрация объСдинСния, опСрация пСрСсСчСния, опСрация разности, ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ мноТСства, ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€, Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚, базис ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ, базис, рСкурсия, Π²Ρ‹Ρ‡ΠΈΡ‚Π°Π½ΠΈΠ΅, тоТдСство, ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅, опСрация Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΡ, ΠΎΡ‡Π΅Ρ€Π΅Π΄ΡŒ, подмноТСство, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ, опСрация дополнСния, Π—Π°ΠΊΠΎΠ½Ρ‹ Π΄Π΅ ΠœΠΎΡ€Π³Π°Π½Π°

Π’ Π΄Π°Π½Π½ΠΎΠΉ Π»Π΅ΠΊΡ†ΠΈΠΈ ΠΌΡ‹ ΠΏΠΎΠΏΡ€ΠΎΠ±ΡƒΠ΅ΠΌ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ ΠΏΡ€ΠΈΠ±Π»ΠΈΠΆΠ΅Π½ΠΈΠ΅ матСматичСского понятия «ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ» Π² ΠŸΡ€ΠΎΠ»ΠΎΠ³Π΅. Π—Π°ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ Π² ΠŸΡ€ΠΎΠ»ΠΎΠ³Π΅, Π² ΠΎΡ‚Π»ΠΈΡ‡ΠΈΠ΅ ΠΎΡ‚ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΈΠΌΠΏΠ΅Ρ€Π°Ρ‚ΠΈΠ²Π½Ρ‹Ρ… языков программирования, Π½Π΅Ρ‚ Ρ‚Π°ΠΊΠΎΠΉ встроСнной структуры Π΄Π°Π½Π½Ρ‹Ρ…, ΠΊΠ°ΠΊ мноТСство. И, Π·Π½Π°Ρ‡ΠΈΡ‚, Π½Π°ΠΌ придСтся Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Ρ‹Π²Π°Ρ‚ΡŒ это понятиС, ΠΎΠΏΠΈΡ€Π°ΡΡΡŒ Π½Π° ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠ΅ΡΡ стандартныС Π΄ΠΎΠΌΠ΅Π½Ρ‹. Π’ качСствС Π±Π°Π·ΠΎΠ²ΠΎΠ³ΠΎ Π΄ΠΎΠΌΠ΅Π½Π° ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌ стандартный списковый Π΄ΠΎΠΌΠ΅Π½, с ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ ΠΌΡ‹ Ρ€Π°Π±ΠΎΡ‚Π°Π»ΠΈ Π½Π° протяТСнии Π΄Π²ΡƒΡ… послСдних Π»Π΅ΠΊΡ†ΠΈΠΉ.

Π˜Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎ ΠΌΡ‹ Π±ΡƒΠ΄Π΅ΠΌ ΠΏΠΎΠ½ΠΈΠΌΠ°Ρ‚ΡŒ ΠΏΠΎΠ΄ мноТСством? ΠŸΡ€ΠΎΡΡ‚ΠΎ список, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π½Π΅ содСрТит ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Ρ… Π²Ρ…ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ элСмСнтов. Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, Π² нашСм мноТСствС любоС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π²ΡΡ‚Ρ€Π΅Ρ‡Π°Ρ‚ΡŒΡΡ Π±ΠΎΠ»Π΅Π΅ ΠΎΠ΄Π½ΠΎΠ³ΠΎ Ρ€Π°Π·Π°.

На самом Π΄Π΅Π»Π΅ я Π½Π΅ знаю Π½ΠΈ ΠΎΠ΄Π½ΠΎΠΉ Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ понятия мноТСства, которая Π±Ρ‹ достаточно Ρ‚ΠΎΡ‡Π½ΠΎ соотвСтствовала этому матСматичСскому ΠΎΠ±ΡŠΠ΅ΠΊΡ‚Ρƒ. НашС ΠΏΠΎΠ΄ΠΎΠ±ΠΈΠ΅ мноТСства Ρ‚Π°ΠΊΠΆΠ΅, ΠΏΠΎ Π±ΠΎΠ»ΡŒΡˆΠΎΠΌΡƒ счСту, лишь отчасти Π±ΡƒΠ΄Π΅Ρ‚ ΠΏΡ€ΠΈΠ±Π»ΠΈΠΆΠ°Ρ‚ΡŒΡΡ ΠΊ «Π½Π°ΡΡ‚оящСму» мноТСству.

Нам прСдстоит Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Π°Ρ‚ΡŒ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Ρ‹, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΡŽΡ‚ основныС Ρ‚Π΅ΠΎΡ€Π΅Ρ‚ΠΈΠΊΠΎ-мноТСствСнныС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ.

НачнСм с написания ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Π°, ΠΏΡ€Π΅Π²Ρ€Π°Ρ‰Π°ΡŽΡ‰Π΅Π³ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹ΠΉ список Π²ΠΎ мноТСство, Π² Ρ‚ΠΎΠΌ смыслС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΌΡ‹ Π΄ΠΎΠ³ΠΎΠ²ΠΎΡ€ΠΈΠ»ΠΈΡΡŒ ΠΏΠΎΠ½ΠΈΠΌΠ°Ρ‚ΡŒ этот Ρ‚Π΅Ρ€ΠΌΠΈΠ½. Для этого Π½ΡƒΠΆΠ½ΠΎ ΡƒΠ΄Π°Π»ΠΈΡ‚ΡŒ всС ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Π΅ вхоТдСния элСмСнтов. ΠŸΡ€ΠΈ этом ΠΌΡ‹ Π²ΠΎΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΡΡ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ΠΎΠΌ delete_all, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π±Ρ‹Π» создан Π½Π°ΠΌΠΈ Ρ€Π°Π½Π΅Π΅, Π² сСдьмой Π»Π΅ΠΊΡ†ΠΈΠΈ. ΠŸΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠΌΠ΅Ρ‚ΡŒ Π΄Π²Π° Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚Π°: ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ β€” исходный список (Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, содСрТащий ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Π΅ вхоТдСния элСмСнтов), Π²Ρ‚ΠΎΡ€ΠΎΠΉ β€” Π²Ρ‹Ρ…ΠΎΠ΄Π½ΠΎΠΉ (Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ остаСтся ΠΎΡ‚ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚Π° послС удалСния ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Ρ… Π²Ρ…ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ элСмСнтов).

ΠŸΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ Π±ΡƒΠ΄Π΅Ρ‚ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½ посрСдством рСкурсии. Базисом рСкурсии являСтся ΠΎΡ‡Π΅Π²ΠΈΠ΄Π½Ρ‹ΠΉ Ρ„Π°ΠΊΡ‚: Π² пустом спискС Π½ΠΈΠΊΠ°ΠΊΠΎΠΉ элСмСнт Π½Π΅ встрСчаСтся Π±ΠΎΠ»Π΅Π΅ ΠΎΠ΄Π½ΠΎΠ³ΠΎ Ρ€Π°Π·Π°. По ΠΏΡ€Π°Π²Π΄Π΅ говоря, Π² пустом спискС Π½Π΅Ρ‚ Π½ΠΈ ΠΎΠ΄Π½ΠΎΠ³ΠΎ элСмСнта, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ встрСчался Π±Ρ‹ Π² Π½Π΅ΠΌ хотя Π±Ρ‹ ΠΎΠ΄ΠΈΠ½ Ρ€Π°Π·, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Π² Π½Π΅ΠΌ Π²ΠΎΠΎΠ±Ρ‰Π΅ Π½Π΅Ρ‚ элСмСнтов. Π¨Π°Π³ рСкурсии ΠΏΠΎΠ·Π²ΠΎΠ»ΠΈΡ‚ Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ: Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡΠ΄Π΅Π»Π°Ρ‚ΡŒ ΠΈΠ· нСпустого списка мноТСство (Π² нашСм ΠΏΠΎΠ½ΠΈΠΌΠ°Π½ΠΈΠΈ этого понятия), Π½ΡƒΠΆΠ½ΠΎ ΡƒΠ΄Π°Π»ΠΈΡ‚ΡŒ ΠΈΠ· хвоста списка всС вхоТдСния ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ элСмСнта списка, Ссли Ρ‚Π°ΠΊΠΎΠ²Ρ‹Π΅ Π²Π΄Ρ€ΡƒΠ³ обнаруТатся. ПослС выполнСния этой ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ элСмСнт Π³Π°Ρ€Π°Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎ Π±ΡƒΠ΄Π΅Ρ‚ Π²ΡΡ‚Ρ€Π΅Ρ‡Π°Ρ‚ΡŒΡΡ Π² спискС Ρ€ΠΎΠ²Π½ΠΎ ΠΎΠ΄ΠΈΠ½ Ρ€Π°Π·. Для Ρ‚ΠΎΠ³ΠΎ Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΏΡ€Π΅Π²Ρ€Π°Ρ‚ΠΈΡ‚ΡŒ Π²ΠΎ мноТСство вСсь список, остаСтся ΠΏΡ€Π΅Π²Ρ€Π°Ρ‚ΠΈΡ‚ΡŒ Π²ΠΎ мноТСство хвост исходного списка. Для этого Π½ΡƒΠΆΠ½ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ рСкурсивно ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΡ‚ΡŒ ΠΊ хвосту исходного списка наш ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚, ΡƒΠ΄Π°Π»ΡΡŽΡ‰ΠΈΠΉ ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Π΅ вхоТдСния элСмСнтов. ΠŸΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹ΠΉ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΈΠ· хвоста список с приписанным Π² качСствС Π³ΠΎΠ»ΠΎΠ²Ρ‹ ΠΏΠ΅Ρ€Π²Ρ‹ΠΌ элСмСнтом ΠΈ Π±ΡƒΠ΄Π΅Ρ‚ Ρ‚Ρ€Π΅Π±ΡƒΠ΅ΠΌΡ‹ΠΌ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ ( мноТСством, Ρ‚.Π΅. списком, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½Ρ‹ΠΌ элСмСнтами исходного списка ΠΈ Π½Π΅ содСрТащим ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Ρ… Π²Ρ…ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ элСмСнтов).

Π—Π°ΠΊΠΎΠ΄ΠΈΡ€ΡƒΠ΅ΠΌ наши рассуТдСния.

list_set([],[]). /* пустой список являСтся мноТСством 
               в нашСм понимании */
list_set ([H|T],[H|T1]) :– 
        delete_all(H,T,T2), 
                /* T2 β€” Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ удалСния 
                   Π²Ρ…ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ элСмСнта 
                   исходного списка H ΠΈΠ· хвоста T */
        list_set (T2,T1). 
                /* T1 β€” Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ удалСния 
                  ΠΏΠΎΠ²Ρ‚ΠΎΡ€Π½Ρ‹Ρ… Π²Ρ…ΠΎΠΆΠ΄Π΅Π½ΠΈΠΉ элСмСнтов 
                  из списка T2 */

intuit.ru/2010/edi»>НапримСр, Ссли ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΡ‚ΡŒ этот ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ ΠΊ списку [1,2,1,2,3, 2,1], Ρ‚ΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ Π±ΡƒΠ΄Π΅Ρ‚ список [1,2,3].

Π—Π°ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ Π² ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Π΅, ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎΠΌ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‡Ρ‚ΠΎ записанному ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Ρƒ list_set ΠΈ пСрСводящСм мноТСство Π² список, Π½Π΅Ρ‚ Π½ΠΈΠΊΠ°ΠΊΠΎΠΉ нСобходимости ΠΏΠΎ Ρ‚ΠΎΠΉ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π΅, Ρ‡Ρ‚ΠΎ нашС мноТСство ΡƒΠΆΠ΅ являСтся списком.

Π’Π΅ΠΏΠ΅Ρ€ΡŒ займСмся Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠ΅ΠΉ Ρ‚Π΅ΠΎΡ€Π΅Ρ‚ΠΈΠΊΠΎ-мноТСствСнных ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ, Ρ‚Π°ΠΊΠΈΡ… ΠΊΠ°ΠΊ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ элСмСнта мноТСству, объСдинСниС, пСрСсСчСниС, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств ΠΈ Ρ‚.Π΄.

ΠŸΡ€ΠΈ Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ этих ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ΠΎΠ² ΠΌΠΎΠΆΠ½ΠΎ Π±Ρ‹Π»ΠΎ Π±Ρ‹ Π²ΠΎΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Π°ΠΌΠΈ, ΠΏΡ€Π΅Π΄Π½Π°Π·Π½Π°Ρ‡Π΅Π½Π½Ρ‹ΠΌΠΈ для Ρ€Π°Π±ΠΎΡ‚Ρ‹ с ΠΎΠ±Ρ‹ΠΊΠ½ΠΎΠ²Π΅Π½Π½Ρ‹ΠΌΠΈ списками, Π½ΠΎ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΈΡ… примСнСния ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΠΎΠ»ΡƒΡ‡Π°Ρ‚ΡŒΡΡ списки, содСрТащиС Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ элСмСнты нСсколько Ρ€Π°Π·, Π΄Π°ΠΆΠ΅ Ссли исходныС списки Π±Ρ‹Π»ΠΈ мноТСствами, Π² нашСм ΠΏΠΎΠ½ΠΈΠΌΠ°Π½ΠΈΠΈ этого слова.

МоТно, ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎ, послС ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ примСнСния Ρ‚Π΅ΠΎΡ€Π΅Ρ‚ΠΈΠΊΠΎ-мноТСствСнной ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΏΡ€Π΅Π²Ρ€Π°Ρ‰Π°Ρ‚ΡŒ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹ΠΉ список ΠΎΠ±Ρ€Π°Ρ‚Π½ΠΎ Π²ΠΎ мноТСство ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ΠΌ Π²Ρ‹ΡˆΠ΅ΠΎΠΏΠΈΡΠ°Π½Π½ΠΎΠ³ΠΎ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Π° list_set, Π½ΠΎ это Π±Ρ‹Π»ΠΎ Π±Ρ‹ Π½Π΅ ΠΎΡ‡Π΅Π½ΡŒ ΡƒΠ΄ΠΎΠ±Π½ΠΎ. ВмСсто этого ΠΌΡ‹ ΠΏΠΎΠΏΡ€ΠΎΠ±ΡƒΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ ΠΊΠ°ΠΆΠ΄ΡƒΡŽ ΠΈΠ· Ρ‚Π΅ΠΎΡ€Π΅Ρ‚ΠΈΠΊΠΎ-мноТСствСнных ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ Π΅Π΅ Ρ€Π°Π±ΠΎΡ‚Ρ‹ Π³Π°Ρ€Π°Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Π½Π½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡Π°Π»ΠΎΡΡŒ мноТСство.

Π˜Ρ‚Π°ΠΊ, приступим.

Π’ качСствС Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ принадлСТности элСмСнта мноТСству Π²ΠΏΠΎΠ»Π½Π΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ member3, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΌΡ‹ Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚Π°Π»ΠΈ Π² сСдьмой Π»Π΅ΠΊΡ†ΠΈΠΈ, ΠΊΠΎΠ³Π΄Π° Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π½Π°Ρ‡ΠΈΠ½Π°Π»ΠΈ Π·Π½Π°ΠΊΠΎΠΌΠΈΡ‚ΡŒΡΡ со списками. Напомним, Ρ‡Ρ‚ΠΎ Ρ„Π°ΠΊΡ‚ принадлСТности элСмСнта x мноТСству A Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ принято ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Ρ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ: .

Для Ρ‚ΠΎΠ³ΠΎ Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π½Π°ΠΉΡ‚ΠΈ ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ мноТСства, Π²ΠΏΠΎΠ»Π½Π΅ ΠΏΠΎΠ΄ΠΎΠΉΠ΄Π΅Ρ‚ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ length, рассмотрСнный Π½Π°ΠΌΠΈ Π² сСдьмой Π»Π΅ΠΊΡ†ΠΈΠΈ. Напомним, Ρ‡Ρ‚ΠΎ для ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ³ΠΎ мноТСства ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ β€” это количСство элСмСнтов Π²ΠΎ мноТСствС .

ΠŸΡ€ΠΈΠΌΠ΅Ρ€. Π Π΅Π°Π»ΠΈΠ·ΡƒΠ΅ΠΌ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ объСдинСния Π΄Π²ΡƒΡ… мноТСств. На всякий случай Π½Π°ΠΏΠΎΠΌΠ½ΠΈΠΌ, Ρ‡Ρ‚ΠΎ ΠΏΠΎΠ΄ объСдинСниСм Π΄Π²ΡƒΡ… мноТСств ΠΏΠΎΠ½ΠΈΠΌΠ°ΡŽΡ‚ мноТСство, элСмСнты ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ ΠΈΠ»ΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠΌΡƒ, ΠΈΠ»ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠΌΡƒ мноТСству. ΠžΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ΡΡ объСдинСниС мноТСств A ΠΈ B Ρ‡Π΅Ρ€Π΅Π· . Π’ матСматичСской записи это выглядит ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ: . На рисункС объСдинСниС мноТСств A ΠΈ B ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΎ ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²ΠΊΠΎΠΉ.

Рис. 9.1. ОбъСдинСниС мноТСств A ΠΈ B

Π£ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π΅Π³ΠΎ этой ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Π° Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ Ρ‚Ρ€ΠΈ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€Π°: ΠΏΠ΅Ρ€Π²Ρ‹Π΅ Π΄Π²Π° β€” мноТСства, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π½ΡƒΠΆΠ½ΠΎ ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΠΈΡ‚ΡŒ, Ρ‚Ρ€Π΅Ρ‚ΠΈΠΉ ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ β€” Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ объСдинСния Π΄Π²ΡƒΡ… ΠΏΠ΅Ρ€Π²Ρ‹Ρ… Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ². Π’ Ρ‚Ρ€Π΅Ρ‚ΠΈΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΠΏΠΎΠΏΠ°ΡΡ‚ΡŒ всС элСмСнты, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π²Ρ…ΠΎΠ΄ΠΈΠ»ΠΈ Π² ΠΏΠ΅Ρ€Π²ΠΎΠ΅ ΠΈΠ»ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠ΅ мноТСство. ΠŸΡ€ΠΈ этом Π½Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ ΠΏΡ€ΠΎΡΠ»Π΅Π΄ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π½ΠΈ ΠΎΠ΄Π½ΠΎ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π½Π΅ Π²Ρ…ΠΎΠ΄ΠΈΠ»ΠΎ Π² ΠΈΡ‚ΠΎΠ³ΠΎΠ²ΠΎΠ΅ мноТСство нСсколько Ρ€Π°Π·. Π’Π°ΠΊΠΎΠ΅ ΠΌΠΎΠ³Π»ΠΎ Π±Ρ‹ ΠΏΡ€ΠΎΠΈΠ·ΠΎΠΉΡ‚ΠΈ, Ссли Π±Ρ‹ ΠΌΡ‹ ΠΏΠΎΠΏΡ‹Ρ‚Π°Π»ΠΈΡΡŒ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, Π²ΠΎΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚ΠΎΠΌ conc (ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΌΡ‹ рассмотрСли Π² сСдьмой Π»Π΅ΠΊΡ†ΠΈΠΈ), ΠΏΡ€Π΅Π΄Π½Π°Π·Π½Π°Ρ‡Π΅Π½Π½Ρ‹ΠΌ для объСдинСния списков. Если Π±Ρ‹ ΠΊΠ°ΠΊΠΎΠ΅-Ρ‚ΠΎ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π²ΡΡ‚Ρ€Π΅Ρ‡Π°Π»ΠΎΡΡŒ ΠΈ Π² ΠΏΠ΅Ρ€Π²ΠΎΠΌ, ΠΈ Π²ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌ списках, Ρ‚ΠΎ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚ΠΈΡ€ΡƒΡŽΡ‰ΠΈΠΉ список ΠΎΠ½ΠΎ Π±Ρ‹ ΠΏΠΎΠΏΠ°Π»ΠΎ, ΠΏΠΎ ΠΊΡ€Π°ΠΉΠ½Π΅ΠΉ ΠΌΠ΅Ρ€Π΅, Π² Π΄Π²ΠΎΠΉΠ½ΠΎΠΌ количСствС. Π—Π½Π°Ρ‡ΠΈΡ‚, вмСсто использования ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚Π° conc Π½ΡƒΠΆΠ½ΠΎ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Π½ΠΎΠ²Ρ‹ΠΉ ΠΏΡ€Π΅Π΄ΠΈΠΊΠ°Ρ‚, ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ Π½Π΅ ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Ρ‚ ΠΊ ситуации, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ ΠΈΡ‚ΠΎΠ³ΠΎΠ²Ρ‹ΠΉ список ΡƒΠΆΠ΅ Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ мноТСством Π·Π° счСт Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ значСния Π±ΡƒΠ΄ΡƒΡ‚ Π²ΡΡ‚Ρ€Π΅Ρ‡Π°Ρ‚ΡŒΡΡ Π² Π½Π΅ΠΌ Π±ΠΎΠ»Π΅Π΅ ΠΎΠ΄Π½ΠΎΠ³ΠΎ Ρ€Π°Π·Π°.

Π‘Π΅Π· рСкурсии ΠΌΡ‹ Π½Π΅ обойдСмся ΠΈ здСсь. Π‘ΡƒΠ΄Π΅ΠΌ вСсти Ρ€Π΅ΠΊΡƒΡ€ΡΠΈΡŽ ΠΏΠΎ ΠΏΠ΅Ρ€Π²ΠΎΠΌΡƒ ΠΈΠ· ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΡΠ΅ΠΌΡ‹Ρ… мноТСств. Базис ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ: объСдиняСм пустоС мноТСство с Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌ мноТСством. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ объСдинСния Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‚ΠΎΡ€ΠΎΠ΅ мноТСство. Π¨Π°Π³ рСкурсии Π±ΡƒΠ΄Π΅Ρ‚ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½ посрСдством Π΄Π²ΡƒΡ… ΠΏΡ€Π°Π²ΠΈΠ». ΠŸΡ€Π°Π²ΠΈΠ» получаСтся Π΄Π²Π°, ΠΏΠΎΡ‚ΠΎΠΌΡƒ Ρ‡Ρ‚ΠΎ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹ Π΄Π²Π΅ ситуации: пСрвая β€” Π³ΠΎΠ»ΠΎΠ²Π° ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ мноТСства являСтся элСмСнтом Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ мноТСства, вторая β€” ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ элСмСнт ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ мноТСства Π½Π΅ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π²ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠ΅ мноТСство. Π’ ΠΏΠ΅Ρ€Π²ΠΎΠΌ случаС ΠΌΡ‹ Π½Π΅ Π±ΡƒΠ΄Π΅ΠΌ Π΄ΠΎΠ±Π°Π²Π»ΡΡ‚ΡŒ Π³ΠΎΠ»ΠΎΠ²Ρƒ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ мноТСства Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚ΠΈΡ€ΡƒΡŽΡ‰Π΅Π΅ мноТСство, ΠΎΠ½Π° ΠΏΠΎΠΏΠ°Π΄Π΅Ρ‚ Ρ‚ΡƒΠ΄Π° ΠΈΠ· Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ мноТСства. Π’ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌ случаС Π½ΠΈΡ‡Ρ‚ΠΎ Π½Π΅ ΠΌΠ΅ΡˆΠ°Π΅Ρ‚ Π½Π°ΠΌ Π΄ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ элСмСнт ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ списка. Π’Π°ΠΊ ΠΊΠ°ΠΊ этого значСния Π²ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌ мноТСствС Π½Π΅Ρ‚, ΠΈ Π² хвостС ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ мноТСства ΠΎΠ½ΠΎ Ρ‚Π°ΠΊΠΆΠ΅ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π²ΡΡ‚Ρ€Π΅Ρ‡Π°Ρ‚ΡŒΡΡ (ΠΈΠ½Π°Ρ‡Π΅ это Π±Ρ‹Π»ΠΎ Π±Ρ‹ Π½Π΅ мноТСство ), Ρ‚ΠΎ ΠΈ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚ΠΈΡ€ΡƒΡŽΡ‰Π΅ΠΌ мноТСствС ΠΎΠ½ΠΎ Ρ‚Π°ΠΊΠΆΠ΅ Π±ΡƒΠ΄Π΅Ρ‚ Π²ΡΡ‚Ρ€Π΅Ρ‡Π°Ρ‚ΡŒΡΡ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄ΠΈΠ½ Ρ€Π°Π·.

Π”Π°Π²Π°ΠΉΡ‚Π΅ запишСм эти рассуТдСния:

union([ ],S2,S2). /* Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ объСдинСния  
               пустого мноТСства со мноТСством S2  
               Π±ΡƒΠ΄Π΅Ρ‚ мноТСство S2 */
union([H|T],S2,S):–
            member3(H,S2), 
                /* Ссли Π³ΠΎΠ»ΠΎΠ²Π° ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ 
                  мноТСства H ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ Π²Ρ‚ΠΎΡ€ΠΎΠΌΡƒ 
                  мноТСству S2, */
            !,
            union(T,S2,S). 
                /* Ρ‚ΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ S Π±ΡƒΠ΄Π΅Ρ‚  
                 объСдинСниС хвоста ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ 
                 мноТСства T ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ 
                 мноТСства S2 */
union([H  |T],S2,[H|S]):–
            union(T,S2,S). 
                /* Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ 
                  Π±ΡƒΠ΄Π΅Ρ‚ мноТСство, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΠΎΠ΅ 
                  Π³ΠΎΠ»ΠΎΠ²ΠΎΠΉ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ мноТСства H 
                  ΠΈ хвостом, ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹ΠΌ объСдинСниСм 
                  хвоста ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ   мноТСства T 
                  ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ мноТСства S2 */

Если ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΠΈΡ‚ΡŒ мноТСство [1,2,3,4] со мноТСством [3,4,5], Ρ‚ΠΎ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ получится мноТСство [1,2,3,4,5].

ОбъСдинСниС, пСрСсСчСниС ΠΈ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ | ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° для Π³ΡƒΠΌΠ°Π½ΠΈΡ‚Π°Ρ€Π½Ρ‹Ρ… Π½Π°ΡƒΠΊ |

ΠžΠ±Ρ‹Ρ‡Π½ΠΎ Π½Π°Π±ΠΎΡ€Ρ‹ Π²Π·Π°ΠΈΠΌΠΎΠ΄Π΅ΠΉΡΡ‚Π²ΡƒΡŽΡ‚. НапримСр, Π²Ρ‹ с Π½ΠΎΠ²Ρ‹ΠΌ сосСдом ΠΏΠΎ ΠΊΠΎΠΌΠ½Π°Ρ‚Π΅ Ρ€Π΅ΡˆΠ°Π΅Ρ‚Π΅ ΡƒΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ домашнюю Π²Π΅Ρ‡Π΅Ρ€ΠΈΠ½ΠΊΡƒ ΠΈ ΠΏΡ€ΠΈΠ³Π»Π°ΡˆΠ°Π΅Ρ‚Π΅ Π΄Ρ€ΡƒΠ·Π΅ΠΉ. На этой Π²Π΅Ρ‡Π΅Ρ€ΠΈΠ½ΠΊΠ΅ ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΡΡŽΡ‚ΡΡ Π΄Π²Π° Π½Π°Π±ΠΎΡ€Π°, хотя ΠΌΠΎΠΆΠ΅Ρ‚ ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ, Ρ‡Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Π΄Ρ€ΡƒΠ·ΡŒΡ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π±Ρ‹Π»ΠΈ Π² ΠΎΠ±ΠΎΠΈΡ… Π½Π°Π±ΠΎΡ€Π°Ρ….

ОбъСдинСниС, пСрСсСчСниС ΠΈ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅

ОбъСдинСниС Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ² содСрТит всС элСмСнты, содСрТащиСся Π² любом Π½Π°Π±ΠΎΡ€Π΅ (ΠΈΠ»ΠΈ Π² ΠΎΠ±ΠΎΠΈΡ… Π½Π°Π±ΠΎΡ€Π°Ρ…).

Боюз ΠΎΡ‚ΠΌΠ΅Ρ‡Π΅Π½ A ⋃ B.

ΠŸΠΎΠ΄Ρ€ΠΎΠ±Π½Π΅Π΅, x ∊ A ⋃ B , Ссли x ∊ A ΠΈΠ»ΠΈ x ∊ B (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π° (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π° (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π°) (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°) (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°) ΠΎΠ±Π°) (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°) (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°) (ΠΈΠ»ΠΈ ΠΎΠ±Π°) ΠΎΠ±Π°).

ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ² содСрТит Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅ элСмСнты, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π΅ΡΡ‚ΡŒ Π² ΠΎΠ±ΠΎΠΈΡ… Π½Π°Π±ΠΎΡ€Π°Ρ….

ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ обозначаСтся A β‹‚ B.

Π‘ΠΎΠ»Π΅Π΅ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ, x ∊ A β‹‚ B , Ссли x ∊ A ΠΈ x ∊ B

Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ Π½Π°Π±ΠΎΡ€Π° A содСрТит всС, Ρ‡Ρ‚ΠΎ являСтся , Π° Π½Π΅ Π² Π½Π°Π±ΠΎΡ€Π΅ A .

Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ обозначаСтся ΠΊΠ°ΠΊ A’ , ΠΈΠ»ΠΈ Ac , ΠΈΠ»ΠΈ ΠΈΠ½ΠΎΠ³Π΄Π° ~ A .

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 5

Рассмотрим мноТСства:Β Β Β Β Β Β  A = {красный, Π·Π΅Π»Π΅Π½Ρ‹ΠΉ, синий} Β Β  Β Β Β Β Β Β Β Β  B = {красный, ΠΆΠ΅Π»Ρ‚Ρ‹ΠΉ, ΠΎΡ€Π°Π½ΠΆΠ΅Π²Ρ‹ΠΉ}

C = {красный, ΠΎΡ€Π°Π½ΠΆΠ΅Π²Ρ‹ΠΉ, ΠΆΠ΅Π»Ρ‚Ρ‹ΠΉ, Π·Π΅Π»Π΅Π½Ρ‹ΠΉ, синий, Ρ„ΠΈΠΎΠ»Π΅Ρ‚ΠΎΠ²Ρ‹ΠΉ}

a) Найти A ⋃ B

ОбъСдинСниС содСрТит всС элСмСнты любого Π½Π°Π±ΠΎΡ€Π°: A ⋃ B = {красный, Π·Π΅Π»Π΅Π½Ρ‹ΠΉ, синий, ΠΆΠ΅Π»Ρ‚Ρ‹ΠΉ, ΠΎΡ€Π°Π½ΠΆΠ΅Π²Ρ‹ΠΉ}

ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ ΠΌΡ‹ пСрСчисляСм Ρ‚ΠΎΠ»ΡŒΠΊΠΎ красный Ρ†Π²Π΅Ρ‚ ΠΎΠ΄Π½Π°ΠΆΠ΄Ρ‹.

B) Найти A β‹‚ B

Π’ пСрСкрСсткС содСрТится всС элСмСнты Π² ΠΎΠ±ΠΎΠΈΡ… Π½Π°Π±ΠΎΡ€Π°Ρ…: A β‹‚ B = {RED}

C) Найти AC β‹‚ C

C). ΠΌΡ‹ ΠΈΡ‰Π΅ΠΌ всС элСмСнты, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ€Π°Π²Π½Ρ‹ Π° Π½Π΅ Π² Π½Π°Π±ΠΎΡ€Π΅ A Π° Ρ‚Π°ΠΊΠΆΠ΅ Π΅ΡΡ‚ΡŒ Π² C .

Ac β‹‚ C = {ΠΎΡ€Π°Π½ΠΆΠ΅Π²Ρ‹ΠΉ, ΠΆΠ΅Π»Ρ‚Ρ‹ΠΉ, Ρ„ΠΈΠΎΠ»Π΅Ρ‚ΠΎΠ²Ρ‹ΠΉ}

ΠŸΠΎΠΏΡ€ΠΎΠ±ΡƒΠΉΡ‚Π΅ сСйчас 2

Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ Π½Π°Π±ΠΎΡ€Ρ‹ ΠΈΠ· ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅Π³ΠΎ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π°, Π½Π°ΠΉΠ΄ΠΈΡ‚Π΅ A ⋃ C ΠΈ Bc β‹‚ A

. фуксия для Ρ‰Π΅Π½ΠΊΠΎΠ² ΠΈ арахисовоС масло входят Π² ΠΊΠΎΠΌΠΏΠ»Π΅ΠΊΡ‚Π°Ρ†ΠΈΡŽ Π½Π°Π±ΠΎΡ€Π°. По этой ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π΅ дополнСния ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ с пСрСсСчСниями ΠΈΠ»ΠΈ ΠΊΠΎΠ³Π΄Π° Ρƒ нас Π΅ΡΡ‚ΡŒ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€.

Π£Π½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€

Π£Π½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€ β€” это Π½Π°Π±ΠΎΡ€, содСрТащий всС ΠΈΠ½Ρ‚Π΅Ρ€Π΅ΡΡƒΡŽΡ‰ΠΈΠ΅ нас элСмСнты. Π­Ρ‚ΠΎ Π΄ΠΎΠ»ΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡ‚ΡŒΡΡ контСкстом.

Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ относится ΠΊ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠΌΡƒ Π½Π°Π±ΠΎΡ€Ρƒ, поэтому Ac содСрТит всС элСмСнты ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ Π½Π°Π±ΠΎΡ€Π°, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π½Π΅Ρ‚ Π² A .

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 6

Π°)Β Β Β Β  Если Π±Ρ‹ ΠΌΡ‹ обсуТдали поиск ΠΊΠ½ΠΈΠ³, ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€ ΠΌΠΎΠ³ Π±Ρ‹ ΡΠΎΡΡ‚ΠΎΡΡ‚ΡŒ ΠΈΠ· всСх ΠΊΠ½ΠΈΠ³ Π² Π±ΠΈΠ±Π»ΠΈΠΎΡ‚Π΅ΠΊΠ΅.

b)Β Β Β  Если Π±Ρ‹ ΠΌΡ‹ Π³Ρ€ΡƒΠΏΠΏΠΈΡ€ΠΎΠ²Π°Π»ΠΈ Π²Π°ΡˆΠΈΡ… Π΄Ρ€ΡƒΠ·Π΅ΠΉ Π½Π° Facebook, ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΌ Π½Π°Π±ΠΎΡ€ΠΎΠΌ Π±Ρ‹Π»ΠΈ Π±Ρ‹ всС ваши Π΄Ρ€ΡƒΠ·ΡŒΡ Π½Π° Facebook.

c)Β Β Β Β  Если Π²Ρ‹ Ρ€Π°Π±ΠΎΡ‚Π°Π»ΠΈ с Π½Π°Π±ΠΎΡ€Π°ΠΌΠΈ чисСл, ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€ ΠΌΠΎΠΆΠ΅Ρ‚ ΡΠΎΡΡ‚ΠΎΡΡ‚ΡŒ ΠΈΠ· всСх Ρ†Π΅Π»Ρ‹Ρ… чисСл, всСх Ρ†Π΅Π»Ρ‹Ρ… чисСл ΠΈΠ»ΠΈ всСх Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 7

ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π½Π°Π±ΠΎΡ€ Ρ€Π°Π²Π΅Π½ U = всС Ρ†Π΅Π»Ρ‹Π΅ числа ΠΎΡ‚ 1 Π΄ΠΎ 9. Если A = {1, 2, 4}, Ρ‚ΠΎ

Ac = {3, 5, 6, 7, 8, 9} .

Как ΠΌΡ‹ Π²ΠΈΠ΄Π΅Π»ΠΈ Ρ€Π°Π½Π΅Π΅ с Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ Ac β‹‚ C , ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мноТСствами ΠΌΠΎΠΆΠ½ΠΎ Π³Ρ€ΡƒΠΏΠΏΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ вмСстС. Π‘ΠΈΠΌΠ²ΠΎΠ»Ρ‹ Π³Ρ€ΡƒΠΏΠΏΠΈΡ€ΠΎΠ²ΠΊΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Ρ‚Π°ΠΊ ΠΆΠ΅, ΠΊΠ°ΠΊ ΠΈ с Π°Ρ€ΠΈΡ„ΠΌΠ΅Ρ‚ΠΈΠΊΠΎΠΉ β€” для ΠΏΡ€ΠΈΠ½ΡƒΠ΄ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ порядка ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 8

ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, H = {кошка, собака, ΠΊΡ€ΠΎΠ»ΠΈΠΊ, ΠΌΡ‹ΡˆΡŒ}, F = {собака, ΠΊΠΎΡ€ΠΎΠ²Π°, ΡƒΡ‚ΠΊΠ°, свинья, ΠΊΡ€ΠΎΠ»ΠΈΠΊ}

W = {ΡƒΡ‚ΠΊΠ°, ΠΊΡ€ΠΎΠ»ΠΈΠΊ, олСнь, Π»ΡΠ³ΡƒΡˆΠΊΠ°, ΠΌΡ‹ΡˆΡŒ}

a ) НайдитС ( H β‹‚ F ) ⋃ W

НачнСм с пСрСсСчСния: H β‹‚ F = {собака, ΠΊΡ€ΠΎΠ»ΠΈΠΊ}

H β‹‚ F ) ⋃ W = {собака, ΡƒΡ‚ΠΊΠ°, ΠΊΡ€ΠΎΠ»ΠΈΠΊ, олСнь, Π»ΡΠ³ΡƒΡˆΠΊΠ°, ΠΌΡ‹ΡˆΡŒ}

Π±) Находим H β‹‚ ( F ⋃ W )

НачинаСм с союза: F ⋃ W = {собака, ΠΊΠΎΡ€ΠΎΠ²Π°, ΠΌΡ‹ΡˆΡŒ, Π»ΡΠ³ΡƒΡˆΠΊΠ°, свинья, олСнь }

Π’Π΅ΠΏΠ΅Ρ€ΡŒ ΠΌΡ‹ пСрСсСкаСм этот Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ с H : H β‹‚ ( F ⋃ W ) = {Dog, Rabbit, ΠΌΡ‹ΡˆΡŒ}

C) Найти ( H β‹‚ F )

C) β‹‚ Π—

НачинаСм с пСрСсСчСния: Н β‹‚ Π– = {dog, rabbit}

Now we want to find the elements of W that are not in H β‹‚ F

( H β‹‚ F ) c β‹‚ W = {ΡƒΡ‚ΠΊΠ°, олСнь, Π»ΡΠ³ΡƒΡˆΠΊΠ°, ΠΌΡ‹ΡˆΡŒ}

Π›ΠΈΡ†Π΅Π½Π·ΠΈΠΈ ΠΈ Π°Ρ‚Ρ€ΠΈΠ±ΡƒΡ‚Ρ‹

ΠšΠΎΠ½Ρ‚Π΅Π½Ρ‚ ΠΏΠΎ Π»ΠΈΡ†Π΅Π½Π·ΠΈΠΈ CC, совмСстно ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΡ‹ΠΉ Ρ€Π°Π½Π΅Π΅
  • ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° Π² общСствС. Автор : Open Textbook Store, Transition Math Project ΠΈ Open Course Library. РасполоТСн ΠΏΠΎ адрСсу : http://www.opentextbookstore.com/mathinsociety/. ЛицСнзия : CC BY-SA: Attribution-ShareAlike

Π”ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ Π±Π΅Π· названия

Π”ΠΎΠΊΡƒΠΌΠ΅Π½Ρ‚ Π±Π΅Π· названия

Β 

Β 

Π‘ Π½Π°Π±ΠΎΡ€Π°ΠΌΠΈ ΠΌΠΎΠΆΠ½ΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ мноТСство ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ:

Β 

  • ΠœΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΉΡ‚ΠΈ UNION ΠΈΠ· Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ². ΠœΡ‹ Π½Π°Ρ…ΠΎΠ΄ΠΈΠΌ UNION Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ², бСря ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π΅ΡΡ‚ΡŒ Π² любом Π½Π°Π±ΠΎΡ€Π΅, ΠΈ объСдиняя всС эти элСмСнты Π² ΠΎΠ΄ΠΈΠ½ большой Π½Π°Π±ΠΎΡ€. Для обозначСния ΠžΠ‘ΠͺΠ•Π”Π˜ΠΠ•ΠΠ˜Π• A ΠΈ B ΠΌΡ‹ пишСм: A B. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, объСдинСниС A ΠΈ B прСдставляСт собой большСС мноТСство, содСрТащСС ΠΊΠ°ΠΊ A, Ρ‚Π°ΠΊ ΠΈ B.

Π€ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ: A B = {x| Ρ… А ΠΈΠ»ΠΈ Ρ… Π’}.

(ΠŸΠΎΠΌΠ½ΠΈΡ‚Π΅, ΠΌΡ‹ Π±Ρ‹ сказали вслух: «мноТСство всСх x, Ρ‚Π°ΠΊΠΈΡ…, Ρ‡Ρ‚ΠΎ x являСтся элСмСнтом A ΠΈΠ»ΠΈ x являСтся элСмСнтом BΒ».

Если элСмСнт находится Π² объСдинСнии A ΠΈ B, это ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ ΠΎΠ½ находится Π² A Π˜Π›Π˜ Π² B.

Π§Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ²ΠΈΠ΄Π΅Ρ‚ΡŒ, ΠΊΠ°ΠΊ объСдинСниС выглядит Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΌΡ‹ нарисуСм наши Π΄Π²Π° мноТСства A ΠΈ B Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½ΠΈΠΆΠ΅:0003

Β 

Β 

Π’ΠΎΠ³Π΄Π° Π·Π°Ρ‚Π΅Π½Π΅Π½ΠΈΠ΅ A B красным Ρ†Π²Π΅Ρ‚ΠΎΠΌ Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ Ρ‚Π°ΠΊ:

Β 

Β 

Π”Π°Π²Π°ΠΉΡ‚Π΅ рассмотрим нСсколько Π½Π°Π±ΠΎΡ€ΠΎΠ² ΠΈ потрСнируСмся Π² ΠΈΡ… объСдинСнии.

  • ΠŸΡƒΡΡ‚ΡŒ A={1.1, 1.2, 1.3} ΠΈ B={1.2, 1.4, 1.6}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт A ΠΈ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт B ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A B = {1,1, 1,2, 1,3, 1,4, 1,6}.
  • ΠŸΡƒΡΡ‚ΡŒ A={0,1,2,3,4} ΠΈ ΠΏΡƒΡΡ‚ΡŒ B={5,6,7,8,9,10}. Π’ΠΎΠ³Π΄Π°, Ссли ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт A ΠΈ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт B ΠΈ слоТим ΠΈΡ… вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A B = {0,1,2,3,4,5,6,7,8,9,10}.

Β 

  • ΠœΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΉΡ‚ΠΈ ΠŸΠ•Π Π•ΠšΠ Π•Π‘Π’ΠžΠš ΠΈΠ· Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ². ΠœΡ‹ Π½Π°Ρ…ΠΎΠ΄ΠΈΠΌ ΠŸΠ•Π Π•Π‘Π•Π§Π•ΠΠ˜Π• Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ², бСря ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ находится Π² ΠΎΠ±ΠΎΠΈΡ… Π½Π°Π±ΠΎΡ€Π°Ρ… ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ, ΠΈ объСдиняя всС эти элСмСнты Π² ΠΎΠ΄ΠΈΠ½ мСньший Π½Π°Π±ΠΎΡ€. Π§Ρ‚ΠΎΠ±Ρ‹ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΡ‚ΡŒ ΠŸΠ•Π Π•Π‘Π•Π§Π•ΠΠ˜Π• Ρ‚ΠΎΡ‡Π΅ΠΊ A ΠΈ B, ΠΌΡ‹ пишСм: A B. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, пСрСсСчСниС A ΠΈ B прСдставляСт собой мСньшСС мноТСство, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ содСрТится ΠΊΠ°ΠΊ Π² A, Ρ‚Π°ΠΊ ΠΈ Π² B.

Π€ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ: A B = {x| Ρ… А ΠΈ Ρ… Π’}.

(ΠŸΠΎΠΌΠ½ΠΈΡ‚Π΅, ΠΌΡ‹ Π±Ρ‹ сказали вслух: «мноТСство всСх x, Ρ‚Π°ΠΊΠΈΡ…, Ρ‡Ρ‚ΠΎ x являСтся элСмСнтом A, Π° x являСтся элСмСнтом BΒ».

Если элСмСнт находится Π½Π° пСрСсСчСнии A ΠΈ B, это ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ ΠΎΠ½ находится Π² A И Π² B.

Π§Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ²ΠΈΠ΄Π΅Ρ‚ΡŒ, ΠΊΠ°ΠΊ выглядит пСрСсСчСниС Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΌΡ‹ нарисуСм наши Π΄Π²Π° мноТСства A ΠΈ B Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½ΠΈΠΆΠ΅:

Β 

Β 

Π’ΠΎΠ³Π΄Π° Π·Π°Ρ‚Π΅Π½Π΅Π½ΠΈΠ΅ A B ΠΆΠ΅Π»Ρ‚Ρ‹ΠΌ Ρ†Π²Π΅Ρ‚ΠΎΠΌ Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ Ρ‚Π°ΠΊ:

Β 

Β 

Π”Π°Π²Π°ΠΉΡ‚Π΅ посмотрим Π½Π° нСсколько Π½Π°Π±ΠΎΡ€ΠΎΠ² ΠΈ потрСнируСмся Π½Π° ΠΈΡ… пСрСсСчСнии.

  • ΠŸΡƒΡΡ‚ΡŒ A={1.1, 1.2, 1.3} ΠΈ B={1.2, 1.4, 1.6}. Если ΠΌΡ‹ возьмСм Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅ элСмСнты, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ находятся Π² A ΠΈ B, ΠΈ слоТим ΠΈΡ… вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A B={1. 2}.
  • ΠŸΡƒΡΡ‚ΡŒ A={10, 20, 30, 40} ΠΈ B={10, 15, 20, 25, 30}. Если ΠΌΡ‹ возьмСм Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅ элСмСнты, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ находятся Π² A ΠΈ B, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A B={10, 20, 30}.
  • ΠŸΡƒΡΡ‚ΡŒ A={0,1,2,3,4} ΠΈ ΠΏΡƒΡΡ‚ΡŒ B={5,6,7,8,9,10}. Π’ΠΎΠ³Π΄Π°, Ссли ΠΌΡ‹ возьмСм Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π΅ элСмСнты, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ находятся Π² A ΠΈ B, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A B= , ΠΏΠΎΡ‚ΠΎΠΌΡƒ Ρ‡Ρ‚ΠΎ Π² A ΠΈ B ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ НЕВ элСмСнтов. A ΠΈ B Π²ΠΎΠΎΠ±Ρ‰Π΅ Π½Π΅ ΠΏΠ΅Ρ€Π΅ΠΊΡ€Ρ‹Π²Π°ΡŽΡ‚ΡΡ ΠΈ Π½Π΅ ΠΏΠ΅Ρ€Π΅ΡΠ΅ΠΊΠ°ΡŽΡ‚ΡΡ, поэтому ΠΈΡ… пСрСсСчСниС являСтся Π½ΡƒΠ»Π΅Π²Ρ‹ΠΌ мноТСством ΠΈΠ»ΠΈ пустым мноТСством. Π£ нас Π΅ΡΡ‚ΡŒ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ для Ρ‚Π°ΠΊΠΈΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ²:
  • .

Β 

Когда пСрСсСчСниС Π΄Π²ΡƒΡ… мноТСств пусто, ΠΌΡ‹ Π³ΠΎΠ²ΠΎΡ€ΠΈΠΌ, Ρ‡Ρ‚ΠΎ эти Π΄Π²Π° мноТСства ΡΠ²Π»ΡΡŽΡ‚ΡΡ ΠΠ•Π‘ΠžΠ•Π”Π˜ΠΠ―Π•ΠœΠ«ΠœΠ˜ .

Если Π±Ρ‹ ΠΌΡ‹ нарисовали Π΄Π²Π° Π½Π΅ΠΏΠ΅Ρ€Π΅ΡΠ΅ΠΊΠ°ΡŽΡ‰ΠΈΡ…ΡΡ мноТСства Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΎΠ½ΠΈ выглядСли Π±Ρ‹ Ρ‚Π°ΠΊ:

Β 

Β 

  • ΠœΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΉΡ‚ΠΈ Π”ΠžΠŸΠžΠ›ΠΠ•ΠΠ˜Π• Π½Π°Π±ΠΎΡ€Π°. ΠœΡ‹ Π½Π°Ρ…ΠΎΠ΄ΠΈΠΌ Π”ΠžΠŸΠžΠ›ΠΠ•ΠΠ˜Π• Π½Π°Π±ΠΎΡ€Π°, бСря ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ находится Π² ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠΌ Π½Π°Π±ΠΎΡ€Π΅, Π½ΠΎ Π½Π΅ Π² Π½Π°Π±ΠΎΡ€Π΅, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΌΡ‹ рассматриваСм, ΠΈ объСдиняя всС эти элСмСнты Π² ΠΎΠ΄ΠΈΠ½ Π½Π°Π±ΠΎΡ€. Π§Ρ‚ΠΎΠ±Ρ‹ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΡ‚ΡŒ Π”ΠžΠŸΠžΠ›ΠΠ•ΠΠ˜Π• А, ΠΌΡ‹ пишСм: А’. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΊ A β€” это мноТСство, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Π½Π΅ пСрСсСкаСтся с A. Если ΠΌΡ‹ слоТим A ΠΈ A’ вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠ΅ мноТСство.

Π€ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ: A’ = {x| Ρ… U, Π½ΠΎ Ρ… A}.

(ΠŸΠΎΠΌΠ½ΠΈΡ‚Π΅, ΠΌΡ‹ Π±Ρ‹ сказали вслух: «мноТСство всСх x, Ρ‚Π°ΠΊΠΈΡ…, Ρ‡Ρ‚ΠΎ x являСтся элСмСнтом ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ мноТСства, Π½ΠΎ x НЕ являСтся элСмСнтом AΒ».

Если элСмСнт находится Π² Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ ΠΊ A, это ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ ΠΎΠ½ , Π° НЕ Π² A.

Π§Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ²ΠΈΠ΄Π΅Ρ‚ΡŒ, ΠΊΠ°ΠΊ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ выглядит Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΌΡ‹ нарисуСм нашС мноТСство A Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½ΠΈΠΆΠ΅:

Β 

Β 

Π—Π°Ρ‚Π΅ΠΌ Π·Π°ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²Ρ‹Π²Π°Π΅ΠΌ A’ синим Ρ†Π²Π΅Ρ‚ΠΎΠΌ Π²ΠΎΡ‚ Ρ‚Π°ΠΊ:

Β 

Β 

Аналогичным ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, B’ Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ ΠΊΠ°ΠΊ ΠΎΠ±Π»Π°ΡΡ‚ΡŒ, Π·Π°ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²Π°Π½Π½Π°Ρ красным Ρ†Π²Π΅Ρ‚ΠΎΠΌ Π½ΠΈΠΆΠ΅:

Β 

Β 

Когда Π²Ρ‹ ΠΏΡ‹Ρ‚Π°Π΅Ρ‚Π΅ΡΡŒ Π½Π°ΠΉΡ‚ΠΈ Π”ΠžΠŸΠžΠ›ΠΠ•ΠΠ˜Π• Π½Π°Π±ΠΎΡ€Π°, Π½Π΅ позволяйтС Π΄Ρ€ΡƒΠ³ΠΈΠΌ Π½Π°Π±ΠΎΡ€Π°ΠΌ ΠΎΡ‚Π²Π»Π΅ΠΊΠ°Ρ‚ΡŒ вас. Π—Π°ΠΌΠ΅Ρ‚ΡŒΡ‚Π΅, Ρ‡Ρ‚ΠΎ ΠΊΠΎΠ³Π΄Π° ΠΌΡ‹ Π·Π°ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²Ρ‹Π²Π°Π΅ΠΌ A’, нас Π²ΠΎΠ»Π½ΡƒΠ΅Ρ‚ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎ, Π³Π΄Π΅ находится мноТСство A Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°; ΠΌΡ‹ ΠΏΠΎΠΊΠ° ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ ΠΈΠ³Π½ΠΎΡ€ΠΈΡ€ΡƒΠ΅ΠΌ мноТСство B. Π’ΠΎΡ‡Π½ΠΎ Ρ‚Π°ΠΊ ΠΆΠ΅, ΠΊΠΎΠ³Π΄Π° ΠΌΡ‹ Π·Π°ΠΊΡ€Π°ΡˆΠΈΠ²Π°Π΅ΠΌ B’, ΠΌΡ‹ ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ ΠΈΠ³Π½ΠΎΡ€ΠΈΡ€ΡƒΠ΅ΠΌ Π½Π°Π±ΠΎΡ€ A ΠΈ просто затСняСм всю ΠΎΠ±Π»Π°ΡΡ‚ΡŒ Π·Π° ΠΏΡ€Π΅Π΄Π΅Π»Π°ΠΌΠΈ ΠΎΠ²Π°Π»Π° B.

Β 

Π”Π°Π²Π°ΠΉΡ‚Π΅ посмотрим Π½Π° нСсколько Π½Π°Π±ΠΎΡ€ΠΎΠ² ΠΈ потрСнируСмся Π΄ΠΎΠΏΠΎΠ»Π½ΡΡ‚ΡŒ ΠΈΡ….

  • ΠŸΡƒΡΡ‚ΡŒ U={1,2,3,4,5} ΠΈ A={1,3,5}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт U, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² A, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A’={2,4}.
  • ΠŸΡƒΡΡ‚ΡŒ U={3,5, 4,5, 5,5} ΠΈ ΠΏΡƒΡΡ‚ΡŒ A={3,5, 4,5, 5,5}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт U, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² A, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A’= .
  • ΠŸΡƒΡΡ‚ΡŒ U={1,2,3,…} ΠΈ ΠΏΡƒΡΡ‚ΡŒ A={1,2,3,4,5}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт U, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² A, ΠΈ слоТим ΠΈΡ… вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A’={6,7,8,…}.
  • ΠŸΡƒΡΡ‚ΡŒ U= Z ΠΈ ΠΏΡƒΡΡ‚ΡŒ A= . Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт U, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² A, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A’=U= Z . ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π² A Π½ΠΈΡ‡Π΅Π³ΠΎ Π½Π΅Ρ‚, Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ΠΌ ΠΊ A являСтся само ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠ΅ мноТСство. (ΠŸΠΎΠΌΠ½ΠΈΡ‚Π΅, Ρ‡Ρ‚ΠΎ Π½Π°Π±ΠΎΡ€ вмСстС с Π΅Π³ΠΎ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ΠΌ Π΄ΠΎΠ»ΠΆΠ΅Π½ Π΄Π°Ρ‚ΡŒ Π²Π°ΠΌ U.)

Β 

  • ΠœΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΉΡ‚ΠΈ Π ΠΠ—ΠΠ˜Π¦Π£ ΠΈΠ· Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ². ΠœΡ‹ Π½Π°Ρ…ΠΎΠ΄ΠΈΠΌ Π ΠΠ—ΠΠ˜Π¦Π£ Π΄Π²ΡƒΡ… Π½Π°Π±ΠΎΡ€ΠΎΠ², бСря ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π΅ΡΡ‚ΡŒ Π² ΠΏΠ΅Ρ€Π²ΠΎΠΌ Π½Π°Π±ΠΎΡ€Π΅, Π½ΠΎ Π½Π΅ Π²ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌ Π½Π°Π±ΠΎΡ€Π΅, ΠΈ объСдиняя всС эти элСмСнты Π² ΠΎΠ΄ΠΈΠ½ Π½Π°Π±ΠΎΡ€. Для обозначСния Π ΠΠ—ΠΠ˜Π¦Π ΠΎΡ‚ А ΠΈ Π±ΡƒΠ΄ΡŒ пишСм: А-Π‘ ΠΈΠ»ΠΈ Π‘-А. A-B β€” это мноТСство всСх элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ находятся Π² A, Π½ΠΎ НЕ Π² B, Π° B-A β€” это мноТСство всСх элСмСнтов, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ находятся Π² B, Π½ΠΎ НЕ Π² A. ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ A-B всСгда являСтся подмноТСством A, Π° B-A всСгда являСтся подмноТСством B.

Π€ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎ ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ: A-B = {x| Ρ… А, Π½ΠΎ Ρ… Π’}.

(ΠŸΠΎΠΌΠ½ΠΈΡ‚Π΅, ΠΌΡ‹ Π±Ρ‹ сказали вслух: «мноТСство всСх Ρ‚Π°ΠΊΠΈΡ… x, Ρ‡Ρ‚ΠΎ x являСтся элСмСнтом A, Π½ΠΎ x НЕ являСтся элСмСнтом BΒ».

ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ A, A’ β€” это Ρ‚ΠΎ ΠΆΠ΅ самоС, Ρ‡Ρ‚ΠΎ ΠΈ U-A.

Π§Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ²ΠΈΠ΄Π΅Ρ‚ΡŒ, ΠΊΠ°ΠΊ выглядит Ρ€Π°Π·Π½ΠΈΡ†Π° Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΌΡ‹ нарисуСм наши мноТСства A ΠΈ B Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ Π’Π΅Π½Π½Π°, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½ΠΈΠΆΠ΅:

Β 

Β 

Π’Π΅ΠΏΠ΅Ρ€ΡŒ Π·Π°ΠΊΡ€Π°ΡˆΠΈΠ²Π°Π΅ΠΌ А-Π’ красным Π²ΠΎΡ‚ Ρ‚Π°ΠΊ:

Β 

Β 

Или ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Π·Π°ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²Π°Ρ‚ΡŒ B-A синим Ρ†Π²Π΅Ρ‚ΠΎΠΌ Π²ΠΎΡ‚ Ρ‚Π°ΠΊ:

Β 

Β 

Π”Π°Π²Π°ΠΉΡ‚Π΅ посмотрим Π½Π° нСсколько Π½Π°Π±ΠΎΡ€ΠΎΠ² ΠΈ потрСнируСмся Π΄ΠΎΠΏΠΎΠ»Π½ΡΡ‚ΡŒ ΠΈΡ….

  • ΠŸΡƒΡΡ‚ΡŒ A={1,2,3,4,5} ΠΈ B={1,3,5}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт A, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² B, ΠΈ слоТим ΠΈΡ… вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A-B={2,4}.
  • ΠŸΡƒΡΡ‚ΡŒ A={3,5, 4,5, 5,5} ΠΈ ΠΏΡƒΡΡ‚ΡŒ B={3,5, 4,5, 5,5}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт A, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² B, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A-B= .
  • ΠŸΡƒΡΡ‚ΡŒ A={1,2,3,…} ΠΈ ΠΏΡƒΡΡ‚ΡŒ B={1,2,3,4,5}. Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт A, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² B, ΠΈ слоТим ΠΈΡ… вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A-B={6,7,8,…}.
  • ΠŸΡƒΡΡ‚ΡŒ A= Z ΠΈ ΠΏΡƒΡΡ‚ΡŒ B= . Если ΠΌΡ‹ возьмСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ элСмСнт ΠΈΠ· A, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ НЕ Π²Ρ…ΠΎΠ΄ΠΈΡ‚ Π² B, ΠΈ слоТим ΠΈΡ… всС вмСстС, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ A-B=U= Z .

Π”ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ

Π’Π°Ρˆ адрСс email Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΠΏΡƒΠ±Π»ΠΈΠΊΠΎΠ²Π°Π½. ΠžΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ поля ΠΏΠΎΠΌΠ΅Ρ‡Π΅Π½Ρ‹ *