Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am studying topology on my own, and I am having trouble proving the following.

For a Hausdorff, connected, locally euclidean paracompact space $X$, there exists a countable basis for $X$.

I think if I possibly get any countable open cover of $X$ which consists of coordinate balls (that is, homeomorphic to open ball in euclidean space) since each coordinate balls are second countable. However, I cannot get a clue of how to find them. Am I doing right?

share|cite|improve this question

Start with an open cover of $X$ by coordinate balls, and let $\mathscr{U}$ be a locally finite open refinement. Define a relation $\sim$ on $\mathscr{U}$ as follows: for $U,V\in\mathscr{U}$, $U\sim V$ iff there is a finite subset $\{U_1,\dots,U_n\}$ of $\mathscr{U}$ such that $U=U_1$, $V=U_n$, and $U_k\cap U_{k+1}\ne\varnothing$ for $k=1,\dots,n-1$. Clearly $\sim$ is an equivalence relation on $\mathscr{U}$. For $U\in\mathscr{U}$ let $[U]$ denote the $\sim$-equivalence class of $U$.

  1. Show that for each $U\in\mathscr{U}$, $\bigcup[U]=\bigcup\{V\in\mathscr{U}:V\sim U\}$ is open in $X$. Conclude that for all $U,V\in\mathscr{U}$, $U\sim V$.

  2. Show that $[U]$ is countable.

Conclude by using the idea that you described in the question.

share|cite|improve this answer
By 'for all $U,V\in\mathscr{U}$', you mean it has only one equivalence class? – Nemesis Aug 11 '12 at 9:38
@Nemesis: Yes, that’s exactly right. (Here’s where you use connectedness.) – Brian M. Scott Aug 11 '12 at 9:40
Thanks for your reply. I get it now. – Nemesis Aug 11 '12 at 9:44
I'm sorry but I am confused again. How do we know that? I think it is true if we admit infinite subset of $\mathscr{U}$ but is it also true for finite subset?? – Nemesis Aug 11 '12 at 9:55
@Nemesis: How do we know what? – Brian M. Scott Aug 11 '12 at 12:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.