Noter til Geometri 1
Noter til Geometri 1
Noter til Geometri 1
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