06.08.2013 Views

Noter til Geometri 1

Noter til Geometri 1

Noter til Geometri 1

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.

Lemma 6.5. En delmængde A af et topologisk rum X er quasi-kompakt, hvis<br />

og kun hvis A er et quasi-kompakt rum i sportopologien.<br />

Bevis. Lad A ⊆ X være en quasi-kompakt delmængde af X. LadUα =<br />

A ∩ Vα, α ∈ I være ˚abne mængder i A (med sportopologien), og antag<br />

<br />

α∈I Uα = A. S˚aer{Vα|α ∈ I} en ˚aben overdækning af A, og der findes en<br />

endelig delmængde J ⊆ I s˚a <br />

α∈J Vα ⊇ A. Det følger, at <br />

α∈J Uα = A, s˚a A<br />

er et quasi-kompakt topologisk rum. Antag omvendt, at A er quasi-kompakt<br />

i sportopologien, og lad {Vα|α ∈ I} være ˚abne mængder i X som overdækker<br />

A. S˚aer{Vα ∩ A|α ∈ I} ˚abne mængder i A, og der findes en endelig J ⊆ I<br />

med <br />

α∈J (Vα ∩ A) =A. Mens˚aer <br />

α∈J Vα ⊇ A.<br />

Definition 6.6. Et topologisk rum kaldes kompakt hvis det er Hausdorff og<br />

quasi-kompakt. En delmængde af et topologisk rum kaldes kompakt hvis den<br />

er kompakt i sportopologien.<br />

Lemma 6.7. Lad X være et Hausdorff rum, og A ⊆ X en delmængde. S˚a<br />

er følgende to udsagn ækvivalente:<br />

(i) A er en kompakt delmængde.<br />

(ii) A er et kompakt rum i sportopologien.<br />

Bevis. Følger fra Lemma 6.2 og Lemma 6.5<br />

De følgende to sætninger anvendes uhyre ofte i den matematiske litteratur,<br />

ofte uden yderligere bemærkninger.<br />

Sætning 6.8. Lad X være et Hausdorff rum.<br />

(i) Hvis A ⊆ X er kompakt, s˚a erA en lukket delmængde af X.<br />

(ii) Hvis X er kompakt, og A ⊆ X er en lukket delmængde, s˚a erA en<br />

kompakt delmængde.<br />

Bevis. (i): Antag at A er kompakt. Vi skal vise, at X − A er ˚aben i X. Ifølge<br />

Lemma 5.5 er det nok at vise, at X − A =int(X − A), eller at X − A er en<br />

omegn af ethvert af sine punkter. S˚a ladx ∈ X − A være et fast punkt. Vi<br />

skal finde en ˚aben mængde U x ⊆ X − A, s˚a x ∈ U x .<br />

Da X er Hausdorff, findes der <strong>til</strong> hvert a ∈ A,˚abne omegne Va af a og Ua<br />

af x med Va ∩ Ua = ∅. Det er klart, at {Va|a ∈ A} er en ˚aben overdækning<br />

31

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

Saved successfully!

Ooh no, something went wrong!