:
A Í X × Y, B Í X × Y, x Î X y ÎY(" x Î X & y Î Y) :
,
1X2 = 2X2 = X,
,
,
,
,
x Î 1A & y Î 2A ($ w Î Y)($ z Î X)(< x, w > Î A & < z, y > Î A).
:
,
x Î 1A & y Î 2A < x, y > Î A,
,
(1A = 1B) & (2A = 2B) A = B.
. .
. : .
1) .
. < c, d > < a, b >, c = b & d = a. a a -1.
, a = < a, b >, a -1 = < b, a >. (a -1)-1 = a, ((a -1)-1)-1 = a -1. a - n = a a - ( n - 1) = a -1, n .
2) .
a = < x, y > b = < x, z > g = < z, y > a = b g. , b g. z.
3.4.
2. , .
, = {< a, b >, < a, 1>, < c, d >} .
, 2, Í 2 . D2 . A B, × , Í × .
. .
1 ( ( ) ).
( ) (2).
, , = Æ, 1 = Æ Ù 2 = Æ.
. : .
1) .
.
.
, = {< c, d >, < a, b >}, -1 = {< d, c >, < b, a >}.
Q , $ a Î Q , a -1 Î , a - .
- :
a -1 Î a Î -1,
a Î a -1 Î -1
|
|
, .
, P = {< a, b >, < b, a >} .
. D < x, x >, x .
, = { a, b }, D = {< a, a >, < b, b >} .
2) .
R P Q, < x, y > Î R, , $ z , < x, z > Î P & < z, y > Î Q.
P Q (P Q) ( ) P Q.
, = {< a, a >, < a, c >}, Q = {< a, b >, < b, c > }, P Q = {< a, b >}.
Æ Æ, Æ = Æ = Æ.
Í 2,
D = D = .
, , (D).
<x, z> A B. :
< x, z > Î A B ($ y Î (Y Ç W))(< x, y > Î A & < y, z > Î B).
< x, z > A B, :
< x, z > Ï A B (" y Î (Y Ç W))(< x, y > Ï A Ú < y, z > Ï B).
y < x, y > Î A< y, z > Î B. , :
A B = Æ 2A Ç 1B = Æ A Æ = Æ A = Æ.
:
* A B ¹ B A - ;
* A (B ) = (A B) - ;
* - ;
* - ;
* (A B)-1 = B-1 A-1
, .
, , P, Q, R
(P Q) R = P (Q R).
:
I. . , < a, b >, . , .
< a, b > Î (P Q) R < a, z > Î (P Q) & < z, b > Î R < a, x > Î P & < x, z > Î Q & < z, b > Î R < a, x > Î P & < x, b > Î (Q R) < a, b > Î (P (Q R)).
, .
II. . , < a, b >, . , .
< a, b > Î (P (Q R)) < a, x > Î P & < x, b > Î (Q R) < a, x > Î P & (< x, d > Î Q & < d, b > Î R) < a, x > Î P & < x, d > Î Q & < d, b > Î R < a, d > Î (R Q) & < d, b > Î R < a, b > Î ((P Q) R).
|
|
, . , .
P, Q, R, , . . .
:
(P Q)-1 = Q-1 P-1.
(P Q)-1 º P-1 Q-1:
1. . < a, b > Î (P Q)-1 < b, a > Î (P Q) < b, x > Î P & < x, a > Î Q < x, b > Î P-1 & < a, x > Î Q. P-1 Q-1 , , .
(P Q)-1 º Q-1 P-1:
1. . < a, b > Î (P Q)-1 < b, a > Î (P Q) < b, x > Î P & < x, a > Î Q < x, b > Î P-1 & < a, x > Î Q < a, x > Î Q-1 & < x, b > Î P-1 < a, b > Î (Q-1 P-1).
1. . < a, b > Î (Q-1 P-1) < a, x > Î Q-1 Ù < x, b > Î P-1 < x, a > Î Q Ù < b, x > Î P < b, x > Î P Ù < x, a > Î Q < b, a > Î (P Q) < a, b > Î (P Q)-1.
, .
.
, .
, = {< b, a >, < c, a >, < d, >} .
. 3.2 (, ) .
P1 = {< a, 4>}, P2 = {< a, 2>, < b, 3>, < c, 3>, < d, 4>}.
ࠠ
.3.2.
, .
, = {< a, b >, < a, c >, < a, d >} .
. 3.3 (, ) .
P3 = {< a, 1>}, P4 = {< b, 2>, < c, 3>, < c, 4>}.
ࠠ
. 3.3.
, .. .
. , .
, , P , -1 . , -1 .
3.1. = { a, b }; B = {3, 1, 2}; C = { a, b }.
: A × B × C = {< a,1, a >, < a, 1, b >, < a, 2, a >, < a, 2, b >, < a, 3, a >, < a, 3, b >, < b, 1, a >, < b, 1, b >, < b, 2, a >, < b, 2, b >, < b, 3, a >, < b, 3, b >}.
3.2. A = { a, b }. .
: A3 = A × A × A = { a, b } × { a, b } × { a, b } = {< a, a, a >; < a, a, b >; < a, b, a >; < a, b, b >; < b, a, a >; < b, a, b >; < b, b, a >; < b, b, b >}.
|
|
3.3. :
C × (Y È Z) = (X × Y) È (X × Z).
:
1.. < x, y > :
< x, y > Î X × (Y È Z) x Î X & y Î (Y È Z)
( )
x Î X & (y Î Y Ú y Î Z)
( )
x Î X & y Î Y Ú x Î X & y Î Z
( )
< x, y > Î (X × Y) Ú < x, y > Î (X × Z) < x, y >Î((X × Y) È (X × Z)).
( )
, .
2. .
:
< x, y > Î ((X × Y) È (X × Z)) < x, y > Î (X × Y) Ú < x, y > Î (X × Z)
(x Î X & y Î Y) Ú (x Î X & y Î Z) x Î X & (y Î Y Ú y Î Z)
x Î X & y Î (Y È Z) < x, y > Î (C × (Y È Z)).
. , , .
3.4. :
((X × Y) Ç (W × Z)) \ ((X Ç W) × (Y Ç Z)) = Æ.
: , , , . < x, y >, :
< x, y > Î [(X × Y) Ç (W × Z)] \ [(X Ç W) × (Y Ç Z)]
< x, y > Î ((X × Y) Ç (W × Z)) & < x, y > Ï ((X Ç W) × (Y Ç Z))
( )
[< x, y > Î (X × Y) & < x, y > Î (W × Z)] & [ x Ï (X Ç W) Ú y Ï (Y Ç Z)]
( )
(x Î X & y Î Y & x Î W & y Î Z)&(x Ï X Ú x Ï W Ú y Ï Y Ú y Ï Z)
( )
(x Î X & y Î Y & x Î W & y Î Z & x Ï X) Ú (x Î X & y Î Y & x Î W & y Î Z & x Ï W) Ú (x Î X & y Î Y & x Î W & x Î Z & y Ï Y) Ú (x Î X & y Î Y & x Î W & y Î Z & y Ï Z).
. , x Î X & x Ï X. , , . .
3.5. : = {<1, 2>, <2, 3>, <2, 5>, <3, 4>, <3, 6>}. .
: -1 = {<2, 1>, <3, 2>, <5, 2>, <4, 3>, <6, 3>}.
3.6. : = {<1, 2>, <1, 3>, <2, 3>, <3, 3>, <3, 4>}. .
: 1 = {1, 2, 3}, 2A = {2, 3, 4}.
3.7. :
: 1(A Ç B) Í 1A Ç 1B
:
|
|
1. . , , x, , :
x Î 1(A Ç B) ($ y Î Y)(< x, y > Î (A Ç B))
< x, y > Î A & < x, y > Î B x Î 1A & x Î 1B x Î (1A Ç 1B)
( )
, .
2. . , . x :
x Î (1A Ç 1B) x Î 1 & x Î 1
($ y Î Y)(< x, y > Î A) & ($ z Î Y)(< x, z > Î B).
, y z, , , .
3.8. , 1(A Ç B) Í 1A Ç 1B.
: = {<1, 2>}; B = {<1, 3>}. , 1(A Ç B) = Æ = Æ, 1A Ç 1B = {1} Ç {1} = {1}. Æ Í {1}. , 1(A Ç B) ¹ 1A Ç 1B. , A Ç B ¹ Æ, .
3.9. , 1 = 1 A = B - .
: : = {<1, 2>, <1, 3>, <1, 4>, <5, 6>, <5, 7>}; B = {<1, 6>, <1, 7>, <5, 2>, <5, 3>, <5, 4>}.
. , : 1 = 1 = {1, 5}; 2 = 2 = {2, 3, 4, 6, 7}, A B . , .
3.10. : = {< a, a >, < b, e >, < c, k >, < f, g >}; B = {< a, d >, < c, b >, < g, f >, < e, c >, < b, b >}. A B B A.
: , A B, A, B. , , . , A. a. B. B. :
< a, a > < a, d > = < a, d >.
A B:
< b, e > < e, c > = < b, c >.
, . A B. B A B A.
: A B = {< a, d >, < b, c >, < f, f >}, B A = {< c, e >, < g, g >, < e, k >, < b, e >}.
3.11. :
A (B È ) = (A B) È (A ).
:
1. . , . :
< x, z > Î (A (B È )) ($ y)(< x, y > Î A & < y, z > Î (B È ))
( )
< x, y > Î A & (< y, z > Î B Ú < y, z > Î )
( )
(< x, y > Î A & < y, z > Î B) Ú (< x, y > Î A & < y, z > Î )
( )
(< x, z > Î A B) Ú (< x, z > Î A ) < x, z > Î ((A B) È (A )).
.
2. . . , :
< x, z > Î ((A B) Ú (A )) < x, z > Î (A B) Ú < x, z > Î (A )
($ y)(< x, y > Î A & < y, z > Î B) Ú ($ w)(< x, w > Î A & < w, z > Î )
|
|
( , )
(< x, y > Î A & < y, z > Î (B È ))Ú (< x, w > Î A & < w, z > Î (B È ))
< x, z > Î (A (B È )) Ú < x, z >Î(A (B È )) < x, z >Î(A (B È )).
, , .
3.12. :
A (B Ç ) Í (A B) Ç (A ).
: , , . , .
2. . , :
(A B) Ç (A ) Í A (B Ç ).
:
< x, z > Î ((A B) Ç (A )) < x, z > Î (A B) & < x, z > Î (A )
($ y)(< x, y > Î A & < y, z > Î B) & ($ w)(< x, w > Î A & < w, z > Î )
( y ¹ w, , ).
, .
, A (B Ç ) Í (A B) Ç (A ) - .
1. .
2. ?
3. ?
4. ?
5. ?
6. ?
7. ?
8. : × Y = Y × ?
9. : 1 È 2 , : Í × Y?
10. ?
11. Í × Y : =-1?
12. ?
13. : = ?
14. : = ?
15. ?
16. .
1. Y, :
) = {{ a, b }, c, { d, e, f }}; Y = { g, h };
) = { , b, c }; Y = Æ;
) = {2, 4, }; Y = {{Æ}, a, b }.
2. n - , :
a) = { x }, n = 5; ) = {{Æ}, y }, n = 2;
) = { a, b }, n = 3; ) = 0, n = 3.
3. , , , W, Z, :
) (Y È Z) × X = (Y × X) È (Z × X);
) × (Y Ç Z) = ( × Y) Ç ( × Z);
) × (Y \ Z) = ( × Y) \ ( × Z);
) ( × Y) È (W × Z) Í (X È W) × (Y È Z);
) ( È Y) × (W È Z) = (X × W) È (Y × W) È (X × Z) È (Y × Z).
4. 1A È 2A = A, A Í × Y?
5. , × = × ?
6. : A = -1, AÍ × Y?
7. , A B, A Í × Y, B Í × Y :
) 1(A \ B) = 1A\ 1B; ) 1(A \ B) -1 = 2A \ 2B;
) 1(A È B) -1 = 2A È 2B; ) (A È B) -1 = -1 È B-1;
) 1(A È B) = 2A-1 È 2B-1; ) (A Ç B) -1 = A-1 Ç B-1;
) (A \ B) -1 = A-1 \ B-1.
8. , A, B , A Í × Y, B Í × Y, Í × Y :
) (B È C) A = (B A) È (C A);
) A (B \ C) = (A B) \ (A C).