ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

ΠŸΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°

Π”ΠΈΠΏΠ»ΠΎΠΌΠ½Π°ΡΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΌΡ‹ Π΄ΠΎΠΊΠ°Π·Π°Π»ΠΈ, Ссли ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎ, Ρ‚ΠΎ ΠΎΠ½ΠΎ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ, Π’Π΅ΠΏΠ΅Ρ€ΡŒ, ΠΏΡƒΡΡ‚ΡŒ, Ρ‚ΠΎΠ³Π΄Π°, Ρ‚. Π΅. Ρ‚Π°ΠΊΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ Π΅Ρ‰Π΅ ΠΈ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎ. Π’.ΠΊ. ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ, Ρ‚ΠΎ Π² ΠΎΠ±Π΅ΠΈΡ… частях ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹Π΅ элСмСнты, Π΄ΠΎΠΌΠ½ΠΎΠΆΠΈΠΌ Π½Π° ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΉ ΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ 1+1=1, ΡƒΠΌΠ½ΠΎΠΆΠΈΠΌ ΠΎΠ±Π΅ части Π½Π° u, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ u+u=u, Ρ‡Ρ‚ΠΎ ΠΈ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΡƒΡŽ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ. ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ порядка… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ΠŸΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

Выпускная квалификационная Ρ€Π°Π±ΠΎΡ‚Π° ΠŸΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°

Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅

3

Π“Π»Π°Π²Π° 1. ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ понятия Ρ‚Π΅ΠΎΡ€ΠΈΠΈ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† 4

1.1. ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°. ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹. 4

1.2. ДистрибутивныС Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ 5

1.3. Π˜Π΄Π΅Π°Π»Ρ‹ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† 6

Π“Π»Π°Π²Π° 2 ΠŸΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°. 7

2.1. ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΈ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† 7

2.2. ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ свойства ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† 7

БиблиографичСский список 16

ВСория ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† — это Ρ€Π°Π·Π΄Π΅Π» соврСмСнной Π°Π»Π³Π΅Π±Ρ€Ρ‹, ΠΎΠ±ΠΎΠ±Ρ‰Π°ΡŽΡ‰ΠΈΠΉ ΠΊΠ°ΠΊ ΠΊΠΎΠ»ΡŒΡ†Π°, Ρ‚Π°ΠΊ ΠΈ Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½Ρ‹Π΅ Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ. ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° Π²ΠΎΠ·Π½ΠΈΠΊΠ»ΠΎ Π² 30-Ρ… Π³ΠΎΠ΄Π°Ρ… ΠΏΡ€ΠΎΡˆΠ»ΠΎΠ³ΠΎ столСтия. Как ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½Π°Ρ тСория ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° Π½Π°Ρ‡Π°Π»ΠΈ ΠΈΠ·ΡƒΡ‡Π°Ρ‚ΡŒΡΡ Π² 50-Π΅ Π³ΠΎΠ΄Ρ‹. ОсобСнно интСнсивно тСория ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† развиваСтся послСдниС 20 Π»Π΅Ρ‚, Ρ‡Ρ‚ΠΎ Π²Ρ‹Π·Π²Π°Π½ΠΎ Π½Π΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ тСорСтичСским интСрСсом, Π½ΠΎ ΠΈ ΠΌΠ½ΠΎΠ³ΠΎΡ‡ΠΈΡΠ»Π΅Π½Π½Ρ‹ΠΌΠΈ Π΅Π΅ ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΡΠΌΠΈ.

ЦСлью Π΄Π°Π½Π½ΠΎΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹ являСтся ΠΈΠ·ΡƒΡ‡Π΅Π½ΠΈΠ΅ классов ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†, рассмотрСниС основных свойств Π΄Π°Π½Π½Ρ‹Ρ… алгСбраичСских ΠΎΠ±ΡŠΠ΅ΠΊΡ‚ΠΎΠ², Ρ‡Π°ΡΡ‚ΡŒ ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… доказываСтся Π°Π²Ρ‚ΠΎΡ€ΠΎΠΌ Ρ€Π°Π±ΠΎΡ‚Ρ‹ ΡΠ°ΠΌΠΎΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΠ½ΠΎ; ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Ρ‹ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†.

