Proving $1\over x^2$ is not uniformly continuous

2,900

Here is another way:

If $f$ was uniformly continuous, then for some $\delta>0$ we would have $f(x)-f(x+\delta) < 1$ for all $x$ such that $x,x+\delta \in (0,2]$.

Let $f(x) = {1 \over x^2}$, and let $\phi(x) = f(x)-f(x+\delta)$ for $x \in (0,2-\delta)$.

Since $f$ is bounded on any compact subinterval of $(0,2]$, we see that $\lim_{x \downarrow 0} \phi(x) = \infty$. Hence $f$ is not uniformly continuous.

Share:
2,900

Related videos on Youtube

Iff
Author by

Iff

I like maths.

Updated on February 10, 2020

Comments

  • Iff
    Iff over 3 years

    I need to show that $1 \over x^2$ is not uniformly continuous on the interval $(0,2]$ using the definition of uniform continuity.

    Definition of Uniform Continuity on a set A:

    Let $A \subseteq \Bbb R$, let $f:A \rightarrow \Bbb R$.

    $f$ is uniformly continuous if $ \forall \epsilon > 0$ $\exists \delta > 0$ such that if for any $x \in A$, $x$ satisfies the inequality:

    $|x - u| < \delta \implies |f(x) - f(u)| < \epsilon$

    To prove this function is not uniformly continuous by the given definition, I negated the definition such that:

    $f$ is not uniformly continuous on the interval $(0,2]$ whenever

    $\exists \epsilon_0 > 0$ $ \forall \delta > 0$ $\exists$ $x_\delta \in A$ satisfies $|x_\delta-u_\delta| < \delta $ but $|f(x_\delta) - f(u_\delta)| > \epsilon_0$

    I chose to let $\epsilon_0 = 2$

    For any $ 0< \delta < 2$ choose $x_\delta = \delta$ and $u_\delta$ = $\delta \over 2$

    Then $|x_\delta - u_\delta|$ = $|\delta -$ $\delta \over 2|$ = $\delta \over 2$

    But $|f(x_\delta) - f(u_\delta)|$ = |$1 \over \delta^2$ - $\frac 1 1 \over \delta^2$ | = |$(\frac 1\delta)^2 - \frac 2\delta^2)|$ = $3 \over \delta^2$ $> 2 = \epsilon_0$

    But on the interval $(0,2]$ this does not always hold true.

    Can anyone help me with this? I am thinking that my choice of $\delta$ is wrong but I'm not sure.

    • Bobson Dugnutt
      Bobson Dugnutt over 7 years
      Something's not right with the formatting in the third to last line.
    • copper.hat
      copper.hat over 7 years
      Your negation is incorrect, the 'whenever $x \in A$ should be 'there exists $x \in A$ satisfying'.
    • Iff
      Iff over 7 years
      Thank you, I will correct that.
    • Admin
      Admin over 7 years
      It doesn't make sense to define uniform continuity in a point $c$. That's only the definition of continuity in $c$.
    • Iff
      Iff over 7 years
      You're right @sigmabe thank you, I corrected the definition.
  • Iff
    Iff over 7 years
    Thank you. Unfortunately I must prove this using the definition. It's a study guide for an upcoming exam so I'm trying to understand using and negating the definition.
  • copper.hat
    copper.hat over 7 years
    Well, this shows that there is $\epsilon_0 = 1$ such that for all $\delta>0$ we can find some $x \in (0,2]$ such that $|f(x)-f(x+\delta)| \ge \epsilon_0$.
  • Iff
    Iff over 7 years
    Oh I see, thank you @copper.hat - so I can set $\epsilon_0$ = 1? I guess I was assuming I had to set it equal to the endpoint. If I set $\epsilon_0$ = 1 I think the rest of my proof works.
  • copper.hat
    copper.hat over 7 years
    To show that it is not uniformly continuous, you need to show that there exists some $\epsilon_0>0$ such that blah, blah, blah. With this particular function, any $\epsilon_0>0$ will work, so you can choose it to suit your computations.
  • Iff
    Iff over 7 years
    Thanks! I appreciate your help.
  • copper.hat
    copper.hat over 7 years
    Delighted to be able to help.