2
$\begingroup$

So far, I have proved following two for a polish space $X$;

1.If $\{F_n\}$ is a family of closed subset of $X$, where $X=\bigcup_{n\in \omega} F_n$, then at least one $F_n$ has a nonempty inteior.

2.If $G_n$ is a dense open subset of $X$, then $\bigcap_{n\in \omega}G_n ≠ \emptyset$.

I have proved these two respectively, but can't prove the equivalence in ZF. ( I can prove the equivalence in ZF+AC$_\omega$ though)

  • 1
    If two statements are true, then they are equivalent. However, those two are equivalent for all topological spaces $X$ (as per Asaf's answer), which is something quite more substantial.2012-08-15
  • 0
    @tomasz: While you are very correct about the equivalence of two true statements (or even two provable statements); it is a good idea to know that there is an actual proof of the equivalence, so if in the future you want to prove *either* of them, one would be enough.2012-08-15
  • 0
    @AsafKaragila: But proving equivalence of two statements using assumptions strong enough to actually prove both of them is not really substantial, is it (except as a stepping stone in proof of one of them, perhaps)? That's why I said that what *is* somewhat substantial is the fact that they are equivalent even with weaker assumptions, i.e. without assuming that $X$ is Polish.2012-08-15
  • 0
    @tomasz: Don't get me wrong. I agree with you in general. However I also see the value of understanding the equivalence.2012-08-15
  • 0
    @AsafKaragila: well, it looks like we agree on both things, in this case. :)2012-08-15

1 Answers 1

3

First we observe that $G_n$ is open dense if and only if $F_n=X\setminus G_n$ is closed and has an empty interior. If $G_n$ is dense it intersects every open sets; so its complement does not contain any open set; and vice versa.

By De-Morgan laws we have that $\bigcap G_n=X\setminus\bigcup F_n$.

  • If the intersection of open dense is non-empty then the union of closed with empty interior is not everything.

  • If the union of closed sets with empty interior is not everything, the intersection of open dense is non-empty.