Foundations — Uniform continuity — difference from pointwise

Before you can even read the parent note, a dozen little symbols must already mean something to you. This page builds each one from nothing, in the order they depend on each other, so that when you reach the definitions on the parent note not a single mark on the page is a stranger.

1. Sets and the symbol $\in$

The picture: draw a fenced region on the number line. Everything inside the fence is "in the set". The parent note talks about functions "on a set $A$" — that phrase just means: we only feed the function numbers from inside this fence.

Three fences you will meet constantly:

Why the topic needs this: the entire difference between "$x^2$ is fine" and "$x^2$ misbehaves" comes down to which fence you put around it. Closed-and-bounded $[0,5]$ behaves; the endless $\mathbb{R}$ does not. You cannot see that until you can read the fences.

2. Absolute value $|\cdot |$ — the "distance" symbol

The picture: put $x$ and $y$ on the line; $|x-y|$ is the length of the segment between them. It doesn't matter which one is bigger — $|x-y|=|y-x|$.

Why the topic needs this: every definition in the parent is built from exactly two distances — an input gap and an output gap. If $|\cdot |$ is fuzzy, everything downstream is fuzzy.

3. $\epsilon$ and $\delta$ — the two tolerances

Think of it as a game:

Why the topic needs this: $\epsilon$ and $\delta$ ARE the topic. Both are strictly positive — never zero — because "distance exactly $0$" means "same point," which is trivially fine and tells you nothing.

4. Function notation $f:A\to \mathbb{R}$ and the graph picture

The picture that unlocks the whole topic: restricting the input by $|x-x_0|<\delta$ carves out a vertical strip of width $2\delta$ around $x_0$; demanding the output stay within $|f(x)-f(x_0)|<\epsilon$ carves out a horizontal band of height $2\epsilon$. Continuity means: "whenever the graph enters the $\delta$-wide vertical strip, it stays trapped inside the $\epsilon$-tall horizontal band."

Why the topic needs this: the parent's Feynman recap ("closer than $\delta$ sideways $\Rightarrow$ closer than $\epsilon$ up–down") is literally this picture: sideways closeness = the vertical strip, up–down closeness = the horizontal band. The steepness of the graph controls how thin the strip must be — steep curve, thin strip.

5. The quantifiers $\forall$ and $\exists$ — and why their ORDER is everything

These are the two verbs of the whole subject. But the punchline the parent hammers is not the symbols — it's their left-to-right order.

Why the topic needs this: this is the single structural idea the parent note is built around. Get $\forall /\exists$ order and you already understand pointwise-vs-uniform.

6. Implication $\Rightarrow$ — the "if…then" arrow

Why the topic needs this: every definition is one implication wrapped in quantifiers. The arrow separates the condition you enforce (left) from the guarantee you deliver (right).

7. Factoring & the amplifier idea

The parent's key move is $|x^2-y^2|=|x+y||x-y|$. Two symbols to be sure of:

Why the topic needs this: it turns a vague "the curve gets steep" into a precise, controllable factor you can attack in the $\epsilon$–$\delta$ game.

8. Slope, derivative $f^{\prime }$, and "steepness"

We won't recompute derivatives here (see Mean Value Theorem and Lipschitz continuity for how a bounded $|f^{\prime }|\le L$ hands you a ready-made $\delta =\epsilon /L$). For this foundation page, hold one picture:

Why the topic needs this: it is the geometric engine behind why $x^2$ (steepness grows without bound) fails and $\sqrt{x}$ on $[0,\infty )$ still succeeds despite infinite steepness at $0$.

How these feed the topic

Everything on the left is built on this page; the two nodes on the right are the parent topic itself.

Equipment checklist

Connections

• Continuity (pointwise) — the definition these symbols first assemble.
• Parent topic — where all of this is put to work.
• Lipschitz continuity / Mean Value Theorem — where slope becomes a concrete $\delta$.
• Heine–Cantor Theorem / Compactness / Lebesgue number lemma — why the closed & bounded fence matters.
• Cauchy sequences — a later payoff of the uniform version.