§Æc biÖt nÕu E = E ®èi víi mäi I th× gäi lµ luü thõa §Ò c¸c cña tËp E, ®îc kÝ hiÖu lµ E1(dÔ thÊy r»ng E1 lµ tËp tÊt c¶ c¸c ¸nh x¹ tõ tËp I vµo tËp E).
B¹n ®äc cã thÓ dÔ dµng chøng minh ®îc r»ng mÖnh ®Ò 1.4 vÉn ®óng víi tÝch cña mét hä bÊt k× c¸c tËp.
Trªn ®©y chóng ta ®· dïng tiªu ®Ò chän ®Ó kh¼ng ®Þnh r»ng: nÕu
E , I th× .
§ 3 phÐp t¬ng øng, ®å thÞ, quan hÖ
1. §å thÞ vµ phÐp t¬ng øng.
Mét phÐp t¬ng øng lµ bé ba c¸c tËp S = (E, E’’,G), trong ®ã tËp E gäi lµ tËp xuÊt ph¸t, tËp E’ gäi lµ tËp ®Ých, cßn G lµ mét tËp con cña E E’ vµ G gäi lµ ®å thÞ cña phÐp t¬ng øng S. PhÇn tö y E’ gäi lµ t¬ng t¬ng øng phÇn tö x E bëi phÐp t¬ng øng S nÕu (x,y) G, khi ®ã ta viÕt xSy.
Mét ¸nh x¹ : EE’ lµ mét t¬ng øng tõ E tíi E’ víi ®å thÞ G= . ¶nh cña tËp con A E qua phÐp t¬ng øng S=(E, E’, G) ký hiÖu bëi S(A) lµ tËp
S(A) =y E’: x A sao cho (x,y) G (1)
DÔ thÊy r»ng t¬ng øng S =(E, E’, G) lµ mét ¸nh x¹ khi vµ chØ khi S(x) = S(x) chØ cã mét phÇn tö duy nhÊt.
C¸c kh¸i niÖm võa míi ®Þnh nghÜa cã thÓ minh ho¹ bëi vÝ dô sau:
1
S(A) (2)
0 A 1
PhÐp t¬ng øng ngîc cña phÐp t¬ng øng S = (E, E’’, G) lµ phÐp t¬ng øng S-1=(E’, E, G-1) trong ®ã ®å thÞ G-1 x¸c ®Þnh nh sau:
G-1=(x, y) E’E: (y,x)G (3)
Hîp thµnh(hoÆc tÝnh) S’oS cña phÐp t¬ng øng S = (E,E’,G) vµ S’=(E’,E’,G’) lµ phÐp t¬ng øng S” = (E,E”.G’oG) trong ®ã
G’oG=(x,y)EE’: y E’ sao cho(x,y) G vµ (y,z)G’ (4)
V× mçi phÐp t¬ng øng tõ E tíi E’ hoµn toµn ®îc x¸c ®Þnh bëi ®å thÞ nªn c¸c phÐp to¸n hîp, giao, hiÖu c¸c phÐp t¬ng øng tõ E tíi E’. NÕu GG’ th× ta nãi r»ng S mÞn h¬n S’.
Chia sẻ với bạn bè của bạn: |