Π Π°Π±ΠΎΡ‚Π° состоит ΠΈΠ· 2 Π³Π»Π°Π². Π’ ΠΏΠ΅Ρ€Π²ΡƒΡŽ Π³Π»Π°Π²Ρƒ вошли основныС опрСдСлСния ΠΈ Ρ„Π°ΠΊΡ‚Ρ‹, Π½Π° ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ опираСтся эта Ρ€Π°Π±ΠΎΡ‚Π°. Вторая — основная Ρ‡Π°ΡΡ‚ΡŒ всСй Ρ€Π°Π±ΠΎΡ‚Ρ‹, Π² Π½Π΅ΠΉ рассмотрСны опрСдСлСния ΠΈ ΡΠ²ΠΎΠΉΡΡ‚Π²Π° ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Ρ‹ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹, Π΄ΠΎΠΊΠ°Π·Π°Π½Ρ‹ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹.

Π“Π»Π°Π²Π° I. «ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ понятия Ρ‚Π΅ΠΎΡ€ΠΈΠΈ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†»

1.1. ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°. ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°: НСпустоС мноТСство S с Π±ΠΈΠ½Π°Ρ€Π½Ρ‹ΠΌΠΈ опСрациями + ΠΈ Β· называСтся ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎΠΌ, Ссли Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ аксиомы:

1. (S,+) — коммутативная ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ° с Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΌ элСмСнтом 0;

Β· ΠΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: ;

Β· ΠšΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: ;

Β· БущСствованиС Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½ΠΎΠ³ΠΎ элСмСнта: .

2. (S,Β·) — ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ°:

Β· ΠΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: ;

3. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ дистрибутивно ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния:

Β· лСвая Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: Π° (Π²+с)=Π°Π²+ас;

Β· правая Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ: (Π°+Π²)с=ас+вс.

4. ΠœΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎΠ΅ свойство 0:

Β· .

Π­Ρ‚Π° аксиоматика появилась Π² 1934 Π³ΠΎΠ΄Ρƒ ΠΈ Π΅Π΅ Π°Π²Ρ‚ΠΎΡ€ΠΎΠΌ являСтся Π’Π°Π½Π΄ΠΎΠ²Π΅Ρ€.

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ S Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌ, Ссли опСрация Π² Π½Π΅ΠΌ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Π°: .

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ S Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎΠΌ с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ, Ссли Π² Π½Π΅ΠΌ сущСствуСт Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ называСтся Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ (1):

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†:

1. <N,+,Β· >, Π³Π΄Π΅ N — мноТСство Π½Π΅ΠΎΡ‚Ρ€ΠΈΡ†Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… Ρ†Π΅Π»Ρ‹Ρ… чисСл с ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌΠΈ опСрациями + ΠΈ Β· ;

2. <{0},+,Β· > — Ρ‚Ρ€ΠΈΠ²ΠΈΠ°Π»ΡŒΠ½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ;

3. ДвухэлСмСнтныС ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°:<Z2 ,+,Β· >, <οΏ½Π’,+,Β· > (Π² Π’ 1+1=1);

4. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ ΠΌΠ°Ρ‚Ρ€ΠΈΡ† с ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°ΠΌΠΈ ΠΈΠ· ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° N ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΌΠΈ + ΠΈ ;

5. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° N, Z, Q+, Q, R+, R ΠΈ Π²Π²Π΅Π΄Π΅Π½Π½Ρ‹Ρ… Π½Π° Π½ΠΈΡ… Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ: ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹Π΅ слоТСниС ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅, максимум ΠΈ ΠΌΠΈΠ½ΠΈΠΌΡƒΠΌ Π΄Π²ΡƒΡ… чисСл, ΠΠžΠ” ΠΈ ΠΠžΠš, ΠΊΠΎΠ³Π΄Π° ΠΎΠ½ΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Ρ‹.

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ с ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠ΅ΠΉ называСтся ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎ (Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎ) сократимым.

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ выполняСтся равСнство, называСтся ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎ (Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎ) ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½Ρ‹ΠΌ.

1.2. ДистрибутивныС Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ.

ΠŸΡƒΡΡ‚ΡŒ L — ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½ΠΎΠ΅ мноТСство. Π’Π²Π΅Π΄Π΅ΠΌ Π½Π° L ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ ΠΏΠΎΠ»ΠΎΠΆΠΈΠ²,

