Diskussion:Abgeschlossene Menge

message: Im Artikel wird im ersten Absatz Abgeschlossenheit als gleichbedeutend mit der Eigenschaft angeführt, dass Limespunkte jeder konvergenten Folge in der Menge liegen. Diese Aussagen sind jedoch nicht in jeder Topologie äquivalent. Es kann nämlich sog. unerreichbare Berührpunkte geben, die zwar auf dem Rand einer Menge liegen, jedoch keine Folge innerhalb dieser Menge gegen diese Punkte konvergiert. Man sollte klarstellen, dass nur die eine Richtung gilt, oder weitere Vorraussetzungen angeben (z.B. das erste Abzählbarkeitsaxiom, für metrische Räume).
Zum (jetzt leicht umformulierten) Satz
:Ob eine Menge abgeschlossen ist oder nicht, hängt von dem Raum ab, in dem sie liegt. Die rationalen Zahlen 0\leq x\leq 1 bilden eine abgeschlossene Menge in den rationalen Zahlen, aber nicht in den reellen Zahlen.
wurde anonym der folgende Kommentar in den Artikel geschrieben (und von mir nun hierher verschoben):
:(Kommentar:) Ich habe starke Zweifel an der Formulierung, das Intervall 0\leq x\leq 1 in den reellen Zahlen bilde keine abgeschlossene Menge.
:Wer es genau weiß, korrigiere dies bitte entsprechend!
Man lese genau: Die "rationalen Zahlen 0\leq x\leq 1" werden hier betrachtet, und diese Menge ist in R nicht abgeschlossen. Ich hoffe, durch die Änderung des Satzes wird das nun klarer. --SirJective 21:17, 29. Jan 2005 (CET)
replies: text: Ahhhh, jetzt verstehe ich das endlich. Vielleicht sollte man beim ersten Erwähnen des Intervalls [0, 1] hinzufügen, dass es aus reellen Zahlen bestehen soll. Einfach zur Verdeutlichung. Sonst ist man leicht verwirrt, finde ich.--Drivium 10:12, 26. Jul. 2009 (CEST)
replies: text: Ich versuche einfach mal die Sache verständlicher zu machen. Ich trage meinen Vorschlag ein, und schreibe unten noch die anschauliche Vorstellung von Löchern in der Menge der rationalen Zahlen hin.--Drivium 10:15, 26. Jul. 2009 (CEST)
thread_title:  Abgeschlossenheit und Limespunkte jeder konvergenten Folge 

message: Hallo Gunther,
du ändertest
:Ein kompakter Hausdorff-Raum ist dagegen in jedem topologischen Oberraum abgeschlossen.
in
:Eine kompakte Teilmenge eines Hausdorff-Raumes ist dagegen stets abgeschlossen.
Kannst du dein Gegenbeispiel "z.B. zweielementiger top. Raum mit asymmetrischer Topologie" näher erläutern? --SirJective 19:30, 2. Apr 2005 (CEST)
replies: text: In dem topologischen Raum \{\eta,s\} mit der Topologie \{\varnothing,\{\eta\},\{\eta,s\}\} ist \{\eta\} kompakt und hausdorffsch, aber nicht abgeschlossen. (Es ist i.w. die einzige Topologie auf einer zweielementigen Menge, bei der die Punkte nicht austauschbar sind. Es war etwas sehr kurz formuliert, gebe ich zu.)--Gunther 20:49, 2. Apr 2005 (CEST)
replies: text: Wieder was gelernt :) Sollte man dieses oder ein ähnliches Beispiel in kompakter Raum geben? "Im Raum X = {0, 1} mit der Topologie {{}, X} sind alle vier Teilmengen von X kompakt, aber die Teilmengen {0} und {1} sind nicht abgeschlossen." --SirJective 21:26, 2. Apr 2005 (CEST)
replies: text: Als Beispiel steht da schon: "Jeder beliebige endliche topologische Raum." Auf Zariski-Topologie steht: "Quasi-kompakte Teilmengen müssen nicht notwendigerweise abgeschlossen sein.", und ich kenne keine andere sinnvollen Räume mit derartigen Topologien.--Gunther 21:59, 2. Apr 2005 (CEST)
replies: text: OK, dann passt das so. --SirJective 22:54, 2. Apr 2005 (CEST)
thread_title:  Hausdorff für Teilmenge genügt nicht 

