520 B
520 B
aliases
aliases | ||
---|---|---|
|
up:: #s/maths/topologie
[!proposition]+ théorème d'Ascoli Si
(X, d)
est un espace métrique compact SoitC \subset \mathcal{C}(X, \mathbb{R})
un ensemble de application continue muni de\|\cdot\|_{\infty}
AlorsC
est espace métrique compact si et seulement si :
C
est partie fermée d'un espace métrique et partie bornéeC
est équicontinue