Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств – Π’Π΅ΠΌΠ° 2.2. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств

Π‘ΠΎΠ΄Π΅Ρ€ΠΆΠ°Π½ΠΈΠ΅

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅

Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ Π΄Π²Π΅ Ρ†ΠΈΡ„Ρ€Ρ‹, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, 3 ΠΈ 5, ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ Π΄Π²ΡƒΠ·Π½Π°Ρ‡Π½Ρ‹Ρ… числа: 35, 53, 33 ΠΈ 55. НСсмотря Π½Π° Ρ‚ΠΎ Ρ‡Ρ‚ΠΎ числа 35 ΠΈ 53 записаны с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΎΠ΄Π½ΠΈΡ… ΠΈ Ρ‚Π΅Ρ… ΠΆΠ΅ Ρ†ΠΈΡ„Ρ€, эти числа Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅. Π’ Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π²Π°ΠΆΠ΅Π½ порядок слСдования элСмСнтов, Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ говорят ΠΎΠ± упорядочСнных Π½Π°Π±ΠΎΡ€Π°Ρ… элСмСнтов. Π’ рассмотрСнном ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅ ΠΌΡ‹ ΠΈΠΌΠ΅Π»ΠΈ Π΄Π΅Π»ΠΎ с упорядочСнными ΠΏΠ°Ρ€Π°ΠΌΠΈ.

Π£ΠΏΠΎΡ€ΡΠ΄ΠΎΡ‡Π΅Π½Π½ΡƒΡŽ ΠΏΠ°Ρ€Ρƒ, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΡƒΡŽ ΠΈΠ· элСмСнтов Π° ΠΈ b, принято Π·Π°ΠΏΠΈΡΡ‹Π²Π°Ρ‚ΡŒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΊΡ€ΡƒΠ³Π»Ρ‹Π΅ скобки: (Π°; b). Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ Π° Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ (ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠΉ) ΠΏΠ°Ρ€Ρ‹, Π° элСмСнт b — Π²Ρ‚ΠΎΡ€ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ (ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠΉ) ΠΏΠ°Ρ€Ρ‹.

ΠŸΠ°Ρ€Ρ‹ (Π°; b) ΠΈ (с; d) Ρ€Π°Π²Π½Ρ‹ Π² Ρ‚ΠΎΠΌ ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° a =c ΠΈ b = d.

Π’ упорядочСнной ΠΏΠ°Ρ€Π΅ (Π°; b) ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π° = b. Π’Π°ΠΊ, запись чисСл 33 ΠΈ 55 ΠΌΠΎΠΆΠ½ΠΎ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ (3; 3) ΠΈ (5; 5).

УпорядочСнныС ΠΏΠ°Ρ€Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Ρ‹Π²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ ΠΈΠ· элСмСнтов ΠΎΠ΄Π½ΠΎΠ³ΠΎ мноТСства, Ρ‚Π°ΠΊ ΠΈ Π΄Π²ΡƒΡ… мноТСств. ΠŸΡƒΡΡ‚ΡŒ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, 4 = {1, 2, 3}, Π’ = {3, 5}. ΠžΠ±Ρ€Π°Π·ΡƒΠ΅ΠΌ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Π»Π° мноТСству А, Π° вторая- мноТСству Π’. Если ΠΌΡ‹ пСрСчислим всС Ρ‚Π°ΠΊΠΈΠ΅ ΠΏΠ°Ρ€Ρ‹, Ρ‚ΠΎ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ мноТСство:

{(1;3),(1;5),(2;5),(3;3),(3;5)}.

Π’ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ имСя Π΄Π²Π° мноТСства А ΠΈ Π’, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ Π½ΠΎΠ²ΠΎΠ΅ мноТСство, элСмСнтами ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΠ²Π»ΡΡŽΡ‚ΡΡ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ чисСл. Π­Ρ‚ΠΎ мноТСство Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств Аи Π’.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств А ΠΈ Π’ называСтся мноТСство всСх ΠΏΠ°Ρ€, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству А, Π° вторая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству Π’.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А ΠΈ Π’ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ Ах Π’. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ это ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Ρ‚Π°ΠΊ:

А Ρ… Π’= {(Ρ…;Ρƒ) |Ρ… А ΠΈ Ρƒ Π’}.

Π— Π° Π΄ Π° Ρ‡ Π° 1. НайдитС Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А ΠΈ Π’, Ссли:

a)A = {m;p},B={e,f,k};

Π±)А=Π’={3,5}.

РСшСниС. Π°) ДСйствуСм согласно ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΡŽ- ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅ΠΌ всС ΠΏΠ°Ρ€Ρ‹, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… выбираСтся ΠΈΠ· А, Π° вторая — ΠΈΠ· Π’:

А Ρ… Π’= {( m; Π΅), (m; f), (m; k), (p; e), (p;f), (p; ΠΊ)}.

Π±) Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ρ€Π°Π²Π½Ρ‹Ρ… мноТСств находят, образуя всСвозмоТныС ΠΏΠ°Ρ€Ρ‹ ΠΈΠ· элСмСнтов Π΄Π°Π½Π½ΠΎΠ³ΠΎ мноТСства:

А Ρ… А={(3;3), (3;5), (5;3), (5;5)}

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ нахоТдСния Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. Выясним, ΠΊΠ°ΠΊΠΈΠΌΠΈ свойствами ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ эта опСрация. Π’Π°ΠΊ ΠΊΠ°ΠΊ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ произвСдСния А Ρ… Π’ ΠΈ Π’ Ρ… А состоят ΠΈΠ· Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… элСмСнтов, Ρ‚ΠΎ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ мноТСств А ΠΈ Π’ свойством коммутативности Π½Π΅ ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚. МоТно Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ для Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° умноТСния Π½Π΅ выполняСтся ΠΈ свойство ассоциативности. Но Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ дистрибутивно ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ объСдинСния ΠΈ вычитания мноТСств, Ρ‚.Π΅. для Π»ΡŽΠ±Ρ‹Ρ… мноТСств А, Π’ ΠΈ Π‘ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ равСнства:

(А Π’) Ρ… Π‘ = (А Ρ… Π‘) (Π’ Ρ… Π‘),

(А \ Π’) Ρ… Π‘ = (А Ρ… Π’) \ (Π’ Ρ… Π‘).

Π— Π° Π΄ Π° Ρ‡ Π° 2. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΡŒΡ‚Π΅ ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ свойства дистрибутивности Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° умноТСния ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ объСдинСния, Ссли:

А = {3; 4; 5}, Π’ ={5; 7}, Π‘ ={7; 8}.

РСшСниС. НайдСм объСдинСниС мноТСств А ΠΈ Π’: А Π’ = {3,4,5,7}. Π”Π°Π»Π΅Π΅ пСрСчислим элСмСнты мноТСства (А Π’) Ρ… Π‘, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния: (А Π’) Ρ… Π‘ = {(3; 7), (3; 8), (4; 7), (4; 8), (5; 7), (5; 8), (7; 7), (7; 8)}.

Π§Ρ‚ΠΎΠ±Ρ‹ Π½Π°ΠΉΡ‚ΠΈ элСмСнты мноТСства (А Ρ… Π‘) (Π’ Ρ… Π‘), пСрСчислим сначала элСмСнты мноТСств А Ρ… Π‘ ΠΈ Π’ Ρ… Π‘:

А Ρ… Π‘ = {(3; 7), (3; 8), (4; 7), (4; 8), (5; 7), (5; 8)}

Π’ Ρ… Π‘={(5;7),(5;8),(7;7),(7;8)}.

НайдСм объСдинСниС ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹Ρ… Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹Ρ… ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ: (А Ρ… Π‘) (Π’ Ρ… Π‘) = {(3; 7), (3; 8), (4; 7), (4; 8), (5; 7), (5; 8), (7; 7), (7; 8)}.

Π’ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ мноТСства (А Π’) Ρ… Π‘ ΠΈ (А Ρ… Π‘) (Π’ Ρ… Π‘) состоят ΠΈΠ· ΠΎΠ΄Π½ΠΈΡ… ΠΈ Ρ‚Π΅Ρ… ΠΆΠ΅ элСмСнтов, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, для Π΄Π°Π½Π½Ρ‹Ρ… мноТСств А, Π’ ΠΈ Π‘ справСдливо равСнство (А Π’) Ρ… Π‘ = = (А Ρ… Π‘) (Π’ Ρ… Π‘).

Выясним Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ, ΠΊΠ°ΠΊ ΠΌΠΎΠΆΠ½ΠΎ наглядно ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»ΡΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств.

Если мноТСства А ΠΈ Π’ ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ ΠΈ содСрТат нСбольшоС число элСмСнтов, Ρ‚ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ этих мноТСств ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ Π³Ρ€Π°Ρ„Π° ΠΈΠ»ΠΈ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹. НапримСр, Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А = {1, 2, 3} ΠΈ Π’ = {3, 5} ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Ρ‚Π°ΠΊ, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° рисункС 17(Π°, Π±).

Β 

Π’ А
(1,3) (1,5)
(2,3) (2,3)
(3,3) (3,3)

б) Рис. 17

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… числовых мноТСств (ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… ΠΈ бСсконСчных) ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ°Ρ‚ΡŒ Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ каТдая ΠΏΠ°Ρ€Π° чисСл ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ СдинствСнным ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½Π° Ρ‚ΠΎΡ‡ΠΊΠΎΠΉ Π½Π° этой плоскости. НапримСр, Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ А Ρ…Π’ мноТСств А = {1, 2, 3} ΠΈ Π’ = = (3, 5} Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ Ρ‚Π°ΠΊ, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° рисункС 18.

Ρƒ

Β 

5

Β 

3

Β 

0 1 2 3 Ρ… Рис.18

Π—Π°ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ элСмСнты мноТСства А ΠΌΡ‹ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΠ»ΠΈ Π½Π° оси ΠžΡ…, Π° элСмСнты мноТСства Π’ — Π½Π° оси ΠžΡƒ.

Π’Π°ΠΊΠΎΠΉ способ наглядного прСдставлСния Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния Π΄Π²ΡƒΡ… числовых мноТСств ΡƒΠ΄ΠΎΠ±Π½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Π² случаС, ΠΊΠΎΠ³Π΄Π° хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π½ΠΈΡ… бСсконСчноС.