.

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ порядка называСтся рСфлСксивноС, Ρ‚Ρ€Π°Π½Π·ΠΈΡ‚ΠΈΠ²Π½ΠΎΠ΅, антисиммСтричноС Π±ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ L, ΠΏΡ€ΠΈ этом мноТСство L Π½Π°Π·ΠΎΠ²Π΅ΠΌ частично упорядочСнным мноТСством.

ΠžΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ L ΡΠ²Π»ΡΠ΅Ρ‚ся ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ порядка.

ΠŸΡƒΡΡ‚ΡŒ M — нСпустоС подмноТСство частично упорядочСнного мноТСства L. НиТнСй Π³Ρ€Π°Π½ΡŒΡŽ мноТСства M называСтся Ρ‚Π°ΠΊΠΎΠΉ элСмСнт, Ρ‡Ρ‚ΠΎ для любого. НиТняя Π³Ρ€Π°Π½ΡŒ m мноТСства M называСтся Ρ‚ΠΎΡ‡Π½ΠΎΠΉ Π½ΠΈΠΆΠ½Π΅ΠΉ Π³Ρ€Π°Π½ΡŒΡŽ, Ссли, Π³Π΄Π΅ n — ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Π°Ρ ниТняя Π³Ρ€Π°Π½ΡŒ мноТСства M. ДвойствСнным ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ опрСдСляСтся точная вСрхняя Π³Ρ€Π°Π½ΡŒ.

Частично упорядочСнноС мноТСство L называСтся Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΎΠΉ, Ссли Π»ΡŽΠ±Ρ‹Π΅ Π΄Π²Π° элСмСнта ΠΈΠΌΠ΅ΡŽΡ‚ Ρ‚ΠΎΡ‡Π½ΡƒΡŽ Π²Π΅Ρ€Ρ…Π½ΡŽΡŽ ΠΈ Ρ‚ΠΎΡ‡Π½ΡƒΡŽ ниТнюю Π³Ρ€Π°Π½ΠΈ; Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠ° называСтся дистрибутивной, Ссли Π² Π½Π΅ΠΉ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ дистрибутивныС Π·Π°ΠΊΠΎΠ½Ρ‹:

ΠšΡ€ΠΎΠΌΠ΅ этого опрСдСлСния сущСствуСт Π΅Ρ‰Π΅ ΠΎΠ΄Π½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ дистрибутивной Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ. АлгСбраичСская систСма L с Π΄Π²ΡƒΠΌΡ Π±ΠΈΠ½Π°Ρ€Π½Ρ‹ΠΌΠΈ опСрациями слоТСния + ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ β€’ называСтся Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΎΠΉ, Ссли (L, +) ΠΈ (L,β€’) ΡΠ²Π»ΡΡŽΡ‚ΡΡ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½Ρ‹ΠΌΠΈ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌΠΈ ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ°ΠΌΠΈ ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ связаны Π·Π°ΠΊΠΎΠ½Π°ΠΌΠΈ поглощСния

;

Π Π΅ΡˆΠ΅Ρ‚ΠΊΠ° называСтся дистрибутивной, Ссли для Π»ΡŽΠ±Ρ‹Ρ…, ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠΉ, Ссли ΠΎΠ½Π° ΠΈΠΌΠ΅Π΅Ρ‚ 0 ΠΈ 1.

1.3. Π˜Π΄Π΅Π°Π»Ρ‹ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†.

НСпустоС подмноТСство I ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S называСтся Π»Π΅Π²Ρ‹ΠΌ (ΠΏΡ€Π°Π²Ρ‹ΠΌ) ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S, Ссли для Π»ΡŽΠ±Ρ‹Ρ… элСмСнтов a, bI, sS элСмСнты a+b ΠΈ sa (as) ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ I.

