Thursday, 12 June 2014

real analysis - Starting Bisection Proof of Extreme Value Theorem



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):axb}=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 ba2.



Again,
divide that part

at x2 into two parts.
The width of each of these parts
is ba4,
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 ba2n1
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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...