Π—Π°Π΄Π°Ρ‡Π° 3. Π˜Π·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ах Π’, Ссли:

Π°) А = {1,2,3},Π’ = [3,5];

Π±) А = [1,3], Π’ = [3,5];

Π²) A = R, Π’ = [3,5];

Π³) А = R, Π’ = R.

Π  Π΅ ш Π΅ Π½ ΠΈ Π΅, Π°) Π’Π°ΠΊ ΠΊΠ°ΠΊ мноТСство А состоит ΠΈΠ· Ρ‚Ρ€Π΅Ρ… элСмСнтов, Π° мноТСство Π’ содСрТит всС Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ числа ΠΎΡ‚ 3 Π΄ΠΎ 5, Π²ΠΊΠ»ΡŽΡ‡Π°Ρ ΠΈ сами эти числа, Ρ‚ΠΎ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ А Ρ… Π’ Π±ΡƒΠ΄Π΅Ρ‚ ΡΠΎΡΡ‚ΠΎΡΡ‚ΡŒ ΠΈΠ· бСсконСчного мноТСства Π½Π°Ρ€, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π»ΠΈΠ±ΠΎ 1, Π»ΠΈΠ±ΠΎ 2, Π»ΠΈΠ±ΠΎ 3, Π° вторая-любоС Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ число ΠΈΠ· ΠΏΡ€ΠΎΠΌΠ΅ΠΆΡƒΡ‚ΠΊΠ° [3, 5]. Π’Π°ΠΊΠΎΠ΅ мноТСство ΠΏΠ°Ρ€ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости изобразится трСмя ΠΎΡ‚Ρ€Π΅Π·ΠΊΠ°ΠΌΠΈ (рис. 19).

Ρƒ

Β 

5

Β 

3

Β 

0 1 2 3 Ρ… Рис. 19

Β 

Β 

Π±) Π’ этом случаС бСсконСчны ΠΎΠ±Π° мноТСства А ΠΈ Π’. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ ΠΏΠ°Ρ€Ρ‹, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰Π΅ΠΉ мноТСству Ах Π’, ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ любоС число ΠΈΠ· ΠΏΡ€ΠΎΠΌΠ΅ΠΆΡƒΡ‚ΠΊΠ° [1,3], ΠΈ, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Ρ‚ΠΎΡ‡ΠΊΠΈ, ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‰ΠΈΠ΅ элСмСнты Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния Π΄Π°Π½Π½Ρ‹Ρ… мноТСств А ΠΈ Π’, ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ (рис. 20).

Ρƒ

Β 

5

Β 

3

Β 

Β 

Β 
Β 

0 1 2 3 Ρ… Рис. 20

Β 

Β 

Π§Ρ‚ΠΎΠ±Ρ‹ ΠΏΠΎΠ΄Ρ‡Π΅Ρ€ΠΊΠ½ΡƒΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ элСмСнты Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‚ΡΡ ΠΈ Ρ‚ΠΎΡ‡ΠΊΠ°ΠΌΠΈ, Π»Π΅ΠΆΠ°Ρ‰ΠΈΠΌΠΈ Π²Π½ΡƒΡ‚Ρ€ΠΈ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π°, этот ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²Π°Ρ‚ΡŒ.

Π²) Π­Ρ‚ΠΎΡ‚ случай отличаСтся ΠΎΡ‚ ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅Π³ΠΎ Ρ‚Π΅ΠΌ, Ρ‡Ρ‚ΠΎ мноТСство А состоит ΠΈΠ· всСх Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл, Ρ‚.Π΅. абсцисса Ρ‚ΠΎΡ‡Π΅ΠΊ, ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‰ΠΈΡ… элСмСнты мноТСства А Ρ… Π’, ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ всС Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ значСния, Π² Ρ‚ΠΎ врСмя ΠΊΠ°ΠΊ ΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π° выбираСтся ΠΈΠ· ΠΏΡ€ΠΎΠΌΠ΅ΠΆΡƒΡ‚ΠΊΠ° [3,5]. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ Ρ‚Π°ΠΊΠΈΡ… Ρ‚ΠΎΡ‡Π΅ΠΊ ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ полосу (рис. 21).

Ρƒ

Β 

5

Β 

Β 

Β 

Β 
Β 

0 Ρ… Рис. 21

Β 

Π³) Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ R x R состоит ΠΈΠ· всСвозмоТных Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл. Π’ΠΎΡ‡ΠΊΠΈ, ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ°ΡŽΡ‰ΠΈΠ΅ эти ΠΏΠ°Ρ€Ρ‹, сплошь Π·Π°ΠΏΠΎΠ»Π½ΡΡŽΡ‚ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΡƒΡŽ ΠΏΠ»ΠΎΡΠΊΠΎΡΡ‚ΡŒ. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ R x R содСрТит ΡΡ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΆΠ΅ элСмСнтов, сколько Ρ‚ΠΎΡ‡Π΅ΠΊ находится Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости.

Π’ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΡ… Π½Π°ΡƒΠΊΠ°Ρ… Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ упорядочСнныС ΠΏΠ°Ρ€Ρ‹, Π½ΠΎ ΠΈ упорядочСнныС Π½Π°Π±ΠΎΡ€Ρ‹ ΠΈΠ· Ρ‚Ρ€Π΅Ρ…, Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… ΠΈ Ρ‚.Π΄. элСмСнтов. НапримСр, запись числа 367- это упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· Ρ‚Ρ€Π΅Ρ… элСмСнтов, Π° запись слова Β«ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°Β» — это упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· 10 элСмСнтов.

УпорядочСнныС Π½Π°Π±ΠΎΡ€Ρ‹ часто Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ°ΠΌΠΈ ΠΈ Ρ€Π°Π·Π»ΠΈΡ‡Π°ΡŽΡ‚ ΠΏΠΎ Π΄Π»ΠΈΠ½Π΅. Π”Π»ΠΈΠ½Π° ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ° — это число элСмСнтов, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΎΠ½ состоит. НапримСр, (3; 6; 7) — это ΠΊΠΎΡ€Ρ‚Π΅ΠΆ Π΄Π»ΠΈΠ½Ρ‹ 3, (ΠΌ, Π°, Ρ‚, Π΅, ΠΌ, Π°, Ρ‚, ΠΈ, ΠΊ, Π°) — это ΠΊΠΎΡ€Ρ‚Π΅ΠΆ Π΄Π»ΠΈΠ½Ρ‹ 10.

Π Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΈ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ρ‚Ρ€Π΅Ρ…, Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… ΠΈ Π²ΠΎΠΎΠ±Ρ‰Π΅ ΠΈ мноТСств.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств A1, А2,…, Аn называСтся мноТСство всСх ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ΅ΠΉ Π΄Π»ΠΈΠ½Ρ‹ n, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству A

1, вторая — мноТСству А2,…, n-я — мноТСству An.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств A1, А2,…, АnΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ Ρ‚Π°ΠΊ: A1 Ρ… А2 Ρ…… Ρ… Аn.

Π— Π° Π΄ Π° Ρ‡ Π° 4. Π”Π°Π½Ρ‹ мноТСства: A1 = {2, b), А2 = {3, 4, 5}, А3 = {6,7}. Найти A1 Ρ… А2 Ρ… А3.

Π Π΅ ш Π΅ Π½ ΠΈ Π΅. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Π°ΠΌΠΈ мноТСства A1Ρ… А2Ρ… А3 Π±ΡƒΠ΄ΡƒΡ‚ ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠΈ Π΄Π»ΠΈΠ½Ρ‹ 3 Ρ‚Π°ΠΊΠΈΠ΅, Ρ‡Ρ‚ΠΎ пСрвая ΠΈΡ… ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству A1, вторая — мноТСству А2, Ρ‚Ρ€Π΅Ρ‚ΡŒΡ — мноТСству А3.

A1Ρ… А2Ρ… А3 = {(2, 3, 6), (2, 3, 7), (2, 4, 6), (2, 4, 7),

(2, 5, 6), (2, 5,7), (3,3,6), (3,3, 7),

(3,4, 6), (3,4,7), (3,5,6), (3,5,7)}.

Β 


ΠŸΠΎΡ…ΠΎΠΆΠΈΠ΅ ΡΡ‚Π°Ρ‚ΡŒΠΈ:

poznayka.org

1.5. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств

ΠŸΡƒΡΡ‚ΡŒ Π΄Π°Π½Ρ‹ Π΄Π²Π° ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹Ρ… нСпустых мноТСства ΠΈ, элСмСнты ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΡ‹ Π±ΡƒΠ΄Π΅ΠΌ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Ρ‚ΡŒ,.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅. ΠŸΡ€ΡΠΌΡ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ (ΠΈΠ»ΠΈ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ) Π΄Π²ΡƒΡ… нСпустых мноТСств называСтся мноТСство упорядочСнных ΠΏΠ°Ρ€, Π³Π΄Π΅,. Π£ΠΏΠΎΡ€ΡΠ΄ΠΎΡ‡Π΅Π½Π½ΠΎΡΡ‚ΡŒ ΠΏΠ°Ρ€Ρ‹ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ Ссли ΠΌΡ‹ Π±ΡƒΠ΄Π΅Ρ‚ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅, Ρ‚ΠΎ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π°Ρ ΠΏΠ°Ρ€Π° Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠΌΠ΅Ρ‚ΡŒ Π²ΠΈΠ΄, Π³Π΄Π΅,.

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

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 1. Π”Π°Π½Ρ‹ мноТСства ΠΈ. НайдитС мноТСстваи,ΠΈ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ мощности.

РСшСниС

;

.

НайдСм ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ: .

.

.

НайдСм ΠΌΠΎΡ‰Π½ΠΎΡΡ‚ΡŒ: .

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2. Π”Π°Π½Ρ‹ мноТСства ,,.НайдитС число элСмСнтов Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств ΠΈ ΡƒΠΊΠ°ΠΆΠΈΡ‚Π΅ эти элСмСнты.

РСшСниС

