logo

Uniform Continuity Theorem 📂Topology

Uniform Continuity Theorem

Definition

Given a metric space $(X, d)$ and $(Y, d’)$, let’s say $f : X \to Y$. If for every $\varepsilon > 0$ and $x_{1}, x_{2} \in X$ there exists a $\delta > 0$ satisfying $$ d(x_{1}, x_{2}) < \delta \implies d’( f( x_{1} ) , f( x_{2} ) ) < \varepsilon $$ then $f$ is said to be Uniformly Continuous.

Explanation

Just like how the concept of continuity learned in analysis was generalized in topology, uniform continuity can also be generalized in topology. However, it’s important to note that unlike continuity, it’s not defined for all topological spaces, but is discussed only in metric spaces.

The following theorem is a generalization of a fact well known in analysis.

Theorem 1

If $(X,d)$ is a compact metric space, $(Y,d’)$ is a metric space, and $f : X \to Y$ is a continuous function, then $f$ is uniformly continuous.

Proof

Let’s assume $\varepsilon > 0$ is given. Since $f$ is continuous, for each $x \in X$, there exists a $\delta_{x} > 0$ satisfying $$ d (x,y) < \delta_{x} \implies d’ \left( f(x) , f(y) \right) < {{ \varepsilon } \over { 2 }} \qquad , \forall y \in X $$ Such $\delta_{x}$s make $\left\{ B_{d} \left( x , {{ \delta_{x} } \over { 2 }} \right) : x \in X \right\}$ an open cover of $X$, and since $X$ is compact, there exists a finite set $\left\{ x_{1} , \cdots , x_{n} \right\} \in X$ satisfying $$ X = \bigcup_{i=1}^{n} B_{d} \left( x_{i} , {{ \delta_{x_{i}} } \over { 2 }} \right) $$ Therefore, we can assure the existence of $\delta > 0$ as in $$ \delta := \min \left\{ {{ \delta_{x_{1}} } \over { 2 }} , \cdots , {{ \delta_{x_{n}} } \over { 2 }} \right\} $$ Since $ X = \bigcup_{i=1}^{n} B_{d} \left( x_{i} , {{ \delta_{x_{i}} } \over { 2 }} \right)$, for $x \in X$, there must exist some $1 \le j \le n$ such that $$ x \in B_{d} \left( x_{j} , {{ \delta_{x_{j}} } \over { 2 }} \right) $$ Hence, $$ d \left( x_{j} , y \right) \le d \left( x_{j} , x \right) + d (x,y) < {{ \delta_{x_{j}} } \over { 2 }} + \delta \le \delta_{x_{j}} \implies d’ \left( f(x_{j}) , f(y) \right) < {{ \varepsilon } \over { 2 }} \\ d \left( x_{j} , x \right) \le {{ \delta_{x_{j}} } \over { 2 }} < \delta_{x_{j}} \implies d’ \left( f(x_{j}) ,f( x) \right) < {{ \varepsilon } \over { 2 }} $$ ensures that there exists a $\delta > 0$ whenever $d(x , y) < \delta$, meaning, $f$ is uniformly continuous.


  1. Munkres. (2000). Topology(2nd Edition): p176. ↩︎