Distances give a way to talk about nearness, but ordinary continuity only controls nearness after a base point has been chosen. For a function $f: X \to Y$ between metric spaces, continuity at $x_0$ says that points sufficiently close to $x_0$ are sent close to $f(x_0)$. The allowed radius may depend on $x_0$. Uniform continuity asks whether a single input scale works everywhere at once.

The difference matters whenever a space has many regions with different behaviour. A function may behave gently near each individual point while still becoming too steep globally for one scale to control it. Uniform continuity is the form of continuity that survives approximation arguments, completion, interchange of limits, and numerical error estimates, because it gives a global rule: if two inputs are close enough, then their outputs are close, independently of where the inputs lie.

[example: Squaring on an Unbounded Interval] Let $f:(0,\infty)\to\mathbb R$ be given by $f(x)=x^2$, with Euclidean metrics. First, $f$ is continuous at each fixed $a\in(0,\infty)$: if $|x-a|<\delta$ and $\delta\le 1$, then $x<a+1$, so \begin{align*} |f(x)-f(a)|=|x^2-a^2|=|x-a|\,|x+a|<\delta(2a+1). \end{align*} Thus choosing $\delta=\min\{1,\varepsilon/(2a+1)\}$ gives $|f(x)-f(a)|<\varepsilon$. We now show that no single input tolerance works everywhere. Take $\varepsilon_0=1$. Given any $\delta>0$, choose $n\in\mathbb N$ with $1/n<\delta$, and set $x_n=n$ and $y_n=n+1/n$. Then $x_n,y_n\in(0,\infty)$ and \begin{align*} |x_n-y_n|=\left|n-\left(n+\frac{1}{n}\right)\right|=\frac{1}{n}<\delta. \end{align*} For the outputs, \begin{align*} |f(y_n)-f(x_n)|=\left|\left(n+\frac{1}{n}\right)^2-n^2\right|=\left|n^2+2+\frac{1}{n^2}-n^2\right|=2+\frac{1}{n^2}>1. \end{align*} So for the fixed output tolerance $1$, every proposed input tolerance $\delta$ admits two points less than $\delta$ apart whose squared values are more than $1$ apart. Hence $f$ is not uniformly continuous on $(0,\infty)$. [/example]

This example shows the core failure that uniform continuity is designed to prevent. Ordinary continuity lets the permissible input radius shrink as the base point moves. On an unbounded domain, that shrinking may have no positive lower bound. Uniform continuity rules out this drifting local scale.

## Definition

The parent idea, [uniform continuity](/page/Uniform%20Continuity), is the demand that the same input tolerance works throughout the whole domain. In the metric-space setting, this becomes an epsilon-delta condition in which the metrics on the domain and codomain explicitly measure the two kinds of error.

[definition: Uniform Continuity Between Metric Spaces] Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces, and let $f:X\to Y$ be a function. The function $f$ is uniformly continuous from $(X,d_X)$ to $(Y,d_Y)$ if for every $\varepsilon > 0$ there exists $\delta > 0$ such that for all $x,y \in X$, \begin{align*} d_X(x,y) < \delta \implies d_Y(f(x),f(y)) < \varepsilon. \end{align*} [/definition]

The order of the quantifiers is the whole point. The number $\delta$ is allowed to depend on $\varepsilon$, on the function, and on the two metrics, but not on $x$ or $y$. This single sentence is often the first place where global geometry enters analysis.

Sometimes the same underlying set carries more than one metric. Uniform continuity is then not only a property of a formula for $f$, but a property of the chosen metrics. Changing either metric can change the answer.

[example: Same Formula, Different Metrics] Let $X=(0,1)$ and let $f:X\to\mathbb R$ be given by $f(x)=1/x$. First equip $X$ with the [Euclidean metric](/page/Euclidean%20Metric). We show that $f$ is not uniformly continuous by fixing the output tolerance $\varepsilon_0=1/2$. For each $n\ge 2$, set $x_n=1/n$ and $y_n=1/(n+1)$. Then $x_n,y_n\in(0,1)$, and \begin{align*} |x_n-y_n|=\left|\frac{1}{n}-\frac{1}{n+1}\right|=\left|\frac{n+1-n}{n(n+1)}\right|=\frac{1}{n(n+1)}. \end{align*} Since $n(n+1)\to\infty$, we have $|x_n-y_n|\to0$. For the output values, \begin{align*} |f(x_n)-f(y_n)|=\left|\frac{1}{1/n}-\frac{1}{1/(n+1)}\right|=|n-(n+1)|=|-1|=1. \end{align*} Thus arbitrarily close Euclidean input pairs can have output distance $1$, so no single Euclidean input tolerance can force all output distances below $1/2$. Now equip the same set $X=(0,1)$ with the metric $d_X(x,y)=|1/x-1/y|$. For all $x,y\in X$, \begin{align*} |f(x)-f(y)|=\left|\frac{1}{x}-\frac{1}{y}\right|=d_X(x,y). \end{align*} Given $\varepsilon>0$, choose $\delta=\varepsilon$. If $d_X(x,y)<\delta$, then \begin{align*} |f(x)-f(y)|=d_X(x,y)<\delta=\varepsilon. \end{align*} So the same formula $f(x)=1/x$ is uniformly continuous for this metric. The example shows that uniform continuity is a property of the function together with the chosen domain and codomain metrics, not of the formula alone. [/example]

This dependence on the metrics is not a nuisance; it is the feature that makes the definition portable. The same definition works for Euclidean domains, spaces of functions, discrete spaces, quotient-like constructions, and abstract completions.

## Local Continuity and Global Control

The first structural question is how uniform continuity relates to the more familiar pointwise notion of continuity. Uniform continuity should imply ordinary continuity, since a global tolerance can be used at any chosen base point. The converse fails, and the failure is precisely the lack of a uniform lower bound on the local tolerances.

### Pointwise Continuity

Before comparing the two notions, we isolate the pointwise version in metric language. This gives a common template for the rest of the page: the same metrics appear, but the quantifier over the base point is placed outside the choice of $\delta$.

[definition: Continuity Between Metric Spaces] Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces, let $x_0 \in X$, and let $f:X\to Y$ be a function. The function $f$ is continuous at $x_0$ if for every $\varepsilon>0$ there exists $\delta>0$ such that for all $x \in X$, \begin{align*} d_X(x,x_0)<\delta \implies d_Y(f(x),f(x_0))<\varepsilon. \end{align*} The function $f$ is continuous on $X$ if it is continuous at every $x_0 \in X$. [/definition]

This definition allows the acceptable input radius to vary with the chosen point. The next question is what happens when that freedom is removed. If the stronger global radius exists for every output tolerance, then each individual point can use the same radius, so the pointwise continuity condition should follow.

[quotetheorem:8495]

This theorem is often used silently, but its value is conceptual: uniform continuity is stronger than continuity because it controls pairs of nearby points anywhere in the domain, not just points near one fixed centre.

### Sequential Failure Tests