НайдСм пСрСсСчСниС мноТСств , содСрТащСС ΠΎΠ±Ρ‰ΠΈΠ΅ элСмСнты ΠΎΠ±ΠΎΠΈΡ… мноТСств:. Π’Π°ΠΊ ΠΊΠ°ΠΊ мноТСствосодСрТит Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ элСмСнта, Π° мноТСство– Π΄Π²Π° элСмСнта, Ρ‚ΠΎ количСство ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΡ… ΠΏΠ°Ρ€ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния Π±ΡƒΠ΄Π΅Ρ‚. ΠŸΠ΅Ρ€Π΅Ρ‡ΠΈΡΠ»ΠΈΠΌ всСвозмоТныС ΠΏΠ°Ρ€Ρ‹:,,,,,,,.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 3. Π”Π°Π½Ρ‹ мноТСства ΠΈ. НайдитС ΠΈ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚Π΅ Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости.

РСшСниС

Π’ соотвСтствии с ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ΠΌ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния – мноТСство Ρ‚ΠΎΡ‡Π΅ΠΊ, располоТСнных Π² ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π΅ с Π²Π΅Ρ€ΡˆΠΈΠ½Π°ΠΌΠΈ,,ΠΈ(рис. 10).

ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±ΠΎΠ±Ρ‰ΠΈΡ‚ΡŒ Π½Π° случай мноТСств. Если– ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹Π΅ нСпустыС мноТСства, Ρ‚ΠΎ ΠΈΡ… Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ произвСдСниСсостоит ΠΈΠ· всСвозмоТных упорядочСнных Π½Π°Π±ΠΎΡ€ΠΎΠ², Π³Π΄Π΅,, …,.

Рис. 10

Π—Π°ΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅. Если – ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ мноТСства, Ρ‚ΠΎ

.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств само являСтся мноТСством, ΠΈ поэтому ΠΊ Π½Π΅ΠΌΡƒ ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΠΌΡ‹ всС ΠΈΠ·ΡƒΡ‡Π΅Π½Π½Ρ‹Π΅ Ρ€Π°Π½Π΅Π΅ способы задания ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ.

Вопросы ΠΈ Π·Π°Π΄Π°Ρ‡ΠΈ для ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ

  1. Π”Π°ΠΉΡ‚Π΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств.

  2. ΠŸΡƒΡΡ‚ΡŒ ΠΈ. НайдитС мноТСства,,ΠΈ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ мощности.

  3. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

. Π’ΠΎΠ³Π΄Π° Ρ‡Π΅ΠΌΡƒ Ρ€Π°Π²Π½Ρ‹ мноТСства ΠΈ ?

1.6. Π‘ΠΈΠ½Π°Ρ€Π½Ρ‹Π΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ. Бвойства Π±ΠΈΠ½Π°Ρ€Π½Ρ‹Ρ… ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 1. Π‘ΠΈΠ½Π°Ρ€Π½Ρ‹ΠΌ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ Π½Π° мноТСствахиназываСтся любоС подмноТСство Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСстви:. ΠŸΡ€ΠΈ этом ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎΠ½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΠΎΠ±Π»Π°ΡΡ‚ΡŒΡŽ опрСдСлСния ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ , Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎβ€“ΠΎΠ±Π»Π°ΡΡ‚ΡŒΡŽ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ.

Если элСмСнты имноТСствинаходятся Π² ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΈ, Ρ‚ΠΎ ΠΏΠΈΡˆΡƒΡ‚, ΠΈΠ»ΠΈ. Если, тоназываСтся Π±ΠΈΠ½Π°Ρ€Π½Ρ‹ΠΌ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ Π½Π°.

НапримСр:

Π°) Ссли , Ρ‚ΠΎΠ³Π΄Π° Π·Π°ΠΏΠΈΡΡŒΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎΠΈ Π² качСствС обозначСния этого ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ ΠΌΠΎΠΆΠ½ΠΎ Π²Π·ΡΡ‚ΡŒ сам символ «≀». ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ опрСдСлСния ΠΈ мноТСство Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‚ с мноТСством Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл;

Π±) Ссли – мноТСство Ρ‚ΠΎΠ²Π°Ρ€ΠΎΠ² Π² ΠΌΠ°Π³Π°Π·ΠΈΠ½Π΅, а– мноТСство Ρ†Π΅Π»Ρ‹Ρ… ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл ΠΈΠ· Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ Π΄ΠΈΠ°ΠΏΠ°Π·ΠΎΠ½Π°, Ρ‚ΠΎ – ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ мноТСств ΠΈ. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ опрСдСлСния – Ρ‚ΠΎΠ²Π°Ρ€Ρ‹ Π² ΠΌΠ°Π³Π°Π·ΠΈΠ½Π΅, Π° мноТСство Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ – Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ числа, ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… совпадаСт с Ρ†Π΅Π½ΠΎΠΉ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ Ρ‚ΠΎΠ²Π°Ρ€Π°;

c) Ссли – мноТСство Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл, Ρ‚ΠΎΠ΅ΡΡ‚ΡŒ Π±ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ – Ρ‚ΠΎΡ‡ΠΊΠΈ плоскости, Π»Π΅ΠΆΠ°Ρ‰ΠΈΠ΅ Π²Π½ΡƒΡ‚Ρ€ΠΈ ΠΈΠ»ΠΈ Π½Π° Π³Ρ€Π°Π½ΠΈΡ†Π΅ ΠΊΡ€ΡƒΠ³Π° радиуса 2 с Ρ†Π΅Π½Ρ‚Ρ€ΠΎΠΌ Π² Π½Π°Ρ‡Π°Π»Π΅ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ опрСдСлСнияи мноТСство Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ .

Бвойства Π±ΠΈΠ½Π°Ρ€Π½Ρ‹Ρ… ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ

1. Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° мноТСствСрСфлСксивноС, Ссли для всякого выполняСтся.

2. Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° мноТСствСантирСфлСксивноС, Ссли для Π»ΡŽΠ±Ρ‹Ρ… ΠΈ, для ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΎ, слСдуСт, Ρ‡Ρ‚ΠΎ.

3. Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° мноТСствСсиммСтричноС, Ссли ΠΈΠ· выполнСния слСдуСт, Ρ‡Ρ‚ΠΎ, Ρ‚.Β Π΅. ΠΈΠ· принадлСТности ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡŽ парыслСдуСт ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ этому ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡŽ Ρ‚Π°ΠΊΠΆΠ΅ ΠΏΠ°Ρ€Ρ‹.

4. Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° мноТСствСантисиммСтричноС, Ссли ΠΈΠ· выполнСния ислСдуСт, Ρ‡Ρ‚ΠΎ .

5. Π‘ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° мноТСствСтранзитивноС, Ссли ΠΈΠ· выполнСния ислСдуСт Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 2. РСфлСксивноС, симмСтричноС ΠΈ Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ΡΡΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ эквивалСнтности.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 3. РСфлСксивноС, антисиммСтричноС ΠΈ Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ΡΡΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ нСстрогого порядка.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ 4. АнтирСфлСксивноС, антисиммСтричноС ΠΈ Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ΡΡΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ строгого порядка.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€. ΠŸΡ€ΠΎΠ²Π΅Ρ€ΡŒΡ‚Π΅, ΠΊΠ°ΠΊΠΈΠΌΠΈ свойствами ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅

(Ρ‚.Π΅. ΠΊΡ€Π°Ρ‚Π½ΠΎ Ρ‚Ρ€Π΅ΠΌ).

РСшСниС:

Π°) Ρ€Π΅Ρ„Π»Π΅ΠΊΡΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: для ΠΈΠ½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ.

Π”Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ, ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ рСфлСксивно;

Π±) ΡΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π½ΠΎΡΡ‚ΡŒ: для ΠΈΠ½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ.

ΠžΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΠΌ , подставим:

ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ симмСтрично;

Π²) Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: для ΠΈ,Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ.

ΠžΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΠΌ , ΠΈ, подставим:

ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎ.

Π’Π°ΠΊ ΠΊΠ°ΠΊ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ рСфлСксивно, симмСтрично ΠΈ Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎ, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, ΠΎΠ½ΠΎ являСтся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ эквивалСнтности.

Вопросы ΠΈ Π·Π°Π΄Π°Ρ‡ΠΈ для ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ

1. КакиС ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ эквивалСнтности, ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ нСстрогого порядка, ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ строгого порядка?

2. НайдитС ΠΎΠ±Π»Π°ΡΡ‚ΡŒ опрСдСлСния ΠΈ мноТСство Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ:

Π°) ;

Π±) .

3. Π”Π°Π½Ρ‹ мноТСства ΠΈ. НайдитС количСство ΠΏΠ°Ρ€, ΡƒΠ΄ΠΎΠ²Π»Π΅Ρ‚Π²ΠΎΡ€ΡΡŽΡ‰ΠΈΡ… Π±ΠΈΠ½Π°Ρ€Π½ΠΎΠΌΡƒ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡŽ.

studfiles.net

9. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств

Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ Π΄Π²Π΅ Ρ†ΠΈΡ„Ρ€Ρ‹, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, 3 ΠΈ 5, ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ Π΄Π²ΡƒΠ·Π½Π°Ρ‡Π½Ρ‹Ρ… числа: 35, 53, 33 ΠΈ 55. НСсмотря Π½Π° Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ числа 35 ΠΈ 53 записаны с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΎΠ΄Π½ΠΈΡ… ΠΈ Ρ‚Π΅Ρ… ΠΆΠ΅ Ρ†ΠΈΡ„Ρ€, эти числа Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅. Π’ Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π²Π°ΠΆΠ΅Π½ порядок слСдования элСмСнтов, Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ говорят ΠΎΠ± упорядочСнных Π½Π°Π±ΠΎΡ€Π°Ρ… элСмСнтов. Π’ рассмотрСнном ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅ ΠΌΡ‹ ΠΈΠΌΠ΅Π»ΠΈ Π΄Π΅Π»ΠΎ с упорядочСнными ΠΏΠ°Ρ€Π°ΠΌΠΈ.

