. ( ) ( - »-).
1.
, : .
, , . , P, .
P , . P , . P [O(a1,a2,a3...)]iO(a1,a2,a3)
, , . , . , , , . - , , .
, , , . , , . , . . , , . , , .
, , . , . -́ . , .
. :
|
|
1) E , E(p) E(q) , , . (O) VR , O E;
2) E(p) E(q) E, , : {q,p} E(q,p);
3) [E(q,p)]i=1O(q,p) [E(p)]i1O(q,p)i2[E(q)] i1=i2=1 , . [E(q,p)]i=0O(q,p) [E(p)]i1O(q,p) i2[E(q)], i1¹1 i2¹1 i1¹i2;
4) , O(q,p) DqDp³h(q,p), , ;
5) q,p E , q p : [E(p)]i(DqDp³h(q,p))r[E(q)], i=1, r=-1, , q E p, , , .
[87]. , -, . . , . , - , , . , , .
, , DqDp³h - , , : / , -. , . {q,p} .
{q,p} , . (, , ), . . , , , . - ? , , , - [88].
|
|
? : DqDp³h(q,p) ? : E(p);E¢(q)... ? : [E(p)]i(DqDp³h(q,p))r[E¢(q)], 1) - --; 2) , -; 3) .
- . , , - -, , -́ .
( ) , , , . . , , . . , : . . : - . , .
: ? , i1=f(i2), . , [89]? , , (q) , .
: 1) - ; 2) - , -; 3) - -. , , -.
, . O(a1,a2,a3) P, , , , . : 1) , , , () , ; 2) ( ), ( ) 5-6 , , 3) , , - .
|
|
, , , P . . , , .
P(a1(`a¢1))=P¢(a2), , , . , , P()=P(Øa1)=ØP : P(a1) P()=ØP
P P a1, P(a1) -P, ØP, -P -P, .
- . . , , . ( , ).
: - ? - ? , - - , .