Gleichheit von Topologien 2 < Topologie+Geometrie < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Seien [mm] $(Y_{n},d_{n})$ [/mm] metrische Räume mit [mm] $d_{n}(x_{n},y_{n}) \le [/mm] 1$ , [mm] $x_{n},y_{n} \in Y_{n}$ [/mm] und sei [mm] T_{n} [/mm] die von [mm] d_{n} [/mm] induzierte Topologie auf [mm] Y_{n}. [/mm] Auf der Menge [mm] $Y:=\produkt_{n \in \mathbb{N}}Y_{n}$ [/mm] haben wir dann die Metrik d :
[mm] $d((x_{n},y_{n}) [/mm] := [mm] max_{n \in \mathbb{N}} \alpha_{n}d_{n}(x_{n},y_{n})$ [/mm] , wobei [mm] (\alpha_{n} [/mm] > 0 und [mm] \alpha_{n} \to [/mm] 0)
sowie die Topologie T die von der Metrik auf Y iduziert wird, aber auch die Produkttopologie [mm] \Lambda [/mm] der Topologien [mm] T_{n}.
[/mm]
Zeige, dass T = [mm] \Lambda [/mm] |
Hallo,
und noch eine topologische Aufgabe...
Nehmen wir uns eine beliebige offene Menge in T her, also
$O [mm] \in [/mm] T$
[mm] \gdw $\forall [/mm] x = [mm] (x_{n})_{n \in \mathbb{N}} \in [/mm] O$ [mm] \Rightarrow $\exists [/mm] a > 0 : x [mm] \in U_{a}(x) \subseteq [/mm] O$
[mm] \gdw $\forall [/mm] x [mm] \in [/mm] O $ [mm] \Rightarrow [/mm] $ [mm] \exists [/mm] a > 0 : x [mm] \in \produkt_{n=1}^{z} U_{a/\alpha_{n}}(x_{n}) \times \produkt_{n=z+1}^{\infty}x_{n} \subseteq [/mm] O$
was meint ihr bis hier ? ich bin mir gar nicht so sicher , ob man die zweite Äquivalenz einfach so hinschreiben kann.
- man kann das natürlich über [mm] U_{a}(x) [/mm] = [mm] \{y \in Y : d(x,y) < a\} [/mm] und umformen begründen.
aber mal weiter:
[mm] \gdw $\forall [/mm] x [mm] \in [/mm] O $ [mm] \Rightarrow [/mm] $ [mm] \exists [/mm] a > 0 : x [mm] \in \produkt_{n=1}^{z} U_{a/\alpha_{n}}(x_{n}) \times \produkt_{n=z+1}^{\infty}x_{n} \subseteq [/mm] O$
[mm] \gdw $\forall [/mm] x [mm] \in [/mm] O [mm] \exists O_{n} \in T_{n} [/mm] : x [mm] \in \produkt_{n=1}^{z}O_{n} \times \produkt_{z+1}^{\infty} x_{n} \subseteq [/mm] O$
also
[mm] $\forall [/mm] x [mm] \in [/mm] O [mm] \exists O_{n'} [/mm] : O = [mm] \bigcup_{x \in O} \produkt_{n=1}^{z}O_{n'} \times \produkt_{z+1}^{\infty} x_{n}$
[/mm]
also T = [mm] \Lambda [/mm]
Lg Peter
|
|
| |
|
Hallo und danke für deine Antwort,
z meint einfach eine Schranke - besser wäre eventuell [mm] n_{0}
[/mm]
Ja hinten sollten eigentlich Elemente aus [mm] Y_{n} [/mm] stehen.
Nein diese Eigenschaften habe ich nirgends eingearbeitet.
LG
Peter
|
|
|
| |
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 09:22 Mo 27.10.2014 | | Autor: | Peter_123 |
Und wenn ich das von der Menge
$ [mm] U_a(x)=\ldots=\{y \in Y : \forall n\in\IN\colon \alpha_{n}d_{n}(x_{n},y_{n}) < a\} [/mm] $ zusätzlich fordere - also dass jeweils [mm] d_{n} \le [/mm] 1 ist
Passt dann der Rest?
Lg Peter
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 09:31 Mo 27.10.2014 | | Autor: | tobit09 |
> Und wenn ich das von der Menge
>
> [mm]U_a(x)=\ldots=\{y \in Y : \forall n\in\IN\colon \alpha_{n}d_{n}(x_{n},y_{n}) < a\}[/mm]
> zusätzlich fordere - also dass jeweils [mm]d_{n} \le[/mm] 1 ist
>
> Passt dann der Rest?
Bitte poste deinen Beweisversuch einmal mit allen Korrekturen (und möglichst vielen Erklärungen) im Zusammenhang.
Ich blicke nämlich leider nicht mehr durch...
(Leider habe ich frühestens Nachmittag wieder Zeit.)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 18:22 Di 28.10.2014 | | Autor: | Peter_123 |
Hallo,
Das Beispiel hat sich geklärt - prinzipiell hat es so gepasst wie ich das gemacht habe - deine Anmerkung, dass [mm] d_{n} \le [/mm] 1 lt. Angabe vorausgesetzt war , musste ich dann auch in die Umgebung einfließen lassen - dann hat eigentlich der Rest gepasst.
Vielen Dank für die Bemühungen
Lg Peter
Ps: Gleich kommt aber noch ein nettes Topologie Beispiel
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 22:09 So 26.10.2014 | | Autor: | tobit09 |
Hallo Peter_123!
> Seien [mm](Y_{n},d_{n})[/mm] metrische Räume mit [mm]d_{n}(x_{n},y_{n}) \le 1[/mm]
> , [mm]x_{n},y_{n} \in Y_{n}[/mm] und sei [mm]T_{n}[/mm] die von [mm]d_{n}[/mm]
> induzierte Topologie auf [mm]Y_{n}.[/mm] Auf der Menge
> [mm]Y:=\produkt_{n \in \mathbb{N}}Y_{n}[/mm] haben wir dann die
> Metrik d :
> [mm]d((x_{n},y_{n}) := max_{n \in \mathbb{N}} \alpha_{n}d_{n}(x_{n},y_{n})[/mm]
> , wobei [mm](\alpha_{n}[/mm] > 0 und [mm]\alpha_{n} \to[/mm] 0)
> sowie die Topologie T die von der Metrik auf Y iduziert
> wird, aber auch die Produkttopologie [mm]\Lambda[/mm] der Topologien
> [mm]T_{n}.[/mm]
> Zeige, dass T = [mm]\Lambda[/mm]
Hier ist eigentlich erst einmal zu überlegen, dass das Maximum aus der Definition von d überhaupt existiert.
Aber das ist mehr Analysis als Topologie...
EDIT: Außerdem wäre eigentlich noch zu zeigen, dass $d$ überhaupt eine Metrik ist.
Vorweg: Mir erscheint es keine gute Idee zu sein, mit Äquivalenzumformungen zu arbeiten. Jede einzelne der beiden Inklusionen [mm] $T\subseteq\Lambda$ [/mm] und [mm] $\Lambda\subseteq [/mm] T$ erscheint mir für sich genommen komplex genug, so dass man sich es nicht noch komplizierter machen sollte durch den Versuch, mit einer Äquivalenzkette auszukommen.
> Nehmen wir uns eine beliebige offene Menge in T her, also
Du meinst: Wir nehmen uns eine beliebige Teilmenge von [mm] $O\subseteq [/mm] Y$ her.
Dann gelten (so behauptest du zumindest) die Äquivalenzen:
> [mm]O \in T[/mm]
> [mm]\gdw[/mm] [mm]\forall x = (x_{n})_{n \in \mathbb{N}} \in O[/mm]
> [mm]\Rightarrow[/mm] [mm]\exists a > 0 : x \in U_{a}(x) \subseteq O[/mm]
(Lass den Pfeil [mm] $\Rightarrow$ [/mm] hier und in den folgenden Zeilen weg.)
Ja.
Das [mm] $x\in U_a(x)$ [/mm] ist überflüssig, denn das gilt natürlich sowieso für jedes $a>0$.
> [mm]\gdw[/mm] [mm]\forall x \in O[/mm] [mm]\Rightarrow[/mm] [mm]\exists a > 0 : x \in \produkt_{n=1}^{z} U_{a/\alpha_{n}}(x_{n}) \times \produkt_{n=z+1}^{\infty}x_{n} \subseteq O[/mm]
Was meinst du mit z?
Was meinst du mit dem Produkt der [mm] $x_n$ [/mm] für [mm] $n\ge [/mm] z+1$?
Bedenke, dass die [mm] $x_n$ [/mm] irgendwelche ELEMENTE und (im Allgemeinen) nicht Teilmengen von [mm] $Y_n$ [/mm] sind.
Meinst du vielleicht in diesem rechten Produkt [mm] $Y_n$ [/mm] anstelle von [mm] $x_n$?
[/mm]
> was meint ihr bis hier ? ich bin mir gar nicht so sicher ,
> ob man die zweite Äquivalenz einfach so hinschreiben
> kann.
>
> - man kann das natürlich über [mm]U_{a}(x)[/mm] = [mm]\{y \in Y : d(x,y) < a\}[/mm]
> und umformen begründen.
> aber mal weiter:
>
> [mm]\gdw[/mm] [mm]\forall x \in O[/mm] [mm]\Rightarrow[/mm] [mm]\exists a > 0 : x \in \produkt_{n=1}^{z} U_{a/\alpha_{n}}(x_{n}) \times \produkt_{n=z+1}^{\infty}x_{n} \subseteq O[/mm]
>
> [mm]\gdw[/mm] [mm]\forall x \in O \exists O_{n} \in T_{n} : x \in \produkt_{n=1}^{z}O_{n} \times \produkt_{z+1}^{\infty} x_{n} \subseteq O[/mm]
Wie begründest du die Richtung [mm] "$\Leftarrow$"?
[/mm]
Wie konstruierst du also das gesuchte $a>0$ zu beliebig vorgegebenem [mm] $x\in [/mm] O$?
> also
> [mm]\forall x \in O \exists O_{n'} : O = \bigcup_{x \in O} \produkt_{n=1}^{z}O_{n'} \times \produkt_{z+1}^{\infty} x_{n}[/mm]
Vermutlich meinst du in etwa:
[mm] $\iff$ [/mm] Es existiert eine Familie [mm] $(O_n^x)_{n\in\IN,x\in O}$ [/mm] mit [mm] $O_n^x\in T_n$ [/mm] für alle [mm] $n\in\IN$ [/mm] und alle [mm] $x\in [/mm] X$ sowie eine Familie [mm] $(z_x)_{x\in O}$ [/mm] natürlicher Zahlen, so dass
[mm] $O=\bigcup_{x\in O}\left(\produkt_{n=1}^{z_x}O_{n}^x \times \produkt_{n=z_x+1}^{\infty} Y_n\right)$.
[/mm]
Diese Eigenschaft wäre - wie man sich überlegen kann - äquivalent zu [mm] $O\in\Lambda$.
[/mm]
> also T = [mm]\Lambda[/mm]
Abgesehen davon, dass ich nicht bei allen Einzelaussagen verstehe, wie sie gemeint sind: Du überlässt für meinen Geschmack sehr viel an Überlegungen dem Leser.
Daher noch mal mein Appell: Weise beide Inklusionen getrennt nach.
(Angesichts der nahenden Prüfung würde ich mich jetzt an deiner Stelle bis dahin aber nicht mehr dieser Aufgabe widmen.)
Viele Grüße
Tobias
|
|
|
|
)