Π£ΠΏΠΎΡ€ΡΠ΄ΠΎΡ‡Π΅Π½Π½ΡƒΡŽ ΠΏΠ°Ρ€Ρƒ, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΡƒΡŽ ΠΈΠ· элСмСнтов Π° ΠΈ b, принято Π·Π°ΠΏΠΈΡΡ‹Π²Π°Ρ‚ΡŒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΊΡ€ΡƒΠ³Π»Ρ‹Π΅ скобки: (Π°;b). Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ Π° Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ (ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠΉ) ΠΏΠ°Ρ€Ρ‹, Π° элСмСнтb– Π²Ρ‚ΠΎΡ€ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ (ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠΉ) ΠΏΠ°Ρ€Ρ‹.

ΠŸΠ°Ρ€Ρ‹ (Π°; b) ΠΈ (с;d) Ρ€Π°Π²Π½Ρ‹ Π² Ρ‚ΠΎΠΌ ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π° = с ΠΈb=d.

Π’ упорядочСнной ΠΏΠ°Ρ€Π΅ (Π°; b) ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π° =b. Π’Π°ΠΊ, запись чисСл 33 ΠΈ 55 ΠΌΠΎΠΆΠ½ΠΎ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ (3; 3) ΠΈ (5; 5).

УпорядочСнныС ΠΏΠ°Ρ€Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Ρ‹Π²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ ΠΈΠ· элСмСнтов ΠΎΠ΄Π½ΠΎΠ³ΠΎ мноТСства, Ρ‚Π°ΠΊ ΠΈ Π΄Π²ΡƒΡ… мноТСств. ΠŸΡƒΡΡ‚ΡŒ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, А = {1, 2, 3}, Π’ = {3, 5}. ΠžΠ±Ρ€Π°Π·ΡƒΠ΅ΠΌ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Π»Π° мноТСству А, Π° вторая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° – мноТСству Π’. Если ΠΌΡ‹ пСрСчислим всС Ρ‚Π°ΠΊΠΈΠ΅ ΠΏΠ°Ρ€Ρ‹, Ρ‚ΠΎ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ мноТСства:

{(1; 3), (1; 5) (2; 3), (2; 5), (3; 3), (3; 5)}.

Π’ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ, имСя Π΄Π²Π° мноТСства А.ΠΈ Π’, ΠΌΡ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ Π½ΠΎΠ²ΠΎΠ΅ мноТСство, элСмСнтами ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΠ²Π»ΡΡŽΡ‚ΡΡ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ чисСл. Π­Ρ‚ΠΎ мноТСство Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств А ΠΈ Π’.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅.Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств А ΠΈ Π’ называСтся мноТСство всСх ΠΏΠ°Ρ€, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству А, Π° вторая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству Π’.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А ΠΈ Π’ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ А Ρ… Π’. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ это ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, Π·Π°ΠΏΠΈΡΡ‹Π²Π°ΡŽΡ‚:

А Ρ… Π’ = {Ρ…; Ρƒ) / Ρ… ∈ А ΠΈ ΡƒβˆˆΠ’}.

Выясним, ΠΊΠ°ΠΊΠΈΠΌΠΈ свойствами ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ опСрация нахоТдСния Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния. Π’Π°ΠΊ ΠΊΠ°ΠΊ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ произвСдСния А Ρ… Π’ ΠΈ Π’ Ρ… А состоят ΠΈΠ· Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… элСмСнтов, Ρ‚ΠΎ опСрация нахоТдСния Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств свойством коммутативности Π½Π΅ ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚.

Аналогично рассуТдая, ΠΌΠΎΠΆΠ½ΠΎ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ для этой ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π΅ выполняСтся ΠΈ свойство ассоциативности. Но ΠΎΠ½Π° дистрибутивна ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ объСдинСния ΠΈ вычитания мноТСств, Ρ‚.Π΅. для Π»ΡŽΠ±Ρ‹Ρ… мноТСств А, Π’ ΠΈ Π‘ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ равСнства:

(АβˆͺΠ’) Ρ… Π‘ = (А Ρ… Π‘)βˆͺ(Π’ Ρ… Π‘),

(А / Π’) Ρ… Π‘ = (А Ρ… Π‘) / (Π’ Ρ… Π‘).

Π”ΠΎΠΊΠ°Π·Ρ‹Π²Π°Ρ‚ΡŒ эти свойства ΠΌΡ‹ Π½Π΅ Π±ΡƒΠ΄Π΅ΠΌ, Π½ΠΎ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ ΠΈΡ… ΠΌΠΎΠΆΠ½ΠΎ Π½Π° ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½Ρ‹Ρ… ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π°Ρ….

Выясним Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ, ΠΊΠ°ΠΊ ΠΌΠΎΠΆΠ½ΠΎ наглядно ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств.

Если мноТСства А ΠΈ Π’ ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ ΠΈ содСрТат нСбольшоС количСство элСмСнтов, Ρ‚ΠΎ Π΅Π³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ Π³Ρ€Π°Ρ„Π° ΠΈΠ»ΠΈ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹. НапримСр, Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств

А = {1, 2, 3} ΠΈ Π’ = {3, 5} ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Ρ‚Π°ΠΊ, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° рисункС.

А Π’

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… числовых мноТСств (ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… ΠΈ бСсконСчных) ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ каТдая ΠΏΠ°Ρ€Π° чисСл ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ СдинствСнным ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½Π° Ρ‚ΠΎΡ‡ΠΊΠΎΠΉ Π½Π° этой плоскости. НапримСр, Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π²Ρ‹ΡˆΠ΅ Π½Π°Π·Π²Π°Π½Π½Ρ‹Ρ… мноТСств Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ Ρ‚Π°ΠΊ:

1 2 3

Π—Π°ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ элСмСнты мноТСства А ΠΌΡ‹ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΠ»ΠΈ Π½Π° оси ΠžΡ…, Π° элСмСнты мноТСства Π’ – Π½Π° оси ΠžΡƒ.

Π’Π°ΠΊΠΎΠΉ способ наглядного изобраТСния Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств ΡƒΠ΄ΠΎΠ±Π½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Π² случаС, ΠΊΠΎΠ³Π΄Π° хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π½ΠΈΡ… бСсконСчноС.

Π’ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΡ… Π½Π°ΡƒΠΊΠ°Ρ… Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ упорядочСнныС ΠΏΠ°Ρ€Ρ‹, Π½ΠΎ ΠΈ упорядочСнныС Π½Π°Π±ΠΎΡ€Ρ‹ ΠΈΠ· Ρ‚Ρ€Π΅Ρ…, Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… ΠΈ Ρ‚.Π΄. элСмСнтов. НапримСр, запись числа 367 – это упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· Ρ‚Ρ€Π΅Ρ… элСмСнтов, Π° запись слова Β«ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°Β» — это упорядочСнный Π½Π°Π±ΠΎΡ€ ΠΈΠ· 10 элСмСнтов.

УпорядочСнныС Π½Π°Π±ΠΎΡ€Ρ‹ часто Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ°ΠΌΠΈ ΠΈ Ρ€Π°Π·Π»ΠΈΡ‡Π°ΡŽΡ‚ ΠΏΠΎ Π΄Π»ΠΈΠ½Π΅. Π”Π»ΠΈΠ½Π° ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ° – это число элСмСнтов, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΎΠ½ состоит. НапримСр, (3; 6; 7) – это ΠΊΠΎΡ€Ρ‚Π΅ΠΆ Π΄Π»ΠΈΠ½Ρ‹ 3, (ΠΌ, Π°, Ρ‚, Π΅, ΠΌ, Π°, Ρ‚, ΠΈ, ΠΊ, Π°) – это ΠΊΠΎΡ€Ρ‚Π΅ΠΆ Π΄Π»ΠΈΠ½Ρ‹ 10.

Π Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΈ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ρ‚Ρ€Π΅Ρ…, Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… ΠΈ Π²ΠΎΠΎΠ±Ρ‰Π΅ nмноТСств.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅.Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств А₁, А₂, …, АnназываСтся мноТСство всСх ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ΅ΠΉ Π΄Π»ΠΈΠ½Ρ‹n, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству А₁, вторая – мноТСству А₂, …, n-я — мноТСству Аn.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А₁, А₂, …, АnΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ Ρ‚Π°ΠΊ:

А₁х А₂ Ρ… …х Аn.

ЛСкция 4. Число элСмСнтов мноТСств

План:

1. Число элСмСнтов Π² объСдинСнии ΠΈ разности ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… мноТСств

2. Число элСмСнтов Π² Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΈ ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… мноТСств

3. ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ Π²Ρ‹Π²ΠΎΠ΄Ρ‹

studfiles.net

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств — это… Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств?

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

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств

ΠŸΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… мноТСств

Β Β Β Β Β Β Β Β 
Π²Π²Π²Π²Π²Π²Π²Π²
ΠΈΠΈΠΈΠΈΠΈΠΈΠΈΠΈ
ΠΊΠΊΠΊΠΊΠΊΠΊΠΊΠΊ
ΠŸΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСства {Π², ΠΈ, ΠΊ}
Π½Π° мноТСство Ρ†Π²Π΅Ρ‚ΠΎΠ² Ρ€Π°Π΄ΡƒΠ³ΠΈ

ΠŸΡƒΡΡ‚ΡŒ Π΄Π°Π½ΠΎ Π΄Π²Π° мноТСства X ΠΈ Y. ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСства X ΠΈ мноТСства Y Π΅ΡΡ‚ΡŒ Ρ‚Π°ΠΊΠΎΠ΅ мноТСство , элСмСнтами ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΠ²Π»ΡΡŽΡ‚ΡΡ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ (x,y) для всСвозмоТных ΠΈ .

ΠžΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΡ произвСдСния мноТСств Π² Π΅Π³ΠΎ ΠΌΠ½ΠΎΠΆΠΈΡ‚Π΅Π»ΠΈ ( ΠΈ ) Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½Ρ‹ΠΌΠΈ функциями.

Аналогично строятся произвСдСния Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… мноТСств.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ

000001002010011012020021022
100101102110111112120121122
200201202210211212220221222
{0, 1, 2}3, 33 = 27 элСмСнтов

n-я Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ мноТСства X опрСдСляСтся для Ρ†Π΅Π»Ρ‹Ρ… Π½Π΅ΠΎΡ‚Ρ€ΠΈΡ†Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… n, ΠΊΠ°ΠΊ n-ΠΊΡ€Π°Ρ‚Π½ΠΎΠ΅ Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ X Π½Π° сСбя:

