Search results
Results From The WOW.Com Content Network
In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base.More explicitly, a topological space is second-countable if there exists some countable collection = {} = of open subsets of such that any open subset of can be written as a union of elements of some subfamily of .
sequential space: a set is open if every sequence convergent to a point in the set is eventually in the set; first-countable space: every point has a countable neighbourhood basis (local base) second-countable space: the topology has a countable base; separable space: there exists a countable dense subset
Any second-countable space is separable: if {} is a countable base, choosing any from the non-empty gives a countable dense subset. Conversely, a metrizable space is separable if and only if it is second countable, which is the case if and only if it is Lindelöf.
Lindelöf space: every open cover has a countable subcover; σ-compact space: there exists a countable cover by compact spaces; Relations: Every first countable space is sequential. Every second-countable space is first-countable, separable, and Lindelöf. Every σ-compact space is Lindelöf. A metric space is first-countable. For metric spaces ...
The σ-locally finite notion is a key ingredient in the Nagata–Smirnov metrization theorem, which states that a topological space is metrizable if and only if it is regular, Hausdorff, and has a σ-locally finite base. [9] [10] In a Lindelöf space, in particular in a second-countable space, every σ-locally finite collection of sets is ...
A space is first-countable if every point has a countable local base. Second-countable. A space is second-countable if it has a countable base for its topology. Second-countable spaces are always separable, first-countable and Lindelöf. Lindelöf. A space is Lindelöf if every open cover has a countable subcover. σ-compact. A space is σ ...
Split interval, also called the Alexandrov double arrow space and the two arrows space − All compact separable ordered spaces are order-isomorphic to a subset of the split interval. It is compact Hausdorff, hereditarily Lindelöf, and hereditarily separable but not metrizable. Its metrizable subspaces are all countable. Specialization (pre)order
Lindelöf's lemma is also known as the statement that every open cover in a second-countable space has a countable subcover (Kelley 1955:49). This means that every second-countable space is also a Lindelöf space.