message: Sowohl in dem Artikel zur Abgeschlossenen Menge als auch zur Offenen Menge wird vom Rand einer Menge gesprochen. Doch nirgendwo wird der Begriff definiert.
Ich weiss zwar (meist), was gemeint, aber es fehlt eine Definition. Zudem ist der Begriff Rand irgendwie verwirrend, schliesslich kann er unendlich viele Elemente umfassen.
Zum Beispiel, sei die Grundmenge \mathbb{R}, und sei M := \bigcup_{i=0}^\infty (2i;2i+1). Dann ist ja wohl Abschluss(M) := \bigcup_{i=0}^\infty [2i;2i+1]. Also Rand(M) = \mathbb{N} \cup \{0\}
Was ich zum Beispiel nicht weiss (da Rand nirgendwo definiert wird): Gehören diskrete Elemente mit zum Rand? Zum Beispiel, sei X := \{1,2,3\}, ist dann X = Rand(X), wenn die Grundmenge \mathbb{R} ist?
Wenn die Grundmenge \mathbb{N} (ohne die 0) ist, wäre dann Rand(X) = \{1,3\}?
--DFG 00:44, 2. Okt 2005 (CEST)
replies: text: Es sollte eigentlich zumindest einen kurzen Artikel geben, der unter Rand verlinkt wird; leider gibt es bislang nur das Topologie-Glossar mit dem kargen Satz: "Der Rand einer Menge ist der Abschluss der Menge minus ihrem inneren Kern." Der Rand der Menge X ist in beiden von Dir betrachteten Fällen X selbst.--Gunther 00:53, 2. Okt 2005 (CEST)
replies: text:  Sei X := \mathbb{N} wieder die Grundmenge. Nach dir wäre U := \{1,2,3\} ja abgeschlossen. Nach der Definition der Offenen Menge (für metrische Räume) folgt jedoch das Gegenteil. Dazu muss man nur \epsilon := \frac{1}{2} setzen. Get the point? --DFG 01:37, 2. Okt 2005 (CEST)
replies: text:  Abgeschlossen ist nicht das "Gegenteil" von offen. U ist offen und abgeschlossen in \mathbb N (wie jede Teilmenge von \mathbb N).--Gunther 01:49, 2. Okt 2005 (CEST)
replies: text:  Dann wird der innere Kern (nach Definition im Glossar) aber gleich \{1,2,3\} und der Rand somit zur leeren Menge. --DFG 01:56, 2. Okt 2005 (CEST)
replies: text:  Ups. Ja, natürlich. Rand ist ein komischer Begriff.--Gunther 02:01, 2. Okt 2005 (CEST)
thread_title:  Der Rand einer Menge 

message: In Abschnitt 2 wird die Menge [0,1] als Beispiel für eine geschlossene Menge in den reellen Zahlen aufgeführt.
Im darauf folgenden Abschnitt steht aber, das die selbe Menge ( 0 <= x <= 1 ) in den rationalen
Zahlen abgeschlossen ist, nicht aber in den reellen Zahlen.
Dies ist offensichtlich ein Widerspruch!
Oben wurde nach der Definition des Randes einer Teilmenge M eines Raumes X gefragt. Ist N die Komplementärmenge von M, so ist der Rand von M (und auch von N) der Durchschnitt der abgeschlossenen Hüllen von M und N. --Hanfried Lenz 11:23, 28. Nov. 2007 (CET)
thread_title:  Abschnitt 2 und 3 

message: Im Artikel wird immer schön säuberlich darauf geachtet, nur im Euklidischen Raum vom Rand einer Menge zu reden. Aber die Charakterisierung
"A abgeschlossen genaudannwenn A enthält seinen Rand" gilt in jedem topologischen Raum. Sie ist zwar für Beweise nicht wirklich sonderlich hilfreich, weil der Rand etwas unhandlich zum Arbeiten ist, aber sie gilt. --Cosine 15:01, 17. Dez. 2009 (CET)
thread_title:  Nochmal der Rand einer Menge 

message: Hallo,
ich habe mal wieder einen verbesserungsvorschlag für die Grafik:
  File:Metrik-kugel.png|Alte PNG
  File:Circles-closed.svg|Neue SVG
Soll ich etwas anders machen? Irgendwas noch einfärben, größer oder kleiner machen? Etwas anders beschriften?
Ach ja: Was bringen die grünen Linien?
Grüße, --Martin Thoma 18:52, 14. Feb. 2013 (CET)
replies: text: Die grünen Linien sollen wohl die Abstände d(x, y1), d(x, y2) aufzeigen. Hast Du den dazugehörigen Beweis nicht durchgelesen? 92.204.45.247 17:31, 9. Apr. 2013 (CEST)
replies: text:  Nein, den Beweis habe ich nicht gelesen. Ich suche immer wieder nach Bildern, die man verbessern kann und lese mir nicht immer den Text dazu durch. --Martin Thoma 21:26, 9. Apr. 2013 (CEST)
thread_title:  Grafik