.


:




:

































 

 

 

 


2. . ³




 

 

y ( < x, y >) ᒺ ( ), . - n ³2 n - ᒺ 1,, n ( < 1,, n >). ᒺ - n -. n - .

( * ´ )

´ ={< a, b >| a Î A, b Î B },

, , , .

, ={ a, b } ={1,2,3} A ´ B ={< a,1>,< a,2>,< a,3>,< b,1>,< b,2>,< b,3>}. . : ´ ={<1, a >,<2, a >,<3, a >,<1, b >, <2, b >,<3, b >}. , ´ ´ , , ´ .

1 ,,n ( 1´´ n 1** n)

1´´ n ={< a 1,, an >| a 1Î A 1,, an Î An },

n -, 1,, n , - n - ( =1,, n).

, 1={ a, b }, A2={ b, c }, A 3={ b, d } 1´ 2´ 3={< a, b, b >,< a, b, d >,< a, c, b >,< a, c, d >,< b, b, b >, < b, b, d >,< b, c, b >,< b, c, d >}.

( =1,, n) =Æ, 1´´ n =Æ.

1== n = , 1´´ n n n- .

, ={1,2}, 3={<1,1,1>,<1,1,2>,<1,2,1>,<1,2,2>, <2,1,1>,<2,1,2>,<2,2,1>,<2,2,2>}.

