Hi,
Ich habe den Satz zu beweisen: " Der Durchschnitt endlich vieler offenen Mengen ist offen"
Also erst mal zu meinem Beweis:G_k mit seien endlich viele offene Mengen und dann gibt es Zahlen so dass Epsilon-Umgebung zu für alle gilt. Wähle nun mit dann ist also für also auch offen
nun zu meinen Fragen : stimmt der Beweis?? und warum gilt das nur für endlich viele mengen???
lg Jenny
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
Hi Jenny,
der Beweis ist richtig, wenn der Durchschnitt deiner Mengen nicht leer ist. Was gilt für den Fall, dass der Durchschnitt leer ist?
Der "Trick" in deinem Beweis ist, dass du ein wählen kannst, da eine endliche Teilmenge von immer ein Minimum besitzt. Als Gegenbeispiel schau dir die Mengen
an. Ich kann nun in jedem eine Epsilon-Umgebung von 0 wählen, z.B. mit , dann ist .
Jedoch besitzt die Menge kein Minimum, da eine Nullfolge ist, sondern nur ein Infimum , welches jedoch nicht zur Menge dazugehört (und somit kein Minimum ist). Dieses Infimum kann ich selbstverständlich nicht als globales wählen, da gelten muss.
Und in der Tat ist (was zu beweisen wäre) was eine abgeschlossene Menge ist.
Das muss selbstverständlich nicht immer so sein. Es gibt auch ein System von unendlich vielen offenen Mengen, deren Durchschnitt nicht leer und wieder offen ist. Wichtig ist dabei, ob die Menge der Epsilone ein Minimum (wie in deinem Beweis), oder "nur" ein Infimum besitzt.
Lieben Gruß Sina
|