ΠΠ°Π΄Π°ΡΠ° ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ ΡΠΎΡΡΠΎΠΈΡ Π² ΡΠΎΠΌ, ΡΡΠΎΠ±Ρ ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠΈΡΡ Π·Π°ΡΠΈΡΡ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠ³ΠΎ Π΄ΠΎΠΊΡΠΌΠ΅Π½ΡΠ° Π½Π΅ ΡΠΎΠ»ΡΠΊΠΎ ΠΎΡ ΠΏΠΎΠ΄Π΄Π΅Π»ΠΊΠΈ ΠΏΠΎΡΡΠΎΡΠΎΠ½Π½ΠΈΠΌ Π·Π»ΠΎΡΠΌΡΡΠ»Π΅Π½Π½ΠΈΠΊΠΎΠΌ, Π½ΠΎ ΠΈ ΠΎΡ Π΄Π΅ΠΉΡΡΠ²ΠΈΠΉ Π½Π΅Π΄ΠΎΠ±ΡΠΎΡΠΎΠ²Π΅ΡΡΠ½ΡΡ
ΡΡΠ°ΡΡΠ½ΠΈΠΊΠΎΠ² ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ ΠΎΠ±ΠΌΠ΅Π½Π°. Π’ΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΡ ΠΊ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ:
- 1. Π¦ΠΈΡΡΠΎΠ²Π°Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΡ Π΄ΠΎΠΊΠ°Π·ΡΠ²Π°Π΅Ρ, ΡΡΠΎ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π²ΡΠΈΠΉ ΡΠΎΠ³Π»Π°ΡΠ΅Π½ Ρ ΡΠΎΠ΄Π΅ΡΠΆΠ°Π½ΠΈΠ΅ΠΌ Π΄ΠΎΠΊΡΠΌΠ΅Π½ΡΠ°.
- 2. ΠΠ½Π° ΡΠ²Π»ΡΠ΅ΡΡΡ Π½Π΅ΠΎΡΡΠ΅ΠΌΠ»Π΅ΠΌΠΎΠΉ ΡΠ°ΡΡΡΡ Π΄ΠΎΠΊΡΠΌΠ΅Π½ΡΠ° ΠΈ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΏΠ΅ΡΠ΅Π½Π΅ΡΠ΅Π½Π° Π½Π° Π΄ΡΡΠ³ΠΎΠΉ Π΄ΠΎΠΊΡΠΌΠ΅Π½Ρ.
- 3. ΠΠΎΡΠ»Π΅ ΡΠΎΠ³ΠΎ, ΠΊΠ°ΠΊ Π΄ΠΎΠΊΡΠΌΠ΅Π½Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π½, Π΅Π³ΠΎ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·ΠΌΠ΅Π½ΠΈΡΡ.
- 4. ΠΡ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ Π½Π΅Π»ΡΠ·Ρ ΠΎΡΠΊΠ°Π·Π°ΡΡΡΡ, ΡΠΎ Π΅ΡΡΡ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π²ΡΠΈΠΉ Π½Π΅ ΡΠΌΠΎΠΆΠ΅Ρ Π²ΠΏΠΎΡΠ»Π΅Π΄ΡΡΠ²ΠΈΠΈ ΡΡΠ²Π΅ΡΠΆΠ΄Π°ΡΡ, ΡΡΠΎ Π΄ΠΎΠΊΡΠΌΠ΅Π½Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π½ Π±Π΅Π· Π΅Π³ΠΎ Π²Π΅Π΄ΠΎΠΌΠ°.
ΠΠ·Π»ΠΎΠΆΠΈΠΌ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΈΠ΄Π΅ΠΈ, Π½Π° ΠΊΠΎΡΠΎΡΡΡ
ΠΎΡΠ½ΠΎΠ²Π°Π½ ΠΌΠ΅Ρ
Π°Π½ΠΈΠ·ΠΌ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ.
ΠΡΡΡΡ ΠΈΠΌΠ΅Π΅ΡΡΡ ΠΏΠ°ΡΠ° ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΠΉ E ΠΈ D, ΡΠ΄ΠΎΠ²Π»Π΅ΡΠ²ΠΎΡΡΡΡΠΈΠΌ ΡΡΠ»ΠΎΠ²ΠΈΡΠΌ:
ΠΠ»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ x Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ D (E (x)) = x.
E ΠΈ D Π»Π΅Π³ΠΊΠΎ Π²ΡΡΠΈΡΠ»ΡΡΡΡΡ Π΄Π»Ρ Π»ΡΠ±ΡΡ
ΠΈΡΡ
ΠΎΠ΄Π½ΡΡ
Π΄Π°Π½Π½ΡΡ
.
ΠΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΠ΅ D ΡΠ»ΠΎΠΆΠ½ΠΎ ΠΎΠ±ΡΠ°ΡΠΈΡΡ, ΡΠΎ Π΅ΡΡΡ, Π·Π½Π°Ρ D ΠΈ x ΡΡΡΠ΄Π½ΠΎ Π½Π°ΠΉΡΠΈ y ΡΠ°ΠΊΠΎΠ΅, ΡΡΠΎ D (y) = x.
Π Π΄Π°Π½Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ E ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠΈΠ²Π°Π΅Ρ ΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ, Π° D — ΡΠ°ΡΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΠ΅.
ΠΠ»Ρ ΡΠΎΠ³ΠΎ, ΡΡΠΎΠ±Ρ Π½Π°Π»Π°Π΄ΠΈΡΡ ΠΎΠ±ΠΌΠ΅Π½ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π½Π½ΡΠΌΠΈ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΡΠΌΠΈ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡΠΌΠΈ, Π½Π΅ΠΎΠ±Ρ
ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠ΅ΡΠ΅Π΄Π°ΡΡ ΠΏΠΎΠ»ΡΡΠ°ΡΠ΅Π»Ρ ΠΊΠ»ΡΡ ΡΠ°ΡΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΡ, Π° ΠΊΠ»ΡΡ Π·Π°ΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΡ Π΄Π΅ΡΠΆΠ°ΡΡ Π² ΡΠ΅ΠΊΡΠ΅ΡΠ΅.
Π§ΡΠΎΠ±Ρ ΠΏΠΎΠ΄ΡΠ²Π΅ΡΠ΄ΠΈΡΡ ΠΏΠΎΠ΄Π»ΠΈΠ½Π½ΠΎΡΡΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ Ρ
Π°Π±ΠΎΠ½Π΅Π½Ρ Π Π΄ΠΎΠ»ΠΆΠ΅Π½ ΠΎΡΠΏΡΠ°Π²ΠΈΡΡ Π²ΠΌΠ΅ΡΡΠ΅ Ρ Π½ΠΈΠΌ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ E1 (Ρ
), ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΠΎΠ΅ Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ Π½Π° ΡΠ²ΠΎΠ΅ΠΌ ΡΠ΅ΠΊΡΠ΅ΡΠ½ΠΎΠΌ ΠΊΠ»ΡΡΠ΅. ΠΡΠΎ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΡΡ Ρ
. ΠΠ±ΠΎΠ½Π΅Π½Ρ B, ΠΏΠΎΠ»ΡΡΠΈΠ² ΠΏΠ°ΡΡ x, E1(x), ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅Ρ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΠ΅ D1 ΠΈ ΡΠ±Π΅ΠΆΠ΄Π°Π΅ΡΡΡ Π² ΡΠΎΠΌ, ΡΡΠΎ D1(E1(x)) = x. ΠΡΠ»ΠΈ Π Π΄Π΅ΡΠΆΠΈΡ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΠ΅ E1 Π² ΡΠ΅ΠΊΡΠ΅ΡΠ΅, ΡΠΎ Π½ΠΈΠΊΡΠΎ ΠΊΡΠΎΠΌΠ΅ Π½Π΅Π³ΠΎ Π½Π΅ ΡΠΌΠΎΠΆΠ΅Ρ ΠΏΠΎΠ΄ΠΎΠ±ΡΠ°ΡΡ ΡΠ°ΠΊΠΎΠ΅ y, ΡΡΠΎΠ±Ρ D1(y) ΡΠΎΠ²ΠΏΠ°Π΄Π°Π»ΠΎ Ρ x.
ΠΠΏΠΈΡΠ°Π½Π½ΡΠΉ Π²ΡΡΠ΅ ΠΌΠ΅Ρ
Π°Π½ΠΈΠ·ΠΌ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ ΠΌΠΎΠΆΠ΅Ρ ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠΈΠ²Π°ΡΡ ΠΏΡΠΎΠ²Π΅ΡΠΊΡ ΠΏΠΎΠ΄Π»ΠΈΠ½Π½ΠΎΡΡΠΈ Π΄ΠΎΠΊΡΠΌΠ΅Π½ΡΠΎΠ² Π΄Π°ΠΆΠ΅ Π±ΠΎΠ»Π΅Π΅ Π½Π°Π΄Π΅ΠΆΠ½ΠΎ, ΡΠ΅ΠΌ ΠΎΠ±ΡΡΠ½Π°Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΡ ΠΏΠΎΠ΄ Π±ΡΠΌΠ°ΠΆΠ½ΡΠΌ Π΄ΠΎΠΊΡΠΌΠ΅Π½ΡΠΎΠΌ.