23.11.2014 Views

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

Diskrete Matematiske Metoder - Institut for Matematiske Fag ...

SHOW MORE
SHOW LESS

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)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!