5
$\begingroup$

Here is a question from a past comprehensive exam:

Let $X$ be an arbitrary topological space. Prove that $G$ is open if and only if the closure of $G \cap \overline{A}$ and the closure of $G \cap A$ are equal for all $A \subset X$.

  • 0
    @girdav - yes that was the intended question; sorry if the original phrasing was unclear.2011-05-31

1 Answers 1

5

If $cl (G\cap cl(A))=cl(G\cap A)$ for any subset $A\subset X$, pick $A=X\setminus G$. It would follow that $cl (G \cap cl(X\setminus G))=\emptyset$, which means that $cl(X\setminus G)\subset X\setminus G$ and $X\setminus G$ is closed, which means $G$ is open.

For the converse, pick $G$ open. One inclusion is obvious $cl(G\cap A)\subset cl(G\cap cl(A))$.

Pick $x \in G\cap cl(A)$. Then $x \in G$ and $x \in cl(A)$. Pick $V$ an open neighborhood of $x$. Then $V_1=G \cap V$ is still an open neighbourhood of $x$. Then $x \in V_1$, and $V_1 \cap A \neq \emptyset$. Therefore $V\cap (G\cap A)=V_1\cap A\neq \emptyset$, i.e. $x \in cl(G\cap A)$. We proved that $ G \cap cl(A) \subset cl(G\cap A)$. Take the closure and get the other inclusion.