Espaces préhilbertiens Flashcards
Définition d’un produit scalaire
Forme bilinéaire, positive (∀x∈E, (x|x) ≥ 0), définie et symétrique
En pratique, on montre une linéarité et la symétrie (au lieu de la bilinéarité et de la symétrie)
Produit scalaire usuel sur Mn(ℝ)
(A|B) = tr( tA*B )
Inégalité de Cauchy-Schwarz
(x|y) | ≤ ||x|| * ||y||
avec ||x|| = √(x|x)
Cas d’égalité : x et y sont linéairement dépendants
|| x + y ||²
|| x + y ||² = ||x||² + ||y||² + 2(x|y)
(Fᵢ)ᵢ famille orthogonale de sev de E (2 conséquences)
⊕Fᵢ (les Fᵢ sont en somme directe orthogonale)
∀i∈[|1; p|], xᵢ ∈ Fᵢ
Alors Σ||xᵢ||² = || Σxᵢ ||²
(F₁ , … , Fᵣ) sev de E
Équivalence avec ⊕Fᵢ
Cas de F₁⊕F₂
∀(x₁, _ , xᵣ) ∈ F₁ × … × Fᵣ , Σxᵢ = 0 => ∀i ∈[|1; r|], xᵢ = 0
F₁⊕F₂ <=> F₁∩F₂ = {0}
p projecteur : une équivalence et une implication
lien rang et trace
<=> pop = p
=> Im p ⊕ Ker p = E
=> rg p = tr p
p projecteur sur F parallèlement à G
q projecteur sur G parallèlement à F
qop = poq = 0
p + q = id
F sev de E tq E = F⊕(F⊥)
y ∈ E, x ∈ E : y = pF(x) (2 équivalences)
<=> y ∈ F et ∀z ∈ F, (x|z) = (y|z)
<=> y ∈ F et ∀z ∈ F, ||x-z|| ≥ ||x-y||
F sev de E tq E = F⊕(F⊥)
Distance de x à F
d(x, F) = || x - pF(x) ||
F sev de dim finie de E
(ε₁, _ , εᵣ) base orthonormale de F
Projection sur F de x ∈ E
pF(x) = Σ (x|εᵢ)εᵢ
(xᵢ)ᵢ orthogonale tq ∀i ∈ I, xᵢ ≠ 0 : conséquence
(xᵢ)ᵢ est libre
Orthonormalisation de Gram-Schmidt
(e₁, _ , eᵣ) famille libre de E (ε₁, _ , εᵣ) tq ε₁ = e₁ / ||e₁|| et ∀k ∈ [|2; r|], εk = ek - Σ( ek | εᵢ )*εᵢ / || ek - Σ( ek | εᵢ )*εᵢ || (on somme sur i de 1 à k-1) est orthonormale
F sev de dim finie de E
Deux implications avec F⊥
E = F⊕(F⊥) F = (F⊥) ⊥
Inégalité de Bessel
(eᵢ)ᵢ orthonormale, x ∈ E
La série Σ(eᵢ | x)² converge et la somme Σ(eᵢ | x)² ≤ ||x||²