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

From an old post in math stackexchange, I read a comment which goes as follows " I like to think of Baire Category Theorem as spiced up version of Cantor's Intersection Theorem". My question -----is it possible to derive the latter one using the former?

share|cite|improve this question
up vote 2 down vote accepted

The association between the two is the Baire Category Theorem for locally compact Hausaduff spaces used finite intersection property, whereas Cantor's intersection theorem give an infinite intersection property assuming the space is compact.

For a proof and discussion you can check wikipedia.

share|cite|improve this answer

Do you have a copy of Rudin's Principles of Mathematical Analysis? If you do, then problems 3.21 and 3.22 outline how this is done. Quoting here:

3.21: Prove: If $(E_n)$ is a sequence of closed and bounded sets in a complete metric space $X$, if $E_n \supset E_{n+1}$, and if $\lim_{n\to\infty}\text{diam}~E_n=0$, then $\cap_1^\infty E_n$ consists of exactly one point.

3.22: Suppose $X$ is a complete metric space, and $(G_n)$ is a sequence of dense open subsets of $X$. Prove Baire's theorem, namely, that $\cap_1^\infty$ is not empty. (In fact, it is dense in $X$. Hint: Find a shrinking sequence of neighborhoods $E_n$ such that $\overline{E_n}\subset G_n$, and apply Exercise 21.

Proving density isn't actually much harder than proving nonemptiness.

share|cite|improve this answer
yep i have sorry for late reply – Koushik Jan 4 '13 at 5:39

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.