PDA

View Full Version : How to write a mathematically rigorous definition of completeness


royzizzle
Oct10-09, 01:22 AM
I know that the definition of completeness is that a set contains the limits of rational numbers.

and I know the definition of convergence is that for all e>0 there exists N such that for n>=N |xn - x| < e where x is the limit of the sequence.

how to combine the two?
thanks in advance

neb5588
Oct10-09, 02:49 AM
I know the definition in terms of metric spaces, so maybe this is what youre looking for....

A metric space (E,d) is called complete if every Cauchy sequence in E converges in E.

of course the definition for cauchy sequence is a sequence given any e>0
there is a positive integer N such that d(pm,pn) < e whenever n,m >N

HallsofIvy
Oct10-09, 08:22 AM
There are, in fact, six properties of the real numbers that are equivalent to "completeness".

1. The least upper bound property (every non-empty set having an upper bound has a least upper bound) and its "twin" the greatest lower bound property.

2. Monotone convergence (every increasing sequence having an upper bound converges and its "twin" that every decreasing sequence having a lower bound converges.)

3. The Cauchy Criterion (every Cauchy sequence converges)

4. The Bolzano-Weierstrass property (every bounded sequence contains a convergent subsequence.)

5. Every closed and bounded set is compact.

6. The set of all real numbers, with the usual metric, is a connected set.

Given any one of those you can prove the other five.