45
$\begingroup$
  1. Can we explain between ordinary continuity and Uniform Continuity difference geometrically?

  2. What is the best way to describe the difference between these two concepts?

  3. Where the motivation of Uniform Continuity came from?

Thank You.

$\endgroup$
1

5 Answers 5

97
$\begingroup$

Here is how I see it:

enter image description here

Continuity is about for each given point to find proportions of a window $$ \mathrm{height}\times \mathrm{width}=2\varepsilon\times 2\delta $$ such that the graph passes through the sides, not the top or bottom. Or to be more precise, no points on the curve lie directly above or below the window.

Pointwise: A curve is pointwise continuous, if at each point it is possible for any given height $2\varepsilon$ to adjust the width $2\delta$ so that the curve passes through the sides of the window. Again, no points must lie directly above or below.

Uniform: A curve is uniformly continuous, if it for any given height $2\varepsilon$ is possible to find a width $2\delta$ of a window that works for the entire curve.

As you can see, the blue window works only for the lower part of the curve, whereas the red window works for the entire curve. Since this will be true for any given window height $2\varepsilon$, however small the width, the blue curve is NOT uniformly continuous. For the red curve, it is always possible to adjust the width $2\delta$ (make it small enough) so that the window will work for the entire curve.

Higher dimensions: For functions $F:\mathbb R^n\to\mathbb R$ with graphs in $\mathbb R^{n+1}$ and $y=F(x)$, replace the notion of a window with the notion of a cylinder: $\mathcal B_{\delta}(x)\times(y+[-\varepsilon,\varepsilon])$. Then no points must lie "above" or "below" that cylinder, in the sense that no point with its first $n$ coordinates contained in the first ball must lie outside the interval specified in the last coordinate.

And for $G:\mathbb R^n\to\mathbb R^m$ having $y=G(x)$ use a product of balls $\mathcal B_{\delta}(x)\times\mathcal B_{\varepsilon}(y)\subseteq\mathbb R^{n+m}$. Here no points with the first $n$ coordinates contained in the first ball must have the last $m$ coordinates escaping the second ball.

