8
$\begingroup$

This is second attempt of me to prove:

The Nested Interval Property implies the Axiom of Completeness of the real numbers.

Nested interval property: If $I_1 \supseteq I_2 \supseteq I_3 \dots$ are closed intervals then $\bigcap_n I_n$ is not empty.

Axiom of completeness: If $S$ is a non-empty set in $\mathbb R$ that has an upper bound then $S$ has a least upper bound.

A first attempt is here.

Please can you check my proof again?

Proof: Let $K$ be an upper bound of $S$. Pick $s \in S$. Let $I_1 = [s,K]$. If $K$ is not the least upper bound there is a smaller upper bound $K_2$. Let $I_2 = [s,K_2]$. And so on. If no $K_n$ is a least upper bound for $S$ then because of nested interval property the intersection $I=\bigcap_n I_n$ is non-empty. Also, it is closed. Then the maximum $M$ of $I$ is a least upper bound of $S$: For all $K_n$ it holds that all $s \in S$ are $\le K_n$. The $M$ is the limit of the sequence $K_n$ therefore also $s \le M$ for every $s$. Also $M$ is the least upper bound because if it is not the least upper bound then by the construction $K_n = M$ for some $n$ and there is a smaller upper bound $K_{n+1}$. Then $M \notin \bigcap_n I_n$ which contradicts that $M$ is the maximum in the closed set $\bigcap_n I_n$.

$\endgroup$
  • $\begingroup$ What if $S=\{0\}$, and $K_n=1=\frac1n$ for $n\in\Bbb Z^+$? Then $M=1\ne\sup S$. $\endgroup$ – Brian M. Scott Dec 19 '13 at 6:16
10
$\begingroup$

You need to make the gap between the upper bounds and $S$ shrink to $0$.

HINT: Given $s_n\in S$ and an upper bound $K_n$ of $S$, let $x_n=\frac12(s_n+K_n)$. If $x_n$ is an upper bound for $S$, let $s_{n+1}=s_n$ and $K_{n+1}=x_n$. If not, choose $s_{n+1}\in[x_n,K_n]$, and let $K_{n+1}=K_n$. Now consider the intervals $I_n=[s_n,K_n]$.

$\endgroup$
  • $\begingroup$ To finish the proof do I have to proof the two things: that $\bigcap_n I_n$ contains exactly one point and that this point is a least upper bound? $\endgroup$ – blue Dec 19 '13 at 7:23
  • $\begingroup$ @blue: Yes; for the first you can show that $\lim_{n\to\infty}(K_n-s_n)=0$. $\endgroup$ – Brian M. Scott Dec 19 '13 at 7:31
  • $\begingroup$ Thank you!! I appreciate your help! $\endgroup$ – blue Dec 19 '13 at 7:34
  • $\begingroup$ @blue: You’re welcome! $\endgroup$ – Brian M. Scott Dec 19 '13 at 7:38
  • 1
    $\begingroup$ Now, I could finally finish the proof: Let $K$ be an upper bound of $S$ and $s \in S$. Let $a_1 = s, b_1= K$ and $x_1 = {a_1 + b_1 \over 2}$. If $x_1$ is an upper bound of $S$ let $a_2 = a_1$ and $b_2 = x$ otherwise let $a_2=x$ and $b_2=K$. Let $I_n = [a_n,b_n]$. Then $I_n$ is a sequence of closed nested intervals hence by the nested interval property $\bigcap_n I_n$ is non-empty. Furthermore it contains exactly one point since the length of $I_n$ tends to $0$ (the lengths are strictly decreasing since $|I_{n+1}| = {|I_n| \over 2}$). $\endgroup$ – blue Dec 19 '13 at 8:22
4
$\begingroup$

Actually Nested Interval Theorem implies Completeness Axiom, only if you assume that Archimedean Property holds. Under this hypothesis, as Brian M. Scott mentioned earlier, you can make the gap between the upper bounds and S shrink to 0.

Completeness Axiom implies both Archimedean Property and Nested Interval Theorem!!!! Though in Non-Archimedean Ordered Fields (like the field of Rational Polynomials) the Nested Interval Property ALONE does not entails Completeness Axiom

So in a general setting, Completeness Axiom is equivalent to Nested Interval Property+Archimedean Property

$\endgroup$
  • $\begingroup$ I'm a little confused where the Archimedean property comes in. Abbott mentioned we need to assume that $(1/2^n) -> 0$ . I assume it comes in there, but I don't see it. I also don't see where it is used in the comment by blue above. Sorry for asking if the answer is obvious. $\endgroup$ – dylan7 Jul 29 '18 at 16:53
3
$\begingroup$

It's not valid in its current state: All you can conclude is that $M$ is an upper bound for $S$. What happens, say, if we choose $S = [0, 1]$ and a sequence

$$K_n = 2 + \frac 1 n$$

If our initial choice of $s$ is $0$, then our intervals are $$I_n = \left[0, 2 + \frac 1 n\right] \implies \bigcap_n I_n = [0, 2]$$

So $M = 2$.


The gap starts in the line beginning "Also $M$ is the ...."

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.