PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
completeness principle (Axiom)

The completeness principle is a property of the real numbers, and is one of the foundations of real analysis. The most common formulation of this principle is that every non-empty set which is bounded from above has a supremum.

This statement can be reformulated in several ways. Each of the following statements is equivalent to the above definition of the completeness principle:

  1. The limit of every infinite decimal sequence is a real number.
  2. Every bounded monotonic sequence is convergent.
  3. A sequence is convergent iff it is a Cauchy Sequence.




"completeness principle" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: convergent sequence, existence of square roots of non-negative real numbers, bounded complete

Other names:  completeness Axiom, completeness principle, least upper bound property
Log in to rate this entry.
(view current ratings)

Cross-references: Cauchy sequence, iff, convergent, monotonic, bounded, sequence, infinite, limit, supremum, bounded from above, analysis, foundations, real numbers, property
There are 10 references to this entry.

This is version 9 of completeness principle, born on 2002-02-19, modified 2005-06-10.
Object id is 2171, canonical name is AxiomOfAnalysis.
Accessed 17107 times total.

Classification:
AMS MSC54E50 (General topology :: Spaces with richer structures :: Complete metric spaces)

Pending Errata and Addenda
None.
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)