Espace hermitien

Un article de Wikipédia, l'encyclopédie libre.

Charles Hermite en 1887

En mathématiques, un espace hermitien est un espace vectoriel sur le corps des complexes de dimension finie et muni d'un produit scalaire. La géométrie d'un tel espace est analogue à celle d'un espace euclidien. De nombreuses propriétés sont communes aux deux structures.

Ainsi les majorations caractéristiques comme celles de Cauchy-Schwarz et de Minkowski sont toujours valables, l'existence de bases particulières, dites orthonormales, est assurée et la relation canonique entre l'espace et son dual est de même nature que celle de la configuration euclidienne.

Le caractère algébriquement clos du corps sous-jacent rend la diagonalisation des endomorphismes compatibles avec le produit scalaire plus générale. Le terme compatible signifie ici normal, c'est à dire commutant avec son adjoint.

Enfin, un espace hermitien de dimension n est aussi un espace euclidien de dimension 2n, en conséquence les propriétés topologiques sont exactement les mêmes.

Cette structure doit son nom au mathématicien français Charles Hermite (1822 - 1901).

[modifier] Définition et première propriétés

[modifier] Définitions

Article détaillé : Forme sesquilinéaire.

L'objectif est de généraliser la structure d'espace euclidien au nombres complexes, qui offre l'avantage d'être un corps algébriquement clos. En contrepartie, il n'existe plus de relation d'ordre compatibles avec les opérations du corps et le carré d'un complexe est parfois négatif. Pour pallier cette difficulté, le produit scalaire n'est plus bilinéaire mais sesquilinéaire, c'est à dire s'il est noté <.,.> et si l'espace est appelé E :

$\forall x,y \in E,\;\forall \lambda \in \mathbb C \quad \langle x,\lambda y \rangle =\bar \lambda \langle x,y \rangle$

Une forme sesquilinéaire est linéaire pour une variable et antilinéaire pour l'autre. Le choix de la variable linéaire est arbitraire. Ce qui amène les définitions suivantes :

Définition — Un produit scalaire sur un espace vectoriel complexe est une forme sesquilinéaire définie positive.

Le terme produit hermitien est synonyme de produit scalaire sur un espace vectoriel complexe.

Définition — Un espace hermitien est un espace vectoriel complexe de dimension finie et munis d'un produit scalaire.

La donnée du produit scalaire permet de définir une norme et une distance :

Définition — L'application qui à un vecteur x associe le produit scalaire de x par lui-même est une norme appelée norme hermitienne, la distance associée, qui à deux vecteurs associent la norme de leur différence est appelée distance hermitienne.

Dans toute la suite de l'article E désigne un espace vectoriel complexe de dimension n, C le corps des nombres complexes, <.,.> un produit scalaire, choisi linéaire par rapport à la première variable et antilinéaire par rapport à la seconde. La norme est notée $\scriptstyle {\|.\|}$ .

[modifier] Exemples

L'espace vectoriel Cⁿ, muni du produit scalaire canonique

$\langle (x_1,x_2,\cdots,x_n) , (y_1,y_2,\cdots,y_n) \rangle = x_1\bar y_1 + x_2\bar y_2 + \cdots + x_n\bar y_n = \sum_{i=1}^n x_i\bar y_i$

est un espace hermitien appelé espace hermitien canonique de dimension n.

L'espace vectoriel des polynômes complexes de degré inférieur ou égal à n,

muni du produit scalaire canonique :

$\left\langle\sum_{i=0}^{n}a_iX^i , \sum_{i=0}^{n}b_iX^i\right\rangle = \sum_{i=0}^{n}a_i\bar b_i$

est un espace hermitien de dimension n + 1.

muni du produit scalaire :

$\langle P , Q\rangle = \int_0^1P(t)\overline {Q(t)}\ {\rm d}t$

est aussi un espace hermitien dont la norme et la distance associées sont différentes de la précédente. Ce produit scalaire est plus généralement défini sur l'espace des polynômes complexes, sans condition de degré (espace de dimension infinie).

muni du produit scalaire :

$\langle P , Q\rangle = \sum_{i = 0}^n P(x_i)\overline {Q(x_i)}$

