Ein Punkt einer Menge, der eine Umgebung besitzt, die keine anderen Punkte der Menge enthält; äquivalent: ein Punkt der Menge, der kein Häufungspunkt ist.

Prinzip

Isolation bedeutet lokale Diskretheit: die Menge häuft sich nicht am Punkt, weil sich eine offene Umgebung findet, die frei von anderen Mengengliedern ist.

Demonstration

In der Menge {0} ∪ {1/n : n ∈ N} in R ist jedes 1/n isoliert durch ein hinreichend kleines Intervall, das andere 1/m ausschließt, während 0 kein isolierter Punkt ist, da sich 1/n bei 0 anhäufen.

Fehlanwendung

Die Annahme, isolierte Punkte seien in topologischen Argumenten vernachlässigbar, ist oft falsch: sie können Kompaktheits- oder Zusammenhangseigenschaften ändern (einige isolierte Punkte können den Zusammenhang zerstören oder den Abschluss beeinflussen).

Konsequenz

Die Identifikation isolierter Punkte trennt diskrete Komponenten von Häufungsstrukturen, vereinfacht lokale Analysen (z. B. Funktionendefinitionen auf isolierten Stellen) und klärt Konvergenzeigenschaften von Folgen.

Umkehrung

Das Gegenstück ist die Häufung: Punkte, deren jede Umgebung weitere Mengenglieder enthält. Wo Isolation vorliegt, fehlt lokal die Häufung.

Abgrenzung

Gilt in jeder Topologie; schließt Konzepte der distanzbasierten Isolation aus, sofern die Topologie nicht metrisch ist. Ein isolierter Punkt kann dennoch Randpunkt der Menge sein, falls sein Umfeld das Komplement berührt.

Semantische Spannung

Spannung besteht zu 'diskretem Punkt' und 'Atom' in der Maßtheorie: ein isolierter Punkt ist topologisch definiert und bedeutet nicht automatisch positive Maßmasse oder algebraische Atomizität.

Synthese

Ein isolierter Punkt ist ein Element einer Menge, das in einer Umgebung alleine steht: ein lokal diskretes Element, das das Fehlen von Ansammlungen an dieser Stelle anzeigt.