3
$\begingroup$

Let $f(x)$ be continuous for all $\mathbb R$. $\lim_{x\to\infty}f(x)=L_1$ and $\lim_{x\to-\infty}f(x)=L_2$ Where $L_1,L_2$ belong to $\mathbb R$.

Prove that $f(x)$ is bounded for all $\mathbb R$.

My problem with this conjecture: Isn't $f(x)$=$1/x$ a counterexample? In this case, $L_1,L_2=0$ and the function is not bounded. Did I miss something?

Thanks in advance.

  • 0
    @HaskellCurry: That is my answer. :)2012-12-29

5 Answers 5

1

Given the two limits, we can find $x_1 such that $m:=\min(L_1,L_2)-1\leq f(x) \leq \max(L_1,L_2)+1=:M$ for all $x\leq x_1$ and all $x\geq x_2$.

Now $f$ is continuous on the compact interval $[x_1,x_2]$, hence there exist $m'\leq M'$ such that $m'\leq f(x)\leq M'$ for all $x$ in $[x_1,x_2]$.

Finally, we see that $f$ is bounded above by $\max(M,M')$ and below by $\min(m,m')$ on $\mathbb{R}$.

5

Hint: It is likely that you already have a theorem to the effect a function which is continuous on a closed (bounded) interval is bounded on that interval. Perhaps it is in the form that such a function attains a maximum and a minimum.

Let $A$ be a negative number such that $f(x)$ is not far from $L_2$ for $x\lt A$, and let $B$ be a positive number such that $f(x)$ is not far from $L_1$ for $x\gt B$.

3

Proof: $\exists m<0: x and $\exists M>0: x>M\implies \left|f(x)-L_2\right|<1\iff L_2-1 Now in $[m,M]$, by continuity $f$ is bounded. Can you finish this off?

  • 0
    @pie You had written $L_1+1$ and not $L_1-1$ for the lower bound. Now $f$ is bounded by these numbers in $(-\infty,m)\cup (M,\infty)$ But we have to prove that itis bounded in $[m,M]$ don't we?2012-12-29
2

A different proof: by the existence of the limits, the function $f$ can be extended to a continuous function on $[-\infty,+\infty]$, which is compact (you can compose $f$ with $\tan$ and think instead of it as a function on $(-\pi/2,+\pi/2)$ extended to $[-\pi/2,\pi/2]$ if you're not comfortable with $[-\infty,+\infty]$).

A continuous image of a compact set is compact (or: a continuous function on a closed interval is bounded and attains its extremes, in the language of elementary analysis), so the extension of $f$ is bounded, and so is $f$.

1

by existence of 2 limits,f must be bounded in some neighbourhood of infinity and minus infinity say[-infinity,a]and [b,infinity] by some M.on [a,b] again f must be bounded by continity by N say.hence f must be bounded by max(M,N)