Le théorème d'Eberlein-Šmulian, nommé d'après et , est le résultat suivant d'analyse fonctionnelle :
Ce théorème est remarquable parce que dans un espace séparé quelconque, on a seulement « compact ⇒ dénombrablement compact » et « séquentiellement compact ⇒ dénombrablement compact ». Ces trois propriétés sont équivalentes dans un espace métrisable, mais cet espace-ci n'en est pas un (sauf s'il est de dimension finie)Cependant, dans un espace de Banach E muni de la topologie faible, tout compact est métrisable dès que E est séparable et même, toute partie bornée (en norme) est métrisable dès que le dual topologique E' est séparable : et , .
Remarques Plus généralement, tout espace vectoriel normé, muni de la topologie faible, est angélique. Šmulian a démontré en 1940 l'implication « dénombrablement compact ⇒ séquentiellement compact ». L'autre (« dénombrablement compact ⇒ compact ») n'a été démontrée qu'en 1947, par Eberlein. En 1952, Alexandre Grothendieck a étendu cette dernière aux espaces localement convexes qui sont quasi complets pour la (c'est-à-dire que pour cette topologie, toute suite généralisée de Cauchy bornée converge, ou encore : tout fermé borné est complet). Si un espace de Banach n'est pas réflexif, dans son dual topologique muni de la topologie faible-* (alors strictement moins fine que la faible), la boule unité est compacte d'après le théorème de Banach-Alaoglu, mais pas séquentiellement compacte en général. Par exemple dans la boule unité du dual de l'espace ℓ des suites bornées, la suite des formes linéaires continues E sur ℓ définies par E((x)) = x n'a aucune sous-suite convergente.
Applications Sachant qu'un espace de Banach est réflexif si et seulement sa boule unité est faiblement compacte, le théorème d'Eberlein-Šmulian fournit un autre critère : un espace de Banach est réflexif si et seulement si sa boule unité est faiblement séquentiellement compacte ou, ce qui est équivalent, si toute suite bornée admet une sous-suite faiblement convergente.
Ce critère a des répercussions dans la théorie des équations aux dérivées partielles, en particulier dans les espaces de Sobolev, car nombre d'entre eux sont réflexifs. Comme beaucoup d'équations aux dérivées partielles n'ont de solutions qu'en un sens faible, ce théorème est une étape importante pour choisir dans quel espace de solutions faibles on résout une telle équation.
Notes et références
Bibliographie
Eberlein Smulian Eberlein Smulian Catégorie:Espace de Banach