- , ( ).
-
- :
n- ; - (m·n); n- ; f(Y) p- Y; F(Y) ; S E; T . Y, (1)-(3) .
(1)-(3). S , F f , (1)-(3) - (). Y .
. [1]. (1)-(3) :
) Y* ϵ S :
(4)
) (4) , , Y. , , , A (, - ). (4) . , X Y .
-
(1)-(3). X Y, X Y Y ... , Y, X, , .. Y :
(5) [2] R :
. (6)
R , (1)-(3) . R , (1)-(3) :
(7)
Y (7) . :
(8)
(9)
Y ϵ R,
|
|
(10)
-∞, . (10) , , ; , .
(10) (7) (1)-(3):
. (11)
(12)
(12) y. P , (9) , (8). , (11) ∞ . (7) , , . . - . , (11) :
(13)
(13), ,
R, (6), (14)-(16) 2:
1 2 .
, (1)-(3) (17)-(20). , 2 , , . . . 2, 2. , . , , , G = [ (Z, Y)/(Z,Y) (18)-(20)]. , , , . . 2, . (9) (8), 2 , , .
: (Z0, Y0)- 2 2, , :
. 2 2, (9), (8) , 2 (9), , .
f(y) F(y). S, , f(y) F(y) S.
|
|
, . S , Y. , , , , , .
:
1. 2, ( ) (18), (19).
2. 2 , 2 1. (Z0, Y0), , . Z0 = -∞, Y0 S 3.
3. (9) (8), . , 1 . , 6.
4. 3 Z0 f(Y0), (Z0, Y0) 2. X0 (8), (X0, Y0) (1)-(3).
5. 3 (9) u0, 2 2 2.
6. (9) , - V0 u0 , +∞ (24) , Y0 2. u0, (23), (22) 2. 2.
2.