Namespaces
Variants
Actions

Difference between revisions of "Dedekind theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(reword, cite Dedekind (1963))
(One intermediate revision by one other user not shown)
Line 1: Line 1:
''on the continuity of the real axis''
+
{{TEX|done}}
  
For any cut <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305601.png" /> of the set of real numbers (see [[Dedekind cut|Dedekind cut]]) there exists a real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305602.png" /> which is either the largest in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305603.png" /> or the smallest in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305604.png" />. This statement is also known as the Dedekind principle (axiom) of continuity of the real axis (cf. [[Real number|Real number]]). The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305605.png" /> is the least upper bound of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305606.png" /> and the greatest lower bound of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030560/d0305607.png" />.
+
''on the continuity of the real axis; Dedekind principle, Dedekind axiom''
 +
 
 +
A form of the [[continuity axiom]] for the [[real number]] system in terms of [[Dedekind cut]]s.  It states that for any cut $A|B$ of the set of real numbers there exists a real number $\alpha$ which is either the largest in the class $A$ or the smallest in the class $B$. The number $\alpha$ is the [[least upper bound]] of $A$ and the [[greatest lower bound]] of $B$.
 +
 
 +
 
 +
====References====
 +
* Richard Dedekind, "Essays on the Theory of Numbers" (tr. W.W.Beman) Dover (1963) [1901] ISBN 0-486-21010-3 {{ZBL|32.0185.01}} {{ZBL|0112.28101}}

Revision as of 20:45, 17 December 2016


on the continuity of the real axis; Dedekind principle, Dedekind axiom

A form of the continuity axiom for the real number system in terms of Dedekind cuts. It states that for any cut $A|B$ of the set of real numbers there exists a real number $\alpha$ which is either the largest in the class $A$ or the smallest in the class $B$. The number $\alpha$ is the least upper bound of $A$ and the greatest lower bound of $B$.


References

How to Cite This Entry:
Dedekind theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dedekind_theorem&oldid=17055
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article