Arzelà–Ascoli theorem

The Arzelà–Ascoli theorem characterizes when a family of continuous functions has compact closure in the uniform topology. On a compact domain, uniform boundedness and equicontinuity provide the standard sufficient conditions.

Equicontinuity: A family of functions is equicontinuous when one continuity bound works uniformly across the family. It prevents increasingly sharp oscillations that would obstruct uniform subsequential convergence.
Space of continuous functions: A space of continuous functions is a set of continuous maps equipped with an algebraic or topological structure. The theorem concerns compact subsets of such a function space.
Peano existence theorem: Peano’s existence theorem guarantees a local solution to an ordinary differential equation with a continuous right-hand side. Compactness methods can turn approximate solutions into a convergent subsequence yielding an exact solution.
Dini’s theorem: Dini’s theorem gives uniform convergence for a monotone sequence of continuous functions converging pointwise to a continuous limit on a compact space. It derives uniform convergence from monotonicity rather than compactness of an entire function family.
Cesare Arzelà: Cesare Arzelà was an Italian mathematician who contributed to analysis and the theory of function sequences. His work supplied one of the theorem’s foundational formulations.
Uniform boundedness: A family of functions is uniformly bounded when all its values lie within one fixed bounded range. Together with equicontinuity, it supplies the standard compactness criterion for real-valued functions.
Supremum norm: The supremum norm of a bounded function is the supremum of its absolute value over the domain. It induces the uniform topology used in the common form of the theorem.
Arzelà–Ascoli theorem for ODEs: The Arzelà–Ascoli compactness method applies the theorem to families of approximate solutions of ordinary differential equations. Uniform bounds and derivative bounds often make these solution families relatively compact.
Banach–Alaoglu theorem: The Banach–Alaoglu theorem states that the closed unit ball in a dual space is compact in the weak-star topology. It obtains compactness in a weaker topology through duality, not equicontinuity in the uniform topology.
Giulio Ascoli: Giulio Ascoli was an Italian mathematician known for work in analysis and differential equations. His independent contribution is commemorated in the theorem’s name.

Linked from 15 pages