[Math] Uniform continuity on an open interval

uniform-continuity

Suppose I want to check if $f(x)$ is uniform continuous on a bounded interval $I$ (for eg open interval $(0,1)$), given that it is continuous on $I$. How do I do that?

My approach: Take $\bar{I}$, then two case can happen:

Case I: If I can continuously extend the function, then $f(x)$ is uniformly continuous on $I$.

Case II: If I cannot extend the function continuously, then two sub cases are possible

Subcase II a: $f(x)$ is tends to an infinite limit i.e. it shoots up/down arbitrarily for eg functions like $\frac{1}{x}$. In which case I conclude that $f$ is not uniformly continuous on $I$.

Subcase II b: $f(x)$ doesn't have a limit i.e. function of the type sin$\frac{1}{x}$. In this case as well $f(x)$ is not uniform continuous on $I$.

So is my above classification of continuous function sufficient to determine which functions are uniform continuous and which are not? So far it had worked well for me.

Best Answer

Yes, that is correct. In fact, assuming that the domain of $f$ is $(a,b)$:

  1. If both limits $\lim_{x\to a^+}f(x)$ and $\lim_{x\to b^-}f(x)$ exist, then $f$ is uniformly continuous, because you can define$$\begin{array}{rccc}F\colon&[a,b]&\longrightarrow&\mathbb R\\&x&\mapsto&\begin{cases}\lim_{x\to a^+}f(x)&\text{ if }x=a\\f(x)&\text{ if }x\in(a,b)\\\lim_{x\to b^-}f(x)&\text{ if }x=b.\end{cases}\end{array}$$Then $F$ is continuous and, since its domain is a closed and bounded interval, $F$ is unifomly continuous. In particular, $f$ is uniformly continuous.
  2. If the limit $\lim_{x\to a^+}f(x)$ doesn't exist, then $f$ cannot be uniformly continuous because then either $\lim_{x\to a^+}\bigl\lvert f(x)\bigr\rvert=+\infty$ or there will two real numbers $m$ and $M$, with $m<M$, such that the inequalities $f(x)>M$ and $f(x)<m$ will occur for values of $x$ arbitrarily close to $a$. It is easy to prove that each possibility is incompatible with the fact that $f$ is uniformly continuous.
  3. The case in which the limit $\lim_{x\to b^-}f(x)$ doesn't exist is similar.
Related Question