(où x₀, ... x_n sont n + 1 complexes distincts) est aussi un espace hermitien dont la norme et la distance associées sont différentes des précédentes.

[modifier] Inégalités et identités

A l'image de la situation réelle, les deux majorations classiques sont toujours vérifiées. Si x et y désigne deux vecteurs de E :

L'inégalité de Cauchy-Schwarz : $|\langle x,y\rangle|\le\|x\|.\|y\|$
L'inégalité de Minkowski dite aussi inégalité triangulaire : $\|x+y\| \le \|x\| + \|y\|\,$

Cette dernière montre que le troisième axiome de la définition d'une norme, dit de sous-additivité est vérifié. Les deux autres le sont de manière évidente.

Si R(λ) désigne la partie réelle du nombre complexe λ, le développement du carré de la norme d'une somme : $\|x+y\|^2 =\|x\|^2 + \|y\|^2 + 2 \mathfrak R \Big(\langle x,y\rangle\Big)$

permet d'établir le théorème de Pythagore : si x et y sont orthogonaux, alors $\|x+y\|^2 =\|x\|^2 + \|y\|^2$

A la différence de la situation euclidienne, la réciproque n'est plus vraie, en effet le carré de la norme somme de deux vecteurs est égal à la somme des carrés des normes si et seulement si la partie réelle du produit scalaire des deux vecteurs est nulle.

Le développement du carré de la norme de la somme de deux vecteurs montre la règle du parallélogramme : $\|x+y\|^2 + \|x-y\|^2 = 2\|x\|^2 + 2 \|y\|^2$

Ainsi que l'identité polaire : $\|x+y\|^2 - \|x-y\|^2 = 2\langle x,y\rangle + 2\langle y,x\rangle$
Elle prend aussi la forme suivante, appelée identité de polarisation : $\langle x,y\rangle=\frac14(\|x+y\|^2 - \|x-y\|^2 + i\|x+iy\|^2 - i\|x-iy\|^2)$

[modifier] Propriétés

[modifier] Base orthonormale

Articles détaillés : Espace euclidien et Base orthonormale.

La situation est exactement la même que celle d'un espace euclidien. Ainsi, toute famille de vecteurs non nuls et orthogonaux deux à deux est libre. Une fois encore, si deux vecteurs x et y sont libres, alors les vecteurs x et y - <x , y>/<x , x> x sont non nuls et orthogonaux. Le procédé de Gram-Schmidt assure l'existence d'une base orthonormale.

Dans une base orthonormale la norme et le produit scalaire s'expriment facilement en fonction des coordonnées. Soit (e₁, ..., e_n) une base orthonormale notée B, x et y deux vecteurs quelconques de E de coordonnées (x₁, ..., x_n) et (y₁, ..., y_n) dans la base B. Les expressions suivantes fournissent la norme et le produit scalaire :

$\| x\| = \sqrt {\sum_{i=1}^n x_i\bar x_i} \quad \text{et} \quad \langle x \, , \, y \rangle = \sum_{i=1}^n x_i.\bar y_i$

En particulier, tout espace vectoriel hermitien de dimension n est isomorphe à Cⁿ, c'est-à-dire qu'il existe une application linéaire bijective de E dans Cⁿ, respectant les deux produits scalaires.

Dans une base orthonormale, les coordonnées d'un vecteur sont appelés coefficients de Fourier, ils prennent la forme suivante :

$x = \sum_{i=1}^n \langle x,e_i\rangle e_i$

Si une famille (f₁, ..., f_p), où p est un entier inférieur ou égal à n, est orthonormale, la majoration suivante, dite inégalité de Bessel est vérifiée :

$\|x\|^2 \le \sum_{i=1}^p |\langle x,f_i\rangle |^2$

L'égalité n'est obtenue que si x est une combinaison linéaire de la famille (f_i).

[modifier] Dual, Adjoint et produit tensoriel

La configuration est encore une fois analogue à celle des espaces euclidiens. Le produit scalaire fournit une application canonique φ de E dans son dual E^* :

$\forall x, y \in E \quad \varphi_x : E \rightarrow \mathbb C \quad y\rightarrow \varphi_x(y) = \langle y,x\rangle$

