. () .
: , . 6.7., N (), ().
. 6.6. () .
, S, N+1 = {g1, g2, gN, gN+1} c R1, R2, Rm. R = { R1, R2, Rm} , .
R1. , - .
1 R1 , N+1 . - ( ). , R1.
1 R1 , , , .堠 1 = {1, 2, N, N+1}, i - ( ) , Xi = {x1i, x2i}; x1i, x2i - i- .
R2 2, 2 = .
2 R2 (): " ". 2 , R2 2 R'2, R'2 Ì R2, -. . 2 R'2 s' Ì 2, s' = {<g1, gN+1>,< g2, gN+1 >, < gn, gN+1>}.
<gi, gN+1> 2 , - . , 2 R2 ψ 2 = ψ.
(N+1) - RN+1, , N . , .
|
|
N+1 RN+1 ( ) Nmax, N+1=Nmax, Nmax - , , N ≤ Nmax. N+1 g ( , ) , N+1 = g.
, N+1 , () . , 'N+1, N+1 () π ( ), N+1 = {'N+1, π }.
, S = {1, 2, i, XN, g, {X'N+1, π }, ψ }.
1, 2, , XN .
, .
, :
- ( N+1);
- ( g N);
- ( ψ);
- ( π).
, S , , , .
, , . , ,
. 6.7. .
() . , . :
- ;
- ;
- ;
- ;
-
..
, ( ) , . 6.9.
. 6.8. .
, ; , , () , .