# Equivalent conditions in a topological space

Let $X$ is a topological space prove that the following conditions are equivalent

1. for every $A \subseteq X$, $A$ is open in the subspace of $\operatorname{cl}A$
2. for every $A \subseteq X$, there are $U,K \subseteq X$ such that $U$ is open and $K$ is closed and $A=U\cup K$
3. for every $A\subseteq X$, $\operatorname{cl}A\setminus A$ is closed in $X$
4. for every $A\subseteq X$, $\operatorname{cl}A\setminus A$ is discrete in $X$
5. every dense subset of $X$ is open
6. find an example of non discrete spece that satisfies these conditions.
-
Please put your text in a Latex format, it is unreadable –  Alan Simonin Jan 23 '13 at 22:09
sorry i can not use latex –  mms Jan 23 '13 at 22:11
mms, since you're new, you might learn a lot by checking out the FAQ. You can find a link to the FAQ in the upper right corner of the page next to the search box. Here is a link on how to ask questions: math.stackexchange.com/questions/how-to-ask Regarding LaTeX, I think if you look into it you will find that you can learn enough to clean up your question in a short amount of time. The English in your question is a bit confusing also. If it is translated consider finding someone to help with it. Right now I cannot read and understand your question at all. –  Todd Wilcox Jan 23 '13 at 22:17
@Alan: It was not in the least unreadable. It even used correct symbols rather than ASCII substitutes. The main problem was that the OP didn’t realize that double-spacing or trailing blanks are required in order to get a new line. –  Brian M. Scott Jan 23 '13 at 22:23
There’s a basic tutorial here on how to write math on this site. –  Brian M. Scott Jan 23 '13 at 22:26

$\newcommand{\cl}{\operatorname{cl}}$I’ll do part of it and leave part as hints.

It should be very easy to prove that $(1)$ and $(3)$ are equivalent. It’s also pretty easy to prove that $(1)$ implies $(5)$: if $A$ is dense in $X$, then $\cl A=X$, so ... ?

To prove that $(5)$ implies $(1)$, suppose that $A\subseteq X$; you want to show that $A$ is open in $\cl A$. Let $D=A\cup(X\setminus\cl A)$; show that $D$ is dense in $A$, and use the hypothesis $(5)$ to conclude that $D$ is open in $X$. From this you should have no trouble showing that $A$ is open in $\cl A$.

Once you’ve done all this, you’ll know that $(1),(3)$, and $(5)$ are equivalent. To show that these imply $(4)$, let $A$ be a subset of $X$, and let $D=\cl A\setminus A$; you want to show that $D$ is discrete. Show first that $X\setminus D$ is dense in $X$. Conclude that if $S\subseteq D$, then $X\setminus S$ is dense in $X$. Since you’re assuming the equivalent statements $(1),(3)$, and $(5)$, can then conclude that $X\setminus S$ is open for every $S\subseteq D$ and hence that every $S\subseteq D$ is closed in $X$. Then recall that if every subset of a set is closed, the set must be discrete.

It’s also not too hard to prove that $(5)$ is equivalent to $(2)$. Assume $(5)$. If $A$ is any subset of $X$, let $U=\operatorname{int}A$, the interior of $A$, and let $K=A\setminus U$. Certainly $U$ is open so we need only show that $K$ is closed. To do this, show that $X\setminus K$ is dense in $X$, hence open by $(5)$. Now assume $(2)$, and let $D$ be a dense subset of $X$. Let $A=X\setminus D$. By $(2)$ we can write $A=U\cup K$ for some open $U$ and closed $K$ in $X$. But $\operatorname{int}A=\varnothing$ (why?), so $U=\varnothing$, and $A=K$ is therefore closed, i.e., $D$ is open. Thus, $(1),(2),(3)$, and $(5)$ are equivalent, and they imply $(4)$.

I hve not yet suggested how to prove that $(4)$ implies $(1),(2),(3)$, and $(5)$, because this isn’t necessarily true for completely arbitrary topological spaces: the two-point space with the indiscrete topology satisfies $(4)$ but not $(5)$. Some additional hypothesis is necessary here.

Finally, for $(6)$ let $Y=\left\{\frac1n:n\in\Bbb Z^+\right\}$. If you find the right point $p\in\Bbb R$ and let $X=\{p\}\cup Y$ as a subspace of $\Bbb R$, you will have a space with the desired properties.

-
do someone have another solution for this question –  math Jan 26 '13 at 17:06