ΠŸΡ€ΠΈ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… n Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ Xn состоит ΠΈΠ· всСх упорядочСнных Π½Π°Π±ΠΎΡ€ΠΎΠ² (ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ΅ΠΉ) элСмСнтов ΠΈΠ· X Π΄Π»ΠΈΠ½Ρ‹ n.

ΠŸΡ€ΠΈ n = 0, Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ X0 ΠΏΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΡŽ содСрТит СдинствСнный элСмСнт — пустой ΠΊΠΎΡ€Ρ‚Π΅ΠΆ.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ сСмСйства мноТСств

Π”Π°Π»ΡŒΠ½Π΅ΠΉΡˆΠ΅Π΅ ΠΎΠ±ΠΎΠ±Ρ‰Π΅Π½ΠΈΠ΅ понятия прямого произвСдСния ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ произвСдСниям ΠΏΠΎ индСксному мноТСству I (Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, бСсконСчному): X = Ξ Xi, элСмСнты ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΠΎΠΏΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‚ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ индСксу i ΠΈΠ· I элСмСнт мноТСства Xi.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ

ΠŸΡƒΡΡ‚ΡŒ f β€” ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· A Π² B, Π° g β€” ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· X Π² Y. Π˜Ρ… прямым ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ называСтся ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· Π² : .

Аналогично Π²Ρ‹ΡˆΠ΅ΠΈΠ·Π»ΠΎΠΆΠ΅Π½Π½ΠΎΠΌΡƒ, Π΄Π°Π½Π½ΠΎΠ΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ обобщаСтся Π½Π° ΠΌΠ½ΠΎΠ³ΠΎΠΊΡ€Π°Ρ‚Π½Ρ‹Π΅ ΠΈ бСсконСчныС произвСдСния.

ВоздСйствиС Π½Π° матСматичСскиС структуры

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π³Ρ€ΡƒΠΏΠΏ

ΠŸΡ€ΡΠΌΠΎΠ΅ (Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ) ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… Π³Ρ€ΡƒΠΏΠΏ (G, * ) ΠΈ Β β€” это Π³Ρ€ΡƒΠΏΠΏΠ° ΠΈΠ· всСх ΠΏΠ°Ρ€ элСмСнтов (g,h) с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ поэлСмСнтного умноТСния: . Π­Ρ‚Π° Π³Ρ€ΡƒΠΏΠΏΠ° обозначаСтся ΠΊΠ°ΠΊ . Π‘ΠΎΠΌΠ½ΠΎΠΆΠΈΡ‚Π΅Π»ΠΈ G ΠΈ H ΠΈΠ·ΠΎΠΌΠΎΡ€Ρ„Π½Ρ‹ Π΄Π²ΡƒΠΌ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ°ΠΌ своСго произвСдСния, ΠΈ соотвСтствСнно. ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ этих ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ состоит ΠΈΠ· ΠΎΠ΄Π½ΠΎΠ³ΠΎ элСмСнта (1G,1H), ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ являСтся Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹-произвСдСния. ΠšΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½Ρ‹Π΅ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ произвСдСния Π³Ρ€ΡƒΠΏΠΏ ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π³ΠΎΠΌΠΎΠΌΠΎΡ€Ρ„ΠΈΠ·ΠΌΠ°ΠΌΠΈ.

Π­Ρ‚ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ распространяСтся Π½Π° ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠ΅ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ΅ число ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ; Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния слСдуСт ΠΈΠ· ассоциативности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ.

Однако, для бСсконСчного числа ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ понятия Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎΠ³ΠΎ ΠΈ прямого произвСдСния принято Ρ€Π°Π·Π»ΠΈΡ‡Π°Ρ‚ΡŒ. Π’ ΠΎΠ±Ρ‰Π΅ΠΌ случаС, , Π³Π΄Π΅ ΠΈ . (ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ Π² ΠΏΡ€Π°Π²ΠΎΠΉ части — это опСрация Π³Ρ€ΡƒΠΏΠΏΡ‹ Gi.) Π•Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹-произвСдСния Π±ΡƒΠ΄Π΅Ρ‚ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ, составлСнная ΠΈΠ· Π΅Π΄ΠΈΠ½ΠΈΡ† всСх ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ: . НапримСр, для счётного числа Π³Ρ€ΡƒΠΏΠΏ: , Π³Π΄Π΅ Π² ΠΏΡ€Π°Π²ΠΎΠΉ части стоит мноТСство всСх бСсконСчных Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Ρ… ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚Π΅ΠΉ.

ΠŸΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° Π½Π° мноТСствС всСх f, Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… (Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ мноТСство ) ΠΊΠΎΠ½Π΅Ρ‡Π΅Π½, называСтся прямым ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ. НапримСр, прямоС ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ρ‚ΠΎΠ³ΠΎ ΠΆΠ΅ самого Π½Π°Π±ΠΎΡ€Π° мноТСств содСрТит всС Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Π΅ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ с ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΌ числом Π΅Π΄ΠΈΠ½ΠΈΡ†, Π° ΠΈΡ… ΠΌΠΎΠΆΠ½ΠΎ Ρ‚Ρ€Π°ΠΊΡ‚ΠΎΠ²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Π΅ прСдставлСния Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Ρ€ΡƒΠ³ΠΈΡ… алгСбраичСских структур

Аналогично ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡŽ Π³Ρ€ΡƒΠΏΠΏ, ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ произвСдСния ΠΊΠΎΠ»Π΅Ρ†, Π°Π»Π³Π΅Π±Ρ€, ΠΌΠΎΠ΄ΡƒΠ»Π΅ΠΉ ΠΈ Π»ΠΈΠ½Π΅ΠΉΠ½Ρ‹Ρ… пространств, ΠΏΡ€ΠΈΡ‡Ρ‘ΠΌ Π² ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ прямого произвСдСния 1i (см. Π²Ρ‹ΡˆΠ΅) слСдуСт Π·Π°ΠΌΠ΅Π½ΠΈΡ‚ΡŒ Π½ΡƒΠ»Ρ‘ΠΌ. Однако, ΠΊΠ°ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ, произвСдСния этих структур Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ прямой суммой.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ топологичСских пространств

ΠŸΡƒΡΡ‚ΡŒ X ΠΈ YΒ β€” Π΄Π²Π° топологичСских пространства. Вопология произвСдСния задаётся Π±Π°Π·ΠΎΠΉ, состоящСй ΠΈΠ· всСвозмоТных ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ , Π³Π΄Π΅ UΒ β€” ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠ΅ подмноТСство X ΠΈ VΒ β€” ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠ΅ подмноТСство Y.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π»Π΅Π³ΠΊΠΎ обобщаСтся Π½Π° случай произвСдСния Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… пространств. Для бСсконСчного произвСдСния X = Ξ Xi ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ услоТняСтся. ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΠΌ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΉ Ρ†ΠΈΠ»ΠΈΠ½Π΄Ρ€ , Π³Π΄Π΅ ΠΈ UΒ β€” ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠ΅ подмноТСство Xi.

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

Π’Π΅ΠΎΡ€Π΅ΠΌΠ° Π’ΠΈΡ…ΠΎΠ½ΠΎΠ²Π° ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π°Π΅Ρ‚ ΠΊΠΎΠΌΠΏΠ°ΠΊΡ‚Π½ΠΎΡΡ‚ΡŒ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ любого количСства ΠΊΠΎΠΌΠΏΠ°ΠΊΡ‚Π½Ρ‹Ρ… пространств; ΠΎΠ΄Π½Π°ΠΊΠΎ для бСсконСчных ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ Π΅Ρ‘ Π½Π΅ удаётся Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ Π±Π΅Π· использования аксиомы Π²Ρ‹Π±ΠΎΡ€Π° (ΠΈΠ»ΠΈ Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½Ρ‹Ρ… Π΅ΠΉ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств).

Π’Π°ΠΊΠΆΠ΅, Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ° АлСксандрова ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ любоС топологичСскоС пространство ΠΌΠΎΠΆΠ½ΠΎ Π²Π»ΠΎΠΆΠΈΡ‚ΡŒ Π² (бСсконСчноС) ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ связных Π΄Π²ΠΎΠ΅Ρ‚ΠΎΡ‡ΠΈΠΉ, Ссли Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½Π° аксиома ΠšΠΎΠ»ΠΌΠΎΠ³ΠΎΡ€ΠΎΠ²Π° (Π° ΠΈΠ½Ρ‹Π΅ пространства ΠΈ Π½Π΅ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ΡΡ).

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π³Ρ€Π°Ρ„ΠΎΠ²

Β ξ–‡β€”ξ–‡
ξ–‡ξ–‡β€”ξ–‡

ξ–‡ξ–‡β€”ξ–‡

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ Π²Π΅Ρ€ΡˆΠΈΠ½ прямого произвСдСния Π΄Π²ΡƒΡ… Π³Ρ€Π°Ρ„ΠΎΠ² G ΠΈ H задаётся ΠΊΠ°ΠΊ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π²Π΅Ρ€ΡˆΠΈΠ½ Π³Ρ€Π°Ρ„ΠΎΠ² сомноТитСлСй. Π Ρ‘Π±Ρ€Π°ΠΌΠΈ Π±ΡƒΠ΄ΡƒΡ‚ соСдинСны ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ па́ры Π²Π΅Ρ€ΡˆΠΈΠ½:

  • , Π³Π΄Π΅ g ΠΈ g‘Β β€” соСдинённыС Ρ€Π΅Π±Ρ€ΠΎΠΌ Π²Π΅Ρ€ΡˆΠΈΠ½Ρ‹ Π³Ρ€Π°Ρ„Π° G, Π° hΒ β€” ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Π°Ρ Π²Π΅Ρ€ΡˆΠΈΠ½Π° Π³Ρ€Π°Ρ„Π° H;
  • , Π³Π΄Π΅ gΒ β€” ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Π°Ρ Π²Π΅Ρ€ΡˆΠΈΠ½Π° Π³Ρ€Π°Ρ„Π° G, Π° h ΠΈ h‘Β β€” соСдинённыС Ρ€Π΅Π±Ρ€ΠΎΠΌ Π²Π΅Ρ€ΡˆΠΈΠ½Ρ‹ Π³Ρ€Π°Ρ„Π° H.