L'ordre est ici inversé par rapport à la convention choisie dans l'article sur l'espace euclidien. En effet, φ_x serait antilinéaire dans le cas contraire. Cette application est encore une isométrie linéaire bijective.

Il est possible de construire de manière analogue deux isométries linéaires bijective ψ₁ et ψ₂ entre L(E) l'ensemble des endomorphismes de E dans L₂(E) l'espace des formes sesquilinéaires :

$\forall a \in \mathcal L(E),\; \forall x, y \in E \quad \begin{cases} \psi_{1a} : E\times E \rightarrow \mathbb C \quad (x,y)\rightarrow \psi_{1a}(x,y) = \langle a(x),y\rangle \\ \psi_{2a} : E\times E \rightarrow \mathbb C \quad (x,y)\rightarrow \psi_{2a}(x,y) = \langle x,a(y)\rangle \end{cases}$

La composée de ψ₁ avec l'inverse de ψ₂ est une isométrie antilinéaire bijective. A un endomorphisme a elle associe l'endomorphisme a^* appelée adjoint et défini par l'égalité suivante :

$\forall x, y \in E \quad \langle a(x),y\rangle =\langle x,a^*(y)\rangle$

Cette application est involutive de valeur propre 1 et -1. Les éléments de l'espace propre de valeur 1 sont nommés autoadjoints et ceux de la valeur propre -1 antisymétriques.

Le produit scalaire de L(E) est obtenue grâce au produit tensoriel de E $\scriptstyle \otimes$ E. Cette espace est celui des formes sesquilinéaires. Il existe une application sesquilinéaire de ExE dans E $\scriptstyle \otimes$ E, définie par :

$\forall a,b,x,y \in E \quad a\otimes b (x,y) = \langle a,x \rangle \overline{\langle b,y\rangle}$

L'application a pour image un cône générateur de l'espace des formes sesquilinéaires de E. Le produit scalaire dans E $\scriptstyle \otimes$ E est défini par l'égalité suivante :

$\forall a, a',b, b' \in E \quad \langle a\otimes b , a'\otimes b'\rangle_{E\otimes E} \, = \, \frac 1n \langle a,a' \rangle \overline{\langle b,b'\rangle}$

Le produit scalaire sur deux endomorphismes est donnée par la formule :

$\forall a,b \in \mathcal L(E)\quad \langle a,b\rangle_{\mathcal L(E)} \, = \, \langle \psi_{1}(a),\psi_{1}(b) \rangle_{E\otimes E}\,$

Si Tr désigne la trace d'un endomorphisme, il correspond à l'égalité :

$\forall a, b \in \mathcal L(E) \quad \langle a\, , \, b \rangle_{\mathcal L(E)} = \frac 1n Tr(ab^*)$

Pour ce produit scalaire les espaces des endomorphismes autoadjoints et antisymétriques sont orthogonaux.

Les démonstrations sont donnés dans l'article Espace Euclidien.

[modifier] Espace euclidien, espace hermitien

Un espace hermitien E est aussi un espace vectoriel réel, si la multiplication externe est restreinte aux nombres réels. Dans ce paragraphe E_R désigne l'espace vectoriel réel associé. Plus précisément si B = (e₁, ...,e_n) est une base de E et si i désigne l'imaginaire pur, alors B_R = (e₁, ...,e_n, i.e₁, ...,i.e_n) est une base de E_R, qui est de dimension 2.n.

L'espace E_R est naturellement muni d'un produit scalaire <.,.>_R, il correspond à la partie réelle du produit scalaire de E.

$\forall x,y \in E \quad \langle x,y\rangle_{\mathbb R}=\mathfrak R{\langle x,y\rangle}$

De plus, si la base B est orthonormale, alors B_R est aussi orthonormale. Si F_R est l'espace vectoriel réel engendré par B, F_R et i.F_R sont deux sous-espaces supplémentaires.

Réciproquement, soit F un espace euclidien de dimension n et de base orthonormale (f₁, ...,f_n), il est possible de plonger F dans un espace hermitien F_C de dimension n. Une technique simple consiste à utiliser le produit tensoriel. Soit F_C = C $\scriptstyle \otimes$ F l'espace vectoriel réel des formes bilinéaire de CxF. Ici C l'ensemble des nombres complexes est considéré comme un espace vectoriel réel de dimension deux. Un élément de cet espace associe à tout couple de complexe et de vecteur un réel :

