Metrischer Raum, Offene Mengen < Maßtheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) beantwortet | Datum: | 18:53 So 19.11.2017 | Autor: | Son |
Aufgabe | Ist (Ω,d) ein metrischer Raum und A⊆Ω ≠ ∅. Dann (A, d|_(AxA)) metrischer Raum. Zz:
Menge B⊆A offen ⇔ es gibt offene Menge U mit B=U∩A. |
Die Hinrichtung habe ich bewiesen.
Wüsste vllt jemand wie die Rückrichtung bewiesen wird?
|
|
|
|
Sei [mm] $x\in A\cap [/mm] U$. Insbesondere [mm] $x\in [/mm] U$. Da $U$ offen ist, gilt...
Da $x$ beliebig war, ist [mm] $A\cap [/mm] U$ offen in $A$.
Liebe Grüße
UniversellesObjekt
|
|
|
|
|
Status: |
(Frage) beantwortet | Datum: | 19:59 Mo 20.11.2017 | Autor: | Son |
Da U offen, ist der Schnitt offener Mengen offen --> Also ist B offen , da B=A [mm] \cap [/mm] U
geht es so?
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 20:02 Mo 20.11.2017 | Autor: | Son |
Ich merk grad dass der Beweis völlig falsch ist.
|
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 07:15 Di 21.11.2017 | Autor: | fred97 |
> Da U offen, ist der Schnitt offener Mengen offen --> Also
> ist B offen , da B=A [mm]\cap[/mm] U
> geht es so?
Nein.
Ich zeig Dir mal wie man das macht.
Dazu einige Bezeichnungen:ich Bezeichne mit [mm] d_0 [/mm] die Metrik [mm] d_{| A \times A} [/mm] und für $w [mm] \in \Omega$ [/mm] und r>0 sei
[mm] $K(w,r)=\{v \in \Omega; d(v,w)
(offene Kugel (in [mm] \Omega) [/mm] um $w$ mit Radius r).
Für a [mm] \in [/mm] A sei [mm] K_0(a,r)=\{b \in A: d_0(b,a)
(offene Kugel (in A ) um $a$ mit Radius r).
Mache Dir klar: [mm] K_0(a,r)= [/mm] K(a,r) [mm] \cap [/mm] A.
Nun sei B eine Teilmenge von A. Zu zeigen ist:
B ist offen in A [mm] \gdw [/mm] es ex. ein U offen in [mm] \Omega [/mm] mit B=A [mm] \cap [/mm] U.
Beweis:
1. Sei B offen in A. Zu jedem b [mm] \in [/mm] B gibt es also ein [mm] r_b>0 [/mm] mit [mm] K_0(b,r_b) \subseteq [/mm] B. Setze
U:= [mm] \bigcup_{b \in B}K(b,r_b).
[/mm]
Dann ist U offen in [mm] \Omega [/mm] (warum ?) und B=A [mm] \cap [/mm] U (warum ?).
2. Sei U offen in [mm] \Omega [/mm] und B=A [mm] \cap [/mm] U.
Ist dann b [mm] \in [/mm] B, so ist b [mm] \in [/mm] U. Also ex. ein r>0 mit K(b,r) [mm] \subset [/mm] U.
Dann ist [mm] K_0(b,r) \subset [/mm] B (warum ?).
Damit ist gezeigt: B ist offen in A.
Wenn Du nun die drei "warums ?" richtig beantwortest, hast Du den gewünschten Beweis.
|
|
|
|