Type et cotype d'un espace de Banach

Le type et le cotype d'un espace de Banach sont une classification des espaces de Banach et une mesure de la distance entre un espace de Banach et être un espace de Hilbert.

Le point de départ est l'identité pythagoricienne d'un espace de Hilbert. Dans un espace de Hilbert, les vecteurs orthogonaux $(e_k{)}_{k=1}^n$ ont l'identité

${\Vert \sum _{k=1}^n{e}_k\Vert }^2=\sum _{k=1}^n{\Vert e_k\Vert }^2.$

Ce n'est plus le cas dans les espaces généraux de Banach. L'orthogonalité est formulée dans la définition à l'aide de variables aléatoires de Rademacher, c'est pourquoi on parle aussi de type de Rademacher et de cotype de Rademacher.

Définition

Soit $(X,\Vert \cdot \Vert )$ un espace de Banach. Soit $({\epsilon }_i)$ une suite de variables aléatoires de Rademacher indépendantes, c'est-à-dire $P({\epsilon }_i=-1)=P({\epsilon }_i=1)=1/2$ et $𝔼[{\epsilon }_n{\epsilon }_m]=0$ pour $n\ne m$ et $\mathrm{Var}[{\epsilon }_i]=1$.

Type

$X$ est de type $p$ avec $p\in [1,2]$ si une constante finie $C\ge 1$ existe tel que

${𝔼}_{\epsilon }\left[{\Vert \sum _{i=1}^n{\epsilon }_i{x}_i\Vert }^p\right]\le C^p(\sum _{i=1}^n\Vert x_i{\Vert }^p)$

pour toute suite finie $(x_i{)}_{i=1}^n\in X^n$. On écrit pour la meilleure constante $T_p(X)$.

Cotype

$X$ est de cotype $q$ avec $q\in [2,\mathrm{\infty }]$ si une constante finie $C\ge 1$ existe tel que

${𝔼}_{\epsilon }\left[{\Vert \sum _{i=1}^n{\epsilon }_i{x}_i\Vert }^q\right]\ge \frac{1}{C^q}(\sum _{i=1}^n\Vert x_i{\Vert }^q),\text{si}2\le q<\mathrm{\infty }$

respectivement

${𝔼}_{\epsilon }\left[\Vert \sum _{i=1}^n{\epsilon }_i{x}_i\Vert \right]\ge \frac{1}{C}\sup \Vert x_i\Vert ,\text{si}q=\mathrm{\infty }$

pour toute suite finie $(x_i{)}_{i=1}^n\in X^n$. On écrit pour la meilleure constante $C_q(X)$.

Propriétés

• Un espace de Banach est de type $2$ et de cotype $2$ si et seulement s'il est isomorphe à un espace de Hilbert, alors l'identité pythagoricienne est vraie.
• Un espace de Banach de type $p$ est aussi de type $p^{\prime }\in [1,p]$.
• Un espace de Banach de cotype $q$ est aussi de cotype $q^{\prime }\in [q,\mathrm{\infty }]$.
• Tout espace de Banach est de type $1$ (découlant de l'inégalité triangulaire).
• L'équation peut également être écrite sous forme abrégée en utilisant la norme de Bochner-Lebesgue.
• L'espace dual $X^{*}$ d'un espace de Banach de type $p$ (avec $1<p\le 2$) est de cotype $p^{*}$, où $p^{*}$ est le nombre conjugué de $p$ : $p^{*}:=(1-1/p{)}^{-1}$ est. De plus, $C_{p^{*}}(X^{*})\le T_p(X)$ s'applique.

Exemples

• Les espaces $L^p$ pour $p\in [1,2]$ sont de type $p$ et cotype $2$, c'est-à-dire $L^1$ est de type $1$, $L^2$ est de type $2$ etc.
• Les espaces $L^p$ pour $p\in [2,\mathrm{\infty })$ sont de type $2$ et cotype $p$.
• $L^{\mathrm{\infty }}$ est de type $1$ et cotype $\mathrm{\infty }$.

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage