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 metrizable space is a G δ space. The same holds for pseudometrizable spaces. Every second countable regular space is a G δ space. This follows from the Urysohn's metrization theorem in the Hausdorff case, but can easily be shown directly. [3] Every countable regular space is a G δ space. Every hereditarily Lindelöf regular space is a ...
It is a perfect Polish space, which means it is a completely metrizable second countable space with no isolated points. As such, it has the same cardinality as the real line and is a Baire space in the topological sense of the term. It is zero-dimensional and totally disconnected. It is not locally compact.
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
Every finite topological space is a Baire space (because a finite space has only finitely many open sets and the intersection of two open dense sets is an open dense set [25]). A topological vector space is a Baire space if and only if it is nonmeagre, [26] which happens if and only if every closed balanced absorbing subset has non-empty ...
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.
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.
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 ...