## [Lindelöf-Raum](/de/node/61208) Definition Ein topologischer Raum, in dem jede offene Überdeckung eine abzählbare Teilüberdeckung besitzt. ## Prinzip Prinzip Das globale Überdeckungsverhalten wird durch abzählbare Teilmengen kontrolliert: keine offene Überdeckung erfordert eine nicht‑abzählbare Auswahl, um den Raum zu überdecken. ## Demonstration Demonstration Jeder kompakte Raum ist Lindelöf, da jede offene Überdeckung eine endliche Teilüberdeckung besitzt; abzählbar‑basige Räume wie R sind ebenfalls Lindelöf, indem man Basismengen wählt, die in Überdeckungsmitglieder eingebettet sind. ## Fehlanwendung Fehlanwendung Lindelöf als gleichbedeutend mit Kompaktheit ansehen oder annehmen, es folge generell Abzählbarkeit der Basis; es gibt Lindelöf‑Räume, die nicht kompakt sind, und in gewissen Kontexten separable Räume, die nicht Lindelöf sind. ## Konsequenz Konsequenz Die Möglichkeit, eine abzählbare Teilüberdeckung zu extrahieren, vereinfacht viele Beweise mit Überdeckungen (Partitionsargumente, parakompakte Argumente in geeigneten Situationen) und steht in Wechselwirkung mit Separabilität und Abzählbarkeit der Basis unter zusätzlicher Struktur. ## Umkehrung Umkehrung Ein nicht‑Lindelöf‑Raum besitzt mindestens eine offene Überdeckung ohne abzählbare Teilüberdeckung; ein extremes Beispiel ist ein nicht abzählbarer diskreter Raum, dessen Überdeckung durch Singletons keine abzählbare Teilüberdeckung hat. ## Abgrenzung Abgrenzung Eigenschaft bezüglich offener Überdeckungen in topologischen Räumen und unabhängig von Trennaxiomen; sie erzwingt keine Endlichkeitsbedingungen wie Kompaktheit noch lokale Abzählbarkeit der Basis. ## Semantische Spannung Semantische Spannung Nähe zur Kompaktheit, aber schwächer: Kompaktheit verlangt endliche, Lindelöf nur abzählbare Teilüberdeckungen; außerdem besteht eine konzeptionelle Spannung zu verwandten Überdeckungseigenschaften (σ‑Kompaktheit, Parakompaktheit). ## Synthese Synthese Lindelöf‑Eigenschaft bedeutet, dass jede offene Überdeckung eine abzählbare Teilüberdeckung besitzt, eine abgeschwächte Form der Kompaktheit bezüglich Abzählbarkeit, die in Kombination mit zusätzlichen Strukturannahmen mit anderen Zählbarkeits‑ und Trennungseigenschaften interagiert.