1
.
.1.
, . - (), . : , , .. . ,, ,, , , Z, a, b, c, , x, y, z. a A, , . , , (Æ). , . , . :
= { x | , }.
.
()
:
, » »
, » »
˄ ,
˅ ,
:
ü (∩), , , ;
ü , , , AÌB;
ü A B (A = B), .
1.1. : A Ì .
1.2. A: Æ Ì A.
A Æ A, A.
.
1.1. , , . : È.
. 1 .
. 1
, , , Î È Û Î ˅ Î .
|
|
, È , .. È = . , B Ì A, È = . , È Æ = .
:
È = È .
. , , , ( È )È , , , .
, .
:
( È )È = È ( È ).
1.2. A B , , A B. : Ç.
Î Ç Û Î ˄ Î .
. 2.
. 2
, Ç = ; , Ì , Ç = . : Ç = Ç , .. .
: Ç Æ = Æ.
. , , . Ç , ( Ç ) Ç , , , .
. , : ( Ç ) Ç = Ç ( Ç ). Ç Ç . (i = 1, 2, , n) , , .
, () :
1) ( Ç ) È = ( È ) Ç ( È );
2) ( È ) Ç = ( Ç ) È ( Ç ).
( ).
Î ( È ) Ç . , Î È Î . , Î È , , : Î Î . Î , , Î , , Î Ç . , Î ( Ç ) È ( Ç ). Î , , Î , , Î Ç , Î ( Ç ) È ( Ç ).
, ( È ) Ç ( Ç ) È ( Ç ).
. Î ( Ç ) È ( Ç ). : Î Ç Î Ç , .. Î Î , Î Î . , Î Î È , , Î ( È )Ç . , .
|
|
1.3. A B , A, . : \ .
Î \ Û Î ˄ Ï .
\ 3 ( \ ).
. 3
, , \ = Æ; \ ¹ \ .
1.4. B A, A B B A. :
\ =
. 4.
. 4
.2. .
. .
X Y. Î (, , ) b Î Y, , , X Y ( ).
( ).
1.5. , , . (; ); (), () .
: , .. ( 1; 1)=(2; 2) 1= 2, 1 =2.
{ ; } (; ): (; ) (; ), { ; }={ ; }.
1.6. () ((; ), z), (; ), z. (;; z).
, , . . n -.
1.7. () Y , (; ), , .
C :
= {(; )| , }
1.1.
= {1, 2, 3}, Y = { k, l }. ´ Y Y ´ .
. ´ Y :
´ Y = {(1, k), (2, k), (3, k), (1, l), (2, l), (3, l)}.
Y ´ = {(k, 1), (k, 2), (k, 3), (l, 1), (l, 2), (l, 3)}.
, ´ Y ¹ Y ´ ( ). .
, :
;
.
.
X Y , (x; y) . .
1.8. Y ( ) Y.
(f, g,..) (φ, ψ). f f ( D (f)), f f ( E (f)).
f Y. , , f x y. , x y f.
|
|
1.2. X = {2, 3, 5, 11} Y = {6, 7, 9, 10} f: x y.
, f (f ={(2, 6), (2, 10), (3, 6), (3, 9), (5, 10)}), ,
X´Y = {(2, 6), (2, 7), (2, 9), (2, 10), (3, 6), (3, 7), (3, 9), (3, 10), (5, 6), (5, 7), (5, 9), (5, 10), (11, 6), (11, 7), (11, 9), (11, 10)}.
a X Y, . f (). , 1.2
f (2)={6, 10}, f (3)={6, 9}, f (5)={10}, f (11)= Æ.
b Y , b . f 1 (b). , 1.2
f 1 (6)={2, 3}, f 1 (7)= Æ, f 1 (9)={3}, f 1 (10)= {2, 5}.
X, , () , D(f), Y, () (f). , 1.2 f D(f) ={2, 3, 5}, f (f) = {6, 9, 10}.
X Y , X.
1.1.
)
Y X | ||||
´ | ´ | |||
´ | ´ | |||
´ | ||||
)
)
) ( )
. .
f X Y. f , D(f) = . E(f) = Y. E(f) = Y, . . 5 5 . , . 5 5 , , , . 5 , .
. 5
, E(f) D(f). . 5 .
.
1.9. f Y, (). f, f .
1.10. f , f . f n - , f n . f , f .
1.3. , . 6, f p. , , D (f) = { a, b, c }, D (p) = { a, b, c }, E (f) = { 1, 3 }, E (p) = { 1, 2, 3 }.
, f x y, : y = f (x)
|
|
. 6
1.7. Y, Y, Y , ( ).
1.8. Y , , - .
: X ~ Y.
f X Y. f 1 Y X, (; ), , (; ) f. f f 1 .