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.

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.
share|improve this question
    
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
2  
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

1 Answer 1

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

share|improve this answer
    
do someone have another solution for this question –  math Jan 26 '13 at 17:06

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.