Espace préhilbertien complexe/Espaces hermitiens

De testwiki
Aller à la navigation Aller à la recherche

Modèle:Chapitre

On suppose dans ce chapitre que E un espace hermitien de dimension n, non réduit à {0}.

Existence de bases

Modèle:Théorème

Modèle:Théorème

Modèle:Théorème

Écriture matricielle

On munit E d'une base orthonormée =(e1,,en)

Écriture vectorielle du produit scalaire

Soit (x,y)E2.

Il existe des coordonnées pour x et y dans la base  :

x=i=1nxiei et y=i=1nyiei

On pose les vecteurs X=(x1xn) et Y=(y1yn)

Modèle:Propriété

Matrice d'une forme hermitienne

Soient :

  • f𝒮(E)
  • ϕ la forme hermitienne associée à ƒ
  • x=i=1nxiei et y=i=1nyiei deux vecteurs de E

On a :

f(x,y)=i=1nj=1nxiyjf(ei,ej)

Modèle:Définition

Modèle:Remarque

Modèle:Définition

On pose X=(x1xn) et Y=(y1yn)

Modèle:Propriété

Isomorphisme canonique avec le dual

Modèle:Théorème

Modèle:Démonstration déroulante

Nous verrons en [[../Annexe/Application à la mécanique quantique|annexe]] l’intérêt de cet isomorphisme pour l’application à la mécanique quantique, à travers de la notation bra-ket.

Modèle:Bas de page