НСпустоС подмноТСство, ΡΠ²Π»ΡΡŽΡ‰Π΅Π΅ΡΡ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Π»Π΅Π²Ρ‹ΠΌ ΠΈ ΠΏΡ€Π°Π²Ρ‹ΠΌ ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ, называСтся двусторонним ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ ΠΈΠ»ΠΈ просто ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°. ИдСал, ΠΎΡ‚Π»ΠΈΡ‡Π½Ρ‹ΠΉ ΠΎΡ‚ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S называСтся собствСнным. НаимСньший ΠΈΠ· Π²ΡΠ΅Ρ… (Π»Π΅Π²Ρ‹Ρ…) ΠΈΠ΄Π΅Π°Π»ΠΎΠ², содСрТащий элСмСнт a S, называСтся Π³Π»Π°Π²Π½Ρ‹ΠΌ (Π³Π»Π°Π²Π½Ρ‹ΠΌ Π»Π΅Π²Ρ‹ΠΌ) ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ, ΠΏΠΎΡ€ΠΎΠΆΠ΄Π΅Π½Π½Ρ‹ΠΌ элСмСнтом a. ΠžΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ΡΡ (a) ΠΈΠ»ΠΈ SaS, односторонниС Sa ΠΈ aS — Π»Π΅Π²Ρ‹ΠΉ ΠΈ ΠΏΡ€Π°Π²Ρ‹ΠΉ соотвСтствСнно. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ всСх элСмСнтов ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‰ΠΈΡ… Π³Π»Π°Π²Π½ΠΎΠΌΡƒ ΠΈΠ΄Π΅Π°Π»Ρƒ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ Ρ‚Π°ΠΊ .

БобствСнный ΠΈΠ΄Π΅Π°Π» M ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ся ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ (ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ ΠΏΡ€Π°Π²Ρ‹ΠΌ) ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ, Ссли Π²Π»Π΅Ρ‡Π΅Ρ‚ M=A ΠΈΠ»ΠΈ A=S для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ΄Π΅Π°Π»Π° A .

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Π°ΠΌΠΈ ΠΈΠ΄Π΅Π°Π»ΠΎΠ² ΠΌΠΎΠ³ΡƒΡ‚ ΡΠ»ΡƒΠΆΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ подмноТСства:

1. {0} — Π½ΡƒΠ»Π΅Π²ΠΎΠΉ ΠΈΠ΄Π΅Π°Π»;

2. S — ΠΈΠ΄Π΅Π°Π», ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‰ΠΈΠΉ со Π²ΡΠ΅ΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎΠΌ;

3. ИдСал Π½Π° ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π΅: ;

4. Π“Π»Π°Π²Π½Ρ‹ΠΉ ΠΈΠ΄Π΅Π°Π» ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠΉ дистрибутивной Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ L, ΠΏΠΎΡ€ΠΎΠΆΠ΄Π΅Π½Π½Ρ‹ΠΉ элСмСнтом a: .

Π“Π»Π°Π²Π° II «ΠŸΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°»

2.1. ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅, ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΈ ΠΎΡΠ½ΠΎΠ²Π½Ρ‹Π΅ свойства

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ S с 1 называСтся ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΌ, Ссли для любого элСмСнта Π° S элСмСнт Π°+1 ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ Π² S, Ρ‚. Π΅.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Π°ΠΌΠΈ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ† слуТат ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ алгСбраичСскиС систСмы:

1. ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ дистрибутивныС Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ;

2. ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° Π½Π΅ΠΏΡ€Π΅Ρ€Ρ‹Π²Π½Ρ‹Ρ… R+ — Π·Π½Π°Ρ‡Π½Ρ‹Ρ… Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ;

3. мноТСство всСх ΠΈΠ΄Π΅Π°Π»ΠΎΠ² ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°, с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΌΠΈ слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ.

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ S называСтся ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Ρ‹ΠΌ, Ссли для любого выполняСтся. ΠžΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ — частный случай ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†:

1. ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Π΅ дистрибутивныС Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠΈ;

2. мноТСство всСх ΠΈΠ΄Π΅Π°Π»ΠΎΠ² ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°, с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΌΠΈ слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ.

2.1.ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ свойства ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½Ρ‹Ρ… ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»Π΅Ρ†:

I. Для ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ условия Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½Ρ‹:

1. S — ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ;

2. для любого максимального одностороннСго ΠΈΠ΄Π΅Π°Π»Π° M Π² S ΠΈ Π»ΡŽΠ±Ρ‹Ρ… a ΠΈ b S

(a+b M) (a M & b M).

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ:

