a compact metric space is second countable

Proposition.

Every compact metric space is second countable.

Proof.

Let $(X,d)$ be a compact metric space, and for each $n\in {\mathbb{Z}}^{+}$ define ${𝒜}_n=\{B(x,1/n):x\in X\}$, where $B(x,1/n)$ denotes the open ball centered about $x$ of http://planetmath.org/node/1296radius $1/n$. Each such collection is an open cover of the compact space $X$, so for each $n\in {\mathbb{Z}}^{+}$ there exists a finite collection ${ℬ}_n\subseteq {𝒜}_n$ that $X$. Put $ℬ={\bigcup }_{n=1}^{\mathrm{\infty }}{ℬ}_n$. Being a countable union of finite sets, it follows that $ℬ$ is countable; we assert that it forms a basis for the metric topology on $X$. The first property of a basis is satisfied trivially, as each set ${ℬ}_n$ is an open cover of $X$. For the second property, let $x,x_1,x_2\in X$, $n_1,n_2\in {\mathbb{Z}}^{+}$, and suppose $x\in B(x_1,1/n_1)\cap B(x_2,1/n_2)$. Because the sets $B(x_1,1/n_1)$ and $B(x_2,1/n_2)$ are open in the metric topology on $X$, their intersection is also open, so there exists $ϵ>0$ such that $B(x,ϵ)\subseteq B(x_1,1/n_1)\cap B(x_2,1/n_2)$. Select $N\in {\mathbb{Z}}^{+}$ such that . There must exist $x_3\in X$ such that $x\in B(x_3,1/2N)$ (since ${ℬ}_{2N}$ is an open cover of $X$). To see that $B(x_3,1/2N)\subseteq B(x_1,1/n_1)\cap B(x_2,1/n_2)$, let $y\in B(x_3,1/2N)$. Then we have

(1)

so that $y\in B(x,ϵ)$, from which it follows that $y\in B(x_1,1/n_1)\cap B(x_2,1/n_2)$, hence that $B(x_3,1/2N)\subseteq B(x_1,1/n_1)\cap B(x_2,1/n_2)$. Thus the countable collection $ℬ$ forms a basis for a topology on $X$; the verification that the topology by $ℬ$ is in fact the metric topology follows by an to that used to verify the second property of a basis, and completes the proof that $X$ is second countable.∎

It is worth nothing that, because a countable union of countable sets is countable, it would have been sufficient to assume that $(X,d)$ was a Lindelöf space.

Title	a compact metric space is second countable
Canonical name	ACompactMetricSpaceIsSecondCountable
Date of creation	2013-03-22 17:00:49
Last modified on	2013-03-22 17:00:49
Owner	azdbacks4234 (14155)
Last modified by	azdbacks4234 (14155)
Numerical id	17
Author	azdbacks4234 (14155)
Entry type	Theorem
Classification	msc 54D70
Related topic	MetricSpace
Related topic	Compact
Related topic	Lindelof
Related topic	Ball
Related topic	basisTopologicalSpace
Related topic	Cover
Related topic	BasisTopologicalSpace