, . , . .
Φ Τ (. 3.10). ℓ = Φ ∩Τ.
, - (, . .). . , , . - .
3.3.1. . :
1) , .
2) , ( , . ., , ).
3) , .
:
4) Σ 1:
) 1= Σ 1∩Φ;
) b1= Σ 1∩Τ1;
) 1= 1∩ b1.
, , Σ ί ί. ℓ ;
5) .
3.3.2. . . 3.11 Φ (m||n) Τ (c∩d). , , . . . -. . 3.11 K Σ || Π1.
:
Σ∩Φ=, Σ∩Τ=b ∩b=K.
K1 Φ Τ Σ1 K1. K K1, ℓ = Φ ∩Τ.
3.3.3. . , , , .
|
|
. 3.12 .
: M , C K , F N - .
M , . . - Τ (Τ1), . . - n m M, n2∩m2=M2. . M1 .
C K b, . . 1∩b1=K1 C1. K2 ≡ C2.
F N Σ (. ), R1 R2. ; N1 F1, N2≡F2 Σ2.
, .
, . .
3.3.4. . , ί.
. 3.13 , . 3.14 .
, ί.
. 3.13 3.14 a b, (1-3 2-4) ( ).
.
3.3.5. (). , , .
. , , . .
:
1) ;
2) , .
3.15 Φ ∩Τ. ί j O (O1 , O2) Π2. .
: A B , .
Γ (Γ2) C D: δ1∩n1=C1 D1, C2 D2.
|
|
.
(Rmax=O2B2) , Rmin Σ, , . . Φ, m (m1, m2), T 3-4 (32-42). . K , : Σ∩Φ=1-2, Σ∩T=3-4 1-2∩3-4=K (12-22∩32-42=K2≡ ).
, ,.
Rmin Rmax.
R L (L1, L2) N (N1, N2).
, , . , . .