12. ΠŸΡƒΡΡ‚ΡŒ для ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹Ρ… ΠΈ ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΡ€Π°Π²ΠΎΠ³ΠΎ ΠΈΠ΄Π΅Π°Π»Π° M. ΠŸΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Ρ‡Ρ‚ΠΎ, Ρ‚ΠΎΠ³Π΄Π° ΠΈ Π΄Π»Ρ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΈ. ИмССм:

.

Π’ Π»Π΅Π²ΠΎΠΉ части послСднСго равСнства — элСмСнт ΠΈΠ· M, Ρ‚ΠΎΠ³Π΄Π° ΠΊΠ°ΠΊ Π² ΠΏΡ€Π°Π²ΠΎΠΉ части ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ справа элСмСнт; ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡ΠΈΠ΅.

21. ΠŸΡƒΡΡ‚ΡŒ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΎ 2 ΠΈ с — ΠΏΡ€ΠΎΠΈΠ·Π²ΠΎΠ»ΡŒΠ½Ρ‹ΠΉ элСмСнт ΠΈΠ· S. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ 1+с Π½Π΅ Π»Π΅ΠΆΠΈΡ‚ Π½ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ максимальном одностороннСм ΠΈΠ΄Π΅Π°Π»Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S (Ρ‚.ΠΊ. Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС Π² ΡΠΈΠ»Ρƒ условия 2 Π² ΠΈΠ΄Π΅Π°Π»Π΅ Π΄ΠΎΠ»ΠΆΠ΅Π½ Π»Π΅ΠΆΠ°Ρ‚ΡŒ элСмСнт 1, ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡ΠΈΠ΅), Π·Π½Π°Ρ‡ΠΈΡ‚, 1+с ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ.

II. Π’ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π΅ S справСдливы ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ:

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ. ΠŸΡƒΡΡ‚ΡŒ. ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ S ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ, Ρ‚ΠΎ Π΄Π»Ρ x+1 найдСтся Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ, Ρ‚Π°ΠΊΠΎΠΉ Ρ‡Ρ‚ΠΎ. Π’ΠΎΠ³Π΄Π°

Ρ‚.ΠΊ. ΠŸΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ y=1 ΠΈ Π·Π½Π°Ρ‡ΠΈΡ‚ .

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΌΡ‹ Π΄ΠΎΠΊΠ°Π·Π°Π»ΠΈ, Ссли ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎ, Ρ‚ΠΎ ΠΎΠ½ΠΎ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎ, Π’Π΅ΠΏΠ΅Ρ€ΡŒ, ΠΏΡƒΡΡ‚ΡŒ, Ρ‚ΠΎΠ³Π΄Π°, Ρ‚. Π΅. Ρ‚Π°ΠΊΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ Π΅Ρ‰Π΅ ΠΈ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎ.

ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ выполняСтся для, Ρ‚ΠΎ Π΄Π»Ρ x=1, Ρ‚Π°ΠΊΠΆΠ΅ выполняСтся. ΠžΠ±Ρ€Π°Ρ‚Π½ΠΎ, 1+1=1, ΠΏΠΎΠΌΠ½ΠΎΠΆΠΈΠΌ ΠΎΠ±Π΅ части Π½Π° x ΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎΠ΅ равСнство.

III . ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ S ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° для любого элСмСнта ΠΈ Π»ΡŽΠ±ΠΎΠ³ΠΎ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΠΎΠ³ΠΎ элСмСнта элСмСнт ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, элСмСнт — ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ. Π£ΠΌΠ½ΠΎΠΆΠΈΠΌ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ элСмСнт Π½Π° ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ.

Π’ Π»Π΅Π²ΠΎΠΉ части ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ элСмСнт, Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΈ Π² ΠΏΡ€Π°Π²ΠΎΠΉ элСмСнт Ρ‚ΠΎΠΆΠ΅ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ.

ΠΈ — ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹, Ρ‚ΠΎΠ³Π΄Π° ΠΈΡ… ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Ρ‚Π°ΠΊΠΆΠ΅ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΠΎ, Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ.

IV . Для ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½Ρ‹ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ условия:

1. S — Π΄ΠΈΡΡ‚рибутивная Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΠ°.

2.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

. ΠžΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ.

. По ΡΠ²ΠΎΠΉΡΡ‚Π²Ρƒ 2 слСдуСт, Ρ‚ΠΎΠ³Π΄Π°:

ΠΈ .

