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 .
Every locally compact group which is first-countable is metrisable as a topological group (i.e. can be given a left-invariant metric compatible with the topology) and complete. If furthermore the space is second-countable, the metric can be chosen to be proper. (See the article on topological groups.)
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.
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 σ ...
Every second-countable space is first-countable, separable, and Lindelöf. Semilocally simply connected A space X is semilocally simply connected if, for every point x in X, there is a neighbourhood U of x such that every loop at x in U is homotopic in X to the constant loop x. Every simply connected space and every locally simply connected ...
G is a second countable locally compact (Hausdorff) space. G is a Polish, locally compact (Hausdorff) space. G is properly metrisable (as a topological space). There is a left-invariant, proper metric on G that induces the given topology on G. Note: As with the rest of the article we of assume here a Hausdorff topology.
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 ...
A compact metric space (X, d) also satisfies the following properties: Lebesgue's number lemma: For every open cover of X, there exists a number δ > 0 such that every subset of X of diameter < δ is contained in some member of the cover. (X, d) is second-countable, separable and Lindelöf – these three conditions are equivalent for metric ...