Ein topologischer Raum, der eine abzählbare Basis besitzt (eine abzählbare Menge offener Mengen, sodass jede offene Menge als Vereinigung von Basismengen dargestellt wird).

Prinzip

Die Topologie wird durch eine abzählbare Familie von Grundgebieten erzeugt, sodass Umgebungen und offene Mengen mithilfe abzählbarer Bausteine beschrieben werden können.

Demonstration

Der euklidische Raum R^n: die Menge der offenen Kugeln mit rationalen Mittelpunkten und rationalen Radien ist abzählbar und bildet eine Basis, also ist R^n abzählbar‑basig.

Fehlanwendung

Zu folgern, Abzählbarkeit der Basis impliziere Kompaktheit oder dass beliebige Produkte abzählbar‑basiger Räume wieder abzählbar‑basig seien; das Produkt über eine nicht abzählbare Familie kann die Eigenschaft verlieren.

Konsequenz

Abzählbare Basis impliziert Separabilität und Lindelöf‑Eigenschaft; zusammen mit gängigen Trennaxiomen führt sie häufig zur Metrisierbarkeit und erlaubt viele Beweise per abzählbarer Approximation.

Umkehrung

Ein nicht abzählbar‑basiger Raum besitzt keinerlei abzählbare Basis; die Grundgebiete lassen sich nicht durch eine abzählbare Familie erfassen, wodurch viele abzählbare Techniken unbrauchbar werden.

Abgrenzung

Eigenschaft eines topologischen Raumes, bestimmt durch die Topologie; erhalten in Teilräumen und durch gewisse abzählbare Konstruktionen, aber nicht bei beliebigen Produkten oder ohne Trennaxiome.

Semantische Spannung

Spannung zur Separabilität: In metrischen Räumen gehen Separabilität und Abzählbarkeit der Basis oft Hand in Hand, in der allgemeinen Topologie jedoch impliziert Separabilität nicht notwendigerweise eine abzählbare Basis.

Synthese

Abzählbarkeit der Basis bedeutet, dass die Topologie aus einer abzählbaren Familie offener Mengen erzeugt wird, was abzählbare Methoden (Separabilität, Lindelöf) ermöglicht und unter zusätzlichen Trennbedingungen oft zur Metrisierbarkeit führt, aber nicht bei allen Konstruktionen erhalten bleibt.