̳ . , , ( È =( ´ )È( ´ ).

, ( È Í( ´ )È( ´ ). ( È (( È ) ), , . , : < x,y>Î( È Þ x Î A È B, y Î C Þ x Î A x Î B, y Î C Þ x Î A y Î C x Î B y Î C Þ < x, yA ´ C < x, yB ´ C, , , ( È Í( ´ )È( ´ ). , ( ´ )È( ´ )Í( È . < x, y >Î( ´ )È( ´ ) Þ < x, y >Î(A ´ C) < x, y >Î(B ´ C) Þ (x Î A y Î C) ( Î y Î C). x Î A y Î C. : x Î A y Î C Þ Î È , y Î C Þ < x, y >Î(A È BC. Î y Î C, : Î y Î C Þ Î( È ), y Î C Þ < x, y >Î(A È BC. , , ( ´ )È( ´ )Í( È . , .

 

 

ᒺ. ³ R, , , R Í ´ . xRy < x, yR. xRy Û (, ), (, ) , , < x, yR.

, R={<1,2>,<1,3>,<3,1>,<3,5>} , ={1,2,3} ={1,2,3,4,5}, R Í ´ , ={<1,3>,<4,3>,<1,2>,<2,6>,<3,3>,<1,1>,<1,4>} , , Ë ´ . , N Z, ={< n, z >| n Î N, z Î Z, n =| z |}, < n, n > < n,- n >, n Î N. , M Í N ´ Z.

, , , ( ). , , , 2.

, N, {< n 1, n 2>| n 1Î N, n 2Î N, n 1< n 2}, 䒺 , , , , 慻. N {< n, m >| n Î N, m Î N, n m }. , , {< l 1 ,l 2>| l 1 ,l 2 , l 1 l 2}, , . , . Í, Í ={< S, T >| S, T ÎP(A), S Í T }. , , ={1,2,3,4}, <{2,4},{1,2,4}> , {2,4}Í{1,2,4}, <{1,2},{2,3,4}> , {1,2}Ë{2,3,4}.

{< x, x >| x Î A } , , iA. iA , .

{< a, a >,< b, b >, < c, c >,< d, d >}, ={ a, b, c, d }. ³ R ={< a, a >, < c, c >,< d, d >} , < x, x >, (< b, bR).

, . ³ R, 1 ,,n, 1,, n, R Í 1´´ n.

, R ={< a,2, f,>,< c,4, t >,< b,2, n >,< c,2, f >} , A ={ a, b, c }, B ={1,2,3,4}, C ={ f, g, n, m, t }, , , R Í ´ ´ . ={<1,2,3>, < a, b, c >} , , , , ´ ´ .

, 1== n = , , 1,, n, n- , . , n - , , n. n =1 n =3 ( n =2) . , n =1 , ; n =3

, S ={< n, m, k >| n, m, k Î N, k = n + m } N, S Í N ´ N ´ N ( n, m, k Î N n Î N, m Î N, k Î N). 䒺 , , , , . , <2,5,7> S, <3,4,5> . ={ x | , x } , , .

 

 

R 1, R 2 , A 1,, An. ᒺ R1 R2 ( R 1È R 2) R 1È R 2={< a 1,, an >| < a 1,, anR 1 < a 1,, anR 2}. R1 R2 ( R 1Ç R 2) R 1Ç R 2={< a 1,, an >| < a 1,, anR 1, < a 1,, anR 2}. г R 1 R 2 ( R 1\ R 2) R 1\ R 2={< a 1,, an >| < a 1,, anR 1, < a 1,, anR 2}. R 1 ( R 1¢) R 1¢= 1´´ An \ R 1, R 1¢={< a 1,, an >| < a 1,, an 1´´ An, < a 1,, anR 1}. < a 1,, anR 1¢ , < a 1,, anR 1 ( , , < a 1,, an 1´´ An, ).

, , A 1={1,2,3}, A 2={ a, b, c }, R 1, R 2 , 1 2, R 1={<1, a >,<1, b >,<2, b >,<3, c >}, R 2={<1, b >, <3, c >,<3, a >}. :

R 1È R 2={<1, a >,<1, b >,<2, b >,<3, c >,<3, a >},

R 1Ç R 2={<1, b >,<3, c >},

R 1\ R 2={<1, a >,<2, b >},

R 1¢={<1, c >,<2, a >,<2, c >,<3, a >,<3, b >}.

, , . R . ³, R ( R -1), , , R -1={< x, y >| < y, xR }.

, , ={ , , }, ={1,3,5}, R Í ´ R ={< a,1>, < a,3>,< c,3>,< c,5>,< e,5>}. R -1={<1, a >,<3, a >,<3, c >,<5, c >,<5, e >}. ³-, Í, , , , {< S, T >| < T, S >ÎÍ}, < S, T > , Í S, S Ê . , , Í, Ê.

R 1 , , R 2 , . ( ) R 1 R 1 ( R 1* R 2 R 1R 2) , , R 1* R 2={< x, y >| z B < x, zR 1, < z, yR 2}. , R 1 R 2 < x, y >, < x, z > < z, y >, a R 1 R 2.

, ={ a, b, c, d }, B ={1,2,3}, C ={2,4,6}, R 1Í A ´ B, R 2Í B ´ C, R 1={< a,3>,< a,2>,< b,1>,< c,2>}, R 2={<2,2>,<3,6>}. R 1 R 2 , , R 1* R 2={< a,6>,< a,2>,< c,2>}. R 3={< a,1>, < b,1>,< d,1>}, , R 3* R 2. R 3 R 2 < x, z > < z, y >, , (򳺿, R 3) (򳺿, R 2), < x, y > , , R 3* R 2=Æ.

5. R, R 1, R 2, R 3 . :

1) (R -1)-1= R, 2) (R 1È R 2)-1= R 1-1È R 2-1,

3) (R 1Ç R 2)-1= R 1-1Ç R 2-1, 4) (R -1)¢=(R ¢)-1,

5) (R 1\ R 2)-1= R 1-1\ R 2-1, 6) R È R = R Ç R = R,

7) R 1*(R 2È R 3)=(R 1* R 2)È(R 1* R 3), 8) (R 1È R 2)* R 3=(R 1* R 3)È(R 2* R 3).

9) (R 1* R 2)* R 3= R 1*(R 2* R 3), 10) (R 1*R2)-1= R 2-1* R 1-1.

4. - , , : < x, y >Î(R -1)¢ Þ < x, yR -1 Þ < y, xR Þ < y, xR ¢ Þ < x, y >Î(R ¢)-1. , (R -1)¢Í(R ¢)-1. , (R ¢)-1Í(R -1)¢. < x, y >Î(R ¢)-1 Þ < y, xR ¢ Þ < y, xR Þ < x, yR -1 Þ < x, y >Î(R -1)¢. , , (R -1)¢=(R ¢)-1.

. , , , : < x, y >Î(R 1* R 2)-1 Þ < y, x >Î(R 1* R 2) Þ z A, < y, zR 1 a < z, xR 2 Þ < x,z>Î R 2-1, < z, yR 1-1 Þ < x, yR 2-1* R 1-1. , (R 1* R 2)-1 Í R 2-1* R 1-1. , R 2-1* R 1-1 Í (R 1* R 2)-1. < x, yR 2-1* R 1-1 Þ z A, < x, zR 2-1 < z, yR 1-1 Þ < z, xR 2, < y, zR 1 Þ < y, xR 1* R 2 Þ < x, y >Î(R 1* R 2)-1. , , R 2-1* R 1-1 Í (R 1* R 2)-1, , 10 .

 

 

