Ein Punkt x in einem topologischen Raum heißt Häufungspunkt (oder Grenzpunkt) einer Menge S, wenn jede Umgebung von x mindestens einen von x verschiedenen Punkt aus S enthält; äquivalent: x liegt in der abgeleiteten Menge S'.

Prinzip

Häufungspunkte erfassen Grenzwerte von Folgen oder Netzen aus der Menge ohne Mitgliedschaft vorauszusetzen; sie spiegeln lokale unendliche Präsenz von S in der Nähe von x wider und sind zentral für Abschluss, Konvergenz und Kompaktheitsargumente.

Demonstration

Auf der reellen Zahlengeraden häufen sich die Werte 1/n in 0: jede Umgebung von 0 enthält unendlich viele 1/n. Dagegen ist ein isolierter Punkt wie 5 in {5} kein Häufungspunkt.

Fehlanwendung

Häufungspunkte mit Abschlusspunkten zu verwechseln, die zwingend in S liegen müssen, ist irreführend: Ein Häufungspunkt muss nicht in S liegen (z. B. 0 für {1/n}) und die Verwechslung mit isolierten Punkten verwischt die lokale Endlichkeitsstruktur.

Konsequenz

Richtig angewandt identifiziert man, wo Folgen konvergieren können, wo Grenzoperationen neue Punkte erzeugen, und man kann Mengen klassifizieren (abgeschlossene Mengen sind S ∪ S') sowie Kompaktheit prüfen (jede unendliche Teilmenge eines kompakten metrischen Raumes hat einen Häufungspunkt).

Umkehrung

Nur isolierte Punkte oder Mitgliedschaft zu betrachten kehrt die Idee um: man übersieht Punkte, die Grenzwerte von Elementen sind, und verpasst Konvergenzphänomene und die Struktur der abgeleiteten Menge.

Abgrenzung

Definiert in allgemeinen topologischen Räumen mittels Umgebungen oder Netzen; in nicht first-countable Räumen kann die folgenreihenbasierte Intuition versagen und Netze/Filter sind erforderlich. Schließt kombinatorische Häufung in diskreten endlichen Kontexten aus, sofern die Topologie sie nicht zulässt.

Semantische Spannung

Spannung zwischen dem Begriff 'limit point' in metrischen/folgensequentiellen Kontexten und 'cluster point', die von einigen Autoren synonym verwendet werden; die Problematik tritt bei Räumen ohne erste Abzählbarkeit auf, wo Folgen nicht alle Häufungspunkte erkennen.

Synthese

Ein Häufungspunkt ist der Ort, an dem eine Menge sich sammelt: Jede Umgebung enthält andere Mengenpunkte, was auf mögliche Grenzwerte von Folgen oder Netzen hinweist und zur Abschluss- und Kompaktheitstruktur beiträgt, auch wenn der Punkt nicht zur Menge gehört.