3
$\begingroup$

Prove or disprove: $(A_i)_{i=1}^\infty$ are closed subsets in a complete metric space. Assume that there is an open ball in the $\bigcup\limits_{i=1}^\infty A_i$ , so exists $k$ s.t $A_k$ contains an open ball as well.

Thank you!

  • 0
    it is homework, I couldn't find any example to disprove that but I have no clue how to start the proof, if it is true, so I will be glad to get a hint or direction...2011-10-25

1 Answers 1

8

Hint: Baire category theorem. If no $A_k$ contains an open ball, then all $A_k$'s are nowhere dense, hence $\bigcup_{k} A_k$ ...