See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Espace hermitien - Wikipédia

Espace hermitien

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

Charles Hermite en 1887
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).

Sommaire

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

[modifier] Définitions

Icône de détail 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 Cn, 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ù x0, ... xn 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 :

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.

[modifier] Propriétés

[modifier] Base orthonormale

Icône de détail 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 (e1, ..., en) une base orthonormale notée B, x et y deux vecteurs quelconques de E de coordonnées (x1, ..., xn) et (y1, ..., yn) 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 à Cn, c'est-à-dire qu'il existe une application linéaire bijective de E dans Cn, 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 (f1, ..., fp), 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 (fi).

[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 ψ1 et ψ2 entre L(E) l'ensemble des endomorphismes de E dans L2(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 ψ1 avec l'inverse de ψ2 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 \otimesE. Cette espace est celui des formes sesquilinéaires. Il existe une application sesquilinéaire de ExE dans E\scriptstyle \otimesE, 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 \otimesE 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 ER désigne l'espace vectoriel réel associé. Plus précisément si B = (e1, ...,en) est une base de E et si i désigne l'imaginaire pur, alors BR = (e1, ...,en, i.e1, ...,i.en) est une base de ER, qui est de dimension 2.n.

L'espace ER 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 BR est aussi orthonormale. Si FR est l'espace vectoriel réel engendré par B, FR et i.FR sont deux sous-espaces supplémentaires.

Réciproquement, soit F un espace euclidien de dimension n et de base orthonormale (f1, ...,fn), il est possible de plonger F dans un espace hermitien FC de dimension n. Une technique simple consiste à utiliser le produit tensoriel. Soit FC = C\scriptstyle \otimesF 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 \otimesF. A tout couple (λ, x) elle associe l'application λ\scriptstyle \otimesx 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 à FC le statut d'espace vectoriel complexe. La famille BC = (1\scriptstyle \otimesf1, ..., 1\scriptstyle \otimesfn) est une base de FC. Il est fréquent d'identifier les vecteurs fi et 1\scriptstyle \otimesfi. 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 BC ainsi que l'image de toute base orthonormale par l'application de F dans FC qui à x associe 1\scriptstyle \otimesx est une base orthonormale de FC[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

Icône de détail 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

  1. 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 Cn 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


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -