The question :
Let f:[1,∞)→R
be a continuous function such that limx→∞f(x)=L
Prove that the function is bounded.
My try :
By definition a continuous function f:[1,∞)→R
1. f
is continuous in (1,∞)
i.e ∀x0>1limx→x0f(x)=f(x0)
- f
continuous at 1+
i.e limx→1+f(x)=f(1)
as stated in the question's contitions :limx→∞f(x)=L⟺∀ε>0∃M∈R:x>M→|f(x)−L|<ε
Set ε=|f(1)−L|
Then exists M
such that x>M→|f(x)−L|≤|f(1)−L|
including when x=1
Set |f(1)−L|=K
This also implies thatM≥1
Thus we get x≥1→|f(x)−L|≤K⟺x≥1→L−K≤f(x)≤L+K
Thus f
is bounded.
However I feel that this proof doesnt work and I do not fully understand what I have done here actually (just tried to replicate the lecture notes of my professor)
I want to understand this question and the correct way to answer it.
Assistance will be greatly appreciated.
Answer
Since the comments seem to indicate that the OP is not familiar with the theorem that a continuous function f is bounded on a compact set, here is a simple proof for the special case of a closed bounded interval [a,b]⊂R.
Suppose for a contradiction that f is not bounded on [a,b]. Therefore it must be either unbounded above or unbounded below. Without loss of generality, assume f is unbounded above. (Otherwise replace f with −f.)
Now divide the interval into two subintervals, [a+(a+b)/2] and [(a+b)/2,b]. Now f must be unbounded on one of these subintervals. Repeating this procedure, we identify a sequence of closed bounded intervals [a,b]=I0⊃I1⊃I2⊃⋯ such that the length of In is (b−a)/2n, and f is unbounded on each of these intervals.
This means that we can choose points x0∈I0, x1∈I1, x2∈I2, etc. such that f(xn)>n for every n.
Now each In contains every xk for k≥n, and from this we can easily conclude that xk converges to some limit x. Since each xn is in [a,b] and [a,b] is closed, it contains all of its limit points, hence x∈[a,b].
By continuity of f, we must have
limn→∞f(xn)=f(x)
but this is impossible since f(xn)>n for every n.
Our assumption that f is unbounded on [a,b] is untenable, so f must be bounded after all.
No comments:
Post a Comment