Search results
Results From The WOW.Com Content Network
Any topological space that is itself finite or countably infinite is separable, for the whole space is a countable dense subset of itself. An important example of an uncountable separable space is the real line, in which the rational numbers form a countable dense subset.
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 .
In topology and related branches of mathematics, a Hausdorff space (/ ˈ h aʊ s d ɔːr f / HOWSS-dorf, / ˈ h aʊ z d ɔːr f / HOWZ-dorf [1]), T 2 space or separated space, is a topological space where distinct points have disjoint neighbourhoods.
A topological space X is connected if these are the only two possibilities. Conversely, if a nonempty subset A is separated from its own complement, and if the only subset of A to share this property is the empty set, then A is an open-connected component of X .
Moreover, a topological space (,) is said to be metrizable if there exists a metric for such that the metric topology () is identical with the topology . Polish . A space is called Polish if it is metrizable with a separable and complete metric.
A topological space with a countable dense subset is called separable. A topological space is a Baire space if and only if the intersection of countably many dense open sets is always dense. A topological space is called resolvable if it is the union of two disjoint dense subsets.
A Polish space with a distinguished complete metric is called a Polish metric space. An alternative approach, equivalent to the one given here, is first to define "Polish metric space" to mean "complete separable metric space", and then to define a "Polish space" as the topological space obtained from a Polish metric space by forgetting the metric.
The term symmetric space also has another meaning.) A topological space is a T 1 space if and only if it is both an R 0 space and a Kolmogorov (or T 0) space (i.e., a space in which distinct points are topologically distinguishable). A topological space is an R 0 space if and only if its Kolmogorov quotient is a T 1 space.