, . , , . 6- :
- ( , , []. , ).
- ( ).
- ( , , , ).
. , , (). , . 2- .
G
F t
g
(1) ; F , G -
, g .
(2) ; -
y , .
(3)
F →
(4)
(5)
(5) (4) →
(6)
(6) →
(7) . . .
(8)
(9) ; -
, - .
(1) ; - .
(2)
(3) ,
, .
- , 3 : a (, ); b(x, ); c(y, ).
- .F,f. F-B,f-b, . .B,b - - =0. . t, - ., A. , x y. .b, B, C, c.
ba, BA G, ac, AC .
|
|
, =1. ., C, . .b, B. - t . . - , ., C . :
.
G
, , , . .
(1) ; g
, x , dg -
, dx
, (x-dx) , y .
(1) →
(2) .
(3) .
(4) y.
(4) (2) →
- , .
- .
G
F
(1)
(1) →
(2) .
(3) .
(4) x.
(4) (2) →
- , .
- .
.
F
, - - .F, f.
- , : ,.- .-:
, :
. . . , : . :
. () , :
. , . .
F
- .F (f) . : .
→ :
- , :
.
:
.