R , < x, yR Þ < y, xR. < y, x > < x, y >.

, ={ a, b, c, d } R ={< b, c >,< d, d >,< a, d >,< c, b >,< d, a >}. , < x, y > R < y, x > (o < b, c > < c, b > , o < a, d > < d, a >, < d, d > ), , R . B ={< x, y >| x, y }, . ij, < x, yB Þ x, y Þ y, x Þ < y,x>Î , . ³ R ={< x, y >| x y }, , , , < x, yR, , < y, xR, , ( ). {< b, c >,< a, b >,< b, a >}, , , < b, c >.

R , < x, yR, < y, xR Þ x = y, R < x, y >, , R < y, x >.

, R ={< c, d >,< a, a >,< c, c >,< b, a >}, A ={ a, b, c, d }, , , , (< a, aR, < , R Þ = ; < , R, < , R Þ = ). Q ={< a, b >,< c, d >,< b, c >} , Q < x, y > , < , > Q ( Q). ³ R ={< a, b >,< b, b >, < b, a >} , < a, bR, < b, aR, a ¹ b. ³ N, n ³ m, m ³ n Þ n = m. ³ > N, n > m, m , n, , > ( < n, m > < m, n > >, n = m ). ³ ={< x, y >| x, y } , , < x, yB < y, xB , x = y ( x, y , , , ).

³ R , < x, yR Þ < y, xR, , , .

, {< b, d >,< c, a >} ( < b, d >, , < d, b >; < c, a >, < a, c >). ³ {< b, d >,< a, c >,< c, a >} A , < a, c > < c, a >. ³ {< a, b >,< c, c >} , < c, c > < c, c >.

³ R , - Î < x, xR, Í R.

, R ={<1,2>,<2,2>,<2,1>,<1,1>,<3,3>,<3,2>}, ={1,2,3}, , . R ={< x, y >| x y }, , - , , R < x, x >. {<2,1>,<3,3>,<2,3>,<1,1>}, ( <2,2>). ³ {< x, y >| x y } , , , ( ).

³ R ( ), < x, xR, R .

, {<1,2>,<3,1>,<2,3>} {1,2,3} , . {< x, y >| x y } , - ( ), , . R ={< x, y >| x y } N +. , R ( - Î N +). ³ {<1,1>,<2,1>,<1,2>} {1,2} , <1,1>.

³ R , < x, yR, < y, zR Þ < x, zR. , R , x, , z : < x, yR, < y, zR, < x, zR.

, {<2,3>,<2,2>,<3,2>,<3,3>}, ={1,2,3}, , <2,3> <3,2> <2,2>, <2,3> <3,3> <2,3>, <2,2> <2,3> <2,3>, <2,2> <2,2> <2,2>, <3,2> <2,3> <3,3>, <3,2> <2,2> <3,2>, <3,3> <3,2> <3,2>, <3,3> <3,3> <3,3>. , < x, y >, < y, z >, , < x, z >, . ³ {<1,2>,<1,3>} , < x, y >, < y, z >, < x, yR < y, zR, < x, zR. R ={< x, y >| x, y } N. ij, < x, yR < y, zR, , , z . , , z , < x, zR. R ={<2,1>,<1,2>,<2,2>}, R <1,2> <2,1>, <1,1>. ³ {< x, y >| x y } , , , z , z.

6. R . :

) R , R = R -1;

) R , R * R = R.

). , R , R Í R -1. < x, yR. R , < , R. , , < x, yR -1, . , R -1Í R. < x, yR -1. < , R. R , < x, yR. , R -1Í R. , R -1= R.

). < x, yR * R. , z, < x, zR < z, yR. R , < x, R, R * R Í R. , R Í R * R. < x, yR. R , < , R, , < , R * R, R Í R * R. , R = R * R.

 





:


: 2016-07-29; !; : 843 |


:

:

,
==> ...

1548 - | 1429 -


© 2015-2024 lektsii.org - -

: 0.069 .