32 5. Topologiske rum (iv) Lad X være et kurvesammenhængende topologisk rum, dvs., at der for vilkårlige x, y ∈ X findes en kontinuert kurve, γ : [a, b] → X med γ(a) = x, γ(b) = y. Så er X et sammenhængende rum. (v) Specielt er kurvesammenhængende delmængder af R n sammenhængende.
6 Kompakte rum Hvis x og y er forskellige punkter i et metrisk rum (X, d), så findes åbne mængder Ux og Uy i X, så Ux ∩ Uy = ∅, thi vi kan blot vælge Ux = Bd(x, r) og Uy = Bd(y, r), hvor r ≤ 1d(x, y). 2 Denne påstand er ikke rigtig i ethvert topologisk rum, f.eks. ikke i det trivielle topologisk rum, hvor TX = {∅, X}, med mindre X blot består af ét punkt. Definition 6.1. Et topologisk rum X kaldes et Hausdorff-rum, såfremt der for ethvert par af forskellige punkter x, y ∈ X findes åbne omegne U af x og V af y med U ∩ V = ∅. Lemma 6.2. Lad f : A → X være en injektiv kontinuert afbildning. Hvis X er Hausdorff, så er A Hausdorff. Bevis. Lad a1 = a2 være forskellige punkter i A. Så er f(a1) = f(a2) og, da X er Hausdorff, findes åbne disjunkte omegne U1 og U2 af henholdsvis f(a1) og f(a2). Da f er kontinuert, er f −1 (U1) og f −1 (U2) åbne omegne af henholdsvis a1 og a2, og de er disjunkte. Bemærk specielt at enhver delmængde af et Hausdorff-rum bliver et Hausdorffrum i sportopologien. Lad X = (X, T ) være et topologisk rum, og A en delmængde af X. En familie af åbne delmængder Uα ∈ T , α ∈ I kaldes en åben overdækning af A, såfremt A ⊆ α∈I Uα. Definition 6.3. (i) Et topologisk rum kaldes kompakt, hvis der <strong>til</strong> enhver åben overdækning {Uα|α ∈ I} af X findes en endelig delmængde J ⊆ I, så {Uα | α ∈ J} allerede er en åben overdækning af X. (ii) En delmængde A ⊆ X kaldes kompakt, hvis den er et kompakt rum i sportopologien. Det følgende lemma er en nyttig karakterisation af kompakte delmængder. Lemma 6.4. For en delmængde A ⊆ X, X et topologisk rum, er følgende betingelser ækvivalente. (i) A er kompakt. (ii) Til enhver åben overdækning {Ui | i ∈ I} af A findes en endelig delmængde J ⊆ I så {Uj | j ∈ J} er en overdækning af A. Bevis. Lad A ⊆ X være en delmængde af X som opfylder (ii). Lad Uα = A ∩ Vα, α ∈ I, Vα åbne i X, være åbne mængder i A (med sportopologien), og antag α∈I Uα = A. Så er {Vα | α ∈ I} en åben overdækning af A, og der findes en endelig delmængde J ⊆ I så α∈J Vα ⊇ A. Det følger, at α∈J Uα = A, så A er et kompakt topologisk rum. Antag omvendt, at A er kompakt, og lad {Vα | α ∈ I} være åbne mængder i X som overdækker A. Så er {Vα ∩ A | α ∈ I} åbne mængder i A, og der findes en endelig J ⊆ I med α∈J (Vα ∩ A) = A. Men så er α∈J Vα ⊇ A. 33