Can we explain between ordinary continuity and Uniform Continuity difference geometrically?
What is the best way to describe the difference between these two concepts?
Where the motivation of Uniform Continuity came from?
Thank You.
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityCan we explain between ordinary continuity and Uniform Continuity difference geometrically?
What is the best way to describe the difference between these two concepts?
Where the motivation of Uniform Continuity came from?
Thank You.
Here is how I see it:
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.
$\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.)
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.
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.
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.