¶þÔª¹Øϵ£¨ÀëÉ¢Êýѧ£© ÏÂÔر¾ÎÄ

µÚ¶þÕ ¶þÔª¹Øϵ

µÚ¶þÕ ¶þÔª¹Øϵ

Ï°Ìâ2.1

1. a) b) 2.

R = {<0, 0>, <0, 2>, <2, 0>, <2, 2>} R = {<1, 1>, <4, 2>}

R1 ? R2 = {<1, 2>, <2, 4>, <3, 3>, <1, 3>, <4, 2>} R1 ? R2 = {<2, 4>} dom R1 = {1, 2, 3} dom R2 = {1, 2, 4} ran R1 = {2, 3, 4} ran R2 = {2, 3, 4} dom (R1 ? R2) = {1, 2, 3, 4} ran (R1 ? R2) = {4}

3. Ö¤Ã÷£º£¨¸ù¾Ý¶¨ÒåÓòºÍÖµÓòµÄ¶¨Òå½øÐÐÖ¤Ã÷£© ÒòΪ

x ? dom (R1 ? R2) µ±ÇÒ½öµ± ÓÐy ? BʹµÃ ? (R1 ? R2) µ±ÇÒ½öµ± ÓÐy ? BʹµÃ ? R1 »ò ? R2 µ±ÇÒ½öµ± ÓÐy ? BʹµÃ ? R1 »òÓÐy ? BʹµÃ ? R2 µ±ÇÒ½öµ± x ? dom (R1) »ò x ? dom (R2) µ±ÇÒ½öµ± x ? dom (R1) ? dom (R2) ËùÒÔ£¬dom (R1 ? R2) = dom (R1) ? dom (R2) ¡£ ÒòΪ

Èôx ? ran (R1 ? R2)£¬Ôò

ÓÐx ? AʹµÃ ? (R1 ? R2) £» ÓÐx ? AʹµÃ ? R1 ÇÒ ? R2 £»

ÓÐx ? AʹµÃ ? R1 ÇÒ ÓÐx ? AʹµÃ ? R2 £» x ? ran (R1) ÇÒ x ? ran (R2) £» x ? ran (R1) ? ran (R2) ¡£

ËùÒÔ£¬ran (R1 ? R2) ? ran (R1) ? ran (R2) ¡£

4.

L = {<1, 2>, <1, 3>, <1, 6>, <2, 3>, <2, 6>, <3, 6> }£»

D = {<1, 1>, <1, 2>, <1, 3>, <1, 6>, <2, 2>, <2, 6>, <3, 3>, <3, 6>, <6, 6> }£»

- 1 -

µÚ¶þÕ ¶þÔª¹Øϵ

L ? D = { <1, 2>, <1, 3>, <1, 6>, <2, 6>, <3, 6> }¡£

5.

a) ?ÉϵĿչØϵ?£»

b) ¼¯ºÏ {1, 2 } ÉϵĶþÔª¹Øϵ { <1, 1> }£» c) ¼¯ºÏ {1, 2 } ÉϵĶþÔª¹Øϵ { <1, 1> } £»

d) ¼¯ºÏ {1, 2, 3 } ÉϵĶþÔª¹Øϵ { <1, 2>, <2, 1>, <1, 3> } £» 6.

ÈôR, S×Ô·´£¬ ÔòR ? S , R ? S×Ô·´£¬R ¨C S , R ? S±Ø²»×Ô·´¡£ ÈôR, S·´×Ô·´£¬ ÔòR ? S , R ? S , R ¨C S , R ? S·´×Ô·´¡£ ÈôR, S¶Ô³Æ£¬ ÔòR ? S , R ? S , R ¨C S , R ? S¶Ô³Æ¡£

ÈôR, S·´¶Ô³Æ£¬ ÔòR ? S , R ¨C S·´¶Ô³Æ£¬R ? S , R ? S²»Ò»¶¨·´¶Ô³Æ¡£ ÈôR, S´«µÝ£¬ ÔòR ? S´«µÝ£¬, R ¨C S , R ? S , R ? S²»Ò»¶¨´«µÝ¡£ 7.

a) SÊǶԳƵġ¢´«µÝµÄ£» b) SÊÇ×Ô·´µÄ¡¢¶Ô³ÆµÄ£» c) SÊÇ·´¶Ô³ÆµÄ¡¢´«µÝµÄ£»

