µÚ¶þÕ ¶þÔª¹Øϵ
µÚ¶þÕ ¶þÔª¹Øϵ
Ï°Ìâ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ʹµÃ
Èôx ? ran (R1 ? R2)£¬Ôò
ÓÐx ? AʹµÃ
ÓÐx ? AʹµÃ
ËùÒÔ£¬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 = {
- 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 = {
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 -