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 .
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. To further compare these two properties: An arbitrary subspace of a second-countable space is second countable; subspaces of separable spaces need not be separable (see below).
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 subspace; Lindelöf space: every open cover has a countable subcover; σ-compact space: there exists a countable cover by compact spaces; Relations:
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
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 ...
Every Polish space is second countable (by virtue of being separable and metrizable). [1]A subspace Q of a Polish space P is Polish (under the induced topology) if and only if Q is the intersection of a sequence of open subsets of P (i. e., Q is a G δ-set).
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.)
A Lindelöf space is compact if and only if it is countably compact. Every second-countable space is Lindelöf, [5] but not conversely. For example, there are many compact spaces that are not second-countable. A metric space is Lindelöf if and only if it is separable, and if and only if it is second-countable. [6] Every regular Lindelöf space ...