Théorème D'Arzelà-Ascoli

Caractérisation des sous-ensembles relativement compacts de C(K) (fonctions continues sur un domaine compact K) pour la topologie uniforme : une famille est relativement compacte si et seulement si elle est équicontinue et pointwise relativement compacte (souvent formulé équicontinue et bornée en chaque point).