d) SÊÇ·´×Ô·´µÄ¡¢·´¶Ô³ÆµÄ¡¢´«µÝµÄ£»

8.

n ( Am ) = nm £» n (?( Am ) ) = 2nm £»

nmÒòΪR ? Am£¬ËùÒÔAÉϹ²ÓÐ2¸ömÔª¹Øϵ¡£

10.

Ö¤Ã÷£º Ó÷´Ö¤·¨¡£

¼ÙÉèR²»ÊÇ·´¶Ô³ÆµÄ£¬¼´ ´æÔÚa, b ? A£¬Ê¹µÃ ? A, ? A ÇÒa ? b¡£ ÒòΪRÊÇ´«µÝµÄ£¬ËùÒÔÓÉ ? AÇÒ ? A¿ÉÖª ? A¡£ ÕâÓëR·´×Ô·´ÐÔÖÊì¶Ü¡£

ËùÒÔ¼ÙÉè²»³ÉÁ¢¡£¼´RÊÇ·´¶Ô³ÆµÄ¡£ 11.

Ö¤Ã÷£ºÒòΪR = { | x, y ? A ÇÒ ? R} = {{{x}, {x, y}} | x, y ? A ÇÒ ? R } ËùÒÔ£¬? R = {{x}, {x, y} | x, y ? A ÇÒ ? R }¡£ ËùÒÔ£¬?(?R) = {x | x ? AÇÒÓÐy ? AʹµÃ ? R }?{y | y ? AÇÒÓÐx ? AʹµÃ?R }¡£ = dom R ? ran R ¡£ ¼´£ºfld R = dom R ? ran R ¡£ 12.

- 2 -

µÚ¶þÕ ¶þÔª¹Øϵ

Ö¤Ã÷£ºÒòΪdom R ? fld R = ? ( ? R )£¬ran R ? fld R = ? ( ? R )£¬ ËùÒÔ£¬R ? dom R ? ran R ? ? ( ? R ) ? ? ( ? R ) ¡£

Ï°Ìâ2.2

1.

RÊÇ×Ô·´µÄ¡¢¶Ô³ÆµÄ¡¢´«µÝµÄ¡£ 2.

(1) ×Ô·´µÄ£»

(2) ·´¶Ô³ÆµÄ¡¢´«µÝµÄ£» (3) ×Ô·´µÄ¡¢¶Ô³ÆµÄ¡¢´«µÝµÄ£» (4) ×Ô·´µÄ¡¢´«µÝµÄ£» (5) ÎÞ£» (6) ¶Ô³ÆµÄ£»

(7) ×Ô·´µÄ¡¢·´¶Ô³ÆµÄ¡¢´«µÝµÄ£» (8) ¶Ô³ÆµÄ£» (9) ¶Ô³ÆµÄ£» (10) ·´¶Ô³ÆµÄ£» (11) ×Ô·´µÄ¡¢·´¶Ô³ÆµÄ£» (12) ·´¶Ô³ÆµÄ¡¢´«µÝµÄ¡£ 4.

a) AÉϹ²ÓÐ2b) AÉϹ²ÓÐ2c) AÉϹ²ÓÐ2n2?n¸ö²»ÏàͬµÄ×Ô·´¹Øϵ£» ¸ö²»ÏàͬµÄ·´×Ô·´¹Øϵ£» ¸ö²»ÏàͬµÄ¶Ô³Æ¹Øϵ£»

n2?n2n2?nn2?n2d) AÉϹ²ÓÐ2?3nn¸ö²»ÏàͬµÄ·´¶Ô³Æ¹Øϵ£»

e) AÉϹ²ÓÐ2¸ö²»ÏàͬµÄ¼ÈÊǶԳƵÄÓÖÊÇ·´¶Ô³ÆµÄ¹Øϵ£»

Ï°Ìâ2.3

1. ×î¶àÄÜÓÐn(A) ¸öÔªËØΪ1¡£ 2. Ö¤Ã÷£º

- 3 -

µÚ¶þÕ ¶þÔª¹Øϵ

i) R ? R-1ΪAÉÏ°üº¬RµÄ×îС¶Ô³Æ¹Øϵ ¢Ù R ? R ? R-1¡£ËùÒÔ£¬R?R-1°üº¬R¡£

