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
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.
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 ...
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 ...
Let be a countable basis of .Consider an open cover, =.To get prepared for the following deduction, we define two sets for convenience, := {:}, ′:=. A straight-forward but essential observation is that, = which is from the definition of base. [1]
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 ...
Main page; Contents; Current events; Random article; About Wikipedia; Contact us