Quantcast
Channel: Active questions tagged real-analysis - Mathematics Stack Exchange
Viewing all articles
Browse latest Browse all 8636

Problem with dense set

$
0
0

On ' Set theory with an introduction to real point sets'(Dasgupta, Abhijit ,2014) i found this exercise:

enter image description here

This is interesting because compare the topological (left,1) and order (right,2) definition of dense set.

(1) $A$ is dense in $X$ if $X\subseteq \overline{A}$.

! Ps. I considered $X$ as subset of $\mathbb{R}$ and then $\overline{A}$ is closure of $A$ (i.e. set of adherent point of $A$)

(2) forall $x,y\in X$ with $x<y$ there is $a\in A$ with $x<a<y$.

Recall also that: (3) $X$ is dense order if forall $x,y\in X$ with $x<y$ there is $z\in X$ with $x<z<y$.


My proof of 1)-->2): Let $x,y\in X$ with $x<y$.

For (3) exists $z\in X$ with $x<z<y$.

For (1) $z\in \overline{A}$. From definition of adherent point exists $c\in (x,y)\cap D$ and ok.


I have problem with 2)-->1) implication.If i considered $X=[0,1)\cup\{2\}$ and $A=[0,1)$ then it seems to me that: $X$ is a dense order, $A$ verified (2) but not (1) ($\overline{A}=[0,1]$).

What am I doing wrong?


Viewing all articles
Browse latest Browse all 8636

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>