Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Diskrete Matematiske Metoder - Institut for Matematiske Fag ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
8.3. SAMMENSÆTNING AF AFBILDNINGER, INVERS AFBILDNING101<br />
Sætning 290 Lad A, B og C være mængder, og lad f : A −→ B og g : B −→ C<br />
være afbildninger. Da gælder følgende:<br />
1. Hvis g ◦ f : A −→ C er surjektiv, da er g surjektiv.<br />
2. Hvis g ◦ f : A −→ C er injektiv, da er f injektiv.<br />
Bevis. Bevis <strong>for</strong> 1 : Antag at g ◦ f : A −→ C er surjektiv. Vi skal vise, at<br />
g er surjektiv. Lad der<strong>for</strong> z ∈ C. Da g ◦ f er surjektiv, findes et x ∈ A, så<br />
z = g ◦f(x) = g(f(x)). Men så findes jo et y ∈ B, så z = g(y), nemlig y = f(x).<br />
Bevis <strong>for</strong> 2 : Antag at g ◦ f : A −→ C er injektiv. Vi skal vise, at f er<br />
injektiv. Lad x 1 , x 2 ∈ A, og antag at f(x 1 ) = f(x 2 ). Vi skal vise at x 1 = x 2 .<br />
Da f(x 1 ) = f(x 2 ), gælder<br />
g ◦ f(x 1 ) = g(f(x 1 )) = g (f(x 2 )) = g ◦ f(x 2 ), (8.28)<br />
og da g ◦ f var antaget injektiv, slutter vi heraf at x 1 = x 2 .<br />
Øvelse 291 Angiv eksempler på situationer, hvor A, B og C er mængder, og<br />
hvor f : A −→ B og g : B −→ C er afbildninger, og hvor<br />
1. g er surjektiv, men g ◦ f ikke er surjektiv.<br />
2. f er injektiv, men g ◦ f ikke er injektiv.<br />
3. g ◦ f er surjektiv men f er ikke surjektiv.<br />
4. g ◦ f er injektiv, men g er ikke injektiv.<br />
Giv to slags eksempler: dels eksempler, illustreret med mængdeboller og pile,<br />
i tilfælde hvor mængderne er endelige, og dels eksempler hvor mængderne A, B,<br />
og C alle er de reelle tal.<br />
Sætning 292 Lad A, B, C og D være mængder, og lad f : A −→ B og g :<br />
B −→ C og h : C −→ D være afbildninger. Da gælder:<br />
h ◦ (g ◦ f) = (h ◦ g) ◦ f (8.29)<br />
Bevis. Overlades til læseren.<br />
På grund af denne sætning kan vi tillade os at skrive h ◦ g ◦ f i stedet<br />
<strong>for</strong> h ◦ (g ◦ f) eller (h ◦ g) ◦ f. Lignende betragtninger gælder naturligvis ved<br />
sammensætning af flere end tre afbildninger.<br />
Definition 293 Lad A være en mængde. Med 1 A betegnes den identiske afbildning<br />
på A, dvs. afbildningen givet ved<br />
Afbildningen 1 A er naturligvis bijektiv.<br />
1 A (a) = a <strong>for</strong> alle a ∈ A (8.30)