In analysis, one frequently encounters sequences of functions and needs to extract convergent subsequences. For sequences of real numbers, the Bolzano--Weierstrass theorem guarantees that every bounded sequence has a convergent subsequence. For sequences of continuous functions, however, boundedness alone is not enough. The family $\mathcal{F} = \{f_n\}_{n=1}^\infty$ defined by \begin{align*} f_n: [0, 1] &\to \mathbb{R} \\ x &\mapsto \sin(n\pi x) \end{align*} is uniformly bounded --- $\|f_n\|_\infty \le 1$ for all $n \in \mathbb{N}$ --- yet no subsequence converges uniformly. The oscillations of $f_n$ become increasingly rapid as $n$ grows, and no uniform limit can tame them. What additional condition on the family $\mathcal{F}$ would prevent this pathological oscillation and guarantee that bounded sequences have uniformly convergent subsequences? The answer is **equicontinuity**: a condition that controls how much functions in a family can oscillate, uniformly across the entire family. Whereas [uniform continuity](/page/Uniform%20Continuity) asks for a single function's modulus of continuity to be independent of the point, equicontinuity asks for the modulus to be independent of both the point and the choice of function in the family. This notion, introduced by Ascoli (1884) and refined by Arzelà (1895), provides the precise characterisation of relatively compact subsets of $C(K)$ and lies at the heart of compactness arguments throughout analysis, PDE theory, and functional analysis. [example: Oscillation Obstruction] Consider the family $\mathcal{F} = \{f_n\}_{n=1}^\infty$ where $f_n: [0,1] \to \mathbb{R}$ is defined by $f_n(x) = \sin(n\pi x)$. Each $f_n$ is continuous and satisfies $|f_n(x)| \le 1$ for all $x \in [0,1]$, so the family is uniformly bounded. However, fix $x_0 = 0$ and consider the point $x = 1/(2n)$. Then \begin{align*} |f_n(x) - f_n(x_0)| &= |\sin(n\pi \cdot \tfrac{1}{2n}) - \sin(0)| \\ &= |\sin(\tfrac{\pi}{2})| \\ &= 1. \end{align*} The distance $|x - x_0| = 1/(2n)$ can be made arbitrarily small by choosing $n$ large, yet the function values differ by $1$. For any $\delta > 0$, the function $f_n$ with $n > 1/(2\delta)$ satisfies $|x - x_0| < \delta$ but $|f_n(x) - f_n(x_0)| = 1$. No single $\delta$ works for all $f_n$ simultaneously, so the family fails to be equicontinuous at $x_0 = 0$. This oscillation is precisely what prevents the extraction of a uniformly convergent subsequence. [/example] ## Definition The central question is: when can we choose a modulus of continuity that works for every function in a family simultaneously? This leads to two notions, depending on whether the uniformity is local or global. [definition: Equicontinuous Family] Let $(X, d_X)$ and $(Y, d_Y)$ be metric spaces, and let $\mathcal{F}$ be a family of functions from $X$ to $Y$. **Pointwise equicontinuity.** The family $\mathcal{F}$ is *equicontinuous at a point* $x_0 \in X$ if for every $\varepsilon > 0$ there exists $\delta > 0$ such that \begin{align*} d_X(x, x_0) < \delta \implies d_Y(f(x), f(x_0)) < \varepsilon \quad \text{for all } f \in \mathcal{F}. \end{align*} The family $\mathcal{F}$ is *pointwise equicontinuous* (or simply *equicontinuous*) if it is equicontinuous at every point $x_0 \in X$. **Uniform equicontinuity.** The family $\mathcal{F}$ is *uniformly equicontinuous* if for every $\varepsilon > 0$ there exists $\delta > 0$ such that \begin{align*} d_X(x, y) < \delta \implies d_Y(f(x), f(y)) < \varepsilon \quad \text{for all } f \in \mathcal{F} \text{ and all } x, y \in X. \end{align*} [/definition] The distinction between these two notions mirrors the distinction between continuity and [uniform continuity](/page/Uniform%20Continuity): in pointwise equicontinuity, the $\delta$ may depend on $x_0$ (but not on $f$); in uniform equicontinuity, $\delta$ depends only on $\varepsilon$. For a single function, pointwise equicontinuity reduces to ordinary continuity, and uniform equicontinuity reduces to uniform continuity. The power of equicontinuity is that the modulus is shared across the entire family. When $X$ is a [compact metric space](/page/Compact%20Space), the two notions coincide for families of functions into $\mathbb{R}$ (or any metric space), just as continuity and uniform continuity coincide for a single function on a compact domain. On non-compact domains, however, uniform equicontinuity is strictly stronger. [remark: Equicontinuity vs Uniform Continuity] Consider the hierarchy of uniformity conditions for a family $\mathcal{F}$ of functions $f: X \to Y$: 1. Each $f \in \mathcal{F}$ is continuous: $\delta$ depends on $f$, $x_0$, and $\varepsilon$. 2. The family $\mathcal{F}$ is equicontinuous: $\delta$ depends on $x_0$ and $\varepsilon$, but not on $f$. 3. Each $f \in \mathcal{F}$ is uniformly continuous: $\delta$ depends on $f$ and $\varepsilon$, but not on $x_0$. 4. The family $\mathcal{F}$ is uniformly equicontinuous: $\delta$ depends only on $\varepsilon$. Equicontinuity and uniform continuity are independent conditions --- neither implies the other for a general family on a non-compact domain. Equicontinuity makes $\delta$ uniform over functions; uniform continuity makes it uniform over points. Uniform equicontinuity achieves both. [/remark] ## The Arzelà--Ascoli Theorem The most fundamental question about equicontinuity is: *what does it buy us?* The Bolzano--Weierstrass theorem says that bounded sets in $\mathbb{R}^n$ are relatively compact --- every sequence has a convergent subsequence. In the infinite-dimensional space $C(K)$ of continuous functions on a [compact space](/page/Compact%20Space) $K$, bounded sets are *not* relatively compact. The closed unit ball in $C([0,1])$, for instance, contains the sequence $f_n(x) = x^n$, which converges pointwise to a discontinuous function and has no uniformly convergent subsequence. Something beyond boundedness is needed. The Arzelà--Ascoli theorem identifies equicontinuity as exactly the missing ingredient. Together with pointwise boundedness, equicontinuity characterises the relatively compact subsets of $C(K)$. ### Failure of Compactness Without Equicontinuity To appreciate why equicontinuity is necessary, consider two families that are bounded but not equicontinuous, each illustrating a different mechanism of failure. [example: Power Functions on the Unit Interval] Define $f_n: [0,1] \to \mathbb{R}$ by $f_n(x) = x^n$ for $n \in \mathbb{N}$. Each $f_n$ is continuous and $\|f_n\|_\infty = 1$, so the family $\{f_n\}$ is uniformly bounded. The pointwise limit is \begin{align*} f(x) = \lim_{n \to \infty} x^n = \begin{cases} 0 & \text{if } 0 \le x < 1, \\ 1 & \text{if } x = 1. \end{cases} \end{align*} This limit is discontinuous, so the convergence cannot be uniform. To verify that equicontinuity fails at $x_0 = 1$, fix $\varepsilon = 1/2$ and let $\delta > 0$. Choose $x_\delta = 1 - \delta/2 \in (1-\delta, 1)$ and $n_\delta = \lceil 2\log 2 / \delta \rceil$. Then $|x_\delta - 1| = \delta/2 < \delta$, but \begin{align*} |f_{n_\delta}(x_\delta) - f_{n_\delta}(1)| &= |x_\delta^{n_\delta} - 1| = 1 - (1 - \tfrac{\delta}{2})^{n_\delta}. \end{align*} Using the inequality $(1 - t)^n \le e^{-nt}$ for $t \in (0,1)$, we obtain \begin{align*} (1 - \tfrac{\delta}{2})^{n_\delta} \le e^{-n_\delta \cdot \delta/2} \le e^{-\log 2} = \tfrac{1}{2}, \end{align*} so $|f_{n_\delta}(x_\delta) - f_{n_\delta}(1)| \ge 1/2 = \varepsilon$. No $\delta$ works for all $n$ simultaneously, confirming that the family is not equicontinuous at $x_0 = 1$. The concentration of the graphs near the corner $(1,1)$ --- where the functions transition from near $0$ to exactly $1$ in an interval of length $O(1/n)$ --- is the geometric manifestation of this failure. [/example] The power function example fails because all oscillation concentrates at a single boundary point. A fundamentally different failure mechanism arises when the family "drifts" spatially --- the functions are individually well-behaved, but their supports escape every compact set. [example: Translating Bump Functions] Let $\varphi \in C_c^\infty(\mathbb{R})$ satisfy $\operatorname{supp} \varphi \subset [-1, 1]$ and $\|\varphi\|_\infty = 1$. Define $f_n: \mathbb{R} \to \mathbb{R}$ by $f_n(x) = \varphi(x - n)$. Each $f_n$ is smooth with $\|f_n\|_\infty = 1$, and the family is uniformly bounded. The supports $\operatorname{supp} f_n = [n-1, n+1]$ are pairwise disjoint for $n \ge 3$, so \begin{align*} \|f_n - f_m\|_\infty = 1 \quad \text{for all } n \ne m \text{ with } |n-m| \ge 2. \end{align*} No subsequence can be Cauchy in $C_b(\mathbb{R})$. The family is equicontinuous --- since all functions are translates of the same smooth bump, they share the same modulus of continuity --- but it is not *pointwise bounded* in the sense needed for Arzelà--Ascoli. At each point $x_0$, eventually $f_n(x_0) = 0$ for all large $n$, so the sequence converges pointwise to $0$, but the convergence is not uniform. This example shows that equicontinuity alone, without a compactness condition on the domain or a total boundedness condition, does not suffice. [/example] ### Statement and Discussion [quotetheorem:66] The Arzelà--Ascoli theorem is one of the most frequently used compactness results in analysis, and several aspects of the statement deserve attention. **Why pointwise boundedness and not uniform boundedness?** Pointwise boundedness --- requiring only that $\{f(x) : f \in \mathcal{F}\}$ is bounded for each fixed $x$ --- is the weaker and more natural condition. On a compact domain, pointwise boundedness together with equicontinuity automatically implies uniform boundedness: if $\mathcal{F}$ is equicontinuous, then for each $x_0$ there is a ball $B(x_0, \delta)$ on which all functions in $\mathcal{F}$ vary by at most $1$, and by compactness of $K$, finitely many such balls cover $K$. Combining the pointwise bounds at the centres of these balls with the oscillation bound $1$ yields a uniform bound. So pointwise boundedness is the "right" hypothesis --- it is equivalent to uniform boundedness in the presence of equicontinuity. **Why does the theorem fail for non-compact $K$?** The translating bump function example above shows that on $K = \mathbb{R}$, a family can be equicontinuous and pointwise bounded (even pointwise convergent to $0$) without being relatively compact in $C_b(\mathbb{R})$. Compactness of the domain is used in two essential ways: first, to upgrade pointwise equicontinuity to uniform equicontinuity; second, to enable a diagonal argument over a countable dense subset (which exists because compact metric spaces are separable). **What does the theorem NOT say?** It characterises relative compactness in $C(K; \mathbb{R})$ with the sup-norm topology, not in $L^p$ spaces or in spaces of bounded continuous functions on non-compact domains. For $L^p$ spaces, the analogous compactness criterion is the Riesz--Kolmogorov theorem, which replaces equicontinuity with equi-integrability and uniform smallness of translations. In $C_b(X)$ for non-compact $X$, one needs additional tightness conditions (the family must "not escape to infinity"). **The role of the diagonal argument.** Since $K$ is a compact metric space, it is separable: there exists a countable dense subset $\{x_1, x_2, \ldots\} \subset K$. Given a sequence $(f_n)$ in $\mathcal{F}$, pointwise boundedness at $x_1$ and Bolzano--Weierstrass produce a subsequence converging at $x_1$. Passing to further subsequences at $x_2, x_3, \ldots$ and taking the diagonal subsequence yields a subsequence converging at every $x_k$. Equicontinuity then upgrades this pointwise convergence on a dense set to uniform convergence on all of $K$. ## Sufficient Conditions for Equicontinuity In practice, verifying equicontinuity directly from the definition --- finding a single $\delta$ that works for all functions in the family --- can be difficult. The most common strategy is to identify a structural property of the family that forces equicontinuity automatically. Two such conditions appear throughout analysis: a shared Lipschitz bound and a shared bound on derivatives. ### Lipschitz Families [quotetheorem:1097] This is the simplest sufficient condition and requires no verification beyond checking the common Lipschitz constant. The key feature is that the entire family shares a *single* Lipschitz constant $L$; if each $f_n$ is Lipschitz with constant $L_n$ but $\sup_n L_n = \infty$, the family need not be equicontinuous. [example: Lipschitz Family with Unbounded Constants] Define $f_n: [0,1] \to \mathbb{R}$ by $f_n(x) = \sqrt[n]{x}$ for $n \ge 1$. Each $f_n$ is continuous on $[0,1]$. For $n \ge 2$, the derivative is \begin{align*} f_n'(x) = \frac{1}{n} x^{1/n - 1}, \end{align*} which is unbounded near $x = 0$, so $f_n$ is not Lipschitz on $[0,1]$ for $n \ge 2$. Nonetheless, for $n \ge 2$ the function $f_n$ is Holder continuous with exponent $1/n$. To see this, assume $0 \le y \le x \le 1$ and write $x = y + h$ with $h = x - y \ge 0$. The concavity of $t \mapsto t^{1/n}$ on $[0,\infty)$ implies $x^{1/n} - y^{1/n} \le (x - y)^{1/n}$ (since $(y + h)^{1/n} - y^{1/n} \le h^{1/n}$ by subadditivity of concave functions vanishing at the origin). Therefore: \begin{align*} |f_n(x) - f_n(y)| = |x^{1/n} - y^{1/n}| \le |x - y|^{1/n}. \end{align*} The Holder exponents $1/n \to 0$ degenerate, and the family is not equicontinuous at $x_0 = 0$. To see this, take $\varepsilon = 1/2$ and any $\delta > 0$. Set $x = (\delta/2)$ and note that $f_n(x) = (\delta/2)^{1/n} \to 1$ as $n \to \infty$, while $f_n(0) = 0$. For $n$ large enough, $|f_n(x) - f_n(0)| > 1/2$. This confirms that having Lipschitz (or Holder) constants that degrade across the family destroys equicontinuity. [/example] ### Derivative Bounds [quotetheorem:1098] The convexity of $U$ is essential: the Mean Value Inequality, which gives $|f(x) - f(y)| \le M|x-y|$ for $x, y \in U$, requires that the line segment $[x, y]$ lies in $U$. For a non-convex domain, one needs to replace $|x-y|$ with the geodesic distance in $U$, and the conclusion becomes equicontinuity with respect to that metric. This criterion is the workhorse for establishing equicontinuity in PDE theory. When solving an elliptic PDE by approximation, one typically obtains uniform gradient bounds on the approximating solutions (via energy estimates or maximum principles), and then invokes Arzelà--Ascoli to extract a convergent subsequence. ## Equicontinuity and Uniform Convergence A natural question is how equicontinuity interacts with pointwise convergence. If each function in a sequence is continuous, pointwise convergence does not in general produce a continuous limit --- this is the content of the well-known example $f_n(x) = x^n$ on $[0,1]$. But if the sequence is equicontinuous, pointwise convergence is automatically upgraded. [quotetheorem:1099] This result explains a phenomenon that students of real analysis encounter early: sequences of continuous functions that converge pointwise to a continuous limit often turn out to converge uniformly, and equicontinuity is the hidden reason. Dini's theorem --- which asserts uniform convergence for monotone sequences converging pointwise to a continuous limit on a compact set --- is a special case, since a monotone sequence of continuous functions on a compact set that converges pointwise to a continuous limit is automatically equicontinuous. The compactness of $K$ is essential. On $\mathbb{R}$, the sequence $f_n(x) = \frac{x}{n}$ is equicontinuous (with Lipschitz constant $1/n \le 1$) and converges pointwise to $0$, but the "convergence" is not uniform: $\sup_{x \in \mathbb{R}} |f_n(x)| = \infty$ for each $n$. More precisely, $f_n$ does not even lie in $C_b(\mathbb{R})$, so the sup-norm is not finite. Even among bounded functions, on a non-compact domain equicontinuity and pointwise convergence do not guarantee uniformity. [example: Equicontinuity from Uniformly Convergent Derivatives] Suppose $f_n: [a,b] \to \mathbb{R}$ is a sequence of $C^1$ functions such that: - $f_n(c) \to L$ for some $c \in [a,b]$, and - $f_n'$ converges uniformly on $[a,b]$ to some continuous function $g: [a,b] \to \mathbb{R}$. The uniform convergence of the derivatives implies that $\sup_n \|f_n'\|_\infty < \infty$ (since a uniformly convergent sequence is uniformly bounded). By the derivative bound criterion, the family $\{f_n\}$ is uniformly equicontinuous with constant $M = \sup_n \|f_n'\|_\infty$. Combined with convergence at the single point $c$, the Mean Value Theorem gives pointwise convergence everywhere: \begin{align*} |f_n(x) - f_m(x)| &\le |f_n(c) - f_m(c)| + |x - c| \cdot \sup_{t \in [a,b]} |f_n'(t) - f_m'(t)|. \end{align*} Both terms on the right tend to $0$ as $n, m \to \infty$, so $(f_n(x))$ is Cauchy for each $x$. By the upgrade theorem, the convergence is uniform on $[a,b]$, and the limit $f$ satisfies $f' = g$. This is the classical theorem on term-by-term differentiation of sequences, and equicontinuity is the mechanism that makes it work. [/example] ## Equicontinuity in Functional Analysis Equicontinuity takes on a different but equally important role in the setting of [Banach spaces](/page/Banach%20Space) and topological vector spaces. In this context, the "functions" are bounded linear operators, and equicontinuity connects to the Uniform Boundedness Principle. ### From Families of Functions to Families of Operators In the function-space setting, a family $\mathcal{F} \subset C(K)$ is equicontinuous when the functions share a modulus of continuity. In the operator setting, a family $\mathcal{T} \subset \mathcal{L}(X, Y)$ of bounded linear operators between [Banach spaces](/page/Banach%20Space) $X$ and $Y$ is *equicontinuous* (with respect to the norm topologies) if for every $\varepsilon > 0$ there exists $\delta > 0$ such that \begin{align*} \|x\|_X < \delta \implies \|Tx\|_Y < \varepsilon \quad \text{for all } T \in \mathcal{T}. \end{align*} For linear operators, this condition simplifies dramatically: it is equivalent to the existence of a uniform operator norm bound $\sup_{T \in \mathcal{T}} \|T\|_{\mathcal{L}(X,Y)} < \infty$. Indeed, if $M = \sup_{T \in \mathcal{T}} \|T\|$, then $\|x\| < \varepsilon/M$ implies $\|Tx\| \le M\|x\| < \varepsilon$ for all $T$. Conversely, if the equicontinuity condition holds with $\delta$ for $\varepsilon = 1$, then $\|T\| \le 1/\delta$ for all $T$. This observation reveals that *for families of bounded linear operators, equicontinuity is the same as uniform boundedness in operator norm*. The Banach--Steinhaus theorem can therefore be viewed as an equicontinuity result. ### The Banach--Steinhaus Theorem as an Equicontinuity Principle [quotetheorem:549] Read through the lens of equicontinuity, the Banach--Steinhaus theorem says: *a pointwise bounded family of bounded linear operators on a Banach space is equicontinuous*. This is a striking parallel to the Arzelà--Ascoli theorem, which says that an equicontinuous and pointwise bounded family in $C(K)$ is relatively compact. Both theorems convert a pointwise condition into a uniform one, but the mechanisms are different: Arzelà--Ascoli relies on compactness of the domain $K$, while Banach--Steinhaus relies on completeness of the domain $X$ (via the Baire category theorem). **Why is completeness of $X$ essential?** On an incomplete normed space, pointwise boundedness does not imply uniform boundedness. Let $X$ be the space of finitely supported sequences $x = (x_1, x_2, \ldots)$ (where $x_k = 0$ for all but finitely many $k$), equipped with the supremum norm $\|x\|_\infty = \sup_k |x_k|$. This is a dense subspace of $c_0$ (and hence of $\ell^\infty$), but it is not complete. Define the linear functionals $T_n: X \to \mathbb{R}$ by \begin{align*} T_n(x) = \sum_{k=1}^{n} k \cdot x_k. \end{align*} Each $T_n$ is bounded on $X$ with $\|T_n\| = \sum_{k=1}^n k = n(n+1)/2$, so $\sup_n \|T_n\| = \infty$. However, the family is pointwise bounded: for any fixed $x \in X$, there exists $N$ such that $x_k = 0$ for $k > N$, whence $|T_n(x)| = |\sum_{k=1}^{\min(n,N)} k \cdot x_k| \le N^2 \|x\|_\infty$ for all $n$. The Baire category argument fails because $X$ is not complete --- it is a countable union of nowhere dense sets (the subspaces of sequences supported on $\{1, \ldots, N\}$), and the Baire category theorem does not apply. Completeness is not a technical convenience --- it is the hypothesis that makes the argument work. **Connection to the closed graph theorem.** The Banach--Steinhaus theorem, the open mapping theorem, and the closed graph theorem form a trio of consequences of the Baire category theorem in Banach spaces. All three can be viewed as "automatic continuity" or "automatic equicontinuity" results: conditions that seem weaker than continuity (or equicontinuity) turn out to imply it, thanks to completeness. ## Standard Techniques for Working with Equicontinuity Equicontinuity arguments appear throughout analysis in several recurring patterns. This section catalogues the most common techniques. ### Verifying Equicontinuity via Integral Estimates In PDE theory and harmonic analysis, families of functions often arise as convolutions or integral operators, and equicontinuity follows from estimates on the kernel. [example: Convolution with an Approximate Identity] Let $\eta \in L^1(\mathbb{R}^n)$ with $\int_{\mathbb{R}^n} \eta \, d\mathcal{L}^n = 1$ and $\|\eta\|_{L^1} = C_\eta$. For $\varepsilon > 0$, define the mollifier $\eta_\varepsilon(x) = \varepsilon^{-n} \eta(x/\varepsilon)$. Given a bounded family $\mathcal{G} \subset L^\infty(\mathbb{R}^n)$ with $\sup_{g \in \mathcal{G}} \|g\|_\infty \le M$, define the smoothed family \begin{align*} \mathcal{F}_\varepsilon = \{ \eta_\varepsilon * g : g \in \mathcal{G} \}. \end{align*} Each $f = \eta_\varepsilon * g$ is smooth, and its gradient satisfies \begin{align*} |\nabla f(x)| &= |(\nabla \eta_\varepsilon) * g(x)| \\ &\le \|\nabla \eta_\varepsilon\|_{L^1} \cdot \|g\|_\infty \\ &= \varepsilon^{-1} \|\nabla \eta\|_{L^1} \cdot M. \end{align*} The constant $\varepsilon^{-1} \|\nabla \eta\|_{L^1} \cdot M$ is independent of the choice of $g \in \mathcal{G}$. By the derivative bound criterion, $\mathcal{F}_\varepsilon$ is uniformly equicontinuous for each fixed $\varepsilon > 0$. Combined with the uniform bound $\|f\|_\infty \le C_\eta M$, the Arzelà--Ascoli theorem (applied on compact subsets via a diagonal argument) shows that $\mathcal{F}_\varepsilon$ is relatively compact in $C(K)$ for every compact $K \subset \mathbb{R}^n$. This technique is the standard method for extracting convergent subsequences in approximation arguments: mollify, obtain uniform gradient bounds, apply Arzelà--Ascoli. [/example] ### The Diagonal Extraction Technique When the domain is not compact, one cannot apply the Arzelà--Ascoli theorem directly. The standard workaround is to exhaust the domain by an increasing sequence of compact sets and apply a diagonal argument. [explanation: Diagonal Extraction on Non-Compact Domains] Suppose $\{f_n\}$ is a sequence of continuous functions on $\mathbb{R}^n$ that is equicontinuous and pointwise bounded. Write $K_j = \overline{B}(0, j)$ for the closed ball of radius $j$. On $K_1$, the Arzelà--Ascoli theorem produces a subsequence $(f_{1,k})_{k=1}^\infty$ of $(f_n)$ that converges uniformly on $K_1$. Restricting further, $(f_{1,k})$ is still equicontinuous and pointwise bounded on $K_2$, so a further subsequence $(f_{2,k})_{k=1}^\infty$ converges uniformly on $K_2$. Continuing, we obtain nested subsequences $(f_{j,k})_{k=1}^\infty$ converging uniformly on $K_j$. The diagonal subsequence $g_k = f_{k,k}$ converges uniformly on every compact subset of $\mathbb{R}^n$. This mode of convergence --- *locally uniform convergence* --- is the natural replacement for uniform convergence when the domain is non-compact. It is metrizable (by the metric $d(f,g) = \sum_{j=1}^\infty 2^{-j} \min(1, \sup_{K_j} |f - g|)$), and the resulting topology on $C(\mathbb{R}^n)$ is the compact-open topology. [/explanation] ### Equicontinuity via Moduli of Continuity Rather than verifying equicontinuity from the $\varepsilon$-$\delta$ definition, it is often cleaner to work with the *modulus of continuity* of the family. [definition: Modulus of Continuity of a Family] Let $\mathcal{F}$ be a family of functions from a metric space $(X, d)$ to $\mathbb{R}$. The *modulus of continuity of $\mathcal{F}$* is the function $\omega_{\mathcal{F}}: [0, \infty) \to [0, \infty]$ defined by \begin{align*} \omega_{\mathcal{F}}(\delta) = \sup_{f \in \mathcal{F}} \sup_{\substack{x, y \in X \\ d(x,y) \le \delta}} |f(x) - f(y)|. \end{align*} The family $\mathcal{F}$ is uniformly equicontinuous if and only if $\omega_{\mathcal{F}}(\delta) \to 0$ as $\delta \to 0^+$. [/definition] The modulus of continuity formulation is particularly useful for establishing equicontinuity of families defined by integral conditions. For instance, if $\mathcal{F} \subset W^{1,p}(U)$ with $\sup_{f \in \mathcal{F}} \|f\|_{W^{1,p}} \le M$ and $p > n$ (so that the [Morrey inequality](/page/Sobolev%20Spaces) applies), then \begin{align*} \omega_{\mathcal{F}}(\delta) \le C \cdot M \cdot \delta^{1 - n/p}, \end{align*} where $C$ depends only on $n$, $p$, and $U$. This gives Holder equicontinuity with exponent $1 - n/p > 0$, and in particular uniform equicontinuity. ### Equicontinuity and Compactness in $L^p$ The Arzelà--Ascoli theorem characterises compact subsets of $C(K)$. For [$L^p$ spaces](/page/L%5Ep%20Spaces), the analogous result is the Riesz--Kolmogorov theorem (also called the Frechet--Kolmogorov theorem), which replaces equicontinuity with a condition on *translations*. [quotetheorem:1101] Condition (2) is the $L^p$ analogue of equicontinuity: instead of requiring that function *values* change little when the argument changes little (as in classical equicontinuity), it requires that the *entire function profile* shifts little in $L^p$-norm under small translations. Condition (3) --- tightness --- prevents mass from escaping to infinity, analogous to the role that compactness of $K$ plays in the Arzelà--Ascoli theorem. The failure of compactness in $L^p$ without tightness is precisely the translating bump phenomenon: the family $\{f_n(x) = \varphi(x-n)\}$ is bounded, translation-equicontinuous (all translates of the same function), but not tight, and not relatively compact. ## Equicontinuity in Topological Dynamics and Beyond Equicontinuity has natural extensions beyond classical analysis. In topological dynamics, a continuous map $T: X \to X$ on a compact metric space is called *equicontinuous* if the family of iterates $\{T^n : n \in \mathbb{N}\}$ is equicontinuous. This condition means that nearby points remain nearby under all iterates --- there is no sensitive dependence on initial conditions. Equicontinuous dynamical systems are the opposite of chaotic: they include isometries, rotations of compact groups, and distal systems. The Arzelà--Ascoli theorem guarantees that the orbit closure $\overline{\{T^n : n \ge 0\}}$ is compact in $C(X, X)$, giving equicontinuous systems a rich algebraic structure (the Ellis semigroup is a compact topological group). In the theory of holomorphic functions, the concept of a *normal family* --- a family of holomorphic functions on a domain $U \subset \mathbb{C}$ such that every sequence has a locally uniformly convergent subsequence --- is precisely the condition that the family is relatively compact in the compact-open topology. Montel's theorem asserts that every locally bounded family of holomorphic functions is normal, providing a complex-analytic analogue of Arzelà--Ascoli where holomorphicity replaces equicontinuity. Indeed, the Cauchy integral formula shows that local boundedness of holomorphic functions implies local boundedness of all derivatives, which in turn implies equicontinuity via the derivative bound criterion. ## References - Arzelà, C., *Sulle funzioni di linee*, Mem. Accad. Sci. Ist. Bologna (1895). - Ascoli, G., *Le curve limiti di una varietà data di curve*, Atti Accad. Naz. Lincei (1884). - Rudin, W., *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill (1976). - Folland, G. B., *Real Analysis: Modern Techniques and Their Applications*, 2nd ed., Wiley (1999). - Conway, J. B., *A Course in Functional Analysis*, 2nd ed., Springer (1990). - Brezis, H., *Functional Analysis, Sobolev Spaces and Partial Differential Equations*, Springer (2011). - Munkres, J. R., *Topology*, 2nd ed., Prentice Hall (2000).