A characterization of relatively compact subsets of C(K) (continuous real- or complex-valued functions on a compact domain K) under the uniform topology: a family is relatively compact if and only if it is equicontinuous and pointwise relatively compact (often stated as equicontinuous and pointwise bounded).

Principle

Uniform control of oscillation (equicontinuity) together with control at each point prevents wild divergence and ensures precompactness in the sup-norm topology on a compact domain.

Demonstration

On K = [0,1], the family of functions with a uniform Lipschitz constant L and uniformly bounded values at a point is equicontinuous and pointwise bounded, so by Arzelà-Ascoli every sequence has a uniformly convergent subsequence. In contrast, the family f_n(x)=sin(n x) on [0,2π] is not equicontinuous and has no uniformly convergent subsequence.

Misapplication

Using the theorem on noncompact domains, in spaces without the sup-norm structure, or ignoring equicontinuity: pointwise boundedness alone does not imply relative compactness; on noncompact K the conclusion can fail.

Consequence

Provides a practical compactness test for sets of continuous functions that yields existence of uniformly convergent subsequences and is fundamental in the study of differential equations, calculus of variations, and compact embeddings.

Reversal

If a family fails equicontinuity or pointwise boundedness then it need not be relatively compact; negating the hypothesis typically allows constructions of sequences with no uniformly convergent subsequences.

Boundary

Requires a compact domain K and the topology of uniform convergence (sup-norm) on continuous functions. It does not directly apply to L^p spaces, distributions, or noncompact domains without modification.

Semantic Tension

Tension with pointwise convergence and weak compactness: Arzelà-Ascoli ensures uniform (strong) precompactness, which is stronger than mere pointwise or weak compactness; distinguishing these modes is crucial in applications.

Synthesis

Arzelà-Ascoli ties equicontinuity and pointwise control to precompactness in C(K): families of continuous functions that are uniformly controlled in oscillation and value accumulate only in the sup-norm, producing uniform convergence subsequences.