ΠΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π½Π°Π΄ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π°ΠΌΠΈ
ΠΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² X ΠΈ Π£ (ΠΈΠ»ΠΈ ΠΈΡ ΠΎΠ±ΡΠ΅ΠΉ ΡΠ°ΡΡΡΡ) ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ², Π²Ρ ΠΎΠ΄ΡΡΠΈΡ ΠΊΠ°ΠΊ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ X, ΡΠ°ΠΊ ΠΈ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π£; ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ X ΠΏ Π£. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π΅ΡΠ»ΠΈ X — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Π’ Π½Π΅ Π½ΠΈΠΆΠ΅ $, Π° Π£ — ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΡ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Π½Ρ Π±ΠΎΠ»Π΅Π΅ S, ΠΏΡΠΈΡΠ΅ΠΌ s < S, ΡΠΎ Π² ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ X ΠΏ Π£ Π²ΠΎΠΉΠ΄ΡΡ ΠΎΠ±ΡΠ΅ΠΊΡΡ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Tt ΡΠ΄ΠΎΠ²Π»Π΅ΡΠ²ΠΎΡΡΡΡΠΈΠΌ… Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
ΠΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π½Π°Π΄ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π°ΠΌΠΈ (ΡΠ΅ΡΠ΅ΡΠ°Ρ, ΠΊΡΡΡΠΎΠ²Π°Ρ, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½Π°Ρ)
ΠΠ²Π΅Π΄Π΅ΠΌ ΠΏΠΎΠ½ΡΡΠΈΡ ΡΡΠΌΠΌΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΠΈ ΠΈΡ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΡ. Π‘ΡΠΌΠΌΠΎΠΉ, ΠΈΠ»ΠΈ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ΠΌ, Π΄Π²ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² Π₯Π½ Π£ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ², Π²Ρ ΠΎΠ΄ΡΡΠΈΡ ΠΊΠ°ΠΊ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ X, ΡΠ°ΠΊ ΠΈ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π£ (ΠΎΠ±Π»Π°Π΄Π°ΡΡΠΈΡ Π»ΠΈΠ±ΠΎ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° Π₯Ρ Π»ΠΈΠ±ΠΎ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° Π£). Π‘ΡΠΌΠΌΠ° ΡΡΠΈΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ X ΠΈ Π£ ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, ΠΏΡΡΡΡ Π'— ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π³ΠΎΡΡΠ΄Π°ΡΡΡΠ²Π΅Π½Π½ΡΡ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Π½Π΅ Π½ΠΈΠΆΠ΅ S Π΄Π΅Π½Π΅ΠΆΠ½ΡΡ Π΅Π΄ΠΈΠ½ΠΈΡ, Π° Π£ — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π½Π΅Π³ΠΎΡΡΠ΄Π°ΡΡΡΠ²Π΅Π½Π½ΡΡ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ ΡΠ΅ΠΌ ΠΆΠ΅ ΠΏΠΎΡΠΎΠ³ΠΎΠΌ Π³ΠΎΠ΄ΠΎΠ²ΠΎΠ³ΠΎ ΠΎΠ±ΠΎΡΠΎΡΠ°; ΡΠΎΠ³Π΄Π° X ΠΈ Π£ Π±ΡΠ΄Π΅Ρ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎΠΌ Π²ΡΠ΅Ρ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ ΡΠΊΠ°Π·Π°Π½Π½ΡΠΌ Π½ΠΈΠΆΠ½ΠΈΠΌ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ S.
ΠΡΠΌΠ΅ΡΠΈΠΌ, ΡΡΠΎ Π΄ΠΎΠ±Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΏΡΡΡΠΎΠ³ΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° 0 ΠΊ Π»ΡΠ±ΠΎΠΌΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Ρ X Π½Π΅ ΠΌΠ΅Π½ΡΠ΅Ρ ΡΡΠΎΠ³ΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π°, Ρ. Π΅.
ΠΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² X ΠΈ Π£ (ΠΈΠ»ΠΈ ΠΈΡ ΠΎΠ±ΡΠ΅ΠΉ ΡΠ°ΡΡΡΡ) ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ², Π²Ρ ΠΎΠ΄ΡΡΠΈΡ ΠΊΠ°ΠΊ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ X, ΡΠ°ΠΊ ΠΈ Π² ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π£; ΡΡΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ X ΠΏ Π£. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π΅ΡΠ»ΠΈ X — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Π’ Π½Π΅ Π½ΠΈΠΆΠ΅ $, Π° Π£ — ΡΠΎΠ²ΠΎΠΊΡΠΏΠ½ΠΎΡΡΡ ΠΏΡΠ΅Π΄ΠΏΡΠΈΡΡΠΈΠΉ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Π½Ρ Π±ΠΎΠ»Π΅Π΅ S, ΠΏΡΠΈΡΠ΅ΠΌ s < S, ΡΠΎ Π² ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ X ΠΏ Π£ Π²ΠΎΠΉΠ΄ΡΡ ΠΎΠ±ΡΠ΅ΠΊΡΡ Ρ Π³ΠΎΠ΄ΠΎΠ²ΡΠΌ ΠΎΠ±ΠΎΡΠΎΡΠΎΠΌ Tt ΡΠ΄ΠΎΠ²Π»Π΅ΡΠ²ΠΎΡΡΡΡΠΈΠΌ Π½Π΅ΡΠ°Π²Π΅Π½ΡΡΠ²Ρ:
ΠΡΡΡΡΡΡΠ²ΠΈΠ΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² ΡΠΎ ΡΠ²ΠΎΠΉΡΡΠ²Π°ΠΌΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² Π' ΠΈ Π£ ΠΎΠ΄Π½ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎ ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ, ΡΡΠΎ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ ΡΡΠΈΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠΎΠ±ΠΎΠΉ ΠΏΡΡΡΠΎΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ 0. Π‘Ρ Π΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ Π΄Π²ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΎ ΠΊΠ°ΠΊ Π·Π°ΡΡΡΠΈΡ ΠΎΠ²Π°Π½Π½Π°Ρ ΠΎΠ±Π»Π°ΡΡΡ Π½Π° ΡΠΈΡ. 6.1.
Π Π°Π·Π½ΠΎΡΡΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² X ΠΈ Π£ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Z, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠ΅Π΅ Π²ΡΠ΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° X, Π½Π΅ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠΈΠ΅ΡΡ Π² Π; ΡΡΠ° ΡΠ°Π·Π½ΠΎΡΡΡ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ ZΠ₯ Π£.
Π ΠΎΠ±ΡΠ΅ΠΌ ΡΠ»ΡΡΠ°Π΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΡΡ Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠ³ΠΎ ΡΠΈΡΠ»Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΠΏΡΡΠ΅ΠΌ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠΏΠ°ΡΠ½ΠΎΠ³ΠΎ ΠΏΡΠΎΠ²Π΅Π΄Π΅Π½ΠΈΡ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ.
ΠΡΠΈ Π·Π°ΠΏΠΈΡΠΈ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ ΡΠ΅Π»Π΅ΡΠΎΠΎΠ±ΡΠ°Π·Π½ΠΎ ΡΠΏΠΎΡΡΠ΅Π±Π»ΡΡΡ Π»ΠΎΠ³ΠΈ- 61
ΡΡΡΠΊΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΠΊΡ. ΠΠΌΠ΅ΡΡΠΎ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ «Π»ΡΠ±ΠΎΠ΅ Ρ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° X» ΡΠΏΠΎΡΡΠ΅Π±ΠΈΠΌΠ° Π·Π°ΠΏΠΈΡΡ Vx Π΅ X, Π³Π΄Π΅ ΠΏΠ΅ΡΠ΅Π²Π΅ΡΠ½ΡΡΠ°Ρ Π»Π°ΡΠΈΠ½ΡΠΊΠ°Ρ Π±ΡΠΊΠ²Π° Π Π²Π·ΡΡΠ° ΠΎΡ Π½Π°ΡΠ°Π»Π° Π°Π½Π³Π»ΠΈΠΉΡΠΊΠΎΠ³ΠΎ ΡΠ»ΠΎΠ²Π° any — Π»ΡΠ±ΠΎΠΉ. ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½ΠΎ Π²ΠΌΠ΅ΡΡΠΎ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ «ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΡΠ»Π΅ΠΌΠ΅Π½Ρ Ρ ΠΈΠ· ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° X» ΠΊΡΠ°ΡΠΊΠΎ ΠΏΠΈΡΡΡ: ΠΡ Π΅ X, Π³Π΄Π΅ ΠΏΠ΅ΡΠ΅Π²Π΅ΡΠ½ΡΡΠ°Ρ Π»Π°ΡΠΈΠ½ΡΠΊΠ°Ρ Π±ΡΠΊΠ²Π° Π ΡΠ²Π»ΡΠ΅ΡΡΡ Π½Π°ΡΠ°Π»ΡΠ½ΠΎΠΉ Π² Π°Π½Π³Π»ΠΈΠΉΡΠΊΠΎΠΌ ΡΠ»ΠΎΠ²Π΅ existence — ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΠ΅.