1
².
ϳ , . . , , , 쳿, 㳿, ... ᒺ, , . x, y, z,( x1, x2, x3, ), , , ,... , . , , . , , . ʳ n(A). , , . , , . . (), . , .
Î . , , x . , .
, , , . . , ( ). : {2, 3, 5, 7}. . , : = {x | P(x)} , ().
, .
, , Æ. .
, U.
, Ì É. {2, 5}Ì{1, 2, 3, 5, 8}. , - . , , . , . , , , . . - , - .
1.1. ={a, b, c}. ? ={a, b, c} Æ . , : {a}, {b}, {c}, {a, b}, {a, c}, {b, c}.
|
|
, , ,... U. 䳿: ᒺ, , . .
ᒺ , , (.1.1). È, .
, {2, 4, 6, 8}È{1, 2, 3, 4} = {1, 2, 3, 4, 6, 8},
{a, b, c, d}È{b, f} = {a, b, c, d, f},
{1, 2, 3, 4.} }È{ 2, 4} = {1, 2, 3, 4}.
ᒺ . ᒺ - .
ϳ ᒺ ( ) , . 1, 2,... An,... , ᒺ : . ᒺ 1È 2 È...È An.
() , , , Ç (.1.2). : .
, {2, 4, 6, 8}Ç{1, 2, 3, 4} = {2, 4},
{a, b, c, }Ç{a, c, d, f} = {a, c}.
ֳ ( ) . 1Ç 2 Ç...Ç An . 1Ç 2 Ç...Ç An Ç... .
. - .
г , , , \ (.1.3). .
, {2, 4, 6, 8}\{1, 2, 3, 4} = {6, 8},
{a, b, c, }\{a, c, d, f} = {b},
{1, 2, 3, 4}\{2, 4} = {1, 3}.
, U, (.1.4). . , - , . Ì, \ . , .
1.1. 18, = {x Î Z | 0<x ≤ 6}. È, Ç, \, \.
= {1, 2, 3, 6, 9, 18}, B = {1, 2, 3, 4, 5, 6}, È = {1, 2, 3, 4, 5, 6, 9, 18}, Ç = {1, 2, 3, 6}, \ = {4, 5}, \ = { 9, 18}.
1.2. , - Ç = È.
Ç = È - , = = Æ. = Ç = È = , , = Æ, ÆÇ = ÆÈ - Æ = .
:
- : = .
- : Æ.
- : .
- : , .
- : Ç = Ç È = È .
- : Ç( Ç ) = ( Ç )Ç È( È ) = ( È )È .
- : ( Ç )È = ( È )( È ) ( È )Ç = ( Ç )( Ç ).
- : , .
- : , .
- : .
Î bÎ, b, (, b), , , (1, b1) (2, b2) , 1=2 b1= b2. , (, b), Î bÎ, , ´. , ´¹´, ¹.
|
|
1.3. a) ={1, 2}, a B={2, 3}, ´={(1, 2), (1,3), (2, 2), (2, 3)}, a ´={(2, 1), (2, 2), (3, 1), (3, 2)}.
) =={a, b, c}, a B={a, f}, ´ ={(a, a), (a, f), (b, a), (b, f), (c, a), (c, f)}, a ´={(a, a), (a, b), (a, c), (f, a), (f, b), (f, c)}.
´ . ´ = {(; )| , }.
, R´R=R2, - . , , R2 . ( R2) , , R2 .
:
- (Ç)´=(´)Ç(´), ´(Ç)=(´)Ç(´).
- (È)´=(´)È(´), ´(È)=(´)È(´).
- (1Ç2)´(1Ç2)=(1´1) Ç (2´2).
- (A\B)´=(´)\(´), ´(\)=(´)\(´).
- A´B=Æ Û A=Æ Ú B=Æ.
, ´(\)=(´)\(´). (x, y) Î ´(\) , x Î y Î \, x Î , y Î i y Ï. , (x, y)Î ´ i (x, y) Ï ´. (x, y) Î (´)\(´).
.
ϳ - . (>) (<), , . . . ={1, 2, 3, 4, 5} - , : (2, 1), (3,1), (3, 2), (4,1), (4,2), (4,3), (5,1), (5, 2), (5,3), (5,4). ´. Â, A Â A´A. . ³ - Â ´. Â ( relatio ). aÂb (a, b) Î Â.
ᒺ , , ᒺ .
Â1Ì´ Â2Ì´ , Â1Â2, ´:
|
|
Â1Â2={(a, c)Î ´ | $ b (a, b) Î Â1 Ù (b, c) Î Â2}.
ÂÌ´ . Â-1 ´: Â-1={(b, a) Î ´ | (a, b) Î Â}.
 ´ , "a ÎÂ: aÂa. (- ), ..
 ´ , "a, b ÎÂ: aÂb Þ bÂa. ³ , , .
 ´ , "a, b, c ÎÂ: (aÂb Ù bÂc) Þ aÂc. , , .