$\endgroup$
16
  • $\begingroup$ This is a very nice explanation. +1 $\endgroup$
    – Timbuc
    Apr 24, 2015 at 12:11
  • 2
    $\begingroup$ This is a fantastic answer. Follow-up question: for differentiable functions, does this mean that uniform continuity is equivalent to (or implied by) a bounded derivative? It seems that if $\lvert f'(x) \rvert < M$ for some $M$, then a window proportion of $M \times 1$ should work everywhere, right? $\endgroup$
    – wchargin
    Apr 26, 2015 at 4:50
  • 5
    $\begingroup$ By the way, you should add that diagram to the Wikipedia page, or release it into the public domain so that someone else can add it! (Well, all content is cc-wiki anyway, but it'd be nice to have explicit permission.) $\endgroup$
    – wchargin
    Apr 26, 2015 at 5:00
  • 1
    $\begingroup$ @WChargin: Thank you for your comments+suggestions, I will certainly add it as you proposed some time soon. Regarding derivatives, the impliation you write about $|f'(x)|<M$ leading to $1\times M$ working uniformly is true. The other direction does not hold, which the example of $g(x)=\sqrt x$ shows, i.e. $1\times 2$ works uniformly for $g$, but $g'(x)\to\infty$ as $x\to 0$. $\endgroup$
    – String
    Apr 26, 2015 at 6:36
  • 1
    $\begingroup$ cool, that makes sense—thanks! $\endgroup$
    – wchargin
    Apr 26, 2015 at 14:39
17
$\begingroup$

$\newcommand{\Reals}{\mathbf{R}}$Here's my "secret weapon" for detecting uniform continuity visually:

If $E$ is a bounded, non-empty set of real numbers and $f:E \to \Reals$ is a continuous function, then $f$ is uniformly continuous if and only if there exists a continuous extension $\overline{f}:\overline{E} \to \Reals$. (This assertion is true in much greater generality, e.g., if $E$ is a totally bounded, non-empty subset of a complete metric space. I'd say this theorem alone provides adequate justification for considering the concept of uniform continuity. :)

It follows at once that the following bounded functions are not uniformly continuous on the set $E = \Reals \setminus\{0\}$ of non-zero real numbers, but are uniformly continuous on $\Reals \setminus [-\delta, \delta]$ for every $\delta > 0$: $$ f(x) = \sin(1/x);\qquad g(x) = x/|x|. $$ The fact that $g$ is locally constant (vanishing derivative throughout its domain) highlights the global, domain-dependent nature of uniform continuity.

Similarly, if $\phi$ is continuous on $\Reals$ and $\phi(x) \to 0$ as $x \to 0$, then for every positive integer $k$, the function $h(x) = \phi(x) \sin(1/x^{k})$ is uniformly continuous on $(-1, 0) \cup (0, 1)$. (Setting $h(0) = 0$ defines a continuous extension; you can't make the sine factor oscillate rapidly enough to spoil this, no matter how "slowly" $|\phi|$ decays near $0$.)

For similar reasons, the polar angle function $\theta$ is not uniformly continuous on the plane with the closed unit disk and negative horizontal axis removed, even though the domain is connected and the gradient has bounded magnitude. (The angle $\theta$ "wants" to take both values $\pm\pi$ along the negative horizontal axis, so there's no continuous extension to the closure.)

$\endgroup$
4
  • 1
    $\begingroup$ "detecting uniform continuity visually" seems to me incredible. $\endgroup$
    – Piquito
    Apr 24, 2015 at 17:34
  • $\begingroup$ @LuisGomezSanchez: In the sense of being able to glance at a graph of a function of one variable (say) and decide quickly whether the function is or isn't uniformly continuous (such as with the examples mentioned), in the same way that calculus students are taught to recognize continuity or differentiability of a graph. :) $\endgroup$ Apr 24, 2015 at 18:25
  • $\begingroup$ I find this answer particularly insightful! (+1) $\endgroup$
    – String
    Apr 24, 2015 at 22:24
  • $\begingroup$ @user 86418 the theoretical serving your detecion is the fact that a continuous function on a compact is uniformly continuous. Regards. $\endgroup$
    – Piquito
    Apr 26, 2015 at 1:04
14
$\begingroup$

Consider the graph $y=f(x)$ of a function $f:{\mathbb R}\to{\mathbb R}$ and an arbitrarily thin "$\>\epsilon$-hose" $$F_\epsilon:=\bigl\{(x,y)\>\bigm|\> |y-f(x)|<\epsilon\bigr\},\qquad \epsilon>0,$$ around it. If $f$ is uniformly continuous then there is a $\delta>0$ such that all horizontally translated graphs $y=f_h(x):=f(x-h)$ with $|h|<\delta$ will fit into $F_\epsilon$.

If $f$ is not uniformly continuous then for some (whence for all suitably small) $\epsilon>0$ and all $n$ there are two points $x$, $x'$ with $|x-x'|<{1\over n}$ and $|f(x)-f(x')|\geq\epsilon$. It follows that any graph $f_h$ with $|h|>0$ will transcend the boundary of $F_\epsilon$ somewhere.

$\endgroup$
4
  • $\begingroup$ Very nice explanation. Thus, the graph of a unif. continuous function in some interval cannot be "too steep". +1 $\endgroup$
    – Timbuc
    Apr 24, 2015 at 8:12
  • 1
    $\begingroup$ @Timbuc: Well not entirely. The function $g(x)=\sqrt x$ that I consider in my answer is uniformly continuous although the graph becomes arbitrarily steep near $x=0$. $\endgroup$
    – String
    Apr 24, 2015 at 9:24
  • 2
    $\begingroup$ @String Hmmm....I think you're thinking of the function's derivative (slope) or something like that. I am more into considering difrerence of values of the function wrt the difference of the values of the variable. In $\;\dfrac1x\;$ , no matter how close you pick up two values of $\;x,y\;$, as we get closer and closer to zero the difference between $\;\dfrac1x\,,\,\dfrac 1y\;$ cannot be bounded (in the epsilon-delta sense). Not so with $\;\sqrt x\;$ , which values on $\;x,y\;$ are easily boundable no matter how close to zero we get. $\endgroup$
    – Timbuc
    Apr 24, 2015 at 12:10
  • $\begingroup$ @Timbuc: Indeed. And this is indeed a very nice answer! $\endgroup$
    – String
    Apr 24, 2015 at 18:29
5
$\begingroup$

Roughly speaking, the difference between continuity and uniform continuity is the same difference between the phrase "for any person $x_1$ exists another person $x_2$ such that $x_2$ is as tall as, or taller than, $x_1$" and "exists a person $x_2$ such that for any persons $x_1$, $x_2$ is as tall as, or taller than, $x_1$". The second one is stronger than the first one, because it postulates the existence of people with maximal height, while the second doesn't necessarily mean that. Well, to be precise the two sentences are equivalent but only because the set of all the people is finite. If we consider infinite sets the things change. For instance, the function $y = f(x) = 2 \, x$ enjoys the first property (pick $x_1 = x_2$) but not the second (a straight line has no maxima).

Uniform continuity does not only require that you can make the output of a function getting closer to its limit for a given input point, by getting the inputs closer to the point itself: It also requires that you do not need to know which is the point to know how close your inputs must be. See it as a game where your adversary starts by choosing a point $x_0$ and a distance $\epsilon$ from the limit, then you answer with a distance $\delta$, then the adversary chooses a point $\hat{x}$ that has at most distance $\delta$ from $x_0$, and you win if $f(\hat{x})$ has at most distance $\epsilon$ from the limit. In this game $f$ is continuous iff you can always win (i.e., there is a strategy that allows you to always win, as in tic-tac-toe there is a strategy that allows you to always tie). If there is the additional rule that you cannot watch the $\delta$ your opponent chooses, and nevertheless you can always win, then $f$ is uniformly continuous.

$\endgroup$
2
$\begingroup$

Roughly speaking, geometrically in metric spaces E and F, for all ball $B_r$ in E there exists a ball $B_s$ in F such that f($B_r$) ⊂ $B_s$ .

Two important properties of an uniformly continuous f from E to F are : (1) the image of every Cauchy sequence in E is Cauchy in F; (2) If f applies a dense subset of E in a COMPLET metric space F, then f admits a unique extension to a function g which is uniformly continuous over the whole E.This is maybe two of "motivations" you ask for.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .