1
$\begingroup$

Take $\mathbb{R}$ as an example.

Order-theoretically, the set $\mathbb{R}$ of all real numbers can be developed as a complete totally ordered field, where "complete" indicates that the supremum axiom is imposed.

On the other hand, the set $\mathbb{R}$ happens to be topologically complete, in the sense that every Cauchy sequence in $\mathbb{R}$ converges in $\mathbb{R}$.

Is the order-theoretic completeness a notion developed independent of the concept of topological completeness, or is the converse true, or none of them is true? In general, what is a link between them?

$\endgroup$
  • $\begingroup$ The first is order-theoretic, not set-theoretic. $\endgroup$ – Ian Sep 12 '15 at 11:58
  • $\begingroup$ and the topology on $\mathbb R$ happens to be the order-topology ... $\endgroup$ – Hagen von Eitzen Sep 12 '15 at 11:59
  • $\begingroup$ Thank you. I corrected them. @Ian $\endgroup$ – Megadeth Sep 12 '15 at 11:59
  • $\begingroup$ @HagenvonEitzen: It seems that the present question is trivial to you. For some reason, not trivial to me. $\endgroup$ – Megadeth Sep 12 '15 at 12:00
  • $\begingroup$ @MauroALLEGRANZA: Thank you for your information. Don't get what your dots possibly mean. $\endgroup$ – Megadeth Sep 12 '15 at 12:07
1
$\begingroup$

The two concepts are strictly linked through the modern definitions of real number.

We have to consider Cantor's definition, based on Cauchy sequence, and Dedekind's one, based on Dedekind cuts.

Several axioms has been proposed to ensure the so-called "completeness" like :

See also Construction of the real numbers, Dedekind's Contributions to the Foundations of Mathematics and The Early Development of Set Theory; both Cantor and Dedekind was at the origins of :

  • foundations of analysis and definition of the structure of the set $\mathbb R$ of real numbers

  • point set topology

  • set theory.

$\endgroup$
0
$\begingroup$

Well we have something called the order topology which we define on a totally ordered set. It can be thought of as the generalization of the standard topology given on $\Bbb{R}$.

You can read about order topology here : http://mathworld.wolfram.com/OrderTopology.html

$\endgroup$
  • 1
    $\begingroup$ How is this an answer to the question? $\endgroup$ – Najib Idrissi Sep 12 '15 at 13:48
-1
$\begingroup$

In high school you learn to work with the system ${\mathbb Q}$ of rational numbers, or with the smaller system ${\mathbb D}$ of finite (binary or) decimal fractions. While these systems are unproblematic for daily business they are unsatisfactory from a mathematical standpoint: Many important numbers that we know should be there, are missing; e.g., ${1\over3}\notin{\mathbb D}$, $\sqrt{2}\notin{\mathbb Q}$, etcetera.

There are various "bigtime" abstract constructions that fill in these holes, so that a homogeneous continuum of real numbers ${\mathbb R}$ results.

One such construction uses "Dedekind cuts" and produces a system ${\mathbb R}_{\rm Ded}$ that is so called order complete. Another construction uses "Cauchy sequences" and produces a system ${\mathbb R}_{\rm Cau}$ that is metrically complete.

Whichever approach you take, you can prove at the end that your ${\mathbb R}_{\rm Ded}$ is in fact also metrically complete, resp. that your ${\mathbb R}_{\rm Cau}$ is in fact also order complete – the reason being that ${\mathbb R}_{\rm Ded}$ and ${\mathbb R}_{\rm Cau}$ are "isomorphic".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.