Π˜Π½Π°Ρ‡Π΅ говоря, мноТСство Ρ€Ρ‘Π±Π΅Ρ€ произвСдСния Π³Ρ€Π°Ρ„ΠΎΠ² являСтся объСдинСниСм Π΄Π²ΡƒΡ… ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ: Ρ€Ρ‘Π±Π΅Ρ€ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ Π½Π° Π²Π΅Ρ€ΡˆΠΈΠ½Ρ‹ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ, ΠΈ Π²Π΅Ρ€ΡˆΠΈΠ½ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ Π½Π° Ρ€Ρ‘Π±Ρ€Π° Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ.

Π’Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ ΠΈ обобщСния

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

Π‘ΠΌ. Ρ‚Π°ΠΊΠΆΠ΅

Wikimedia Foundation. 2010.

dic.academic.ru

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ — это… Π§Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅?

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

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π² Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств

ΠŸΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… мноТСств

Β Β Β Β Β Β Β Β 
Π²Π²Π²Π²Π²Π²Π²Π²
ΠΈΠΈΠΈΠΈΠΈΠΈΠΈΠΈ
ΠΊΠΊΠΊΠΊΠΊΠΊΠΊΠΊ
ΠŸΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСства {Π², ΠΈ, ΠΊ}
Π½Π° мноТСство Ρ†Π²Π΅Ρ‚ΠΎΠ² Ρ€Π°Π΄ΡƒΠ³ΠΈ

ΠŸΡƒΡΡ‚ΡŒ Π΄Π°Π½ΠΎ Π΄Π²Π° мноТСства X ΠΈ Y. ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСства X ΠΈ мноТСства Y Π΅ΡΡ‚ΡŒ Ρ‚Π°ΠΊΠΎΠ΅ мноТСство , элСмСнтами ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΠ²Π»ΡΡŽΡ‚ΡΡ упорядочСнныС ΠΏΠ°Ρ€Ρ‹ (x,y) для всСвозмоТных ΠΈ .

ΠžΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΡ произвСдСния мноТСств Π² Π΅Π³ΠΎ ΠΌΠ½ΠΎΠΆΠΈΡ‚Π΅Π»ΠΈ ( ΠΈ ) Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½Ρ‹ΠΌΠΈ функциями.

Аналогично строятся произвСдСния Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… мноТСств.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ

000001002010011012020021022
100101102110111112120121122
200201202210211212220221222
{0, 1, 2}3, 33 = 27 элСмСнтов

n-я Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ мноТСства X опрСдСляСтся для Ρ†Π΅Π»Ρ‹Ρ… Π½Π΅ΠΎΡ‚Ρ€ΠΈΡ†Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… n, ΠΊΠ°ΠΊ n-ΠΊΡ€Π°Ρ‚Π½ΠΎΠ΅ Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ X Π½Π° сСбя:

ΠŸΡ€ΠΈ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… n Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ Xn состоит ΠΈΠ· всСх упорядочСнных Π½Π°Π±ΠΎΡ€ΠΎΠ² (ΠΊΠΎΡ€Ρ‚Π΅ΠΆΠ΅ΠΉ) элСмСнтов ΠΈΠ· X Π΄Π»ΠΈΠ½Ρ‹ n.

ΠŸΡ€ΠΈ n = 0, Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ X0 ΠΏΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΡŽ содСрТит СдинствСнный элСмСнт — пустой ΠΊΠΎΡ€Ρ‚Π΅ΠΆ.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ сСмСйства мноТСств

Π”Π°Π»ΡŒΠ½Π΅ΠΉΡˆΠ΅Π΅ ΠΎΠ±ΠΎΠ±Ρ‰Π΅Π½ΠΈΠ΅ понятия прямого произвСдСния ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ произвСдСниям ΠΏΠΎ индСксному мноТСству I (Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, бСсконСчному): X = Ξ Xi, элСмСнты ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΡΠΎΠΏΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‚ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ индСксу i ΠΈΠ· I элСмСнт мноТСства Xi.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ

ΠŸΡƒΡΡ‚ΡŒ f β€” ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· A Π² B, Π° g β€” ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· X Π² Y. Π˜Ρ… прямым ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ называСтся ΠΎΡ‚ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· Π² : .

Аналогично Π²Ρ‹ΡˆΠ΅ΠΈΠ·Π»ΠΎΠΆΠ΅Π½Π½ΠΎΠΌΡƒ, Π΄Π°Π½Π½ΠΎΠ΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ обобщаСтся Π½Π° ΠΌΠ½ΠΎΠ³ΠΎΠΊΡ€Π°Ρ‚Π½Ρ‹Π΅ ΠΈ бСсконСчныС произвСдСния.

ВоздСйствиС Π½Π° матСматичСскиС структуры

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π³Ρ€ΡƒΠΏΠΏ

ΠŸΡ€ΡΠΌΠΎΠ΅ (Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ) ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… Π³Ρ€ΡƒΠΏΠΏ (G, * ) ΠΈ Β β€” это Π³Ρ€ΡƒΠΏΠΏΠ° ΠΈΠ· всСх ΠΏΠ°Ρ€ элСмСнтов (g,h) с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ поэлСмСнтного умноТСния: . Π­Ρ‚Π° Π³Ρ€ΡƒΠΏΠΏΠ° обозначаСтся ΠΊΠ°ΠΊ . Π‘ΠΎΠΌΠ½ΠΎΠΆΠΈΡ‚Π΅Π»ΠΈ G ΠΈ H ΠΈΠ·ΠΎΠΌΠΎΡ€Ρ„Π½Ρ‹ Π΄Π²ΡƒΠΌ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ°ΠΌ своСго произвСдСния, ΠΈ соотвСтствСнно. ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ этих ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ состоит ΠΈΠ· ΠΎΠ΄Π½ΠΎΠ³ΠΎ элСмСнта (1G,1H), ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ являСтся Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹-произвСдСния. ΠšΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½Ρ‹Π΅ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ произвСдСния Π³Ρ€ΡƒΠΏΠΏ ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π³ΠΎΠΌΠΎΠΌΠΎΡ€Ρ„ΠΈΠ·ΠΌΠ°ΠΌΠΈ.

Π­Ρ‚ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ распространяСтся Π½Π° ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠ΅ ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠ΅ число ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ; Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния слСдуСт ΠΈΠ· ассоциативности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ.

Однако, для бСсконСчного числа ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ понятия Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎΠ³ΠΎ ΠΈ прямого произвСдСния принято Ρ€Π°Π·Π»ΠΈΡ‡Π°Ρ‚ΡŒ. Π’ ΠΎΠ±Ρ‰Π΅ΠΌ случаС, , Π³Π΄Π΅ ΠΈ . (ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ Π² ΠΏΡ€Π°Π²ΠΎΠΉ части — это опСрация Π³Ρ€ΡƒΠΏΠΏΡ‹ Gi.) Π•Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹-произвСдСния Π±ΡƒΠ΄Π΅Ρ‚ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ, составлСнная ΠΈΠ· Π΅Π΄ΠΈΠ½ΠΈΡ† всСх ΠΏΠ΅Ρ€Π΅ΠΌΠ½ΠΎΠΆΠ°Π΅ΠΌΡ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ: . НапримСр, для счётного числа Π³Ρ€ΡƒΠΏΠΏ: , Π³Π΄Π΅ Π² ΠΏΡ€Π°Π²ΠΎΠΉ части стоит мноТСство всСх бСсконСчных Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Ρ… ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚Π΅ΠΉ.

ΠŸΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° Π½Π° мноТСствС всСх f, Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… (Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ мноТСство ) ΠΊΠΎΠ½Π΅Ρ‡Π΅Π½, называСтся прямым ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ. НапримСр, прямоС ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ρ‚ΠΎΠ³ΠΎ ΠΆΠ΅ самого Π½Π°Π±ΠΎΡ€Π° мноТСств содСрТит всС Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Π΅ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ с ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹ΠΌ числом Π΅Π΄ΠΈΠ½ΠΈΡ†, Π° ΠΈΡ… ΠΌΠΎΠΆΠ½ΠΎ Ρ‚Ρ€Π°ΠΊΡ‚ΠΎΠ²Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ Π΄Π²ΠΎΠΈΡ‡Π½Ρ‹Π΅ прСдставлСния Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½Ρ‹Ρ… чисСл.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Ρ€ΡƒΠ³ΠΈΡ… алгСбраичСских структур

Аналогично ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡŽ Π³Ρ€ΡƒΠΏΠΏ, ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ произвСдСния ΠΊΠΎΠ»Π΅Ρ†, Π°Π»Π³Π΅Π±Ρ€, ΠΌΠΎΠ΄ΡƒΠ»Π΅ΠΉ ΠΈ Π»ΠΈΠ½Π΅ΠΉΠ½Ρ‹Ρ… пространств, ΠΏΡ€ΠΈΡ‡Ρ‘ΠΌ Π² ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ прямого произвСдСния 1i (см. Π²Ρ‹ΡˆΠ΅) слСдуСт Π·Π°ΠΌΠ΅Π½ΠΈΡ‚ΡŒ Π½ΡƒΠ»Ρ‘ΠΌ. Однако, ΠΊΠ°ΠΊ ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ, произвСдСния этих структур Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ прямой суммой.

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ топологичСских пространств

ΠŸΡƒΡΡ‚ΡŒ X ΠΈ YΒ β€” Π΄Π²Π° топологичСских пространства. Вопология произвСдСния задаётся Π±Π°Π·ΠΎΠΉ, состоящСй ΠΈΠ· всСвозмоТных ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ , Π³Π΄Π΅ UΒ β€” ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠ΅ подмноТСство X ΠΈ VΒ β€” ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠ΅ подмноТСство Y.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π»Π΅Π³ΠΊΠΎ обобщаСтся Π½Π° случай произвСдСния Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… пространств. Для бСсконСчного произвСдСния X = Ξ Xi ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ услоТняСтся. ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΠΌ ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚Ρ‹ΠΉ Ρ†ΠΈΠ»ΠΈΠ½Π΄Ρ€ , Π³Π΄Π΅ ΠΈ UΒ β€” ΠΎΡ‚ΠΊΡ€Ρ‹Ρ‚ΠΎΠ΅ подмноТСство Xi.

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

