0
$\begingroup$

I'm having a bit of trouble understanding uniform continuity in "plain English" (for the lack of a better term).

The definition of continuity I'm working with is this:

Let $f: A\ \subseteq \mathbb{R} \rightarrow \mathbb{R}$.

We say that $f$ is continuous at $x_o \in A$ if, for every $\epsilon > 0$, there is some $\delta > 0$ s.t. if $|x - y| < \delta$, then $|f(x) - f(x_0)| < \epsilon$.

If I'm understanding this correctly, then continuity at $x_0$ means that we can draw any "box" of dimensions $\delta$ x $\epsilon$ such that every conceivable $f(x)$ will lie within that box (and this box can be arbitrarily small).

$f$ is continuous over $(a, b)$ if the above definition holds for all values within that interval.

But, the definition of uniform continuity is confusing to me. The definition I'm working with is this:

Let $f: A \subseteq \mathbb{R} \rightarrow \mathbb{R}$.

We say that $f$ is uniformly continuous if for all $\epsilon > 0$, there is some $\delta = \delta (\epsilon) > 0$ s.t. if $x, y \in A$ with $|x - y| < \delta$, then $|f(x) - f(y)| < \epsilon$.

I'm having a lot of trouble understanding what this definition is saying. First, why are we setting $\delta$ to $\delta * \epsilon$? Secondly, if possible, how do we put the above definition in terms of the "box" analogy (or some better analogy)?

In what ways is uniform continuity different from continuity? Any help understanding unif. continuity and the difference between these 2 definitions would be greatly helpful. Thank you.

$\endgroup$
  • $\begingroup$ Just a suggestion, maybe you can compare the definition of uniform continuity with the definition of Cauchy sequence. $\endgroup$ – painday May 5 '18 at 5:04
  • 2
    $\begingroup$ $\delta=\delta(\epsilon)$ does not mean "set $\delta$ to $\delta * \epsilon$". Instead, it means "$\delta$ is equal to a function of $\epsilon$'', or more briefly "$\delta$ depends on $\epsilon$''. $\endgroup$ – Lee Mosher May 5 '18 at 5:41
  • $\begingroup$ That clarifies things a lot. Thank you. $\endgroup$ – Max May 5 '18 at 8:34
2
$\begingroup$

The main difference is that continuity is a point-wise concept, you need to control the function in a neighborhood of a given point when you address the continuity of $f$ at $x_0$ say.

While with uniform continuity you need to control at once the behavior of a function on the entire set. So, in a sense it behaves as a continuous function point-wise , but that behaviour is "controllable" over the whole region.

$\endgroup$
2
$\begingroup$

The following is a (hopefully) intuitive explanation. With regular continuity, the following happens: I give you a point $(a,f(a))$ and an epsilon. Your job is to find a delta such that if $x$ is at most delta away from $a$, then $f(x)$ is at most epsilon away from $f(a)$. Continuity says that we can find these deltas for a given point and epsilon.

Uniform continuity steps things up a bit. Now, Let's say I take some set $A$, we'll say its a subset of the real line. Uniform continuity gives us an epsilon first, and picks an $\epsilon$ region of $f(A)$. Uniform continuity then tells us that we have some $\delta(\epsilon) $ ($\delta$ depends on $\epsilon$ )such that if $|x-y | <\delta$, then necessarily $|f(x)- f(y)|<\epsilon$. In other words, for a uniformly continuous function, given any epsilon region of our codomain, we can find a delta region of our domain such that the choice of any two points $x,y$in this $\delta$ region gives us the property that $|f(x)-f(y)|<\epsilon$. In other words, we have control over how "close together" $f$ can be on the whole set, rather than just around specific points.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.