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

Order $\leq$ on the real numbers defined via Cauchy sequences

$
0
0

I like to define the real numbers $\mathbb{R}$ as equivalence classes $[(a_n)_{n\geq 0}]$ of Cauchy sequences $(a_n)_{n\geq 0}$ of rational numbers by the equivalence relation: $(a_n)_{n\geq 0}$ is in relation to $(a'_n)_{n\geq 0}$ iff the sequence $(a_n-a'_n)_{n\geq 0}$ converges to zero.

Now, given the order $\leq$ on the rational numbers, I would like to define the total order $\leq$ on $\mathbb{R}$ following this definition. Ideally, I would like to set $[(a_n)_{n\geq 0}] \leq [(a'_n)_{n\geq 0}]$ iff there exists an $N>0$ such that for all $n>N$ we have $a_n\leq a'_n$.

Does this already give me the correct (i.e. the usual) order?

Thanks!


Viewing all articles
Browse latest Browse all 8567

Trending Articles



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