,
( 9)
. 2.21. , |
(. 2.21) , . , .
, x, y, z: x , z , y R.
(. 2.22)
.
. 2.22. |
. 2.23. |
.
(. 2.23), :
.
. 2.24. |
. , .
(. 2.24):
.
, .
. , : , .
, (. 2.25), . , 7.
. 2.25. |
, . : , , . .
:
1) , ;
2) ;
3) ;
4) , .
- , , . , 7.
. . .
. , . , .
.
, ,
|
|
.
, ,
.
(. . 2.24) , .
, . :
, ,
, , .
.
.
(1 2) , 7. 1 2 . 2.26. , . 7.
(), .
,
, .
:
. 2.26. |
.
() , . . 2.26, . , , .
( )
,
. :
.
. ., . ., . . . .: . ., 1995. .5 ( 5.15.4), . 11 ( 11.5);
. . . .: , 1977. . 6 ( 27, 2930, 32);
. ., . . . .: . ., 1989. . 6 ( 6.16.4, 6.6, 6.7).
, , . , . - . , , .
. 3.1. |
, , . , , . : , (. 3.1).
, .
R ( R)
|
|
, (3.1)
. 3.2. |
- , t. , . , . 3.2. , (3.1),
, (3.2)
.
() (. 3.3)
. (3.3)
( )
. (3.4)
. 3.3. |
. 3.4. , .
. (3.5)
. 3.4. |
. (3.6)
; . (3.7)
, (3.1)(3.7), :
:
*
, ; (3.8)
*
; . (3.9)
- .
(3.10)
, (3.11)
- , , , (3.6), (3.10), (3.11) , , [3, 6.6].
(3.3) (3.7)
. (3.12)
, , : . :
, (3.13)
[t] , ( ) , . , , , :
*
; (3.14)
*
, (3.15)
.
:
*
, (3.16)
*
. (3.17)
, , :
, (3.18)
, .
, , .