0 Daumen
694 Aufrufe

Sei (X, d) ein metrischer Raum.

(a) Zeigen Sie, dass X Hausdorffsch ist.

(b) Sei (X, d') ein weiterer metrischer Raum und sein f, g: Y → X stetige Abbildungen. 
Zeigen Sie, dass die Menge { y ∈ Y | f(y) = g(y)} abgeschlossen ist (und somit { yY | f(y) ≠ g(y)} offen ist).

Avatar von

Hallo,

die erste Frage kannst Du selbst beantworten: Zeichne Dir 2 verschiedene Punkte auf eine Koordinatenebene und die zughörige Verbindungsstrecke. Jetzt über lege, wie Du um jeden der beiden Punkte einen Kreis legen kannst, so dass diese Kreise richtig disjunkt sind. Dann überlege, wie Du das auf allgemeine metrische Räume übertragen kannst.

Bei b) solltest Du erläutern, was Y ist.

Gruß

1 Antwort

+1 Daumen

(a) Seien abXa\neq b\in X, dann gilt ε : =d(a,b)>0\varepsilon := d(a,b)>0. Es ist durch die Dreiecksungleichung klar, dass kein Punkt in beiden Mengen B0.5ε(a)B_{0.5\cdot\varepsilon}(a) und B0.5ε(b)B_{0.5\cdot\varepsilon}(b) liegen kann, das sind also bereits zwei offene disjunkte Mengen, die aa und bb trennen.

(b) Für jeden Hausdorff-raum XX ist die "Diagonale" ΔX : ={(x,x)xX}\Delta X := \{(x,x)|x\in X\} abgeschlossen als Teilmenge von X×XX\times X (das ist eine einfache Übung). Definiere (f,g) : XY×Y(f,g):X\to Y\times Y durch (f,g)(x)=(f(x),g(x))(f,g)(x) = (f(x),g(x)). Dann ist deine Menge einfach nur (f,g)1(ΔY)(f,g)^{-1}(\Delta Y), das Urbild einer abgeschlossenen Menge, damit abgeschlossen. (Ich habe hier die Rollen von X und Y vertauscht für bessere Lesbarkeit).

Avatar von

Ein anderes Problem?

Stell deine Frage