Loading AI tools
Häufungspunkt einer Menge: Punkt, der unendlich viele Punkte der Menge in seiner Nähe hat Aus Wikipedia, der freien Enzyklopädie
In der Analysis ist ein Häufungspunkt einer Menge anschaulich ein Punkt, der unendlich viele Punkte der Menge in seiner Nähe hat. Ein Häufungspunkt einer Folge (seltener: „Verdichtungspunkt“ oder „Häufungswert“) ist ein Punkt, der Grenzwert einer unendlichen Teilfolge ist. Beide Begriffe sind eng miteinander verwandt. Entsprechende, aber im Detail leicht unterschiedliche Definitionen gibt es in der Topologie. Der Begriff des Häufungspunkts spielt eine wichtige Rolle in der Mathematik.
Eine stärkere Bedingung gilt für einen Kondensationspunkt oder auch -Häufungspunkt (s. u.) einer Menge.
Der Begriff Folgenhäufungspunkt ist eng verwandt mit dem Begriff Grenzwert. Der entscheidende Unterschied liegt darin, dass jede Folge höchstens einen Grenzwert haben kann, aber möglicherweise mehrere, vielleicht sogar unendlich viele Häufungspunkte.
Von einem Grenzwert wird gefordert, dass in jeder Umgebung fast alle Folgenglieder liegen. Bei einem Häufungspunkt müssen dies nur unendlich viele sein. Es können also nochmals „unendlich viele“ Folgenglieder für weitere Häufungspunkte übrig bleiben. Wenn eine Folge einen Grenzwert hat, dann ist dieser Grenzwert insbesondere auch ein Folgenhäufungspunkt. Wenn eine Folge in einem Hausdorff-Raum (also insbesondere jede Folge in einem metrischen Raum) mehrere Folgenhäufungspunkte hat, dann hat sie keinen Grenzwert.
Die Begriffe Folgenhäufungspunkt und Mengenhäufungspunkt sind eng miteinander verwandt, aber nicht genau gleichwertig. Das demonstriert folgendes Beispiel:
Die Folge sei folgendermaßen definiert:
Die Folge hat zwei Häufungspunkte. Die Teilfolge konvergiert gegen 0, also ist 0 Folgenhäufungspunkt von . Die Teilfolge konvergiert gegen 1, also ist auch 1 Folgenhäufungspunkt von .
Die Menge der Folgenglieder von ist definiert durch
Das heißt, ist die Menge aller Folgenglieder, siehe Bildmenge von Funktionen. Nun ist 0 ein Häufungspunkt der Menge denn um jede -Umgebung gibt es noch Elemente mit , die 1 jedoch nicht, da sich zum Beispiel in seiner Umgebung mit dem Radius kein weiteres Element der Menge befindet.
Der Unterschied beruht darauf, dass ein Wert, der in einer Folge unendlich oft als Glied vorkommt, in der Menge trotzdem nur einmal gezählt wird. Jeder Mengenhäufungspunkt ist ein Folgenhäufungspunkt. Umgekehrt ist ein Folgenhäufungspunkt ein Mengenhäufungspunkt oder kommt unendlich oft als Folgenglied vor.
Diese Definition gilt zunächst für Folgen rationaler oder reeller Zahlen. Sie kann wortwörtlich ebenso in beliebigen, auch mehrdimensionalen, metrischen Räumen, allgemeiner noch in uniformen Räumen und darüber hinaus in allen topologischen Räumen verwendet werden. Dabei wird eine jeweils allgemeinere Definition des Umgebungsbegriffes verwendet.
Sofern die Topologie des Raumes nicht allzu 'verklumpt' ist, ist ein Punkt bereits dann Häufungspunkt, wenn in jeder Umgebung von ein von verschiedenes Folgenglied liegt.
Eine Folge kann einen, mehrere, sogar unendlich viele Häufungspunkte besitzen, zwischen denen sie in ihrem Verlauf „hin- und herspringt“. Ebenso gibt es Folgen, die keinen Häufungspunkt besitzen.
In einem kompakten Raum besitzt jede unendliche Folge einen Häufungspunkt (zum Beispiel in einem beschränkten und abgeschlossenen Teilbereich des reellen Raumes).
Der Grenzwert einer konvergenten Folge ist immer auch Häufungspunkt der Folge, denn per Definition enthält jede noch so kleine Umgebung des Grenzwertes alle bis auf endlich viele Folgenglieder. In metrischen Räumen und allgemeiner in Hausdorff-Räumen ist der Grenzwert einer konvergenten Folge eindeutig und ist auch der einzige Häufungspunkt der Folge.[1] In allgemeineren topologischen Räumen kann eine Folge gleichzeitig sowohl einen Grenzwert besitzen als auch einen Häufungspunkt, der kein Grenzwert ist.[2]
Hat eine Folge einen Grenzwert, so konvergieren alle Teilfolgen gegen diesen. Für einen Häufungspunkt ist es hinreichend, dass eine Teilfolge gegen den Häufungspunkt konvergiert. Jeder Häufungspunkt einer Teilfolge ist auch Häufungspunkt der Ausgangsfolge. Im Raum der reellen Zahlen (und allgemeiner in allen das erste Abzählbarkeitsaxiom erfüllenden topologischen Räumen) gibt es zu jedem Häufungspunkt eine Teilfolge, die gegen diesen Häufungspunkt konvergiert.
Vorausgesetzt, die Menge der Häufungspunkte einer beschränkten reellen Zahlenfolge sei nichtleer, beschränkt und außerdem abgeschlossen, wird der Limes superior (zu deutsch „oberer Limes“ oder „oberer Grenzwert“) als der größte Häufungspunkt dieser Folge definiert, geschrieben .
Dabei gilt: ist größter Häufungspunkt einer Folge genau dann, wenn für jedes im Intervall unendlich viele, im sich anschließenden Intervall dagegen höchstens endlich viele (weitere) Folgenglieder anzutreffen sind.
Analog wird der Limes inferior (zu deutsch „unterer Limes“ oder „unterer Grenzwert“) als der kleinste Häufungspunkt einer beschränkten reellen Zahlenfolge definiert. Es gilt .
Limes superior und Limes inferior lassen sich auf die erweiterten reellen Zahlen verallgemeinern und schließen dann für nach oben unbeschränkte Folgen den Wert und für nach unten unbeschränkte Folgen als Häufungspunkte ein. Zur Unterscheidung werden und in diesem Zusammenhang oft als uneigentliche Häufungspunkte bezeichnet.[3] Unter Einschluss der uneigentlichen Häufungspunkte existieren Limes superior und Limes inferior dann nicht nur für beschränkte, sondern für alle beliebigen reellen Zahlenfolgen.
In einem topologischen Raum sei ein Punkt aus und eine Teilmenge von . Man bezeichnet als Berührpunkt (auch Adhärenzpunkt) von , wenn in jeder Umgebung von mindestens ein Punkt von liegt. heißt Häufungspunkt von , wenn in jeder Umgebung von mindestens ein Punkt von liegt, der von verschieden ist.[4] Man kann Mengenhäufungspunkte also so charakterisieren, dass diese durch andere Elemente der Menge beliebig genau approximiert werden können. Die Menge aller Häufungspunkte einer Menge wird als Ableitung der Menge bezeichnet. Die Menge aller Berührpunkte von heißt Abschluss von und wird als geschrieben.
In topologischen Räumen ist:[4]
In diesem Zusammenhang heißt Häufungspunkt von im engeren Sinne (oder eigentlicher Häufungspunkt[5]), wenn jede Umgebung von unendlich viele gemeinsame Punkte mit hat.[4]
In einem T1-Raum sind die Begriffe Häufungspunkt und Häufungspunkt im engeren Sinne äquivalent, und jeder Punkt ist unter der Voraussetzung, dass der Umgebungsfilter eines jeden Punktes des Raumes eine höchstens abzählbare Basis hat, genau dann ein Häufungspunkt von , wenn es eine aus Punkten von bestehende Folge gibt, die gegen konvergiert.[4]
Sei der Umgebungsfilter des Punktes im topologischen Raum . Man nennt
den Verdichtungsgrad der Menge im Punkt .[5] Für jede Kardinalzahl heißt ein -Häufungspunkt von , wenn .[4] Die -Häufungspunkte heißen maximale oder vollständige Häufungspunkte. Die -Häufungspunkte (lies Beth-1-Häufungspunkte) heißen Verdichtungs- oder Kondensationspunkte. Die Menge aller Punkte in , die Kondensationspunkte einer Menge sind, heißt Kondensation von und wird mit oder bezeichnet. In polnischen Räumen gilt für jede Menge .
heißt isolierter Punkt von , wenn er in liegt, aber kein Häufungspunkt von ist. heißt unverdichtet, falls er kein Verdichtungspunkt von ist. Mengen ohne isolierte Punkte heißen insichdicht. Mengen, die nur aus isolierten Punkten bestehen, heißen isolierte Mengen. In einem T1-Raum sind die abgeschlossene Hülle einer insichdichten Menge sowie die Vereinigung von insichdichten Mengen insichdicht.[6] Die relativ offenen Teilmengen einer insichdichten Menge sind auch insichdicht.[5] Die Vereinigung aller insichdichten Teilmengen von heißt der insichdichte Kern von . Mengen, deren insichdichte Kerne leer sind, heißen separiert. Jede isolierte Menge ist separiert, nicht aber umgekehrt.[7] In einem T1-Raum ist der insichdichte Kern von die bezüglich der Inklusion größte insichdichte Teilmenge von .[4] Abgeschlossene insichdichte Mengen heißen perfekt. In polnischen Räumen ist eine Menge genau dann perfekt, wenn .
Sei eine Teilmenge der reellen Zahlen. besteht also aus einem links halboffenen Intervall und einem einzelnen Punkt. Mit Ausnahme der sind alle Elemente von Häufungspunkte von . Die ist isoliert, weil beispielsweise das offene Intervall eine Umgebung von ist, die keinen weiteren Punkt aus enthält. Jedoch handelt es sich bei der um einen Berührpunkt der Menge, denn sie liegt selbst in jeder ihrer Umgebungen und ist ein Element der Menge .
Zusätzlich ist auch die Null Häufungspunkt von . Da das Intervall links offen ist, gibt es Punkte im Intervall, die beliebig nahe an der Null liegen. Somit muss jede Umgebung der Null auch einen Punkt des Intervalls enthalten. Aus gleichem Grund ist auch die Häufungspunkt von . Hier wird deutlich, dass ein Häufungspunkt von der Menge angehören kann, aber nicht muss.
Zuweilen werden statt Häufungspunkt auch die Wörter Häufungswert, -Punkt[7] oder Grenzpunkt[4] benutzt.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.