title: Espace uniformément convexe
text: # Espace uniformément convexe
  
  En mathématiques, un espace uniformément convexe est un espace vectoriel muni d'une norme dont les boules sont « bien arrondies », en un sens plus fort que dans un espace strictement convexe. Tout espace de Banach uniformément convexe est réflexif. Ces espaces comprennent les espaces de Hilbert et les espaces $L^p$ pour 1 < p < ∞.
  
  ## Définition
  
  Un espace uniformément convexe est un espace de Banach — ou seulement, selon les auteurs, un espace vectoriel normé — tel que, pour tout ε > 0, il existe un δ > 0 pour lequel, pour tout couple (x, y) de vecteurs,
  
  $\left(\|x\|\leq 1~{\text{et}}~\|y\|\leq 1~{\text{et}}~\|x-y\|\geq \varepsilon \right)\Rightarrow \left\|{\frac {x+y}{2}}\right\|\leq 1-\delta .$
  
  ou encore : pour tout ε > 0, il existe un η > 0 pour lequel, pour tout couple (x, y) de vecteurs,
  
  $\|x-y\|\geq \varepsilon \max(\|x\|,\|y\|)\Rightarrow \left\|{\frac {x+y}{2}}\right\|\leq (1-\eta )\max(\|x\|,\|y\|).$
  
  Le concept de convexité uniforme a été introduit par James Clarkson (en).
  
  De manière intuitive, cela signifie que les boules sont bien arrondies : les cordes suffisamment longues de la sphère ont leur milieu suffisamment loin du bord de la boule, le tout avec un caractère uniforme par rapport aux choix de la longueur de la corde. On peut comparer cette notion avec celle d'espace strictement convexe, moins exigeante. Cette propriété peut ne pas être conservée si on passe à une norme équivalente. Ainsi dans le cas du plan $ℝ^2,$ la norme ║ $║_2$ est uniformément convexe, alors que les normes ║ $║_1$ ou ║ $║_∞$ ne le sont pas.
  
  ## Propriétés
  
  * Si E est un espace de Banach uniformément convexe alors, pour toute forme linéaire continue non nulle f sur E, il existe dans E un unique vecteur unitaire x tel que f(x) = ║f║.
  
  Supposons, sans perte de généralité, que ║f║ = 1 et soit $(x_n)$ une suite de vecteurs unitaires telle que $f(x_n)$ → 1. Alors, par encadrement, $║(x_m$ + $x_n)/2║$ → 1 quand m, n → ∞ donc, par convexité uniforme, la suite $(x_n)$ est de Cauchy. Sa limite fournit le x souhaité. Il est unique par convexité stricte.
  
  * Le théorème de Milman-Pettis énonce que tout espace de Banach uniformément convexe est réflexif. Ce théorème a été prouvé indépendamment par David Milman et Billy James Pettis. Shizuo Kakutani en donna une preuve différente via la propriété de $Banach-Saks^,,$ puis John Ringrose publia une preuve plus courte. Le point précédent permet de le considérer comme un corollaire d'un théorème ultérieur de James, mais il est plus économique de le démontrer directement.
  
  Puisque E (identifié à son image dans E'' par l'inclusion isométrique canonique) est complet, il est fortement fermé dans E''. Pour montrer qu'il lui est égal, il suffit donc de montrer que
  
  $\forall z\in E'',\forall \varepsilon >0,\exists y\in E,\|z-y\|\leq \varepsilon .$
  
  Supposons, sans perte de généralité, que ║z║ = 1 et notons B la boule unité fermée de E et B'' celle de E''. Pour la topologie faible-*, comme B est dense dans B'' (Théorème de Goldstine, vrai pour n'importe quel espace vectoriel normé E), z appartient à son adhérence, donc à celle de B ∩ V pour tout voisinage V de z.
  
  Considérons alors un élément y de B ∩ V, pour un voisinage V de z choisi de la façon suivante :
  
  * δ > 0 correspond au ε dans la définition de la convexité uniforme,
  * f ∈ E' est tel que $\|f\|=1{\text{ et }}|\langle z,f\rangle -1|\leq \delta ,$
  * $V=\{x\in E''~;~|\langle x,f\rangle -1|\leq \delta \}.$
  
  Pour tout x ∈ B ∩ V on a alors :
  
  $\left\|{\frac {x+y}{2}}\right\|\geq \left|\left\langle {\frac {x+y}{2}},f\right\rangle \right|\geq 1-\delta {\text{ donc }}\|x-y\|\leq \varepsilon .$
  
  Ainsi, B ∩ V est inclus dans le fermé y + εB'' donc son adhérence (faible-*) aussi. Comme z appartient à cette adhérence, il est bien à distance au plus ε de l'élément y de E.
  
  * L'identité du parallélogramme montre que tout espace de Hilbert est uniformément convexe.
  * Les inégalités de Clarkson (en) ou celles de Hanner $(en)^,$ permettent de montrer que les espaces $L^p$ pour 1 < p < ∞ sont uniformément convexes.
  