Lindelöf spaces

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkb:topology
gptkbp:definedIn A topological space in which every open cover has a countable subcover
gptkbp:doesNotImply compactness
second-countability
gptkbp:example any compact space
the Sorgenfrey line
the discrete topology on an uncountable set
the real line with standard topology
gptkbp:hasProperty topological spaces
https://www.w3.org/2000/01/rdf-schema#label Lindelöf spaces
gptkbp:implies every second-countable space is Lindelöf
every subspace is Lindelöf if the space is compact
gptkbp:namedAfter gptkb:Ernst_Leonard_Lindelöf
gptkbp:relatedTo compact spaces
second-countable spaces
separable spaces
gptkbp:usedIn gptkb:general_topology
gptkb:set-theoretic_topology
analysis
gptkbp:bfsParent gptkb:set-theoretic_topology
gptkbp:bfsLayer 6