, i l: S(i,l ). . .. , l, i, , . - . , , . , A(A1 , A2 )
(1 ,2) (. 2.13).
1: S(i, l), (. 2.13). , .
. 2.13 . 2.14
l , . i ^ 1, .: n1 - , m1 - k1 - . . , n2, m2 k2 (. 2.14).
l2¢ ( ) 8-10 . (. 2.15).
a(1) 1 a2 ( 6-8 ) (. 2.16).
a1 1, , a2 .
: 1 6 , 3 5 .
. 2.15 . 2.16
2. (i,l). , , (. 2.17).
:
l(l1,l2) , , .
1, i1, - , 2 ^ i2.
1. l(l1,l2) 6 (. 2.18).
. , 1 , (), 6 - , (). Þ .
2. (. 2.19). .
. 2.17
3. , , :
) , , 1 ().
|
|
) 2 . 2.20 . (1 ) :
- 2 R ( ) (. 2.20);
- 1 R;
. 2.18
- 2 , .. 2 - ;
- (1 ) .
(1) .
. 2.19
. 2.20
4. 1 , .. , , . 1 1 R¢¢
. 2.21
, .
, 2 (. 2.21).
3. (i,l), . (1) Ì F, 2 =? (. 2.22).
.
, , . . . .
. 2.22
. 35 47. 12 .
, 2 - . (1) 2 (2) 1 ( , ), 2 (. 2.23). , : 1, 6 8 5 . 6 2.
. 2.23
4. L(i,l). n(n1, n2 ) m(m1,m2), (2), 1 =? (1,) 2=? (. 2.24).
1, i1 - , ^ i.
1. (. 2.25).
2. (. 2.26).
. 2.24
. 2.25 . 2.26
3. . 1 2, (. 2.27).
. 2.27