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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

96 KAPITEL 8. AFBILDNINGER, FUNKTIONER<br />

Eksempel 272 Funktionen f : R −→ R defineret ved f(x) = x 3 − x er ikke<br />

injektiv.<br />

Bevis. For at vise at funktionen ikke er injektiv skal vi finde to <strong>for</strong>skellige x’er,<br />

som afbildes i den samme værdi. Her kan vi betragte tallene 0 og 1. Der gælder<br />

jo at 0 ≠ 1 men f(0) = f(1) = 0.<br />

8.2 Billeder og urbilleder<br />

Definition 273 Lad A, B være mængder, og f : A −→ B en afbildning. Lad<br />

endvidere T ⊆ A. Delmængden f(T ) af B defineret ved<br />

kaldes <strong>for</strong> billedet af T under f.<br />

f(T ) = {y ∈ B | ∃t ∈ T : y = f(t)} (8.7)<br />

Bemærkning 274 Billedet af definitionsmængden f(A) er altså billedmængden.<br />

Eksempel 275 Betragt funktionen f : R −→ R defineret ved f(x) = x 2 . Da er<br />

f(] − 2, 10[) = [0, 100[.<br />

Sætning 276 Lad A og B være mængder, og lad f : A → B være en afbildning.<br />

Lad {T α } α∈Λ være en familie af delmængder af A.<br />

Da gælder følgende:<br />

1. f( ⋃ α∈Λ T α) = ⋃ α∈Λ f(T α) .<br />

2. f( ⋂ α∈Λ T α) ⊆ ⋂ α∈Λ f(T α) .<br />

Bevis. Bevis <strong>for</strong> 1. Lad y ∈ f( ⋃ α∈Λ T α). Der findes da x ∈ ⋃ α∈Λ T α, så<br />

y = f(x). Da x ∈ ⋃ α∈Λ T α, findes α ∈ Λ, så x ∈ T α . Da y = f(x), er dermed<br />

y ∈ f(T α ).<br />

Vi har altså påvist eksistensen af et α ∈ Λ, så y ∈ f(T α ), hvormed vi har<br />

vist, at y ∈ ⋃ α∈Λ f(T α).<br />

Altså gælder f( ⋃ α∈Λ T α) ⊆ ⋃ α∈Λ f(T α). Den omvendte inklusion vises, idet<br />

man ser, at ovenstående ræsonnement kan ”vendes om” (overvej dette).<br />

Bevis <strong>for</strong> 2. Lad y ∈ f( ⋂ α∈Λ T α). der findes da x ∈ ⋂ α∈Λ T α, så y = f(x).<br />

Da x ∈ ⋂ α∈Λ T α, gælder <strong>for</strong> ethvert α ∈ Λ, at x ∈ T α . Da y = f(x), haves<br />

dermed y ∈ f(T α ), <strong>for</strong> ethvert α ∈ Λ. Med andre ord gælder y ∈ ⋂ α∈Λ f(T α).<br />

Bemærkning 277 Som øvelse bør man overveje, hvor<strong>for</strong> beviset <strong>for</strong> (2) i den<br />

<strong>for</strong>egående sætning ikke også kan ‘vendes om’. Man bør også konstruere et<br />

modeksempel til påstanden om, at den omvendte inklusion i (2) skulle være<br />

alment gyldig (det er den nemlig ikke).

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

Saved successfully!

Ooh no, something went wrong!