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.

Asaf's argument : (ZF) If $\mathbb{R}^k$ is a countable union of closed sets, then at least one has a nonempty interior

Let $X$ be a separable complete metric space. Let $D$ be a countable debse subset. Let $F$ be a closed subset with empty interior.

Here, how do i show that $D\setminus F$ is dense?

Ive been trying to figure it out for a day, and still stuck here..

share|improve this question
    
The link actually points to Brian's answer... :-) –  Asaf Karagila Aug 13 '12 at 18:43
add comment

4 Answers

up vote 2 down vote accepted

Let $U$ be a non-empty open subset of $X$. Since $F$ is closed and has an empty interior we have that $U\setminus F$ is non-empty and open.

By density of $D$ we know that $D\cap(U\setminus F)=(D\setminus F)\cap U = (D\cap U)\setminus F$ is non-empty, therefore $D\setminus F$ is dense.

share|improve this answer
    
You surely mean: "Let $U$ be a non-empty open subset ..." :-) –  celtschk Aug 13 '12 at 17:07
1  
@celtschk: What did I write? :-) –  Asaf Karagila Aug 13 '12 at 17:07
    
@Asaf is it really obvious thing, which can be done just by thought..? I even had to take some time to check this.. –  Katlus Aug 13 '12 at 17:28
    
@Katlus: Say what? I don't understand your last comment. –  Asaf Karagila Aug 13 '12 at 17:43
add comment

Choose an arbitrary nonempty open set $U$. Then $U$ is also Polish, and $D\cap U$ is countable dense and $F\cap U$ is a closed subset with empty interior. So it is enough to show that $D\setminus F$ is nonempty. But if a closed set contains a dense set, it is the entire space, which is a contradiction.

share|improve this answer
add comment

Let $D$ be a countable dense subset. Let $F$ be a closed subset of $X$ such that $\text{Int}(F) = \emptyset$. Let $U$ be any nonempty open set. $U \cap (X - F)$ is a nonempty open set because if $U \cap (X - F) = \emptyset$, then $U \subset F$, which contradicts $\text{Int}(F) = \emptyset$. Since $U \cap (X - F)$ is nonempty open and $D$ is dense, there exists $d \in D$ such that $d \in U \cap (X - F)$. Hence there exists a $d \in D - F$ such that $d \in U$. $U$ is arbitrary so $D - F$ is dense.

share|improve this answer
add comment

Regardless of the topological space, $$\overline{ D \setminus F } = \overline{ D \cap ( X \setminus F ) } = \overline{ \overline{D} \cap ( X \setminus F ) } = \overline{ X \cap ( X \setminus F ) } = \overline{ X \setminus F } = X \setminus \mathrm{Int} ( F ) = X \setminus \emptyset = X.$$ (I use the result here.)

share|improve this answer
    
Really nice. Thank you –  Katlus Aug 13 '12 at 17:49
add comment

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.