# Théorème d'Arzelà-Ascoli

Arzelà–Ascoli theorem The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

The notion of equicontinuity was introduced in the late 19th century by the Italian mathematicians Cesare Arzelà and Giulio Ascoli. A weak form of the theorem was proven by Ascoli (1883–1884), who established the sufficient condition for compactness, and by Arzelà (1895), who established the necessary condition and gave the first clear presentation of the result. A further generalization of the theorem was proven by Fréchet (1906), to sets of real-valued continuous functions with domain a compact metric space (Dunford & Schwartz 1958, p. 382). Modern formulations of the theorem allow for the domain to be compact Hausdorff and for the range to be an arbitrary metric space. More general formulations of the theorem exist that give necessary and sufficient conditions for a family of functions from a compactly generated Hausdorff space into a uniform space to be compact in the compact-open topology; see Kelley (1991, page 234).

Contenu 1 Statement and first consequences 1.1 Immediate examples 1.1.1 Differentiable functions 1.1.2 Lipschitz and Hölder continuous functions 2 Généralisations 2.1 Euclidean spaces 2.2 Compact metric spaces and compact Hausdorff spaces 2.3 Functions on non-compact spaces 2.4 Non-continuous functions 3 Necessity 4 Further examples 5 Voir également 6 References Statement and first consequences By definition, une séquence {style d'affichage {F_{n}}_{nin mathbb {N} }} of continuous functions on an interval I = [un, b] is uniformly bounded if there is a number M such that {style d'affichage à gauche|F_{n}(X)droit|leq M} for every function fn belonging to the sequence, and every x ∈ [un, b]. (Ici, M must be independent of n and x.) The sequence is said to be uniformly equicontinuous if, for every ε > 0, there exists a δ > 0 tel que {style d'affichage à gauche|F_{n}(X)-F_{n}(y)droit|

Immediate examples Differentiable functions The hypotheses of the theorem are satisfied by a uniformly bounded sequence { fn } of differentiable functions with uniformly bounded derivatives. En effet, uniform boundedness of the derivatives implies by the mean value theorem that for all x and y, {style d'affichage à gauche|F_{n}(X)-F_{n}(y)droit|leq K|x-y|,} where K is the supremum of the derivatives of functions in the sequence and is independent of n. Alors, given ε > 0, let δ = ε / 2K to verify the definition of equicontinuity of the sequence. This proves the following corollary: Laisser {fn} be a uniformly bounded sequence of real-valued differentiable functions on [un, b] such that the derivatives {fn′} are uniformly bounded. Then there exists a subsequence {fnk} that converges uniformly on [un, b].

Si, en outre, the sequence of second derivatives is also uniformly bounded, then the derivatives also converge uniformly (up to a subsequence), etc. Another generalization holds for continuously differentiable functions. Suppose that the functions fn are continuously differentiable with derivatives f′n. Suppose that fn′ are uniformly equicontinuous and uniformly bounded, and that the sequence { fn }, is pointwise bounded (or just bounded at a single point). Then there is a subsequence of the { fn } converging uniformly to a continuously differentiable function.

The diagonalization argument can also be used to show that a family of infinitely differentiable functions, whose derivatives of each order are uniformly bounded, has a uniformly convergent subsequence, all of whose derivatives are also uniformly convergent. This is particularly important in the theory of distributions.

Lipschitz and Hölder continuous functions The argument given above proves slightly more, specifically If { fn } is a uniformly bounded sequence of real valued functions on [un, b] such that each f is Lipschitz continuous with the same Lipschitz constant K: {style d'affichage à gauche|F_{n}(X)-F_{n}(y)droit|leq K|x-y|} pour tout x, y ∈ [un, b] and all fn , then there is a subsequence that converges uniformly on [un, b].

The limit function is also Lipschitz continuous with the same value K for the Lipschitz constant. A slight refinement is A set F of functions f on [un, b] that is uniformly bounded and satisfies a Hölder condition of order α, 0 < α ≤ 1, with a fixed constant M, {displaystyle left|f(x)-f(y)right|leq M,|x-y|^{alpha },qquad x,yin [a,b]} is relatively compact in C([a, b]). In particular, the unit ball of the Hölder space C0,α([a, b]) is compact in C([a, b]). This holds more generally for scalar functions on a compact metric space X satisfying a Hölder condition with respect to the metric on X. Generalizations Euclidean spaces The Arzelà–Ascoli theorem holds, more generally, if the functions fn take values in d-dimensional Euclidean space Rd, and the proof is very simple: just apply the R-valued version of the Arzelà–Ascoli theorem d times to extract a subsequence that converges uniformly in the first coordinate, then a sub-subsequence that converges uniformly in the first two coordinates, and so on. The above examples generalize easily to the case of functions with values in Euclidean space. Compact metric spaces and compact Hausdorff spaces The definitions of boundedness and equicontinuity can be generalized to the setting of arbitrary compact metric spaces and, more generally still, compact Hausdorff spaces. Let X be a compact Hausdorff space, and let C(X) be the space of real-valued continuous functions on X. A subset F ⊂ C(X) is said to be equicontinuous if for every x ∈ X and every ε > 0, x has a neighborhood Ux such that {displaystyle forall yin U_{X},forall fin mathbf {F} :qquad |F(y)-F(X)|

Si vous voulez connaître d'autres articles similaires à **Théorème d'Arzelà-Ascoli** vous pouvez visiter la catégorie **Compactness theorems**.

Laisser un commentaire