¢Ú ÒòΪ¶ÔÓÚÈÎÒâ ? R ? R-1£¬ÓÐ ? R»ò ? R-1¡£ Èô ? R£¬Ôò ? R-1£»Èô ? R-1£¬Ôò ? R¡£ Òò´Ë£¬ ? R ? R-1¡£ËùÒÔ£¬R?R-1ΪAÉϵĶԳƹØϵ¡£ ¢Û ÉèR?ΪÈÎÒâµÄAÉÏ°üº¬RµÄ¶Ô³Æ¹Øϵ£¬Ôò

¶ÔÓÚÈÎÒâ ? R ? R-1£¬ÓÐ ? R»ò ? R-1¡£ Èô ? R£¬ÓÉÓÚR?°üº¬R£¬ËùÒÔ ? R?£» Èô ? R-1£¬Ôò ? R£¬ÓÉÓÚR?°üº¬R£¬ËùÒÔ ? R?£¬¶øR?¶Ô³Æ£¬ËùÒÔ ? R?¡£ Òò´Ë£¬×ÜÓÐ ? R?¡£ËùÒÔ£¬R ? R-1 ? R?¡£

ÓÉ¢Ù¢Ú¢Û¿ÉÖª£¬R ? R-1ΪAÉÏ°üº¬RµÄ×îС¶Ô³Æ¹Øϵ¡£

ii) R ? R-1ΪAÉÏ°üº¬ÔÚRÖеÄ×î´ó¶Ô³Æ¹Øϵ ¢Ù R ? R-1 ? R¡£ËùÒÔ£¬R ? R-1°üº¬ÔÚRÖС£

¢Ú ÒòΪ¶ÔÓÚÈÎÒâ ? R ? R-1£¬ÓÐ ? RÇÒ ? R-1¡£ ? R£¬ËùÒÔ ? R-1£» ? R-1£¬ËùÒÔ ? R¡£ Òò´Ë£¬ ? R ? R-1¡£ËùÒÔ£¬R ? R-1ΪAÉϵĶԳƹØϵ¡£ ¢Û ÉèR?ΪÈÎÒâµÄAÉÏ°üº¬ÔÚRÖеĶԳƹØϵ£¬Ôò

¶ÔÓÚÈÎÒâ ? R?£¬ÓÉÓÚR?°üº¬ÔÚRÖУ¬ËùÒÔ ? R£»

ÓÖÓÉÓÚR?¶Ô³Æ£¬ËùÒÔ ? R?£¬¶øR?°üº¬ÔÚRÖУ¬ËùÒÔ ? R£¬Òò´Ë£¬ ? R-1£» Òò´Ë£¬×ÜÓÐ ? R ? R-1¡£ËùÒÔ£¬R ? R?R-1¡£

ÓÉ¢Ù¢Ú¢Û¿ÉÖª£¬R ? R-1ΪAÉÏ°üº¬ÔÚRÖеÄ×î´ó¶Ô³Æ¹Øϵ¡£

Ï°Ìâ2.4

1.

R2 ? R1 = {}£» R1 ? R2 = {, }£» R12 = {, , }£» R22 = {, }£»

2. m = 1, n = 16¡£

4. A = {1, 2, 3}

ÁîR1 = {<1, 2>, <1, 3>}£»R2 = {<2, 2>}£»R3 = {<3, 2>}£»Ôò R1 ? ( R2 ? R3 ) = ?£»( R1 ? R2 ) ? ( R1 ? R3 ) = {<1, 3>}£» ËùÒÔ£¬R1 ? ( R2 ? R3 ) ? ( R1 ? R2 ) ? ( R1 ? R3 ) ¡£

ÁîR2 = {<2, 2>}£»R3 = {<2, 3>}£»R4 = {<2, 1>, <3, 1>}£»Ôò ( R2 ? R3 ) ? R4 = ?£»( R2 ? R4 ) ? ( R3 ? R4 ) = {<2, 1>}£» ËùÒÔ£¬( R2 ? R3 ) ? R4 ? ( R2 ? R4 ) ? ( R3 ? R4 ) £» 5.

a) ÕýÈ·¡£ b) ²»ÕýÈ·¡£ÁîA = {1, 2}£¬ÔòR1 = {<1, 2>}, R2 = {<2, 1>}¶¼ÊÇ·´×Ô·´µÄ£¬µ«R1 ? R2 ={<1, 1>}

- 4 -