Theorem: If R^k=countable union of closed sets F_n_ then there is one closed F_n_ with nonempty interior.(adsbygoogle = window.adsbygoogle || []).push({});

Equivalent statement: Let G_n_ be a open dense subset of X then take a countable intersection of these G_n_'s, the intersection is nonempty in fact it is dense in R^k.

So, i'm really not sure where to begin. This is a special case of Baire's theorem and is given as the last problem on chapter 2 of Rudin's PMA. Rudin's hint tells me imitate the proof of theorem 2.43 which proves that every perfect set in R^k is uncountable.

Can anyone give me a hint on where to begin with the hint!

It's easy to show that any finite intersection of dense open subsets is also open and dense in R^k. That's as far as I've gotten.

Please do not give the problem away.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# The Baire Category Theorem (RUDIN)

Loading...

Similar Threads - Baire Category Theorem | Date |
---|---|

B Some help understanding integrals and calculus in general | May 22, 2017 |

I Noether's theorem | Feb 26, 2017 |

I Proofs of Stokes Theorem without Differential Forms | Jan 24, 2017 |

Question about baire class 1 functions | Oct 17, 2010 |

Dense subspace of 1st category | Jul 28, 2009 |

**Physics Forums - The Fusion of Science and Community**