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

ΠšΠΎΠ»ΡŒΡ†Π°. 
ДискрСтный Π°Π½Π°Π»ΠΈΠ·. 
ΠžΡΠ½ΠΎΠ²Ρ‹ Π²Ρ‹ΡΡˆΠ΅ΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹

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

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2.5. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ Ρ†Π΅Π»Ρ‹Ρ… чисСл с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΌΠΈ слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 4. Π‘ΠΎΠ»Π΅Π΅ Ρ‚ΠΎΡ‡Π½ΠΎ, ΠΌΡ‹ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Π΅ΠΌ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 4, Ρ‚. Π΅. Π½Π΅ Ρ€Π°Π·Π»ΠΈΡ‡Π°Π΅ΠΌ числа, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… дСлится Π½Π° 4. ΠžΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ этих ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ мноТСство ΠΈΠ· Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 4, Ρ‚. Π΅. {0,1,2,3}, ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ ΠΊΠΎΠ»ΡŒΡ†ΠΎ. И Π² ΡΡ‚ΠΎΠΌ ΠΊΠΎΠ»ΡŒΡ†Π΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… Π½Π΅ Ρ€Π°Π²Π½Ρ‹Ρ… Π½ΡƒΠ»ΡŽ элСмСнтов ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ΠšΠΎΠ»ΡŒΡ†Π°. ДискрСтный Π°Π½Π°Π»ΠΈΠ·. ΠžΡΠ½ΠΎΠ²Ρ‹ Π²Ρ‹ΡΡˆΠ΅ΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹ (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

ΠŸΠ΅Ρ€Π΅ΠΉΠ΄Π΅ΠΌ Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ ΠΊ Ρ€Π°ΡΡΠΌΠΎΡ‚Ρ€Π΅Π½ΠΈΡŽ Π±ΠΎΠ»Π΅Π΅ слоТной Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π°Π»Π³Π΅Π±Ρ€Ρ‹ с Π΄Π²ΡƒΠΌΡ опСрациями. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π±ΡƒΠ΄Π΅ΠΌ всСгда ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Ρ‚ΡŒ ΠΊΠ°ΠΊ слоТСниС ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅, хотя ΠΊ ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌ слоТСнию ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ ΠΎΠ½ΠΈ ΠΌΠΎΠ³ΡƒΡ‚ Π½Π΅ ΠΈΠΌΠ΅Ρ‚ΡŒ Π½ΠΈΠΊΠ°ΠΊΠΎΠ³ΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ.

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡŒΡ†Π° ΠΈ ΠΏΡ€ΠΎΡΡ‚Π΅ΠΉΡˆΠΈΠ΅ свойства

ΠšΠΎΠ»ΡŒΡ†ΠΎ это мноТСство R с двумя Π±ΠΈΠ½Π°Ρ€Π½Ρ‹ΠΌΠΈ опСрациями слоТСния 4- ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ β€’ Ρ‚Π°ΠΊΠΈΠΌΠΈ, Ρ‡Ρ‚ΠΎ.

R1: ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния R — коммутативная Π³Ρ€ΡƒΠΏΠΏΠ° (которая называСтся Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΠΎΠΉ ΠΊΠΎΠ»ΡŒΡ†Π°);

R2: ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ассоциативно;

R3: Π°*(6+с) = Π°-6+Π°-с; (6+с)-Π° = 6-Π°+с-Π° (Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ умноТСния ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния слСва ΠΈ ΡΠΏΡ€Π°Π²Π°).

Если Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ имССтся Π΅Π΄ΠΈΠ½ΠΈΡ‡Π½Ρ‹ΠΉ элСмСнт для умноТСния, Ρ‚ΠΎ ΠΊΠΎΠ»ΡŒΡ†ΠΎ называСтся ΠΊΠΎΠ»ΡŒΡ†ΠΎΠΌ с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ. ΠœΡ‹ Π±ΡƒΠ΄Π΅ΠΌ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Ρ‚ΡŒ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρƒ Ρ‡Π΅Ρ€Π΅Π· 1, нСсмотря Π½Π° Π΄Π²ΡƒΡΠΌΡ‹ΡΠ»Π΅Π½Π½ΠΎΡΡ‚ΡŒ Ρ‚Π°ΠΊΠΎΠ³ΠΎ обозначСния. Если ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎ, Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ ΠΊΠΎΠ»ΡŒΡ†ΠΎ называСтся ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌ ΠΊΠΎΠ»ΡŒΡ†ΠΎΠΌ.

Π—Π°ΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅ 2.1. Π’ Π»ΠΈΡ‚Π΅Ρ€Π°Ρ‚ΡƒΡ€Π΅ встрСчаСтся Π΄Ρ€ΡƒΠ³ΠΎΠ΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡŒΡ†Π°, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΎΠΏΡƒΡ‰Π΅Π½Π° аксиома ассоциативности R2.

Π’ Ρ‚Π°ΠΊΠΈΡ… ΠΊΠ½ΠΈΠ³Π°Ρ… ΠΊΠΎΠ»ΡŒΡ†Π° с Π°ΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ ассоциативными. Нам ΡƒΠ΄ΠΎΠ±Π½Π΅Π΅ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Π±ΠΎΠ»Π΅Π΅ ΡƒΠ·ΠΊΠΎΠ΅ понятиС ΠΊΠΎΠ»ΡŒΡ†Π°.

Π—Π°ΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅ 2.2. Когда Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°ΡŽΡ‚ΡΡ ΠΊΠΎΠ»ΡŒΡ†Π° с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ, ΠΏΠΎΡ‡Ρ‚ΠΈ всСгда ΠΈΡΠΊΠ»ΡŽΡ‡Π°Π΅Ρ‚ΡΡ Π²Ρ‹Ρ€ΠΎΠΆΠ΄Π΅Π½Π½Ρ‹ΠΉ случай 0 = 1. Π”Π°Π»Π΅Π΅ всСгда прСдполагаСтся, Ρ‡Ρ‚ΠΎ Π² ΠΊΠΎΠ»ΡŒΡ†Π°Ρ… с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ 01.

ΠžΠ±Ρ€Π°Ρ‚Π½ΠΎΠ³ΠΎ элСмСнта ΠΏΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ (ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ) Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΈ Π½Π΅ Π±Ρ‹Ρ‚ΡŒ. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ ΡƒΡ€Π°Π²Π½Π΅Π½ΠΈΠ΅ Π°Ρ… = Π¬ ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π΅ ΠΈΠΌΠ΅Ρ‚ΡŒ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠΉ Π² ΠΊΠΎΠ»ΡŒΡ†Π΅.

ΠšΠ»Π°ΡΡΠΈΡ‡Π΅ΡΠΊΠΈΠΉ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ ΠΊΠΎΠ»ΡŒΡ†Π° — это мноТСство Ρ†Π΅Π»Ρ‹Ρ… чисСл с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΌΠΈ слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ. ΠžΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ΡΡ ΠΊΠΎΠ»ΡŒΡ†ΠΎ Ρ†Π΅Π»Ρ‹Ρ… чисСл Ρ‡Π΅Ρ€Π΅Π· Z. ΠžΠ±Ρ€Π°Ρ‚Π½ΠΎΠ³ΠΎ элСмСнта, Π½ΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ Π½Π΅Ρ‚ для всСх Ρ†Π΅Π»Ρ‹Ρ… чисСл, Π·Π° ΠΈΡΠΊΠ»ΡŽΡ‡Π΅Π½ΠΈΠ΅ΠΌ ±1. Π”Ρ€ΡƒΠ³ΠΎΠΉ Π²Π°ΠΆΠ½Ρ‹ΠΉ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ ΠΊΠΎΠ»ΡŒΡ†Π° — ΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½ΠΎΠ² — ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎ рассматриваСтся Π½ΠΈΠΆΠ΅ (Ρ€Π°Π·Π΄Π΅Π» 2.2).

Из Π°ΠΊΡΠΈΠΎΠΌ ΠΊΠΎΠ»ΡŒΡ†Π° слСдуСт довольно ΠΌΠ½ΠΎΠ³ΠΎ Ρ‚Ρ€ΠΈΠ²ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… слСдствий. ΠŸΡ€ΠΈΠ²Π΅Π΄Π΅ΠΌ здСсь Ρ‚ΠΎΠ»ΡŒΠΊΠΎ самыС Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΡ‹Π΅, ΠΈ Π±ΡƒΠ΄Π΅ΠΌ Π²Π²ΠΎΠ΄ΠΈΡ‚ΡŒ ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ ΠΏΠΎ ΠΌΠ΅Ρ€Π΅ надобности.

Π£Ρ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ 2.3. Π’ Π»ΡŽΠ±ΠΎΠΌ ΠΊΠΎΠ»ΡŒΡ†Π΅ Π° (Π¬ — с) = ab — ас.

Π­Ρ‚ΠΎ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ выполняСтся ΠΈ Π΄Π»Ρ вычитания (слоТСния с ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Ρ‹ΠΌ, Ρ‚. Π΅. ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΌ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния).

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ, Π° (Π¬ — с) + ас = Π° (Π¬ — с + с) = ab. ?

ΠšΠΎΠ½Π΅Ρ‡Π½ΠΎ, выполняСтся Ρ‚Π°ΠΊΠΆΠ΅ ΠΈ Ρ€Π°Π²Π΅Π½ΡΡ‚Π²ΠΎ (6 — с)Π° = Π¬Π° — са.

Π£Ρ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ 2.4. Π’ Π»ΡŽΠ±ΠΎΠΌ ΠΊΠΎΠ»ΡŒΡ†Π΅, Π° ? 0 = 0.

Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ, Π° β€’ 0 = a (b — b) = ab — ab = 0. ?

ВыполняСтся Ρ‚Π°ΠΊΠΆΠ΅ ΠΈ Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½ΠΎΠ΅ равСнство ΠΏΡ€ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠΈ Π½Π° 0 слСва: 0 β€’ Π° = 0.

Для чисСл ΠΈ ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½ΠΎΠ² выполняСтся Ρ‚Π°ΠΊΠΎΠ΅ свойство: Ссли ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… элСмСнтов Ρ€Π°Π²Π½ΠΎ Π½ΡƒΠ»ΡŽ, Ρ‚ΠΎ Ρ…отя Π±Ρ‹ ΠΎΠ΄ΠΈΠ½ элСмСнт Ρ€Π°Π²Π΅Π½ Π½ΡƒΠ»ΡŽ. Π’ ΠΎΠ±Ρ‰Π΅ΠΌ случаС это свойство ΠΌΠΎΠΆΠ΅Ρ‚ Π½Π΅ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒΡΡ. Π”Π°Π²Π°ΠΉΡ‚Π΅ рассмотрим Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2.5. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ Ρ†Π΅Π»Ρ‹Ρ… чисСл с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡΠΌΠΈ слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 4. Π‘ΠΎΠ»Π΅Π΅ Ρ‚ΠΎΡ‡Π½ΠΎ, ΠΌΡ‹ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Π΅ΠΌ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 4, Ρ‚. Π΅. Π½Π΅ Ρ€Π°Π·Π»ΠΈΡ‡Π°Π΅ΠΌ числа, Ρ€Π°Π·Π½ΠΎΡΡ‚ΡŒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… дСлится Π½Π° 4. ΠžΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ этих ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ мноТСство ΠΈΠ· Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ… Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 4, Ρ‚. Π΅. {0,1,2,3}, ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ ΠΊΠΎΠ»ΡŒΡ†ΠΎ. И Π² ΡΡ‚ΠΎΠΌ ΠΊΠΎΠ»ΡŒΡ†Π΅ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡƒΡ… Π½Π΅ Ρ€Π°Π²Π½Ρ‹Ρ… Π½ΡƒΠ»ΡŽ элСмСнтов ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π½ΡƒΠ»Π΅Π²Ρ‹ΠΌ: 2−2 = 0.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2.6. ΠŸΡ€ΡΠΌΡ‹ΠΌ ΠΎΠ±ΠΎΠ±Ρ‰Π΅Π½ΠΈΠ΅ΠΌ ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅Π³ΠΎ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π° являСтся ΠΊΠΎΠ»ΡŒΡ†ΠΎ Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ ΠΏ, Π³Π΄Π΅ ΠΏ — Π½Π°Ρ‚ΡƒΡ€Π°Π»ΡŒΠ½ΠΎΠ΅ число. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Π°ΠΌΠΈ этого ΠΊΠΎΠ»ΡŒΡ†Π°, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ ΠΌΡ‹ Π±ΡƒΠ΄Π΅ΠΌ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Ρ‚ΡŒ Zn, ΡΠ²Π»ΡΡŽΡ‚ΡΡ числа 0,1,…, ΠΏ — 1. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π² ΡΡ‚ΠΎΠΌ ΠΊΠΎΠ»ΡŒΡ†Π΅ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ ΠΊΠ°ΠΊ слоТСниС ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ ΠΏ. Аналогично ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅ΠΌΡƒ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρƒ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΌΠ΅Ρ‚ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ Ссли число ΠΏ = ab — составноС, Ρ‚ΠΎ ab = 0 Π² Zn. ΠžΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚ΡΡ, Ρ‡Ρ‚ΠΎ Ссли ΠΏ — простоС, Ρ‚ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π½Π΅Π½ΡƒΠ»Π΅Π²Ρ‹Ρ… элСмСнтов Π² ΠͺΠΏ ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΡ‚Π»ΠΈΡ‡Π½ΠΎ ΠΎΡ‚ 0. Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ этого утвСрТдСния Π±ΡƒΠ΄Π΅Ρ‚ ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½ΠΎ Π½ΠΈΠΆΠ΅ (см. Ρ€Π°Π·Π΄Π΅Π» 2.7).

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2.7. Π•ΡΡ‚ΡŒ Π΅Ρ‰Π΅ ΠΎΠ΄ΠΈΠ½ Π²Π°ΠΆΠ½Ρ‹ΠΉ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ — ΠΊΠΎΠ»ΡŒΡ†ΠΎ Π½Π΅ΠΏΡ€Π΅Ρ€Ρ‹Π²Π½Ρ‹Ρ… Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ Π½Π° ΠΎΡ‚Ρ€Π΅Π·ΠΊΠ΅ [0,1] с ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌΠΈ опСрациями ΠΏΠΎΡ‚ΠΎΡ‡Π΅Ρ‡Π½ΠΎΠ³ΠΎ слоТСния ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ: (/ + Π΄)(Ρ…) = = f (x)+g (x), (f-g)(x) = f (x)g (x). НулСм этого ΠΊΠΎΠ»ΡŒΡ†Π° являСтся функция, тоТдСствСнно равная Π½ΡƒΠ»ΡŽ. Рассмотрим Π΄Π²Π΅ Π½Π΅Π½ΡƒΠ»Π΅Π²Ρ‹Ρ… Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ /, Π΄, Π³Ρ€Π°Ρ„ΠΈΠΊΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½Ρ‹ Π½Π° Ρ€ΠΈΡΡƒΠ½ΠΊΠ΅. ΠžΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ этих Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ тоТдСствСнно Ρ€Π°Π²Π½ΠΎ Π½ΡƒΠ»ΡŽ.

ΠšΠΎΠ»ΡŒΡ†Π°. ДискрСтный Π°Π½Π°Π»ΠΈΠ·. ΠžΡΠ½ΠΎΠ²Ρ‹ Π²Ρ‹ΡΡˆΠ΅ΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2.8. По Π΄Π²ΡƒΠΌ ΠΊΠΎΠ»ΡŒΡ†Π°ΠΌ Ri, /?2 ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΈΡ… ΠΏΡ€ΡΠΌΡƒΡŽ сумму R1 Π€ R-2 Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½ΠΎ прямому ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡŽ Π³Ρ€ΡƒΠΏΠΏ, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ Π±Ρ‹Π»ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΎ Π² ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅ 1.35 ΠΈ ΠΏΡ€ΡΠΌΠΎΠΉ суммС Π°Π±Π΅Π»Π΅Π²Ρ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ, которая Π±Ρ‹Π»Π° ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π° Π² Ρ€Π°Π·Π΄Π΅Π»Π΅ 1.12.

ΠšΠΎΠ»ΡŒΡ†ΠΎ R 0 Π―2 состоит ΠΈΠ· Π²ΡΠ΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… Π½Π°Ρ€ (/1,7*2), Π³Π΄Π΅ Ρ‚*1? j? i, 7*2 € R2- ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ Ρ‚Π°ΠΊ:

ΠšΠΎΠ»ΡŒΡ†Π°. ДискрСтный Π°Π½Π°Π»ΠΈΠ·. ΠžΡΠ½ΠΎΠ²Ρ‹ Π²Ρ‹ΡΡˆΠ΅ΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹.

(для простоты ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΌΡ‹ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌ ΠΎΠ΄Π½ΠΈ ΠΈ Ρ‚Π΅ ΠΆΠ΅ символы для ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π² ΠΎΠ±ΠΎΠΈΡ… ΠΊΠΎΠ»ΡŒΡ†Π°Ρ…).

ΠŸΡ€ΠΎΠ²Π΅Ρ€ΠΊΠ° аксиом ΠΊΠΎΠ»ΡŒΡ†Π° для прямой суммы ΠΊΠΎΠ»Π΅Ρ† выполняСтся мСханичСски. По ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡŽ это Π³Ρ€ΡƒΠΏΠΏΠ°, которая Π΅ΡΡ‚ΡŒ прямоС ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π°Π΄Π΄ΠΈΡ‚ΠΈΠ²Π½Ρ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ ΠΊΠΎΠ»Π΅Ρ† R ΠΈ /?2- ΠΡΡΠΎΡ†ΠΈΠ°Ρ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ умноТСния ΠΈ Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΡΡŽΡ‚ΡΡ ΠΏΠΎΠΊΠΎΠΌΠΏΠΎΠ½Π΅Π½Ρ‚Π½ΠΎ.

Π’ ΠΏΡ€ΡΠΌΠΎΠΉ суммС ΠΊΠΎΠ»Π΅Ρ† нСслоТно ΠΏΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ ΠΏΠ°Ρ€Ρƒ Π½Π΅Π½ΡƒΠ»Π΅Π²Ρ‹Ρ… элСмСнтов, ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Ρ€Π°Π²Π½ΠΎ Π½ΡƒΠ»ΡŽ. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ 2.4:

ΠšΠΎΠ»ΡŒΡ†Π°. ДискрСтный Π°Π½Π°Π»ΠΈΠ·. ΠžΡΠ½ΠΎΠ²Ρ‹ Π²Ρ‹ΡΡˆΠ΅ΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹.

НСнулСвыС элСмСнты ΠΊΠΎΠ»ΡŒΡ†Π°, ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Ρ€Π°Π²Π½ΠΎ Π½ΡƒΠ»ΡŽ, ΠΈΠΌΠ΅ΡŽΡ‚ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ — Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΠΈ нуля. ВСхничСски Π±Ρ‹Π²Π°Π΅Ρ‚ ΡƒΠ΄ΠΎΠ±Π½ΠΎ Ρ€Π°Π·Π»ΠΈΡ‡Π°Ρ‚ΡŒ Π»Π΅Π²Ρ‹Π΅ ΠΈ ΠΏΡ€Π°Π²Ρ‹Π΅ Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΠΈ нуля. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ Π°? R называСтся ΠΏΡ€Π°Π²Ρ‹ΠΌ (Π»Π΅Π²Ρ‹ΠΌ) Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΌ нуля, Ссли для Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ b? R выполняСтся Π¬Π° = 0 (ab = 0).

НаличиС Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля Π² ΠΊΠΎΠ»ΡŒΡ†Π°Ρ… являСтся ΠΊΡ€Π°ΠΉΠ½Π΅ нСприятным эффСктом. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ выдСляСтся класс ΠΊΠΎΠ»Π΅Ρ† Π±Π΅Π· Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля. ΠšΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Ρ‹Π΅ ΠΊΠΎΠ»ΡŒΡ†Π° Π±Π΅Π· Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ Ρ†Π΅Π»ΠΎΡΡ‚Π½Ρ‹Π»Ρˆ ΠΊΠΎΠ»ΡŒΡ†Π°ΠΌΠΈ (ΠΈΠ»ΠΈ областями цСлостности). Как ΠΏΡ€Π°Π²ΠΈΠ»ΠΎ, ΠΌΡ‹ Π±ΡƒΠ΄Π΅ΠΌ Ρ€Π°ΡΡΠΌΠ°Ρ‚Ρ€ΠΈΠ²Π°Ρ‚ΡŒ цСлостныС ΠΊΠΎΠ»ΡŒΡ†Π°, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΠΎΠ½ΠΈ Π΄Π°ΡŽΡ‚ Π²Π°ΠΆΠ½Ρ‹Π΅ для ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠΉ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹.

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