[ Home ] [ Up ] [ Info ] [ Mail ]

Prove. Cantor’s principle. For every nested system of intervals [an, bn], n = 1, 2, 3, ... there exists one and only one real number common to all the intervals.


Proof. By the definition of nested intervals,


             ole.gif


and


             ole1.gif


Thus ole2.gif , and the sequences {an} and {bn} are bounded and respectively monotonic increasing and decreasing sequences. Consequently both converge to values that we will call a and b. We now wish to show that a = b.


We start by writing the following identity:


1)        b - a = (b - bn) + (bn - an) + (an - a)


Taking the absolute value of both sides we get


2)        |b - a| ole3.gif |(b - bn)| + |(bn - an)| + |(an - a)|


Now given any ε > 0, we can find an n0 such that for all n > n0


ole4.gif


Substituting ε /3 for |(b - bn)|, |(bn - an)| and |(an - a)| in 2) we get the inequality

 

4)        |b - a| < ε


Since ε is any positive number, necessarily b - a = 0 and a = b.



                                                Source: Spiegel. Real Variables. p. 21


[ Home ] [ Up ] [ Info ] [ Mail ]