every second countable space is separable

Theorem 1.

[1]Every second countable space is separable.

Proof.

Let $X$ be a second countable space and let $\\cal B$ be a countable base.For every non-empty set $B$ in $\\cal B$ , choose a point $x_{B}\\in B$ . The set $A$ of all such points $x_{B}$ is clearly countable and it’s also densesince any open set intersects it and thus the whole space is the closure of $A$ .That is, $A$ is a countably dense subset of $X$ . Therefore, $X$ is separable.∎

References

1 J.L. Kelley, General Topology, D. van Nostrand Company, Inc., 1955.

单词	EverySecondCountableSpaceIsSeparable
释义	every second countable space is separable Theorem 1. [1]Every second countable space is separable. Proof. Let $X$ be a second countable space and let $\\cal B$ be a countable base.For every non-empty set $B$ in $\\cal B$ , choose a point $x_{B}\\in B$ . The set $A$ of all such points $x_{B}$ is clearly countable and it’s also densesince any open set intersects it and thus the whole space is the closure of $A$ .That is, $A$ is a countably dense subset of $X$ . Therefore, $X$ is separable.∎ References 1 J.L. Kelley, General Topology, D. van Nostrand Company, Inc., 1955.
随便看	VonNeumannAlgebrasOfDimensionGreaterThanOneContainNontrivialProjections von Neumann algebras of dimension greater than one contain non-trivial projections VonNeumannBernaysGodelSetTheory von Neumann-Bernays-Gödel set theory VonNeumannDoubleCommutantTheorem von Neumann double commutant theorem VonNeumannInteger von Neumann integer VonNeumannOrdinal von Neumann ordinal VonNeumannRegular von Neumann regular VonNeumannsErgodicTheorem Von Neumann’s ergodic theorem Voting voting vStefanZnam V⁢(I)=∅ implies I=R WaclawSierpinski Wacław Sierpiński WagnerCongruence Wagner congruence WagnerPrestonRepresentationTheorem Wagner-Preston representation theorem WagnersTheorem