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.

12.3. OPGAVER 183<br />

• mængden har et største element og et mindste element,<br />

• mængden har et supremum og et infimum.<br />

1. [2, 6]<br />

2. ]2, 6[<br />

3. ]−∞, 24693]<br />

4. Q +<br />

3. Betragt R med den sædvanlige ordning. Bevis i alle detaljer, at<br />

1. sup[0, 1[= 1<br />

2. inf { 1<br />

n | n ∈ N} = 0<br />

4. Lad (M, ≤) være en totalt ordnet mængde, og antag at ∅ ̸= A ⊆ B ⊆ M.<br />

Antag endvidere, at de nedenstående infima og suprema eksisterer: Bevis da,<br />

at<br />

inf B ≤ inf A ≤ sup A ≤ sup B. (12.20)<br />

Giv et eksempel, hvor inf A = inf B og sup B = sup A, selv om A er en ægte<br />

delmængde af B.<br />

Gælder sætningen også, hvis vi ikke antager at A og B er ikke tomme?<br />

5. Lad A og B være ikke tomme delmængder af R (udstyret med den sædvanlige<br />

ordning), hvorom det gælder at a < b <strong>for</strong> alle a ∈ A og b ∈ B.<br />

1. Bevis i alle detaljer at sup A og inf B begge eksisterer, og at<br />

sup A ≤ inf B. (12.21)<br />

I beviset må du gerne bruge, at R har supremumsegenskaben.<br />

2. Antag desuden, at A ∪ B = R. Bevis, at<br />

sup A = inf B. (12.22)<br />

6. I definitionen af supremumsegenskaben krævede vi, at enhver ikke tom<br />

opadtil begrænset delmængde skulle have et supremum. Overvej, at det er<br />

vigtigt at begrænse kravet til ikke tomme delmængder. Betragt <strong>for</strong> eksempel R<br />

og delmængden ∅. Er ∅ opadtil begrænset? Har ∅ en mindste majorant?<br />

7. Betragt mængden A = {1, 2, 3, 4, 6, 12} med ”gå op i relationen” altså ordningen<br />

≤ defineret ved: a ≤ b def<br />

⇔ a | b<br />

1. Tegn dens Hasse diagram<br />

2. Bestem en delmængde af A som ikke har noget største element.<br />

3. Afgør om ordningen har supremumsegenskaben.

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

Saved successfully!

Ooh no, something went wrong!