3
$\begingroup$

Let $f$ be a continuous function on $\mathbb R$ such that $\lim_{x\to 0} f(\frac{1}{x})$ exists. Show that $f$ is uniformly continuous on $\mathbb R$.

My proof is as follows:

Let $n = \frac{1}{x}$ and $\lim_{r\to \infty} f(n)$ = $l$.

There exists a $M$ such that if $n \geq M$, $|f(n) - l|<\epsilon$.

Suppose $f$ is not uniformly continuous on $\mathbb R$.

Then for all $\epsilon > 0$, there exists a $\delta$ such that for some n, u belonging to R, $|n-u|<\delta$ $\implies$ $|f(n) - f(u)| \geq \epsilon$. Pick $u = M$, then f0r any $n$ such that $|n-u|<\delta$, we have $|f(n) - l| \geq \epsilon$. Contradiction.

Hence, $f$ is uniformly continuous.

I don't really know how to prove this. Can someone help please. Thanks

$\endgroup$
5
  • 1
    $\begingroup$ No, this really does not work. The second line of your proof makes no sense (what is $\epsilon$?). More seriously, the statement "$f$ is not uniformly continuous" is nothing at all as what you wrote. The negation of "for all $t$ exists $y$, $P(t,y)$" is not "for all $t$ exists $y$, not $P(t,y)$". $\endgroup$ Commented Apr 24, 2014 at 6:19
  • $\begingroup$ that is what my textbook write, battle introduction to real analysis $\endgroup$ Commented Apr 24, 2014 at 7:18
  • $\begingroup$ ok is not "for any n,u", but "some n,u" $\endgroup$ Commented Apr 24, 2014 at 7:19
  • $\begingroup$ Related: math.stackexchange.com/questions/75491/… $\endgroup$ Commented Apr 25, 2014 at 10:49
  • $\begingroup$ @MartinSleziak: I'd argue that it's not just related, it's pretty much a duplicate (after one line of reasoning). $\endgroup$ Commented Apr 25, 2014 at 10:54

2 Answers 2

3
$\begingroup$

(This is a relatively high-level answer, which may not be helpful to the OP but hopefully explains the underlying phenomenon at work.)

The condition that $\lim\limits_{x\to 0}f(1/x)$ exists means that we can extend $f$ to a continuous function on the one-point compactification of $\mathbb R$, and by compactness this extension (and hence $f$) is uniformly continuous.

Explicitly: Let $L=\lim\limits_{x\to 0}f(1/x)$. Define $g:S^1\to \mathbb R$ by $$g(\theta)=\begin{cases} f(\tan(\theta/2)) &\text{if } -\pi<\theta<\pi\\ L &\text{if } \theta=\pm \pi \end{cases}$$ Then $g$ is continuous, since $f$ and $\tan$ are continuous and as $\theta\to \pm \pi$ we have $\cot(\theta/2)\to 0$ so $$\lim\limits_{\theta\to \pm \pi}f\left(\frac{1}{\cot(\theta/2)}\right)=\lim\limits_{x\to 0}f(1/x)=L$$ and since $S^1$ is compact, it follows that $g$ is uniformly continuous. But $f = g(2\arctan(x))$ so is a composition of uniformly continuous functions, thus is uniformly continuous.

$\endgroup$
0
$\begingroup$

Note: This is tthe negation of uniform continuity of a function $f:\Bbb R\rightarrow\Bbb R$:

There exists $\varepsilon>0$ such that for each $\delta>0$ there exists $x,y\in\Bbb R$ such that $|x-y|<\delta$ and $|f(x)-f(y)|\geq\varepsilon$.

Proof: Now, let be $L=\lim_{x\rightarrow0} f(1/x)$. Let be $\varepsilon>0$. Then, there exists $\delta>0$ such that for each $x\in(-\delta,\delta)-\{0\}$ we have $|f(1/x)-L|<\varepsilon/2$.

Take a natural number $n>(1/\delta)+1$. Then, $f$ is uniformly continuous in the compact set $[-n,n]$ so there exists $\delta'\in(0,1)$ such for each $x,y\in[-n,n]$, if $|x-y|<\delta'$ then $|f(x)-f(y)|<\varepsilon$.

Now, take $x,y\in\Bbb R$ such that $|x-y|<\min(\delta,\delta')$. Let $A=(-\infty,-1/\delta)\cup(1/\delta,\infty)$. Let $B=[-n,n]$. We have tree options:

  • If $x,y\in A$, then $$|f(x)-f(y)|\leq|f(x)-L|+|f(y)-L|<\frac\varepsilon2+\frac\varepsilon2=\varepsilon$$
  • If $x,y\in B$, then $|f(x)-f(y)|<\varepsilon$, as we have already proved.
  • If, for example, $x\in A$ and $y\in B$, one of them is in $A\cap B$, so this is actually one of the former options. Indeed, suppose that $x\notin B$. Then we have that $|x|>1/\delta$ and $|x|>n$. Since $y\in B$, $|y|\leq n$. Then, $$|y|>|x|-|y-x|>n-\delta'>\frac1\delta+1-\delta'>\frac1\delta$$ so $y\in A\cap B$.
$\endgroup$
2
  • $\begingroup$ why when we take $n > \frac{1}{\delta} +1$, then f is uniformly continuous? $\endgroup$ Commented Apr 25, 2014 at 0:24
  • $\begingroup$ i can't really understand the your first case, can you explain more please thanks $\endgroup$ Commented Apr 25, 2014 at 0:33

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.