Espace strictement convexe

En mathématiques, un espace strictement convexe est un espace normé dont la boule unité est strictement convexe dans le sens précisé ci-dessous. Cette propriété de la norme est moins forte que celle possédée par la norme d'un espace uniformément convexe ou d'un espace réflexif (à un changement de norme équivalente près), mais elle permet toutefois aux espaces strictement convexes d'avoir certaines des propriétés remarquables d'espaces plus structurés. Une norme conférant à l'espace vectoriel qu'elle équipe la propriété de stricte convexité est appelée une norme arrondie.

Définition modifier

La définition peut prendre plusieurs formes équivalentes^[1].

Espace strictement convexe — Un espace strictement convexe est un espace normé dont la norme notée $\|\cdot \|$ vérifie l'une des propriétés équivalentes suivantes :

$\forall z\in \left]x,y\right[\quad \|z\|<\max(\|x\|,\|y\|)$ ;
$\|x+y\|=\|x\|+\|y\|$ implique l'existence de scalaires $\alpha \geqslant 0$ et $\beta \geqslant 0$ tels que $\alpha +\beta >0$ et $\alpha x=\beta y$ ;
pour tout (ou un) $p>1$ , l'application $\|\cdot \|^{p}$ est strictement convexe.

Une norme conférant à l'espace vectoriel qu'elle équipe la propriété de stricte convexité est appelée une norme arrondie.

La stricte convexité d'un espace normé donné n'est pas conservée par changement de norme équivalente : un espace de dimension finie est strictement convexe pour ses normes euclidiennes mais pas pour ses normes $ℓ 1$ et $ℓ \infty$ , par exemple, alors que toutes ses normes sont équivalentes. Il s'agit donc plus d'une propriété de la norme que de la topologie qu'elle définit. Pour cette raison, on parle parfois de norme strictement convexe^[2], mais cela introduit une ambiguïté de langage dont il faudra se méfier, car l'application $x \mapsto ║ x ║$ n'est jamais strictement convexe, puisqu'elle est positivement homogène de degré 1 : $║t x║ = t ║x║$ pour tout $t$ positif. C'est en réalité la puissance $p > 1$ de la norme qui est strictement convexe, comme l'indique la définition 3. Certains auteurs^[3] préfèrent donc utiliser l'expression de norme arrondie, pour éviter l'ambiguïté relevée ci-dessus.

Propriété modifier

Soient $E$ un espace normé et $x$ un vecteur non nul de $E$ .

On appelle élément conjugué dual de $x$ tout élément $f$ du dual topologique $E'$ de $E$ vérifiant : $\langle f,x\rangle =\|f\|\,\|x\|{\text{ et }}\|f\|=\|x\|.$ L'existence de tels $f$ est assurée par le théorème de Hahn-Banach (donc au moyen du lemme de Zorn).
On dit que $E$ est un espace lisse^[4]^,^[5] si tout vecteur de $E$ possède un unique élément conjugué dual.
Ce nom vient du fait que $E$ est lisse si et seulement si l'application ║ ║ possède une dérivée de Gateaux en tout vecteur unitaire $x$ de $E$ , dans la direction de tout $y$ ^[6] (ce qui équivaut à : ║x + ty║ + ║x – ty║ – 2 = o(t)^[7]). Cette dérivée est alors égale à $〈 f, y 〉$ , où $f$ désigne l'élément conjugué dual de $x$ .

Stricte convexité et lissité^[8]^,^[9] — Si $E'$ est strictement convexe, alors $E$ est lisse. Si $E'$ est lisse, alors $E$ est strictement convexe.

Existence modifier

À un changement de norme équivalente près, tout espace de Banach réflexif ou séparable est strictement convexe.

Existence de norme strictement convexe —

Tout espace de Banach réflexif peut être muni d'une norme équivalente arrondie^[10].
Tout espace de Banach séparable possède une norme équivalente pour laquelle il est simultanément strictement convexe et lisse^[11].

Le second énoncé fournit des exemples simples d'espaces de Banach strictement convexes mais (même à équivalence près) non uniformément convexes : il suffit de prendre un espace de Banach séparable (donc strictement convexe pour une certaine norme) mais non réflexif (donc uniformément convexe pour aucune norme, d'après le théorème de Milman-Pettis).

