I am having difficulties beginning a proof for the following statement:
Use a proof strategy of bisection to prove that every function f:[a,b]→R that is not bounded above is discontinuous at some point c∈[a,b] (and discontinuous from the right or left if c=a or b, respectively.
Although the strategy is given, I am having trouble getting started. Furthermore, how would I use this bisection argument to prove that if f:[a,b]→R is continuous and sup{f(x):a≤x≤b}=M, then f(c)=M for some c∈[a,b]. I believe that this is a reformulation of the Extreme Value Theorem.
Many thanks in advance. I am using the textbook Introduction to Analysis by Arthur Mattuck.
Answer
If f:[a,b]→R
is not bounded above,
there is a point x1∈[a,b]
such that
f(x1)>1.
Divide [a,b]
into two parts
[a,x1] and [x1,b].
In one of these parts,
there is an x2
such that
f(x2)>2
(by the unboundedness of f).
The width of this interval
is ≤b−a2.
Again,
divide that part
at x2 into two parts.
The width of each of these parts
is ≤b−a4,
and there must be an
x3 in one of these parts
such that
f(x3)>3
(or f(x3)> some large value if you want).
Repeating this,
after the n-th division,
there is an interval
or width ≤b−a2n−1
with a point xn
such that
f(xn)>n.
This sequence of points
(xn)
converges to a limit
and f(xn)
is unbounded,
so f can not be continuous
at the limit.
No comments:
Post a Comment