Take the 2-minute tour ×
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.

If a sequence of closed subsets $\{F_k\}$ of $\mathbb{R}^n$ constitute a cover of $\mathbb{R}^n$ then the union of their interiors is dense in $\mathbb{R}^n$.

Let $x\in \mathbb{R}^n$, then$$x\in\bigcup_{k\in K}F_k$$ for $K$ in $\mathbb{N}$; if $$x\notin\overline{\bigcup_{k\in K}int(F_k)}$$ then there exist $r>0:B_r(x)$ is disjoint from $int(F_k)\;\forall k\in K$; which means $B_r(x)$ should be covered only by boundary type points. But I can tell (but not able to state mathematical) that there is no way a countable family of boundary point sets can cover an open subset of $\mathbb{R}^n$. How can I do?

share|improve this question
1  
Baire's category theorem springs to mind. I think it was asked on the site before, but I'm not sure where and when. –  Asaf Karagila Jul 15 '12 at 15:29
    
Consider the set $\overline B_{r/2}(x)$. The boundary of a set is closed and the boundary of a closed set is nowhere dense; so, I believe you can apply the Baire Category Theorem (version BCT3 in the link). –  David Mitra Jul 15 '12 at 16:48

1 Answer 1

up vote 2 down vote accepted

For this you definitely want the Baire category theorem. To show the basic idea clearly, I’ll prove first that some $F_k$ has non-empty interior.

Let $V_k=\Bbb R^n\setminus F_k$ for $k\in\Bbb N$. Each $V_k$ is open, and $\bigcap_{k\in\Bbb N}V_k=\varnothing$, so the Baire category theorem says that there is some $k\in\Bbb N$ such that $V_k$ is not dense in $\Bbb R^n$, and therefore $\operatorname{int}F_k\ne\varnothing$. (The Baire category theorem certainly applies to $\Bbb R^n$: the space is both complete metric space and locally compact Hausdorff!)

To get the desired result, you want to relativize this argument to an arbitrary non-empty open set in $\Bbb R^n$. That is, you want to show that if $U$ is a non-empty open set in $\Bbb R^n$, there is a $k\in\Bbb N$ such that $U\cap \operatorname{int}F_k\ne\varnothing$. This is easy: $U$ is a locally compact Hausdorff space, so the Baire category theorem applies to it, and you can just repeat the above argument within $U$.

It follows immediately that $\bigcup_{k\in\Bbb N}\operatorname{int}F_k$ is dense in $\Bbb R^n$.

share|improve this answer
    
Or, in case the Baire category theorem has only been proved for completely metrizable spaces in the course, note that an open set $U \neq \emptyset, X$ in a complete metric space $X$ is homeomorphically mapped to a closed set in the complete metric space $X \times \mathbb{R}$ by $f\colon U \to X \times \mathbb{R}, u \mapsto (u, 1/d(u,U^c))$, hence the Baire category theorem applies to it. –  t.b. Jul 15 '12 at 21:17

Your Answer

 
discard

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.