Ordnungsvollständigkeit ist ein Begriff aus der Algebra, speziell der Körpertheorie, der aber für beliebige geordnete Mengen definiert werden kann. Der Begriff der Ordnungsvollständigkeit erweist sich in der Ordnungstopologie für nicht zu „große“ geordnete Mengen als verwandt mit dem Begriff der Vollständigkeit in metrischen Räumen.

Eine Ordnung auf ${\displaystyle X}$ heißt ordnungsvollständig, falls eine der folgenden äquivalenten Bedingungen gilt:

• Jede nichtleere nach unten beschränkte Teilmenge besitzt ein Infimum.
• Jede nichtleere nach oben beschränkte Teilmenge besitzt ein Supremum. (Die sogenannte Supremumseigenschaft.)
• Jede nichtleere beschränkte Menge besitzt Infimum und Supremum.

Ist die Ordnungstopologie auf ${\displaystyle X}$ metrisierbar, dann ist die Ordnung ${\displaystyle (X,<)}$ genau dann ordnungsvollständig, wenn ${\displaystyle X}$ vollständig metrisierbar ist, d. h. wenn es eine Metrik auf ${\displaystyle X}$ gibt, die die Ordnungstopologie erzeugt und ${\displaystyle X}$ zu einem vollständigen metrischen Raum macht.

Der Begriff der Ordnungsvollständigkeit ist insbesondere in der Theorie der geordneten Körper von Bedeutung. Er ermöglicht die folgende Charakterisierung des Körpers der reellen Zahlen:

Ein geordneter Körper ist genau dann isomorph zu ${\displaystyle \mathbb {R} }$, wenn er ordnungsvollständig ist.^[1][2]

• Herbert Amann, Joachim Escher: Analysis I. Springer, 3-te Auflage, 2006, ISBN 978-3-7643-7756-4, S. 98
• Hermann Schichl, Roland Steinbauer: Einführung in das mathematische Arbeiten. Springer, 2012, ISBN 978-3-642-28645-2, S. 316–320
• A. H. Lightstone: Linear Algebra. Appleton-Century-Crofts, 1969 S. 178-180

• R: Verfürth: Analysis I. Skript, Ruhr-Universität Bochum, S. 35–42, insbesondere 42
• The Complete Ordered Field: The Real Numbers
• John J. O’Connor: Axioms for the Real numbers - Kapitel eines Analysis-Spripts der University of St Andrews

1. ↑ K.-U. Bux: Analysis I, Satz 8.4
2. ↑ D. Lenz: Analysis I, Kapitel 2.4