Π’Π΅ΠΎΡ€Π΅ΠΌΠ° Π’ΠΈΡ…ΠΎΠ½ΠΎΠ²Π° ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π°Π΅Ρ‚ ΠΊΠΎΠΌΠΏΠ°ΠΊΡ‚Π½ΠΎΡΡ‚ΡŒ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ любого количСства ΠΊΠΎΠΌΠΏΠ°ΠΊΡ‚Π½Ρ‹Ρ… пространств; ΠΎΠ΄Π½Π°ΠΊΠΎ для бСсконСчных ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ Π΅Ρ‘ Π½Π΅ удаётся Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ Π±Π΅Π· использования аксиомы Π²Ρ‹Π±ΠΎΡ€Π° (ΠΈΠ»ΠΈ Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½Ρ‹Ρ… Π΅ΠΉ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ мноТСств).

Π’Π°ΠΊΠΆΠ΅, Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ° АлСксандрова ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ любоС топологичСскоС пространство ΠΌΠΎΠΆΠ½ΠΎ Π²Π»ΠΎΠΆΠΈΡ‚ΡŒ Π² (бСсконСчноС) ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ связных Π΄Π²ΠΎΠ΅Ρ‚ΠΎΡ‡ΠΈΠΉ, Ссли Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½Π° аксиома ΠšΠΎΠ»ΠΌΠΎΠ³ΠΎΡ€ΠΎΠ²Π° (Π° ΠΈΠ½Ρ‹Π΅ пространства ΠΈ Π½Π΅ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ΡΡ).

ΠŸΡ€ΡΠΌΠΎΠ΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π³Ρ€Π°Ρ„ΠΎΠ²

Β ξ–‡β€”ξ–‡
ξ–‡ξ–‡β€”ξ–‡

ξ–‡ξ–‡β€”ξ–‡

ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ Π²Π΅Ρ€ΡˆΠΈΠ½ прямого произвСдСния Π΄Π²ΡƒΡ… Π³Ρ€Π°Ρ„ΠΎΠ² G ΠΈ H задаётся ΠΊΠ°ΠΊ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π²Π΅Ρ€ΡˆΠΈΠ½ Π³Ρ€Π°Ρ„ΠΎΠ² сомноТитСлСй. Π Ρ‘Π±Ρ€Π°ΠΌΠΈ Π±ΡƒΠ΄ΡƒΡ‚ соСдинСны ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ па́ры Π²Π΅Ρ€ΡˆΠΈΠ½:

  • , Π³Π΄Π΅ g ΠΈ g‘Β β€” соСдинённыС Ρ€Π΅Π±Ρ€ΠΎΠΌ Π²Π΅Ρ€ΡˆΠΈΠ½Ρ‹ Π³Ρ€Π°Ρ„Π° G, Π° hΒ β€” ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Π°Ρ Π²Π΅Ρ€ΡˆΠΈΠ½Π° Π³Ρ€Π°Ρ„Π° H;
  • , Π³Π΄Π΅ gΒ β€” ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Π°Ρ Π²Π΅Ρ€ΡˆΠΈΠ½Π° Π³Ρ€Π°Ρ„Π° G, Π° h ΠΈ h‘Β β€” соСдинённыС Ρ€Π΅Π±Ρ€ΠΎΠΌ Π²Π΅Ρ€ΡˆΠΈΠ½Ρ‹ Π³Ρ€Π°Ρ„Π° H.

Π˜Π½Π°Ρ‡Π΅ говоря, мноТСство Ρ€Ρ‘Π±Π΅Ρ€ произвСдСния Π³Ρ€Π°Ρ„ΠΎΠ² являСтся объСдинСниСм Π΄Π²ΡƒΡ… ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ: Ρ€Ρ‘Π±Π΅Ρ€ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ Π½Π° Π²Π΅Ρ€ΡˆΠΈΠ½Ρ‹ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ, ΠΈ Π²Π΅Ρ€ΡˆΠΈΠ½ ΠΏΠ΅Ρ€Π²ΠΎΠ³ΠΎ Π½Π° Ρ€Ρ‘Π±Ρ€Π° Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ.

Π’Π°Ρ€ΠΈΠ°Ρ†ΠΈΠΈ ΠΈ обобщСния

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

Π‘ΠΌ. Ρ‚Π°ΠΊΠΆΠ΅

Wikimedia Foundation. 2010.

dic.academic.ru

Π’Π΅ΠΌΠ° 1.1.4 Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств(1Ρ‡.) β€” ΠœΠ΅Π³Π°ΠΎΠ±ΡƒΡ‡Π°Π»ΠΊΠ°

Π—Π°ΠΏΠΈΡˆΠ΅ΠΌ с ΠΏΠΎΠΌ. Ρ†ΠΈΡ„Ρ€ 3 ΠΈ 5 Ρ‡Π΅Β­Ρ‚Ρ‹Ρ€Π΅ Π΄Π²ΡƒΠ·Π½Π°Ρ‡Π½Ρ‹Ρ… числа: 35, 53, 33 ΠΈ 55. НСсмотря Π½Π° Ρ‚ΠΎ Ρ‡Ρ‚ΠΎ числа 35 ΠΈ 53 записаны с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΎΠ΄Π½ΠΈΡ… ΠΈ Ρ‚Π΅Ρ… ΠΆΠ΅ Ρ†ΠΈΡ„Ρ€, эти числа Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅. Π’ Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° Π²Π°ΠΆΠ΅Π½ порядок слСдова­ния элСмСнтов, Π² ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ говорят ΠΎΠ± упорядочСнных Π½Π°Β­Π±ΠΎΡ€Π°Ρ… элСмСнтов. Π’ рассмотрСнном ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅ ΠΌΡ‹ ΠΈΠΌΠ΅Π»ΠΈ Π΄Π΅Π»ΠΎ с упорядочСнными ΠΏΠ°Ρ€Π°ΠΌΠΈ.

Π£ΠΏΠΎΡ€ΡΠ΄ΠΎΡ‡Π΅Π½Π½ΡƒΡŽ ΠΏΠ°Ρ€Ρƒ, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΡƒΡŽ ΠΈΠ· элСмСнтов Π° ΠΈ Π¬, принято Π·Π°ΠΏΠΈΡΡ‹Π²Π°Ρ‚ΡŒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΊΡ€ΡƒΠ³Π»Ρ‹Π΅ скобки: {Π°; Π¬). Π­Π»Π΅Β­ΠΌΠ΅Π½Ρ‚ Π° Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ (ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠΉ) ΠΏΠ°Ρ€Ρ‹, Π° элСмСнт b Π²Ρ‚ΠΎΡ€ΠΎΠΉ ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ΠΎΠΉ (ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚ΠΎΠΉ) ΠΏΠ°Ρ€Ρ‹.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅. Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ мноТСств А ΠΈ Π’ называСтся мноТСство всСх ΠΏΠ°Ρ€, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΒ­Ρ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству А, Π° вторая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ мноТСству Π’.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А ΠΈ Π’ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°ΡŽΡ‚ А Ρ… Π’. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ это ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅, ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдС­ния ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Ρ‚Π°ΠΊ:

АхВ= {(Ρ…; Ρƒ) | Ρ… А ΠΈ Ρƒ Π’}.

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ нахоТдСния Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния мноТСств Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Ρ‹ΠΌ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ.

Рассмотрим Π΄Π²Π° ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Ρ… ΠΌΠ½-Π²Π° А={3,5}, Ρ‚ΠΎΠ³Π΄Π° АхА={(3;3),(3;5),(5;3),(5;5)}

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

МоТно ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств :

1) ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ Π³Ρ€Π°Ρ„Π° ΠΈΠ»ΠΈ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹. НапримСр, Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств А = {1, 2, 3} ΠΈ Π’ = {3,5} ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Ρ‚Π°ΠΊ, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° рисункС :

Β 

Β 

2) Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… числовых мноТСств (ΠΊΠΎΠ½Π΅Ρ‡Β­Π½Ρ‹Ρ… ΠΈ бСсконСчных) :

А) А = {1, 2, 3} ΠΈ Π’= {3, 5} Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚Π½ΠΎΠΉ плоскости Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ Ρ‚Π°ΠΊ, ΠΊΠ°ΠΊ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ Π½Π° рисункС:

Β 

Β 

Β 

Β 

Π—Π°ΠΌΠ΅Ρ‚ΠΈΠΌ, Ρ‡Ρ‚ΠΎ элСмСнты мноТСст­ва А ΠΌΡ‹ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΠ»ΠΈ Π½Π° оси ΠžΡ…, Π° элСмСнты мноТСства Π’ — Π½Π° оси ΠžΡƒ.

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ прСдставлСно Ρ‚ΠΎΡ‡ΠΊΠ°ΠΌΠΈ.

Π±) ) А = {1, 2, 3} ΠΈ Π’= [3, 5]

РСшСниС, Π°) Π’Π°ΠΊ ΠΊΠ°ΠΊ мноТСство А состоит ΠΈΠ· Ρ‚Ρ€Π΅Ρ… элСмСн­тов, Π° мноТСство Π’ содСрТит всС Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ числа ΠΎΡ‚ 3 Π΄ΠΎ 5, Π²ΠΊΠ»ΡŽΡ‡Π°Ρ ΠΈ сами эти числа, Ρ‚ΠΎ Π΄Π΅ΠΊΠ°Ρ€Β­Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ А Ρ… Π’ Π±ΡƒΠ΄Π΅Ρ‚ ΡΠΎΒ­ΡΡ‚ΠΎΡΡ‚ΡŒ ΠΈΠ· бСсконСчного мноТСства ΠΏΠ°Ρ€, пСрвая ΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π»ΠΈΠ±ΠΎ 1, Π»ΠΈΠ±ΠΎ 2, Π»ΠΈΠ±ΠΎ 3, Π° вторая -любоС Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ число ΠΈΠ· ΠΏΡ€ΠΎΒ­ΠΌΠ΅ΠΆΡƒΡ‚ΠΊΠ° [3, 5]. Π’Π°ΠΊΠΎΠ΅ мноТСство ΠΏΠ°Ρ€ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл Π½Π° ΠΊΠΎΠΎΡ€Π΄ΠΈΒ­Π½Π°Ρ‚Π½ΠΎΠΉ плоскости изобразится трСмя ΠΎΡ‚Ρ€Π΅Π·ΠΊΠ°ΠΌΠΈ