Π­Ρ‚ΠΈ условия наряду с Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒΡŽ, ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒΡŽ ΠΈ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½Ρ‹ΠΌΠΈ Π·Π°ΠΊΠΎΠ½Π°ΠΌΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΡƒΡŽ Ρ€Π΅ΡˆΠ΅Ρ‚ΠΊΡƒ.

V. Π’ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π΅ Π΅Π΄ΠΈΠ½ΠΈΡ†Π° 1 — СдинствСнный ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ элСмСнт.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

ΠŸΡƒΡΡ‚ΡŒ Π΅ΡΡ‚ΡŒ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ элСмСнт u,

ΠΈ

VI. ΠŸΡƒΡΡ‚ΡŒ a — Ρ„иксированный элСмСнт ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° S, Ρ‚ΠΎΠ³Π΄Π° ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΈΠ· ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ Π²Π»Π΅Ρ‡Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅:

1. a+1=1;

2.

3.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

. Π”ΠΎΠΊΠ°ΠΆΠ΅ΠΌ ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΎΠΌ матСматичСской ΠΈΠ½Π΄ΡƒΠΊΡ†ΠΈΠΈ ΠΏΠΎ Ρ‡ΠΈΡΠ»Ρƒ n.

I. Π‘Π°Π·Π°. ΠΊ=1. (выполняСтся ΠΏΠΎ ΡƒΡΠ»ΠΎΠ²ΠΈΡŽ).

II. Π˜Π½Π΄ΡƒΠΊΡ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅. ΠŸΡƒΡΡ‚ΡŒ для ΠΊ<n условиС выполняСтся, Ρ‚. Π΅.

Рассмотрим для k=n

ΠΈ a+1=1

Из I ΠΈ II Π‘Π»Π΅Π΄ΡƒΠ΅Ρ‚ .

. .

МоТно Π²Ρ‹Π±Ρ€Π°Ρ‚ΡŒ ΠΈΠ· Π²ΡΠ΅Π³ΠΎ количСства N, Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ число, для ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ Ρ‚ΠΎΠΆΠ΅ Π΄Π°Π½Π½ΠΎΠ΅ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ Π±ΡƒΠ΄Π΅Ρ‚ Π²Π΅Ρ€Π½ΠΎ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ условиС 3 Π½Π΅ Π²Π»Π΅Ρ‡Π΅Ρ‚ условиС 1 являСтся ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†. ЗафиксируСм элСмСнт, Π³Π΄Π΅. Для n=2

Π²Π΅Ρ€Π½ΠΎ, Π½ΠΎ ΡΠΎΠ²ΡΠ΅ΠΌ Π½Π΅Π²Π΅Ρ€Π½ΠΎ.

VII. Если S — ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ с ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌ сокращСниСм ΠΈ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎ, Ρ‚ΠΎ всС утвСрТдСния ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅Π³ΠΎ свойства Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½Ρ‹.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

ΠžΡΡ‚Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ .

ИмССм. Π”ΠΎΠ±Π°Π²ΠΈΠΌ ΠΊ ΠΏΡ€Π°Π²ΠΎΠΉ ΠΈ Π»Π΅Π²ΠΎΠΉ части выраТСния Ρ€Π°Π²Π½Ρ‹Π΅ элСмСнты :

Π’ ΡΠΈΠ»Ρƒ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎΠΉ идСмпотСнтности ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ ΠΏΠΎΠ΄Π±ΠΈΡ€Π°Ρ‚ΡŒ коэффициСнты ΠΏΠ΅Ρ€Π΅Π΄. Π’ ΡΠΎΠΎΡ‚вСтствии с Π±ΠΈΠ½ΠΎΠΌΠΎΠΌ ΠΡŒΡŽΡ‚ΠΎΠ½Π°, ΠΏΠΎΠ΄Π±Π΅Ρ€Π΅ΠΌ коэффициСнты ΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ:

Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½ΡƒΡŽ ΡΠΎΠΊΡ€Π°Ρ‚ΠΈΠΌΠΎΡΡ‚ΡŒ, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ a+1=1. Π§Ρ‚ΠΎ ΠΈ Π΄ΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚ Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½ΠΎΡΡ‚ΡŒ условий 1 — 3.

