µ±Ç°Î»ÖãºÊ×Ò³ > ¹þ¹¤´ó¡¶ÀëÉ¢Êýѧ¡·½Ì¿ÆÊéϰÌâ´ð°¸
?n??n?¸öÎªÆæÊý£¬Ò»¸öΪżÊý¡£¶ønÎªÆæÊý£¬¹ÊÆæÊý¸öÊýΪ???1±ÈżÊý??¶àÒ»¸ö£¬
?2??2?ÕâÊDz»¿ÉÄܵġ£
P46ϰÌâ
1.Éèf:X?Y£¬C,D?Y£¬Ö¤Ã÷f?1(C\\D)?f?1(C)\\f?1(D)
Ö¤1£º?x?f?1(C\\D)£¬Ôòf(x)?C\\D£¬¼´f(x)?Cµ«f(x)?D¡£ÓÚÊÇ
x?f?1(C)µ«x?f?1(D)£¬Òò´Ëx?f?1(C)\\f?1(D)£¬ ¹Êf?1(C\\D)?f?1(C)\\f?1(D)
·´Ö®£¬Éèx?f?1(C)\\f?1(D)£¬ÓÐx?f?1(C)ÇÒx?f?1(D) Òò´Ëf(x)?CÇÒf(x)?D£¬¼´f(x)?C\\D ´Ó¶øx?f?1(C\\D)
¹Êf?1(C)\\f?1(D)?f?1(C\\D)
Òò¶øf?1(C\\D)?f?1(C)\\f?1(D)
Ö¤2£ºf?1(C\\D)?f?1(C?Dc)?f?1(C)?f?1(DC)
?f?1(C)?(f?1(D))C?f?1(C)\\f?1(D)
2. Éèf:X?Y, A,B?X£¬Ö¤Ã÷
£¨1£©f(A?B)?f(A)?f(B) £¨2£©f(A?B)?f(A)?f(B) £¨3£©f(A)\\f(B)?f(A\\B)
Ö¤£º£¨1£©Éèy?f(A?B)£¬Ôò?x?A?BʹµÃy?f(x)¡£ÓÚÊÇ£¬x?A»òx?B¡£Òò´Ë£¬y?f(A)»òy?f(B)£¬ËùÒÔy?f(A)?f(B)£¬¹Ê
f(A?B)?f(A)?f(B)
21
·´Ö®£¬Éèy?f(A)?f(B)£¬Ôòy?f(A)»òy?f(B)¡£ÓÚÊÇ?x?A»òx?B£¬Ê¹µÃf(x)?y¡£Òò´Ë²»ÂÛºÎÖÖÇé¿ö¶¼?x?A?B£¬Ê¹µÃf(x)?y¡£Òò´Ëy?f(A?B)£¬¹Ê
f(A)?f(B)?f(A?B)
Òò´Ë£¬f(A)?f(B)?f(A)?(B)
£¨2£©Éèy?f(A?B)£¬Ôò?x?A?B£¬Ê¹µÃy?f(x)¡£ÓÚÊÇ£¬x?AÇÒx?B¡£ ´Ó¶ø£¬y?f(A)ÇÒy?f(B)£¬ËùÒÔy?f(A)?f(B)£¬¹Ê
f(A?B)?f(A)?f(B)
£¨3£©Éèy?f(A)\\f(B)£¬Ôòy?f(A)µ«y?f(B)¡£ÓÚÊÇ?x?AʹµÃf(x)?y£¬ÇÒx?B£¬´Ó¶ø?x?A\\B£¬Ê¹µÃf(x)?y¡£
¹Êy?f(x)?f(A\\B)£¬¼´
f(A)\\f(B)?f(A\\B)¡£
3.Éèf:X?Y£¬A?X,B?Y£¬Ö¤Ã÷£º
f(f?1(B)?A)?B?f(A)
Ö¤£ºÉèy?f(f?1(B)?A)£¬Ôò?x?f?1(B)?A£¬Ê¹µÃf(x)?y¡£ÓÚÊÇx?f?1(B)ÇÒx?A£¬¼´f(x)?BÇÒf(x)?f(A)£¬Òò´Ëy?f(x)?BÇÒy?f(A)£¬¼´
y?B?f(A)£¬´Ó¶ø
f(f?1(B)?A)?B?f(A)¡£
·´Ö®£¬Éèy?B?f(A)£¬Ôòy?BÇÒy?f(A)¡£ÓÚÊÇ?x?AÇÒx?f?1(B)£¬Ê¹µÃf(x)?y¡£´Ó¶ø?x?f?1(B)?A£¬Ê¹µÃf(x)?y£¬Òò´Ëy?f(f?1(B)?A)¡£´Ó¶ø
B?f(A)?f(f?1(B?A)) Òò´Ë£¬f(f?1(B?A))?B?f(A)¡£
4.Éèf:X?Y,A?X,B?Y¡£ÒÔÏÂËĸöСÌâÖУ¬Ã¿¸öСÌâ¾ùÓÐËĸöÃüÌ⣬ÕâËĸö
22
ÃüÌâÓÐÇÒ½öÓÐÒ»¸öÕýÈ·£¬ÇëÕÒ³öÕýÈ·µÄÄǸö¡£
£¨1£©£¨a£©Èôf(x)?f(A)£¬Ôòxδ±ØÔÚAÖÐ £¨b£©Èôf(x)?f(A)£¬Ôòx?A £¨c£©Èôf(x)?f(A)£¬Ôòx?A
£¨d£©Èôf(x)?f(A)£¬Ôòx?Ac
£¨2£©£¨a£©f(f?1(B))?B £¨b£©f(f?1(B))?B
£¨c£©f(f?1(B))?B £¨d£©f(f?1(B))?Bc £¨3£©£¨a£©f?1(f(A))?A £¨b£©f?1(f(A))?A
£¨c£©f?1(f(A))?A £¨d£©ÉÏÃæÈý¸ö¾ù²»¶Ô £¨4£©£¨a£©f(A)?? £¨b£©f(B)??
£¨c£©Èôy?Y,Ôòf?1(y)?x £¨d£©Èôy?Y,Ôòf?1(y)?x ´ð°¸£º£¨a£©£¨b£©£¨c£©£¨d£©
7.Éèf:X?Y,A?X,Ôò(f(A))c?f(Ac)³ÉÁ¢Âð£¿
½â£º²»³ÉÁ¢¡£
·´Àý£ºÉèX?{1,2,3},Y?{a,b,c}¡£
f:X?Y,f(1)?a,f(2)?a,f(3)?b¡£
1 o 2 o o a o b o c X Y ÁîA?{1,2}£¬ÔòAc?{3}¡£
f(A)?{a}£¬(f((A))?{b,c},µ«f(A)?b¡£
cc3 o 8.ÉèXÊÇÒ»¸öÎÞÇºÏ£¬f:X?Y¡£Ö¤Ã÷£º´æÔÚXµÄÒ»¸öÕæ×Ó¼¯EʹµÃf(E)?E¡£
Ö¤£ºÈ¡x0?X£¬Áîx1?f(x0),x2?f(x1),?,xn?f(xn?1),?¡£Èôµ½Ä³Ò»Î»ÓëÇ°ÃæÓÐÖØ¸´ÏÉèΪµÚkÏ¼´f(xk)?xi(i?k)¡£ÁîE?{x0,x1,x2,?,xk}?X£¬Ôò
f(E)?EÇÒE?X¡£
Èôxi»¥²»Ïàͬ£¬ÁîE1?X\\{x0}?X£¬Ôòf(E1)?E1¡£ [²»È¥µôx0¿ÉÄܾͻáÓÐE1?X]
23
9.Éèf:A?B£¬Ö¤Ã÷?T?2B£¬¶¼ÓÐf(f?1(T))?T?f(A)
Ö¤£»ÈôT??£¬Ôòf(f?1(T))??,T?f(A)??,Òò¶øf(f?1(T))?T?f(A)¡£ ÈôT??£¬Éèy?f(f?1(T))£¬Ôò?x?f?1(T)£¬Ê¹µÃf(x)?yÇÒx?A£¬ÓÚÊÇ
y?f(x)?TÇÒy?f(x)?f(A)£¬Òò´Ëy?T?f(A)¡£
¹Êf(f?1(T))?T?f(A)
·´Ö®£¬Éèy?T?f(A)£¬Ôòy?TÇÒy?f(A)¡£ÓÚÊÇ?x?f?1(T)ÇÒx?A£¬Ê¹µÃf(x)?y¡£´Ó¶ø£¬f(x)?f(f?(T)ÇÒf(x)?f(A)£¬Òò´Ëy?f(x)?f(f?1(T)?A))£¬¶øf?1(T)?A£¬ËùÒÔf(f?1(T)?f(A)£¬ÓÚÊÇy?f(f?1(T))£¬¹Ê
T?f(A)?f(f?1(T))
´Ó¶øT?f(A)?f(f?1(T))
P50ϰÌâ
1.ÉèX?{a,b,c},Y?{0,1},Z?{2,3},f:X?Y,f(a)?f(b)?0£¬
f(c)?1;g:Y??£¬g(0)?2,g(1)?3£¬ÊÔÇóg?f¡£
½â£º
g?f(a)?g(0)?2g?f(b)?g(0)?2 g?f(c)?g(1)?3Òò´Ëg?f:X?Z,g?f(a)?2,g?f(b)?2,g?f(c)?3¡£
2.ÉèX,Y,ZÊÇÈý¸ö·Ç¿Õ¼¯ºÏ£¬Z?2¡£Ö¤Ã÷£ºf:X?YÊÇÂúÉäµ±ÇÒ½öµ±²»´æÔÚ´ÓYµ½ZµÄÓ³Éäg1ºÍg2£¬Ê¹µÃg1?g2£¬µ«g1?f?g2?f¡£
Ö¤£º?Òòf:X?YÇÒfΪÂúÉ䣬¹Ê?y?Y,?x?X£¬Ê¹µÃf(x)?y¡£ ¼ÙÉè´æÔÚg1,g2,g1?g2£¬µ«g1?f?g2?f¡£ÒòΪg1?g2£¬ËùÒÔ?y0?Y£¬Ê¹µÃ¶ÔÓÚÉÏÃæµÄy0£¬?x0?X£¨fÊÇÂúÉ䣩£¬Ê¹µÃg1(f(x0))?g2(f(x0)) g1(y0)?g2(y0)¡£
[g1(y0)?g2(y0)]£¬¼´g1f(x0)?g2f(x0)¡£¹Êg1?f?g2?fÓëg1?f?g2?f£¬Ã¬¶Ü¡£
24
¹²·ÖÏí92ƪÏà¹ØÎĵµ