Annexes modifier

Notes modifier

↑ La définition 1 est la plus courante, avec ses variantes : $║ x ║$ = 1, $║ y ║$ = 1, $x \neq y$ et $0 < t < 1$ impliquent ║ $(1 - t) x + ty$ ║ < 1 ; parfois avec seulement $t$ = 1/2. La définition 2 est utilisée par Lindenstrauss 1965. La définition 3 est utilisée par Asplund 1967 avec $p = 2$ .
↑ Par exemple Lindenstrauss 1965, p. 200.
↑ Par exemple, Asplund 1967 utilise le vocable rotund norm. Phelps 1989 utilise indifféremment les vocables strictly convex norm et rotund norm.
↑ Bourbaki, EVT, p. V.65, exercice 26
↑ « Smooth » dans Carothers 2004, p. 113
↑ Elaydi 1991, p. 186
↑ Johnson et Lindenstrauss 2001, p. 31
↑ Bourbaki, EVT, p. V.66, exercice 28
↑ Carothers 2004, p. 114
↑ Résultat dû à Lindenstrauss 1966.
↑ Résultat dû à Day 1955. Voir aussi Johnson et Lindenstrauss 2001, p. 33

Bibliographie modifier

(en) E. Asplund, « Averaged norms », Israel J. Math., vol. 5,‎ 1967, p. 227-233
N. Bourbaki, Éléments de mathématique : Espaces vectoriels topologiques
(en) N. L. Carothers, A Short Course on Banach Space Theory, CUP, 2004, 184 p. (ISBN 978-0-521-60372-0, lire en ligne), p. 113-115
(en) Mahlon M. Day, « Strict convexity and smoothness of normed spaces », Trans. Amer. Math. Soc., vol. 78,‎ 1955, p. 516-528 (lire en ligne)
(en) Saber Elaydi, Differential Equations : Stability and Control, CRC Press, 1991 (ISBN 978-0-8247-8404-1)
(en) William B. Johnson (de) et Joram Lindenstrauss, Handbook of the Geometry of Banach Spaces, vol. 1, Elsevier, 2001, 1016 p. (ISBN 978-0-08-053280-6, lire en ligne), p. 30-35
(en) J. Lindenstrauss, « On reflexive spaces having the metric approximation property », Israel J. Math., vol. 3,‎ 1965, p. 199-204
(en) J. Lindenstrauss, « On nonseparable reflexive Banach spaces », Bull. Amer. Math. Soc., vol. 72,‎ 1966, p. 967-970
(en) Robert Phelps (en), Convex Functions, Monotone Operators and Differentiability, Springer, coll. « Lecture Notes in Mathematics » (n^o 1364), 1989

Portail de l'analyse

[1] La définition 1 est la plus courante, avec ses variantes : $║ x ║$ = 1, $║ y ║$ = 1, $x \neq y$ et $0 < t < 1$ impliquent ║ $(1 - t) x + ty$ ║ < 1 ; parfois avec seulement $t$ = 1/2. La définition 2 est utilisée par Lindenstrauss 1965. La définition 3 est utilisée par Asplund 1967 avec $p = 2$ .

[2] Par exemple Lindenstrauss 1965, p. 200.

[3] Par exemple, Asplund 1967 utilise le vocable rotund norm. Phelps 1989 utilise indifféremment les vocables strictly convex norm et rotund norm.

[4] Bourbaki, EVT, p. V.65, exercice 26

[5] « Smooth » dans Carothers 2004, p. 113

[6] Elaydi 1991, p. 186

[7] Johnson et Lindenstrauss 2001, p. 31

[8] Bourbaki, EVT, p. V.66, exercice 28

[9] Carothers 2004, p. 114

[10] Résultat dû à Lindenstrauss 1966.

[11] Résultat dû à Day 1955. Voir aussi Johnson et Lindenstrauss 2001, p. 33

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]