Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Offene Teilmenge als Vereinigung offener Kugeln

Offene Teilmenge als Vereinigung offener Kugeln

Universität / Fachhochschule

Maßtheorie

Mengentheoretische Topologie

Tags: Maßtheorie, Mengentheoretische Topologie, offene Kugel, offene menge, Vereinigung

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
KTest00

KTest00 aktiv_icon

19:15 Uhr, 07.05.2018

Antworten
Hallo,

ich hänge derzeit an der Aufgabe im Anhang.

Mein Ansatz zur (a) wäre auszunutzen, dass dicht in liegt.
Man muss doch einen beliebigen Punkt (mit rationalen Koordinaten) q auswählen, der in Br(a) liegt. Dann muss man doch nur den Radius r klein genug wählen, sodass die ganze Kugel noch in Br(a) enthalten ist.

Aber wie zeige ich das rigoros?

Zur (b) habe ich leider noch keinen Ansatz.

Danke für Hilfe.

VG KTest00



2

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
DrBoogie

DrBoogie aktiv_icon

19:21 Uhr, 07.05.2018

Antworten
"Aber wie zeige ich das rigoros?"

a=(a1,...,an) nehmen, q1,...,qn (rational) so finden, dass ai-qi<r2n für alle i, dann s=r/2 wählen und Dreiecksungleichung nutzen.
Antwort
DrBoogie

DrBoogie aktiv_icon

19:22 Uhr, 07.05.2018

Antworten
"Zur (b) habe ich leider noch keinen Ansatz."

Nutze (a) und die Tatsache, dass n abzählbar ist.

KTest00

KTest00 aktiv_icon

19:35 Uhr, 07.05.2018

Antworten
Danke schonmal für die Antwort.

Mir ist allerdings nicht ganz klar, wie ich hier die Dreiecksungleichung verwenden soll?
Antwort
DrBoogie

DrBoogie aktiv_icon

19:44 Uhr, 07.05.2018

Antworten
Um zu zeigen, dass Bs(q)Br(a) ist.
xBs(q) => x-q<s=r/2 => x-ax-q+q-a<r/2+r/2=r4=>x\in B_r(a).

Davor muss man natürlich q-a<r/2 zeigen, dafür war die Wahl von qi.
KTest00

KTest00 aktiv_icon

19:54 Uhr, 07.05.2018

Antworten
Sorry, dass ich schon wieder so blöd fragen muss, aber irgendwie kann ich deine Rechnung nicht ganz nachvollziehen.
Antwort
DrBoogie

DrBoogie aktiv_icon

19:55 Uhr, 07.05.2018

Antworten
An welcher Stelle genau?
KTest00

KTest00 aktiv_icon

19:57 Uhr, 07.05.2018

Antworten
Diese Implikation:

x-q<s=r/2=>x-ax-q+q-a
Antwort
DrBoogie

DrBoogie aktiv_icon

20:00 Uhr, 07.05.2018

Antworten
Das ist die Dreiecksungleichung. Kennst Du sie?
KTest00

KTest00 aktiv_icon

20:04 Uhr, 07.05.2018

Antworten
Also ich kenne die Dreiecksungleichung als x+yx+y.

Ich weiß nicht, vielleicht bin ich einfach gerade nur blind, aber irgendwie komme ich damit nicht auf deine Gleichung:

x-q<x+-q=x+q ist das einzige was ich damit hinbekomme in der Richtung.
Antwort
DrBoogie

DrBoogie aktiv_icon

20:06 Uhr, 07.05.2018

Antworten
Ja, blind trifft es gut. :-)

x-q=(x-q)+(q-a)x-q+q-a.
EllB98

EllB98 aktiv_icon

20:39 Uhr, 07.05.2018

Antworten
Okay, ja, da war ich blind ;-)
Danke schonmal für die Hilfe und Geduld.

Eine (eventuell wieder so blöde) Frage zur (a) habe ich noch: Wie genau folgt denn aus ai-qi<r2n, dass q-a<r2?
Hängt dies mit der Definition der Norm zusammen?

Nun zur (b):
Meine Idee wäre:
Es gibt für die offene Teilmenge (sei diese hier als A bezeichnet) (offensichtlich?) offene Kugeln, sodass die Vereinigung dieser offenen Kugeln gerade A ist.
Aus (a) folgt nun, dass jede dieser offenen Kugeln eine rationale Zahl enthält und da die rationalen Zahlen abzählbar sind, so muss auch die Menge dieser offenen Kugeln abzählbar sein.

Macht die Argumentation Sinn und ist die Existenz dieser Vereinigung tatsächlich offensichtlich?
KTest00

KTest00 aktiv_icon

20:45 Uhr, 07.05.2018

Antworten
--- (Dieser Beitrag kann gelöscht werden, Frage steht im Beitrag obendrüber) ---

Antwort
DrBoogie

DrBoogie aktiv_icon

20:48 Uhr, 07.05.2018

Antworten
"Hängt dies mit der Definition der Norm zusammen?"

Ja.

"Macht die Argumentation Sinn und ist die Existenz dieser Vereinigung tatsächlich offensichtlich?"

Grundsätzlich ja, aber man kann es einfacher und präziser schreiben. Menge A ist offen => es gibt für jeden einzelnen Punkt a aus A eine Kugel Br(a), welche komplett in der Menge A liegt. Nach a) gibt's eine Kugel Bs(q) mit dem rationalen Zentrum, welche a enthält und in Br(a) liegt, also auch in der Menge selber. Man kann dabei auch s rational wählen. Jetzt ist klar, dass einerseits jeder Punkt a in der Vereinigung q,sBs(q) liegt und damit Aq,sBs(q) gilt und andererseits q,sBs(q)A nach Konstruktion. Also, A=q,sBs(q) und die Vereinigung ist abzählbar.
KTest00

KTest00 aktiv_icon

20:54 Uhr, 07.05.2018

Antworten
Danke sehr :-)

Mir ist jedoch noch eine Frage aufgefallen.
In (a) wurde explizit gefordert, dass s rational sein muss, aber für s = r/2 ist dies doch nicht notwendigerweise gegeben, oder?
Dann müsste das doch noch gezeigt werden?
Antwort
DrBoogie

DrBoogie aktiv_icon

20:56 Uhr, 07.05.2018

Antworten
Ja, für b) braucht man rationales s.
Wenn r/2 nicht rational ist, nimmt man halt eine kleinere rationale Zahl.
Frage beantwortet
KTest00

KTest00 aktiv_icon

21:07 Uhr, 07.05.2018

Antworten
Alles klar, dann vielen Dank für die Hilfe :-)