³ Â , , , .
j, , , . . , L1, L2, Ln, :
1) L1È L2ÈÈ Ln=A;
2) Li Ç Lj =Æ, i ¹ j;
3) Li ¹Æ i =1, 2,..., n.
. . - j.
1.4. ={1, 2, 3, 4, 5}. - . : . 1={2, 4} 2={1, 3, 5}. { 1, 2} , :
1) 1È2=;
2) 1Ç2=Æ;
3) 1¹Æ, 2¹Æ.
, , { 1, 2, 3, 4, 5}, 1={1}, 2={2}, 3={3}, 4={4}, 5={5}.
1.5. a : , m. : () : y m . ; ;
, . , - . m , .
(), , . , . m.
(), , .
³ () f () , . , , , . , .
. ´, , , ´ .
|
|
. . f. ´. : aÂb, b.
x ÎA y ÎB y=f(x), y x, a x y.
x ÎA, , f D(f).
y ÎB, , f E (f).
f ´, (x, f (x)), x ÎA, f (x)ÎB.
풺, . , . ᳺ ( ), 풺 . , .
f , f -1, , f -1(b)=a , f (a)=b. f -1 f.
i , g f : Û $bÎB: ( Ù ). , g f .
- , n : A={a1, a2, a3, , an}. n , n .
, (1, 2, 3), (1, 3, 2), (2, 1, 3), (2, 3, 1), (3, 1, 2) (3, 2, 1) {1, 2, 3}.
ʳ n n!. , , , 0!=1.
- , , . . , (1, 3, 2) (1, 2, 3) 2 3.
n! n , , - . n . , .
1.6. = (1; 2; 3; 4). (1; 2; 3; 4) . (4; 2; 1; 3) , (1; 2; 3; 4) : (4; 2; 1; 3) , (3; 2; 1; 4) . (1; 2; 3; 4), . , (4; 1; 2; 3) , - (1; 2; 3; 4) : (4; 1; 2; 3) (1; 4; 2; 3) (1; 2; 4; 3) (1; 2; 3; 4). , n , n!/2.
- , n . , n : A={1, 2, 3, , n}. f n . f , (i1, i2, i3,..., in) (k1, k2, k3,..., kn) n (k1, k2, k3,..., kn i1, i2, i3,..., in f). n- , . , , n- n , n!. . , , .
|
|
n- . n- f n . n- n- , .
1.7. . f 1 4, g 2, 1 2. 234, 321, 413. .
n- f n- g, : fg = gf = e.
1.8. .
, .
Ͳ Ͳ .
a, b, c... ϳ , (), - a i b .
- , , . .
1.9. , a i b . . , , , 5 7, p i q, 5-7= 5/3=q.
, , *.
*, - m . , , , .
, 0 , 1 .
-1 *, . -1, .
, () (-).
, .
1. * , .
. , 1 ¹ 2. 1 =1*2 = 2*1= 2. 1 = 2.
2. * -1, .
. , 1-1 ¹ 2-1. 1-1 = * 1-1 = *2-1* 1-1 = 2-1. 1-1 = 2-1.
:
1.: - , b .
2. .
3. -1 - .
4.: - b .
. ֳ . ={a, b, , d} , , x * y - , x , y (.2.1).
1.10. .
'. :
:
e | a | b | c | d | f | |
e | e | a | b | c | d | f |
a | a | b | e | f | c | d |
b | b | e | a | d | f | c |
c | c | d | f | e | a | b |
d | d | f | c | b | e | a |
f | f | c | d | a | b | e |
,
1.11. - R. () (R) f(x) + g(x), + . :
, .
1.12. . . : + = , , . . , m ( ) , m. , + = , m=5 3+4=2 (), , , + . .
1.13. ( X, Y, Z - ). () f g , 쳺 . S(X) X . S(X) .
.
G *, ( ):
1. * G,
: .
2. * , .
3. G *, .
4. G - , .
1.14. , . , ( () - ) ( , ). 0, - 1. (-). 1 -1.
:
1. :
- ,
- .
. ij, , , . . .
2. - .
.
, , . ʳ .
( multiplication ), - ( addition ) .
1.15. , n- :
1. n- , - f i g n- n- .
2. n- :
3. n- .
4. n- - .
n- n Sn.
1.16. , S(X).
, . :
, . S(X) .
1.17. , R, (a, b) a b. . ij
,
1.18. , , .
ij, :
=
,
:
=
, = ,
,
=
1.19. , n.
ij ,
, . , n .
1.20. , :
'. :
. .
1.21. , :
'. :
:
:
1 , .
1.22. ,
)
) .
'.
) ij,
, ) . ) , .
1.23. , .
'. - .
. :
, . , - .
ϲ
H G , G .
, G . , . . , , , .
.
. ϳ G , :
) : ;
) : .
, ) , G .
) . , ) ) ,
:
) ) :
.
, , , ), ) ).
: ) G : G.
) .
) .
) C(R) .
1.24. .
'. : , . ϳ
e a b | |
a b | a b e b e a |
:
:
e .. | |
e c | e c e |
̲Ʋ . .
H G. G. , , , . , .
) ( H ).
) , . ij, , , .
, =
) , .
, . = .
), ), ) , G. 2.5 G , :
, . . , , ., .
. ) , 3. , 1 1+3 , 3 1. , 3
) , . ,