Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Let $X$ be a compact Hausdorff space and let $\{U_n\}$ be a countable collection of subsets that are open and dense in $X$. Show that the intersection $$\bigcap\limits_{n=1}^\infty U_n$$ is dense.

I tried to show that the closure of this intersection is equal to the intersection of the closures of each set, but I'm not getting anywhere.

Any help would be greatly appreciated.

share|cite|improve this question
This makes two questions in the last hour for which the answer is "Actually, this is the Baire Category Theorem..." Coincidence? – Pete L. Clark Dec 6 '11 at 4:13
Could "Student" be Baire himself looking for approval? – mathmath8128 Dec 6 '11 at 5:20
@aengle: ...and here I always thought that Student's actual surname was "Gosset"... :D – J. M. Dec 6 '11 at 9:55

What you are looking for is Baire's theorem. (The proof on Wikipedia is for a complete metric space, but the proof is similar for a compact Hausdorff space.)

share|cite|improve this answer

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.