0
$\begingroup$

Let X be a compact metrizable space. Would you help me to prove that X has a countable basis. Thanks.

  • 0
    One ingredient in the usual proof is to uwse that, instead of using ball neighborhoods $B(x,\epsilon) where $\epsilon$ is a real number, you can just use rational $\epsilon$ values. And from compactness you can choose large sets of points which uniformly pepper the space with each point epsilon close to one of the points. That's the basic idea as I recall for this.2012-11-10
  • 0
    @coffeemath I think you dropped a dollar sign there ;)2012-11-10
  • 2
    Jeremy: yes, dropped the dollar sign. Hope I don't drop an actual dollar. :)2012-11-10

1 Answers 1

7

HINT: For each positive integer $n$ let $\mathscr{U}_n=\left\{B\left(x,\frac1n\right):x\in X\right\}$; this is an open cover of $X$, so it has a finite subcover $\mathscr{B}_n$. Consider $\mathscr{B}=\bigcup_{n\in\Bbb Z^+}\mathscr{B}_n$.