VIII. ΠŸΡƒΡΡ‚ΡŒ S — ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ, ΠΈ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΠ΅Ρ‚ Ρ‚Π°ΠΊΠΎΠ΅ , Ρ‡Ρ‚ΠΎ для всСх . Π’ΠΎΠ³Π΄Π°:

1. для всСх ;

2. — ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ с 1, Π³Π΄Π΅ I — ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ всСх ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Ρ‹Ρ… ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚ΠΎΠ² ΠΈΠ· S, Π° ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΠ΅Ρ‚ся Ρ‚Π°ΠΊ:

.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

1. Π’ΠΎΠ·ΡŒΠΌΠ΅ΠΌ .

Π’ΠΎΠ³Π΄Π°, Ρ‚.ΠΊ. .

Для Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π° понадобится

Π›Π΅ΠΌΠΌΠ°: Π’ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π΅

.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ: ММИ ΠΏΠΎ Ρ‡ΠΈΡΠ»Ρƒ n Π² .

I. Π‘Π°Π·Π°. n=1. Из ΡƒΡΠ»ΠΎΠ²ΠΈΡ ограничСнности

II. И.П. n=i-1.

Из ΡƒΡΠ»ΠΎΠ²ΠΈΡ II ΠΈ ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΡΡ‚ΠΈ:

.

По Π˜ΠŸ:

Из ΡƒΡΠ»ΠΎΠ²ΠΈΠΉ I, II ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΈ, Ρ‡Ρ‚ΠΎ Π΄Π°Π½Π½ΠΎΠ΅ равСнство Π²Π΅Ρ€Π½ΠΎ для, Π»Π΅ΠΌΠΌΠ° Π΄ΠΎΠΊΠ°Π·Π°Π½Π°.

Рассмотрим :

ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ Ρ€Π°Π²Π½Π° 2n-1, Ρ‚ΠΎ Π² ΠΊΠ°ΠΆΠ΄ΠΎΠΌ ΠΈΠ· ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΡ… сумму слагаСмых, Π»ΠΈΠ±ΠΎ (1 Π³Ρ€ΡƒΠΏΠΏΠ°), Π»ΠΈΠ±ΠΎ (2 Π³Ρ€ΡƒΠΏΠΏΠ°), ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚Π°ΠΊ.

Π‘Ρ€Π΅Π΄ΠΈ слагаСмых 1 Π³Ρ€ΡƒΠΏΠΏΡ‹ имССтся Ρ‡Π»Π΅Π½. Π­Ρ‚ΠΎΡ‚ Ρ‡Π»Π΅Π½ Π² ΡΡƒΠΌΠΌΠ΅ с ΠΊΠ°ΠΆΠ΄Ρ‹ΠΌ слагаСмым 1 Π³Ρ€ΡƒΠΏΠΏΡ‹ Π±ΡƒΠ΄Π΅Ρ‚ Π΄Π°Π²Π°Ρ‚ΡŒ самого сСбя, ΠΏΡ€ΠΈ условии ΠΈ Π»Π΅ΠΌΠΌΠ΅ 1. ΠΈΠ· Π³Ρ€ΡƒΠΏΠΏΡ‹ 1 останСтся Ρ‚ΠΎΠ»ΡŒΠΊΠΎ элСмСнт

Аналогично с ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚Π°ΠΌΠΈ Π³Ρ€ΡƒΠΏΠΏΡ‹ 2, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ имССтся элСмСнт, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΈ ΠΎΡΡ‚анСтся. ΠŸΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ

2 .ΠŸΡ€Π΅ΠΆΠ΄Π΅ всСго ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΠΌ Π·Π°ΠΌΠΊΠ½ΡƒΡ‚ΠΎΡΡ‚ΡŒ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ ΠΈ + Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ I.

(1) ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π²Ρ‹Π±Ρ€Π°Π½ΠΎ слоТСниС, ΠΈ Π²ΡΠ΅ элСмСнты ΠΈΠ· ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°, Π·Π½Π°Ρ‡ΠΈΡ‚ (I,+) — коммутативная ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ° с Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΌ элСмСнтом 0.

(2) Π”ΠΎΠΊΠ°ΠΆΠ΅ΠΌ, Ρ‡Ρ‚ΠΎ — коммутативная ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ° с Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΌ элСмСнтом 1:

a). ΠΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ:

