Om uendelighedsbegrebet - Aarhus Universitet
Om uendelighedsbegrebet - Aarhus Universitet
Om uendelighedsbegrebet - Aarhus Universitet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Definition 2.10. Ved potensmængden P(X) for mængden X forst˚ar man<br />
mængden af alle delmængder af X.<br />
Hvis eksempelvis X = {a,b}, s˚a er P(X) en mængde med 4 elementer,<br />
idet P(X) = {∅, {a}, {b}, {a,b}}.<br />
Det fremg˚ar af definitionen p˚a urbillede, at n˚ar f : X → Y , s˚a er f −1 en<br />
afbildning af P(Y ) ind i P(X).<br />
Vi pointerer, at f −1 (Y0) er en delmængde af X, ikke et element i X,<br />
og at f −1 (Y0) er defineret for enhver delmængde Y0 af Y . Vi skal i Afsnit 3<br />
møde en anden betydning af symbolet f −1 , nemlig som den inverse funktion,<br />
uden disse egenskaber. Principielt burde man selvfølgelig benytte forskellig<br />
notation for forskellige begreber, men det gør man i dette tilfælde alts˚a ikke.<br />
Det overlades dermed læseren til ud fra sammenhængen at afgøre, hvilken<br />
af de to betydninger f −1 har.<br />
Betragt for eksempel den reelle funktion h, der til ethvert punkt i Danmark<br />
tilordner dets højde over havoverfladen. Et topografisk kort over Danmark<br />
viser punkterne med samme højde som en niveaukurve (eventuelt med<br />
flere forskellige komponenter). Niveaukurven svarende til højden y over havoverfladen<br />
er mængden h −1 ({y}). Pointen er, at h −1 ({y}) er en mængde.<br />
Det er nok værd at overveje, hvilke sammenhænge der er mellem billedmængder<br />
og urbilleder. Den næste sætning angiver nogle af dem.<br />
Sætning 2.11. Lad f : X → Y være en afbildning af X ind i Y .<br />
(a) Hvis B ⊆ Y , s˚a vil f −1 (∁B) = ∁(f −1 (B)).<br />
(b) Hvis B ⊆ Y , s˚a vil f(f −1 (B)) ⊆ B.<br />
(c) Hvis f er surjektiv og B ⊆ Y , s˚a vil f(f −1 (B)) = B.<br />
(d) Hvis A ⊆ X, s˚a er A ⊆ f −1 (f(A)).<br />
(e) Hvis f er injektiv [defineres nedenfor] og A ⊆ X, s˚a er A = f −1 (f(A)).<br />
Bevis. OTL.<br />
Definition 2.12. Lad X og Y være to mængder, og lad f : X → Y være en<br />
afbildning af X ind i Y . Afbildningen f siges at være en injektion, at være<br />
injektiv eller kort skrevet 1 − 1, s˚afremt der for ethvert y ∈ Y er højst ét<br />
x ∈ X, s˚a f(x) = y.<br />
I Lemma 2.13 angiver vi nogle betingelser, der kan være nyttige, n˚ar man<br />
skal afgøre, om en given afbildning er injektiv.<br />
Lemma 2.13. Lad X og Y være to mængder, og lad f : X → Y være en<br />
afbildning af X ind i Y . Da er følgende fire udsagn ækvivalente:<br />
(a) f er en injektion.<br />
13