Β 

Β 

Π’) бСсконСчны ΠΎΠ±Π° мноТСства А=[1, 3] ΠΈ Π’=[3, 5] Ρ‚ΠΎΠ³Π΄Π° АхВ это всС, Ρ‡Ρ‚ΠΎ Π²Π½ΡƒΡ‚Ρ€ΠΈ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π°, Ρ‚.Π΅. этот ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ (Π΅Π³ΠΎ Π½ΡƒΠΆΠ½ΠΎ Π·Π°ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²Π°Ρ‚ΡŒ):

Β 

Β 

Π“) А=RΠΈΠ’=R,Ρ‚.Π΅. Π½Π° ΠΌΠ½-Π²Π΅ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… чисСл. Π’ΠΎ АхВ это вся координатная ΠΏΠ»ΠΎΡΠΊΠΎΡΡ‚ΡŒ.

Π”) А=R ΠΈ Π’=[3, 5], Ρ‚ΠΎ АхВ– полоса. (рис.)

Β 

Β 

УпраТнСния

1. ΠŸΠ΅Ρ€Π΅Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅ элСмСнты Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния А Ρ…Π’, Ссли:

а)А = {a, b,c,d},B= {b,k,l}

Π΄)А=Π’= {Π°, Π¬, с};

ъ)А = {Π°,Π¬,с},Π’ = 0.

Β 

2.Π˜Π·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚Π΅ Π² ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΎΠΉ систСмС ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ мно­ТСство Ах Π’, Ссли:

Π°) А = [-2, 2], Π’ ={2, 3,4};

2. Π˜Π·ΠΎΠ±Ρ€Π°Π·ΠΈΡ‚Π΅ Π² ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΎΠΉ систСмС ΠΊΠΎΠΎΡ€Π΄ΠΈΠ½Π°Ρ‚ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств ΠΈ , Ссли

1)

2)

Β 

megaobuchalka.ru

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств

Поиск Π›Π΅ΠΊΡ†ΠΈΠΉ

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

1) Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅: Π”ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ мноТСства A — мноТСство, состоящСС ΠΈΠ· всСх элСмСнтов унивСрсума, Π½Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… A.
2) ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅: ΠŸΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΠ΅ мноТСств A ΠΈ B — мноТСство, состоящСС ΠΈΠ· всСх элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ ΠΈ A, ΠΈ B.
3) объСдинСниС: ОбъСдинСниС мноТСств A ΠΈ B — мноТСство, состоящСС ΠΈΠ· элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎΠΌΡƒ ΠΈΠ· ΡƒΠΊΠ°Π·Π°Π½Π½Ρ‹Ρ… мноТСств.
4) Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Π°Ρ сумма (симмСтричСская Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ): Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Π°Ρ сумма мноТСств A ΠΈ B — это мноТСство, состоящСС ΠΈΠ· элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… Π»ΠΈΠ±ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ A, Π»ΠΈΠ±ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ B.
5) Π Π°Π·Π½ΠΎΡΡ‚ΡŒ: Π Π°Π·Π½ΠΎΡΡ‚ΡŒ мноТСств A ΠΈ B — это мноТСство, состоящСС ΠΈΠ· элСмСнтов, ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… A, Π½ΠΎ Π½Π΅ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… B.

Бвойства ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π½Π°Π΄ мноТСствами

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π°Π΄ мно­ТСствами, сформулированныС Π² (1.4) ΠΎΠ±Π»Π°Π΄Π°ΡŽΡ‚ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΌΠΈ свойствами, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹ΠΌΠΈ Π² Ρ‚Π°Π±Π». 1. Π­Ρ‚ΠΈ свойства Π²Ρ‹Ρ€Π°ΠΆΠ°ΡŽΡ‚ΡΡ ΡΠΎΠ²ΠΎΠΊΡƒΠΏΠ½ΠΎΡΡ‚ΡŒΡŽ тоТдСств, справСдливых нСзависимо ΠΎΡ‚ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠ³ΠΎ содСрТания входящих Π² Π½ΠΈΡ… мноТСств, ΡΠ²Π»ΡΡŽΡ‰ΠΈΡ…ΡΡ подмноТСствами Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ унивСрсума U.

Π’Π°Π±Π»ΠΈΡ†Π° 1

ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ свойства ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π½Π°Π΄ мноТСствами

Β 

ВоТдСства (1Π°)-(3Π°) Π²Ρ‹Ρ€Π°ΠΆΠ°ΡŽΡ‚ соотвСтствСнно ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Β­Π½Ρ‹ΠΉ, ассоциативный ΠΈ дистрибутивный Π·Π°ΠΊΠΎΠ½Ρ‹ для объСдинСния, Π° тоТдСства (1Π±)-(3Π±) — Ρ‚Π΅ ΠΆΠ΅ Π·Π°ΠΊΠΎΠ½Ρ‹ для пСрСсСчСния. Π‘ΠΎΠΎΡ‚Π½ΠΎΒ­ΡˆΠ΅Π½ΠΈΡ (4Π°)-(7Π°) ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ свойства пустого мноТСства Γ† ΠΈ унивСрсума U ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ объСдинСния, Π° ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ (4Π±)-(7Π±) — ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ пСрСсСчСния.

ВыраТСния (8Π°) ΠΈ (8Π±), Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹Π΅ Π·Π°ΠΊΠΎΠ½Π°ΠΌΠΈ идСмпотСнт­ности, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‚ Π·Π°ΠΏΠΈΡΡ‹Π²Π°Ρ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ с мноТСствами Π±Π΅Π· коэффициСнтов ΠΈ ΠΏΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»Π΅ΠΉ стСпСни. Зависимости (9Π°) ΠΈ (9Π±) ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Β­Π»ΡΡŽΡ‚ Π·Π°ΠΊΠΎΠ½Ρ‹ поглощСния, Π° (10Π°) ΠΈ (10Π±) — Π·Π°ΠΊΠΎΠ½Ρ‹ Π΄Π΅ ΠœΠΎΡ€Π³Π°Π½Π°.

Π‘ΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ (11)-(20) ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‚ свойства дополнСния, раз­ности, Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΠΎΠΉ суммы, Π²ΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΡ ΠΈ равСнства.

ΠŸΠ΅Ρ€Π²Ρ‹Π΅ Π΄Π΅ΡΡΡ‚ΡŒ свойств Π² Ρ‚Π°Π±Π». 1 прСдставлСны ΠΏΠ°Ρ€Π°ΠΌΠΈ двойствСнных (Π΄ΡƒΠ°Π»ΡŒΠ½Ρ‹Ρ…) ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠΉ, ΠΎΠ΄Π½ΠΎ ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… получаСтся Π·Π°ΠΌΠ΅Π½ΠΎΠΉ Π² Π΄Ρ€ΡƒΠ³ΠΎΠΌ символов: È Π½Π° Γ‡ ΠΈ Γ‡ наÈ , Π° Ρ‚Π°ΠΊΠΆΠ΅ Γ† Π½Π° U ΠΈ U Π½Π° Γ†. Π‘ΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΏΠ°Ρ€Ρ‹ символов È, Γ‡ ΠΈ Γ†, U Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ двойствСнными (Π΄ΡƒΠ°Π»ΡŒΠ½Ρ‹ΠΌΠΈ) символами.

ΠŸΡ€ΠΈ Π·Π°ΠΌΠ΅Π½Π΅ Π² любой Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ΅ входящих Π² Π½Π΅Π΅ символов Π΄ΡƒΠ°Π»ΡŒΠ½Ρ‹Β­ΠΌΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ Π½ΠΎΠ²ΠΎΠ΅ ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Ρ‚Π°ΠΊΠΆΠ΅ являСтся Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠΎΠΉ (ΠΏΡ€ΠΈΠ½Ρ†ΠΈΠΏ двойствСнности ΠΈΠ»ΠΈ Π΄ΡƒΠ°Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ). ВоТдСство (11) Π½Π΅ измСняСтся ΠΏΡ€ΠΈ Π·Π°ΠΌΠ΅Π½Π΅ символов Π΄ΡƒΠ°Π»ΡŒΠ½Ρ‹ΠΌΠΈ, поэтому Π΅Π³ΠΎ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ самодвойствСнным.

Β 

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств

Π”Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСств A ΠΈ B – это мноТСство упорядочСнных ΠΏΠ°Ρ€, ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ элСмСнт ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ A, Π° Π²Ρ‚ΠΎΡ€ΠΎΠΉ – ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠΈΡ‚ B.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€.

Бвойства Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния:

1) — Π½Π΅ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ

2) = — Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ

Бвойство ассоциативности позволяСт ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ ΡΠΎΠΊΡ€Π°Ρ‰Π΅Π½Π½ΡƒΡŽ запись для Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… мноТСств:

3) — Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ объСдинСния

— Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ пСрСсСчСния

— Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ разности

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ: Π”ΠΎΠΊΠ°ΠΆΠ΅ΠΌ, Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ пСрСсСчСния мноТСств.

1) ;

2) , ,

ΠžΡΠΎΠ±Ρ‹ΠΌ случаСм Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²Π° произвСдСния являСтся ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ мноТСства самого Π½Π° сСбя. Π’ этом случаС говорят ΠΎ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎΠΌ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π΅ мноТСства ΠΈΠ»ΠΈ Π΄Π΅ΠΊΠ°Ρ€Ρ‚ΠΎΠ²ΠΎΠΉ n-ΠΎΠΉ стСпСни мноТСства А.

;

ΠŸΡ€ΠΈΠΌΠ΅Ρ€. Þ

Π’Π΅ΠΎΡ€Π΅ΠΌΠ°. Если мноТСство A содСрТит n элСмСнтов, Π° B – m элСмСнтов, Ρ‚.Π΅.: , Ρ‚ΠΎ содСрТит элСмСнтов.

Β 

Β 

Π Π΅ΠΊΠΎΠΌΠ΅Π½Π΄ΡƒΠ΅ΠΌΡ‹Π΅ страницы:

Поиск ΠΏΠΎ сайту

poisk-ru.ru

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

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