Namespaces
Variants
Actions

Difference between revisions of "Dedekind theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
(reword, cite Dedekind (1963))
Line 1: Line 1:
 
{{TEX|done}}
 
{{TEX|done}}
''on the continuity of the real axis''
 
  
For any cut $A|B$ of the set of real numbers (see [[Dedekind cut|Dedekind cut]]) there exists a real number $\alpha$ which is either the largest in the class $A$ or the smallest in the class $B$. This statement is also known as the Dedekind principle (axiom) of continuity of the real axis (cf. [[Real number|Real number]]). The number $\alpha$ is the least upper bound of $A$ and the greatest lower bound of $B$.
+
''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=40036
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article