[Math] Baby Rudin 2.26 Infinite subsets with limit points implies compactness

compactnessgeneral-topologymetric-spacesreal-analysis

Having some trouble with this question.

Let $X$ be a metric space in which every infinite subset has a limit
point. Prove that $X$ is compact. Hint: By Exercises 23 and 24, $X$
has a countable base. It follows that every open cover of $X$ has a
countable subcover ${G_n}$, $n = 1, 2, 3, ….$ If no finite
subcollection of ${G_n}$ covers $X$, then complement $F_n$ of $G_1 \cup \dots \cup G_n$ is nonempty for each $n$, but $\bigcap F_n$ is empty. If $E$
is a set which contains a point from each $F_n$, consider a limit
point of $E$, and obtain a contradiction.

I cannot justify the phrase "It follows that every open cover of $X$ has a countable subcover ${G_n}$, $n = 1, 2, 3, ….$", am I overlooking something simple? Is there a simple map between the countable base and any open subcover?

Best Answer

Let $\mathscr{B}$ be a countable base for $X$, and let $\mathscr{U}$ be an open cover of $X$. For each $x\in X$ there is a $U_x\in\mathscr{U}$ such that $x\in U_x$, and there is a $B_x\in\mathscr{B}$ such that $x\in B_x\subseteq U_x$. Let $\mathscr{B}_0=\{B_x:x\in X\}$; clearly $\mathscr{B}_0$ is a countable cover of $X$. The construction of $\mathscr{B}_0$ ensures that for each $B\in\mathscr{B}_0$ there is a $U_B\in\mathscr{U}$ such that $B\subseteq U_B$; let $\mathscr{V}=\{U_B:B\in\mathscr{B}_0\}$. I claim that $\mathscr{V}$ is a countable subcover of $\mathscr{U}$.

  • Clearly $\mathscr{V}\subseteq\mathscr{U}$.
  • $\mathscr{V}$ is indexed by the countable set $\mathscr{B}_0$, so $\mathscr{V}$ is countable.
  • Let $x\in X$; by construction $x\in B_x\in\mathscr{B}_0$, so $x\in B_x\subseteq U_{B_x}\in\mathscr{V}$, so $\mathscr{V}$ covers $X$.