$\forall \varphi \in \mathbb C\otimes F \quad :\; \forall \lambda \in \mathbb C,\; \forall x \in F \quad (\lambda,x)\rightarrow \varphi(\lambda,x) \in \mathbb R$

Il existe une application bilinéaire canonique de CxF dans C $\scriptstyle \otimes$ F. A tout couple (λ, x) elle associe l'application λ $\scriptstyle \otimes$ x définie par :

$\forall \mu \in \mathbb C,\; \forall y \in F \quad \lambda\otimes x (\mu,y) = \lambda\cdot \mu \cdot \langle x,y\rangle_F$

Dans ce cas particulier, cette application est surjective, ce qui n'est pas toujours le cas avec les produits tensoriels . La multiplication externe par un complexe se définit naturellement :

$\forall \mu \in \mathbb C \quad \mu\cdot (\lambda\otimes x) = (\mu\lambda)\otimes x$

Cette multiplication confère à F_C le statut d'espace vectoriel complexe. La famille B_C = (1 $\scriptstyle \otimes$ f₁, ..., 1 $\scriptstyle \otimes$ f_n) est une base de F_C. Il est fréquent d'identifier les vecteurs f_i et 1 $\scriptstyle \otimes$ f_i. L'espace vectoriel C est équipé d'un produit scalaire hermitien naturel, F d'un produit scalaire euclidien, donc hermitien. Le produit tensoriel des deux produits scalaires est hermitien. Il est défini par :

$\forall \lambda\otimes x, \mu\otimes y \in F_{\mathbb C} \quad \langle \lambda\otimes x,\mu\otimes y\rangle_{F_{\mathbb C}} = \lambda . \bar \mu \cdot \langle x,y\rangle_F$

La base B_C ainsi que l'image de toute base orthonormale par l'application de F dans F_C qui à x associe 1 $\scriptstyle \otimes$ x est une base orthonormale de F_C^[1]. Une fois encore on remarque que la technique utilisée ne fait pas appel au caractère fini de l'espace vectoriel, à l'exception des résultats sur le cardinal des bases et du calcul du produit scalaire des endomorphismes à l'aide de la trace.

[modifier] Identité de polarisation

Article détaillé : Identité de polarisation.

La situation est ici encore analogue à celle des espaces euclidiens. Ainsi la norme d'un produit scalaire le caractérise. Ce résultat est la conséquence de l'identité polarisation. Réciproquement une norme N satisfaisant la règle du parallélogramme est issue d'un produit scalaire. Ce résultat n'est pas uniquement vraie en dimension finie.

La démonstration est donnée dans l'article détaillé.

[modifier] Références

[modifier] Notes

↑ La méthode exposée ici est souvent employée lorsque l'auteur d'un ouvrage souhaite être formellement rigoureux. Une formalisation orientée vers la physique est donnée dans C. Semay B. Silvestre-Brac Introduction au calcul tensoriel, application à la physique Dunod 2007 (ISBN 978-2-10-050552-4)

[modifier] Liens externes

(fr) Produit scalaire sur Cⁿ Par V. Hussin et A. Stancu de l'université de Montréal
(fr) Espaces hermitiens par les mathématiques.net C.Antonini, J.F. Quint, P. Borgnat, J. Bérard, E. Lebeau, E. Souche, A. Chateau, O. Teytaud 2001

[modifier] Références

Serge Lang, Algèbre [détail des éditions]

Catégorie : Algèbre bilinéaire

Espace hermitien

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[modifier] Définition et première propriétés

[modifier] Définitions

[modifier] Exemples

[modifier] Inégalités et identités

[modifier] Propriétés

[modifier] Base orthonormale

[modifier] Dual, Adjoint et produit tensoriel

[modifier] Espace euclidien, espace hermitien

[modifier] Identité de polarisation

[modifier] Références

[modifier] Notes

[modifier] Liens externes

[modifier] Références

Views

Navigation

Contribuer

Rechercher