5
$\begingroup$

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..

$\endgroup$
  • $\begingroup$ The link actually points to Brian's answer... :-) $\endgroup$ – Asaf Karagila Aug 13 '12 at 18:43
2
$\begingroup$

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.

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

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.

$\endgroup$
1
$\begingroup$

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.

$\endgroup$
1
$\begingroup$

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.)

$\endgroup$
  • $\begingroup$ Really nice. Thank you $\endgroup$ – Katlus Aug 13 '12 at 17:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.