3.4.1. , . . 3.16 - Σ - m.
Σ m , ( K) , (K2 K1).
3.4.2. , , . . 3.17 Σ (a||b) m.Σ∩m=K.
m┴Π2 (. 3.17, ), K2≡m2 (. 3.17, ), K1 K Σ CE Î Σ. .
. 3.18 d m Φ. d∩Φ=K, m∩Φ=C B.
d┴Π1, K1≡d1, K2 S .
m┴Π2, C2 B2 m m2, C1 B1 .
3.4.3. , . (. 3.19) :
1) (m) : Σ m. , Σ Φ ;
2) ℓ Σ Φ. Σ∩Φ=ℓ;
3) ℓ m, ℓ∩m=Kί;
4) .
. 3.20 m Φ (a||b) (. 3.20, ) m∩Φ=K (. 3.20, ).
:
1) m - Σ (Σ m), m2 Σ2;
2) Σ Φ. CM (C1M1, C2M2). CM=Σ∩Φ;
3) K m CM. K1 (K1= m1∩C1M1), - K2 (K2 m2);
4) m Φ : Π1 N F; Π2 L M.
. 3.21 h Φ.
:
1) h Σ h (Σ2 ≡ h2);
2) ℓ ( R) Σ . Σ ∩Φ=ℓ;
3) ℓ h. ℓ∩h=K M. K1 M1, K2 M2 h2;
|
|
4) m.
m Φ 3.22.
:
1) m - Σ (Σ1 m1).
Σ , Π2 . , m , . 3.21.
:
2) m A B;
3) Π4||m (14||m1);
4) Π4 AB . Π1-Π4 m (m1, m4);
5 ) Σ∩Φ=ℓ ( R);
6 ) ℓ ∩ m=K M, ℓ4 ∩ m4=K4 M4. K1 M1, K2 M2 ;
7) m Π1 Π2.
. 3.23 m .
, Σ , S. m S, Σ (S, m).
Σ . m E (E1, E2) S. Σ : Σ (m∩SE).
Σ Π1, CM. m SE, C1 M1.
Σ (CM) , CM A B, S AS SB, Σ .
AS SB m. AS∩m=K, BS∩m=F.
K F - . m.