Espaces préhilbertiens complexes.
Espaces hermitiens. — PSI — Paul Valéry —
Dans tout ce chapître on travaille avec des espaces vectoriels complexes. |z|représente le module du
complexe zet zson conjugué z.
On va chercher à étendre les propriétés vues dans le chapître des espaces euclidiens.
On reprend exactement le même plan.
1 Produit scalaire hermitien
Soit Eun espace vectoriel complexe.
1.1 Formes sesquilinéaires hermitiennes associées
Définition 1
Soit ϕune application de E×Edans C.
On dit que ϕest une forme sesquilinéaire sur Esi et seulement si
ϕest linéaire par rapport à la deuxième variable et sesquilinéaire par rapport à la première,
cad pour tout (x, y)∈E2:
•y7→ ϕ(x, y)est linéaire
•x7→ ϕ(x, y)vérifie :
∀(λ1, λ2)∈C2∀(x1, x2)∈E2ϕ(λ1x1+λ2x2, y) = λ1ϕ(x1, y) + λ2ϕ(x2, y).
Définition 2
Une forme sesquilinéaire ϕest dite hermitienne ssi ∀(x, y)∈E2ϕ(x, y) = ϕ(y, x).
Remarque pour une forme sesquilinéaire hermitienne ϕsur E,∀x∈E ϕ(x, x)∈R.
Proposition 1
L’ensemble des formes sesquilinéaires hermitiennes sur Eest un espace vectoriel complexe.
Identités de polarisation
Soit ϕune forme sesquilinéaire hermitienne. Soit (x, y)∈E2.
•ϕ(x+y, x +y) = ϕ(x, x) + ϕ(y, y) + 2 Re(ϕ(x, y))
•ϕ(x+iy, x +iy) = ϕ(x, x) + ϕ(y, y)−2 Im(ϕ(x, y))
•ϕ(x, y) = 1
4[ϕ(x+y, x +y)−ϕ(x−y, x −y)] −i
4[ϕ(x+iy, x +iy)−ϕ(x−iy, x −iy)]
•Re(ϕ(x, y)) = 1
4[ϕ(x+y, x +y)−ϕ(x−y, x −y)]
•Im(ϕ(x, y)) = −1
4[ϕ(x+iy, x +iy)−ϕ(x−iy, x −iy)]
1.2 Produit scalaire hermitien
Définition 3
On appelle produit scalaire hermitien sur Etoute forme sesquilinéaire hermitienne définie positive
cad toute application ϕde E2dans Ctelle que :
1. ϕest une forme sesquilinéaire hermitienne
2.∀x∈E ϕ(x, x)>0
3. ∀x∈E ϕ(x, x) = 0 =⇒x=
0
Définition 4
Un C-espace vectoriel muni d’un produit scalaire est appelé espace préhilbertien complexe.
Si, de plus, il est de dimension finie, on dira que c’est un espace hermitien.
Caractérisation d’un produit scalaire hermitien
Pour prouver que ϕ:E2→Cdéfinit un produit scalaire hermitien sur E, il suffit de prouver que :
1. Pour tout vecteur x,y7→ ϕ(x, y)est linéaire
2. ∀(x, y)∈E2ϕ(x, y) = ϕ(y, x)
3. ∀x∈E ϕ(x, x)>0
4. ∀x∈E ϕ(x, x) = 0 =⇒x=
0
Notations usuelles : B(x, y),(x/y),< x, y >,x·y
Remarque importante : si un vecteur xde Evérifie ∀y∈E(x/y) = 0, alors x=
0
1 / 6