Рассмотрим элСмСнт

Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ X состоит ΠΈΠ· Ρ‚Π°ΠΊΠΈΡ… слагаСмых, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Ρ‹ ΠΏΡ€ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠΈ, ΠΊΡ€ΠΎΠΌΠ΅ Ρ‚Π΅Ρ… ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Ρ‹ ΠΏΡ€ΠΈ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΈ со Π²ΡΠ΅ΠΌΠΈ 1, ΠΈΠ»ΠΈ со Π²ΡΠ΅ΠΌΠΈ с. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ имССтся Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ сомноТитСля Π² ΠΊΠ°ΠΆΠ΄ΠΎΠΌ слагаСмом X, Ρ‚. Π΅.

Π‘ Π΄Ρ€ΡƒΠ³ΠΎΠΉ стороны

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΏΡ€Π°Π²Ρ‹Π΅ части рассматриваСмых тоТдСств Ρ€Π°Π²Π½Ρ‹, Π·Π½Π°Ρ‡ΠΈΡ‚ Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ Π΄ΠΎΠΊΠ°Π·Π°Π½Π°.

b). 1 — Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнт:

с). ΠšΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ:

1.

2.

Из 1 ΠΈ 2 слСдуСт, ΠΏΠΎ ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π΅ равСнств ΠΏΡ€Π°Π²Ρ‹Ρ… частСй ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ, Π° Π·Π½Π°Ρ‡ΠΈΡ‚ слСдуСт равСнство. ΠšΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ Π΄ΠΎΠΊΠ°Π·Π°Π½Π°. — ΠΊΠΎΠΌΠΌΡƒΡ‚ативная ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ° с Π½Π΅ΠΉΡ‚Ρ€Π°Π»ΡŒΠ½Ρ‹ΠΌ элСмСнтом 1.

(3) Π”ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ:

(4)

ВсС аксиомы ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° Π΄ΠΎΠΊΠ°Π·Π°Π½Ρ‹, Π° Π·Π½Π°Ρ‡ΠΈΡ‚ — ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΈ Π΅Π³ΠΎ элСмСнты — элСмСнты ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π°, Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ — ΠΎΠ³Ρ€Π°Π½ΠΈΡ‡Π΅Π½ΠΎ.

IX. Если Π² ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π΅ S выполняСтся равСнство

,

Ρ‚ΠΎ S — Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎ.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

Рассмотрим t>1

Рассмотрим t=1,

Ρ‚.ΠΊ. ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ, Ρ‚ΠΎ Π² ΠΎΠ±Π΅ΠΈΡ… частях ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹Π΅ элСмСнты, Π΄ΠΎΠΌΠ½ΠΎΠΆΠΈΠΌ Π½Π° ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΉ ΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ 1+1=1, ΡƒΠΌΠ½ΠΎΠΆΠΈΠΌ ΠΎΠ±Π΅ части Π½Π° u, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ u+u=u, Ρ‡Ρ‚ΠΎ ΠΈ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΡƒΡŽ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡ‚Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ.

X. Π’ ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π΅ S справСдливо ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅ тоТдСство:

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ.

Π”ΠΎΠΌΠ½ΠΎΠΆΠΈΠΌ Π½Π° ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΉ ΠΊ :

ΠŸΠΎΠ»ΡƒΡ‡ΠΈΠΌ:

Π§Ρ‚ΠΎ ΠΈ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ.

БиблиографичСский список

1. Π§Π΅Ρ€ΠΌΠ½Ρ‹Ρ…, Π’. Π’. ΠŸΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° [ВСкст] / Π’. Π’. Π§Π΅Ρ€ΠΌΠ½Ρ‹Ρ… — ΠšΠΈΡ€ΠΎΠ²: Изд-Π²ΠΎ Π’Π“ΠŸΠ£, 1997. — ΡΡ‚.7 — 87.

2. Π’Π΅Ρ‡Ρ‚ΠΎΠΌΠΎΠ², Π•.М.

Π’Π²Π΅Π΄Π΅Π½ΠΈΠ΅

Π² ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° [ВСкст] / Π•. М. Π’Π΅Ρ‡Ρ‚ΠΎΠΌΠΎΠ² — ΠšΠΈΡ€ΠΎΠ²: Π˜Π·Π΄Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ Π’Π“ ПУ, 2000. — ΡΡ‚.5 — 30.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