Vous êtes sur la page 1sur 243

Chapitre 26: Espaces préhilbertiens

Cours de la semaine du 28/03/2022.

ABDELJALIL TADDIST
LYDEX-BENGURIR
MPSI 1

April 9, 2022

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 1/1
Produit scalaire , espaces euclidiens.

Dans toute cette leçon , E désigne un espace vectoriel sur le corps R.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 2/1
Produit scalaire , espaces euclidiens.

Dans toute cette leçon , E désigne un espace vectoriel sur le corps R.

Definition 1 (Produit scalaire)


On appelle produit scalaire sur E toute forme bilinéaire ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 2/1
Produit scalaire , espaces euclidiens.

Dans toute cette leçon , E désigne un espace vectoriel sur le corps R.

Definition 1 (Produit scalaire)


On appelle produit scalaire sur E toute forme bilinéaire ,
symétrique,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 2/1
Produit scalaire , espaces euclidiens.

Dans toute cette leçon , E désigne un espace vectoriel sur le corps R.

Definition 1 (Produit scalaire)


On appelle produit scalaire sur E toute forme bilinéaire ,
symétrique, définie

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 2/1
Produit scalaire , espaces euclidiens.

Dans toute cette leçon , E désigne un espace vectoriel sur le corps R.

Definition 1 (Produit scalaire)


On appelle produit scalaire sur E toute forme bilinéaire ,
symétrique, définie et positive sur E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 2/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )
2 Symétrique :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )
2 Symétrique : ∀x , y ∈ E : B (x , y) = B (y, x )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )
2 Symétrique : ∀x , y ∈ E : B (x , y) = B (y, x )
3 Définie:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )
2 Symétrique : ∀x , y ∈ E : B (x , y) = B (y, x )
3 Définie: ∀x ∈ E , : B (x , x ) = 0 ⇒ x = 0E

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )
2 Symétrique : ∀x , y ∈ E : B (x , y) = B (y, x )
3 Définie: ∀x ∈ E , : B (x , x ) = 0 ⇒ x = 0E
4 Positive:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

1 Bilinéaire:
• ∀x , y, z ∈ E , ∀α ∈ R : B (α.x + y, z ) = α.B (x , z ) + B (y, z )(
linéarité à gauche )
• ∀x , y, z ∈ E , ∀α ∈ R : B (x , α.y + z ) = α.B (x , y) + B (x , z )(
linéarité à droite )
2 Symétrique : ∀x , y ∈ E : B (x , y) = B (y, x )
3 Définie: ∀x ∈ E , : B (x , x ) = 0 ⇒ x = 0E
4 Positive: ∀x ∈ E , : B (x , x ) ≥ 0.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 3/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .
3 En général , si B est un ps ( abréviation de produit scalaire),
alors

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .
3 En général , si B est un ps ( abréviation de produit scalaire),
alors

∀x , y ∈ E : B (x , y) est noté

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .
3 En général , si B est un ps ( abréviation de produit scalaire),
alors

∀x , y ∈ E : B (x , y) est noté (x |y)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .
3 En général , si B est un ps ( abréviation de produit scalaire),
alors

∀x , y ∈ E : B (x , y) est noté (x |y) ou (x /y)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .
3 En général , si B est un ps ( abréviation de produit scalaire),
alors

∀x , y ∈ E : B (x , y) est noté (x |y) ou (x /y) ou x .y

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Remarque 1
1 Les psse:
• B est symétrique et linéaire à droite ou à gauche .
• B est bilinéaire et symétrique.
2 Les psse:
• B est définie positive.
• ∀x ∈ E , : B (x , x ) ≥ 0 avec égalité ssi x = 0E .
3 En général , si B est un ps ( abréviation de produit scalaire),
alors

∀x , y ∈ E : B (x , y) est noté (x |y) ou (x /y) ou x .y ou < x , y >

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 4/1
Produit scalaire , espaces euclidiens.

Exemple 1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 1
Rb
1 E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 1
Rb
1 E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.
2 E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 1
Rb
1 E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.
2 E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 1
Rb
1 E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.
2 E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

est un ps sur Rn dit ps canonique.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 1
Rb
1 E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.
2 E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

est un ps sur Rn dit ps canonique.


3 E = Mn (R) :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 1
Rb
1 E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.
2 E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

est un ps sur Rn dit ps canonique.


3 E = Mn (R) :

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 5/1
Produit scalaire , espaces euclidiens.

Exemple 2
E = C2π (espace des fonctions continues , 2π périodiques sur R):

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 6/1
Produit scalaire , espaces euclidiens.

Exemple 2
E = C2π (espace des fonctions continues , 2π périodiques sur R):
Z 2π
1
(f /g) = f (t)g(t)dt.
2π 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 6/1
Produit scalaire , espaces euclidiens.

Remarque 2
Sur le même espace vectoriel , on peut définir plusieurs produits
scalaires !

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 7/1
Produit scalaire , espaces euclidiens.

Definition 2 (Espace préhilbertien , espace euclidien)


1 Un espace vectoriel muni d’un produit scalaire est dit espace
préhilbertien.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 8/1
Produit scalaire , espaces euclidiens.

Definition 2 (Espace préhilbertien , espace euclidien)


1 Un espace vectoriel muni d’un produit scalaire est dit espace
préhilbertien.
2 Un espace préhilbertien de dimension finie est dit espace
euclidien.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 8/1
Produit scalaire , espaces euclidiens.

Exemple 3

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 9/1
Produit scalaire , espaces euclidiens.

Exemple 3

Remarque 3
Sur le même espace vectoriel , on peut définir plusieurs structures
préhilbertiennes ! !

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 9/1
Orthogonalité
Definition 3
Soit E un espace préhilbertien.
1 Deux vecteurs x , y de E sont dits orthogonaux et on note
x ⊥ y si leur produit scalaire est nul.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 10 / 1
Orthogonalité
Definition 3
Soit E un espace préhilbertien.
1 Deux vecteurs x , y de E sont dits orthogonaux et on note
x ⊥ y si leur produit scalaire est nul.
2 Deux sous espaces vectoriels F1 et F2 d’un espace préhilbértien
sont dits orthogonaux si:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 10 / 1
Orthogonalité
Definition 3
Soit E un espace préhilbertien.
1 Deux vecteurs x , y de E sont dits orthogonaux et on note
x ⊥ y si leur produit scalaire est nul.
2 Deux sous espaces vectoriels F1 et F2 d’un espace préhilbértien
sont dits orthogonaux si:

∀(x , y) ∈ F1 × F2 : (x /y) = 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 10 / 1
Orthogonalité
Definition 3
Soit E un espace préhilbertien.
1 Deux vecteurs x , y de E sont dits orthogonaux et on note
x ⊥ y si leur produit scalaire est nul.
2 Deux sous espaces vectoriels F1 et F2 d’un espace préhilbértien
sont dits orthogonaux si:

∀(x , y) ∈ F1 × F2 : (x /y) = 0

3 Si A ⊆ E , on appelle orthogonale,de A l’ensemble noté A⊥


défini par:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 10 / 1
Orthogonalité
Definition 3
Soit E un espace préhilbertien.
1 Deux vecteurs x , y de E sont dits orthogonaux et on note
x ⊥ y si leur produit scalaire est nul.
2 Deux sous espaces vectoriels F1 et F2 d’un espace préhilbértien
sont dits orthogonaux si:

∀(x , y) ∈ F1 × F2 : (x /y) = 0

3 Si A ⊆ E , on appelle orthogonale,de A l’ensemble noté A⊥


défini par:

A⊥ = {x ∈ E /∀y ∈ A, (x /y) = 0}

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 10 / 1
Orthogonalité
Definition 3
Soit E un espace préhilbertien.
1 Deux vecteurs x , y de E sont dits orthogonaux et on note
x ⊥ y si leur produit scalaire est nul.
2 Deux sous espaces vectoriels F1 et F2 d’un espace préhilbértien
sont dits orthogonaux si:

∀(x , y) ∈ F1 × F2 : (x /y) = 0

3 Si A ⊆ E , on appelle orthogonale,de A l’ensemble noté A⊥


défini par:

A⊥ = {x ∈ E /∀y ∈ A, (x /y) = 0}

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 10 / 1
Orthogonalité

Exemple 4
1 Dans R2 munit de son ps canonique :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 11 / 1
Orthogonalité

Exemple 4
1 Dans R2 munit de son ps canonique :

a = (1, 1), b = (1, −1) : a ⊥ b

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 11 / 1
Orthogonalité

Exemple 4
1 Dans R2 munit de son ps canonique :

a = (1, 1), b = (1, −1) : a ⊥ b

2 Dans l’espace E = C([0, 2π], R) munit du ps :


Z 2π
(f /g) = f (t)g(t)dt.
0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 11 / 1
Orthogonalité

Exemple 4
1 Dans R2 munit de son ps canonique :

a = (1, 1), b = (1, −1) : a ⊥ b

2 Dans l’espace E = C([0, 2π], R) munit du ps :


Z 2π
(f /g) = f (t)g(t)dt.
0

On a
sin ⊥ cos

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 11 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )
2 E = Mn (R) munit de son ps canonique

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )
2 E = Mn (R) munit de son ps canonique

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )
2 E = Mn (R) munit de son ps canonique

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

On a :
• Sn (R) ⊥ An (R)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )
2 E = Mn (R) munit de son ps canonique

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

On a :
• Sn (R) ⊥ An (R)
• Si A = {In } alors

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )
2 E = Mn (R) munit de son ps canonique

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

On a :
• Sn (R) ⊥ An (R)
• Si A = {In } alors A⊥ =

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Exemple 5
1 E = Rn munit de son ps canonique , on a
x = (x1 , . . . , xn ) ⊥ y = (y1 , . . . , yn )
2 E = Mn (R) munit de son ps canonique

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

On a :
• Sn (R) ⊥ An (R)
• Si A = {In } alors A⊥ = {M ∈ Mn (R)/Tr (M ) = 0}

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 12 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.
2 E ⊥ = {0}

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.
2 E ⊥ = {0} et {0}⊥ = E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.
2 E ⊥ = {0} et {0}⊥ = E .
3 Si A ⊆ E et A 6= ∅ , alors

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.
2 E ⊥ = {0} et {0}⊥ = E .
3 Si A ⊆ E et A 6= ∅ , alors
1 A⊥ = (vect(A))⊥ .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.
2 E ⊥ = {0} et {0}⊥ = E .
3 Si A ⊆ E et A 6= ∅ , alors
1 A⊥ = (vect(A))⊥ .
2 A⊥ est un sous espace vectoriel de E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
orthogonalité

Proposition 1 (propriétés de l’orthogonalité)


Soit E est un espace préhilbertien.
1 Le vecteur nul est orthogonal à tout vecteur.
2 E ⊥ = {0} et {0}⊥ = E .
3 Si A ⊆ E et A 6= ∅ , alors
1 A⊥ = (vect(A))⊥ .
2 A⊥ est un sous espace vectoriel de E .
4 A ⊆ B alors B ⊥ ⊆ A⊥ .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 13 / 1
Orthogonalité

Definition 4
Une famille de vecteurs f = (u1 , . . . , un ) d’un espace préhilbertien E
est dite orthogonale si :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 14 / 1
Orthogonalité

Definition 4
Une famille de vecteurs f = (u1 , . . . , un ) d’un espace préhilbertien E
est dite orthogonale si :

∀i 6= j : (ui /uj ) = 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 14 / 1
Orthogonalité

Definition 4
Une famille de vecteurs f = (u1 , . . . , un ) d’un espace préhilbertien E
est dite orthogonale si :

∀i 6= j : (ui /uj ) = 0

Exemple 6

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 14 / 1
Orthogonalité

Definition 4
Une famille de vecteurs f = (u1 , . . . , un ) d’un espace préhilbertien E
est dite orthogonale si :

∀i 6= j : (ui /uj ) = 0

Exemple 6
1 La base canonique de l’espace Rn est une famille orthogonale
pour le ps canonique.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 14 / 1
Orthogonalité

Definition 4
Une famille de vecteurs f = (u1 , . . . , un ) d’un espace préhilbertien E
est dite orthogonale si :

∀i 6= j : (ui /uj ) = 0

Exemple 6
1 La base canonique de l’espace Rn est une famille orthogonale
pour le ps canonique.
2 La base canonique de l’espace Mn (R) est une famille
orthogonale pour le ps canonique.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 14 / 1
Orthogonalité

Definition 5
E espace préhilbertien .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 15 / 1
Orthogonalité

Definition 5
E espace préhilbertien .
p
1 Si x ∈ E : kx k = (x /x ) dite norme euclidienne de x .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 15 / 1
Orthogonalité

Definition 5
E espace préhilbertien .
p
1 Si x ∈ E : kx k = (x /x ) dite norme euclidienne de x .
2 Un vecteur est dit unitaire ou normalisé si sa norme
euclidienne est égale à 1.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 15 / 1
Orthogonalité

Definition 5
E espace préhilbertien .
p
1 Si x ∈ E : kx k = (x /x ) dite norme euclidienne de x .
2 Un vecteur est dit unitaire ou normalisé si sa norme
euclidienne est égale à 1.
3 Une famille de vecteurs f = (u1 , . . . , un ) est dite orthonormale
si elle est orthogonale et tout vecteur est unitaire.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 15 / 1
Orthogonalité

Definition 5
E espace préhilbertien .
p
1 Si x ∈ E : kx k = (x /x ) dite norme euclidienne de x .
2 Un vecteur est dit unitaire ou normalisé si sa norme
euclidienne est égale à 1.
3 Une famille de vecteurs f = (u1 , . . . , un ) est dite orthonormale
si elle est orthogonale et tout vecteur est unitaire.
càd
∀i, j ∈ [1, n] : (ui /uj ) = δij

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 15 / 1
Orthogonalité
Exemple 7

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 16 / 1
Orthogonalité
Exemple 7
1 La base canonique de l’espace Rn est une famille orthonormale
pour le ps canonique.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 16 / 1
Orthogonalité
Exemple 7
1 La base canonique de l’espace Rn est une famille orthonormale
pour le ps canonique.
2 La base canonique de l’espace Mn (R) est une famille
orthonormale pour le ps canonique.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 16 / 1
Orthogonalité
Exemple 7
1 La base canonique de l’espace Rn est une famille orthonormale
pour le ps canonique.
2 La base canonique de l’espace Mn (R) est une famille
orthonormale pour le ps canonique.

Remarque 4
• Une base d’un espace préhilbertien qui est en même temps
orthonormée est dite base orthonormée ( en abrégé b.o.n ou
BON)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 16 / 1
Orthogonalité
Exemple 7
1 La base canonique de l’espace Rn est une famille orthonormale
pour le ps canonique.
2 La base canonique de l’espace Mn (R) est une famille
orthonormale pour le ps canonique.

Remarque 4
• Une base d’un espace préhilbertien qui est en même temps
orthonormée est dite base orthonormée ( en abrégé b.o.n ou
BON)
• La base canonique de l’espace Rn est une BON pour le ps
canonique.
• La base canonique de l’espace Mn (R) est une BON pour le ps
canonique.
ABDELJALIL TADDIST LYDEX-BENGURIRMPSI
Chapitre
1 26: Espaces préhilbertiens April 9, 2022 16 / 1
Orthogonalité

Proposition 2 (propriétés)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 17 / 1
Orthogonalité

Proposition 2 (propriétés)
1 Toute famille orthogonale ne contenant pas de vecteur nul est
libre.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 17 / 1
Orthogonalité

Proposition 2 (propriétés)
1 Toute famille orthogonale ne contenant pas de vecteur nul est
libre.
2 Toute famille orthonormale est libre.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 17 / 1
Orthogonalité

Proposition 2 (propriétés)
1 Toute famille orthogonale ne contenant pas de vecteur nul est
libre.
2 Toute famille orthonormale est libre.

Preuve 1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 17 / 1
Orthogonalité

Théorème 1 (de Pythagore)


Soit f = (u1 , . . . , un ) une famille orthogonale de vecteurs d’un espace
préhilbertien E alors :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 18 / 1
Orthogonalité

Théorème 1 (de Pythagore)


Soit f = (u1 , . . . , un ) une famille orthogonale de vecteurs d’un espace
préhilbertien E alors :
2
Xn Xn
uk = kuk k2



k =1 k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 18 / 1
Orthogonalité

Théorème 1 (de Pythagore)


Soit f = (u1 , . . . , un ) une famille orthogonale de vecteurs d’un espace
préhilbertien E alors :
2
Xn Xn
uk = kuk k2



k =1 k =1

Preuve 2

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 18 / 1
Orthogonalité

Remarque 5

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 19 / 1
Orthogonalité

Remarque 5
1 Pour n = 2 on a équivalence dans le théorème de Pythagore.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 19 / 1
Orthogonalité

Remarque 5
1 Pour n = 2 on a équivalence dans le théorème de Pythagore.
2 Interprétation géométrique du théorème de Pythagore.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 19 / 1
Orthogonalité

Remarque 5
1 Pour n = 2 on a équivalence dans le théorème de Pythagore.
2 Interprétation géométrique du théorème de Pythagore.

x +y
x

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 19 / 1
Identité remarquables, identités de polarisation

Proposition 3 (identité remarquables)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 20 / 1
Identité remarquables, identités de polarisation

Proposition 3 (identité remarquables)


E espace préhilbertien réel, x , y ∈ E
1 kx + yk2 = kx k2 + kyk2 + 2(x /y) ( identité remarquable)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 20 / 1
Identité remarquables, identités de polarisation

Proposition 3 (identité remarquables)


E espace préhilbertien réel, x , y ∈ E
1 kx + yk2 = kx k2 + kyk2 + 2(x /y) ( identité remarquable)
2 kx − yk2 = kx k2 + kyk2 − 2(x /y)( identité remarquable)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 20 / 1
Identité remarquables, identités de polarisation

Proposition 3 (identité remarquables)


E espace préhilbertien réel, x , y ∈ E
1 kx + yk2 = kx k2 + kyk2 + 2(x /y) ( identité remarquable)
2 kx − yk2 = kx k2 + kyk2 − 2(x /y)( identité remarquable)
3 kx − yk2 + kx + yk2 = 2(kx k2 + kyk2 )( identité du
parallélogramme)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 20 / 1
Identité remarquables, identités de polarisation

Proposition 3 (identité remarquables)


E espace préhilbertien réel, x , y ∈ E
1 kx + yk2 = kx k2 + kyk2 + 2(x /y) ( identité remarquable)
2 kx − yk2 = kx k2 + kyk2 − 2(x /y)( identité remarquable)
3 kx − yk2 + kx + yk2 = 2(kx k2 + kyk2 )( identité du
parallélogramme)

Preuve 3

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 20 / 1
Interpretation géométrique de l’identité du
parallélogramme

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 21 / 1
Interpretation géométrique de l’identité du
parallélogramme

x x+y

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 21 / 1
Identité remarquables, identités de polarisation

Proposition 4 (identités de polarisation )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 22 / 1
Identité remarquables, identités de polarisation

Proposition 4 (identités de polarisation )


E espace préhilbertien réel, x , y ∈ E
1 (x /y) = 12 (kx + yk2 − kx k2 − kyk2 )( première identité de
polarisation)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 22 / 1
Identité remarquables, identités de polarisation

Proposition 4 (identités de polarisation )


E espace préhilbertien réel, x , y ∈ E
1 (x /y) = 12 (kx + yk2 − kx k2 − kyk2 )( première identité de
polarisation)
2 (x /y) = 12 (kx k2 + kyk2 − kx + yk2 )( première identité de
polarisation)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 22 / 1
Identité remarquables, identités de polarisation

Proposition 4 (identités de polarisation )


E espace préhilbertien réel, x , y ∈ E
1 (x /y) = 12 (kx + yk2 − kx k2 − kyk2 )( première identité de
polarisation)
2 (x /y) = 12 (kx k2 + kyk2 − kx + yk2 )( première identité de
polarisation)
3 (x /y) = 14 (kx + yk2 − kx − yk2 )( deuxième identité de
polarisation)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 22 / 1
Identité remarquables, identités de polarisation

Proposition 4 (identités de polarisation )


E espace préhilbertien réel, x , y ∈ E
1 (x /y) = 12 (kx + yk2 − kx k2 − kyk2 )( première identité de
polarisation)
2 (x /y) = 12 (kx k2 + kyk2 − kx + yk2 )( première identité de
polarisation)
3 (x /y) = 14 (kx + yk2 − kx − yk2 )( deuxième identité de
polarisation)

Preuve 4

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 22 / 1
Inégalité de Cauchy-Schwarz et applications.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 23 / 1
Inégalité de Cauchy-Schwarz et applications.

Proposition 5 (Inégalité de Cauchy-Schwarz)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 23 / 1
Inégalité de Cauchy-Schwarz et applications.

Proposition 5 (Inégalité de Cauchy-Schwarz)


E espace préhilbertien ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 23 / 1
Inégalité de Cauchy-Schwarz et applications.

Proposition 5 (Inégalité de Cauchy-Schwarz)


E espace préhilbertien ,

∀x , y ∈ E : |(x /y)| ≤ kx k kyk

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 23 / 1
Inégalité de Cauchy-Schwarz et applications.

Proposition 5 (Inégalité de Cauchy-Schwarz)


E espace préhilbertien ,

∀x , y ∈ E : |(x /y)| ≤ kx k kyk

Avec égalité si et seulement si (x , y) est liée.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 23 / 1
Inégalité de Cauchy-Schwarz et applications.

Proposition 5 (Inégalité de Cauchy-Schwarz)


E espace préhilbertien ,

∀x , y ∈ E : |(x /y)| ≤ kx k kyk

Avec égalité si et seulement si (x , y) est liée.

Preuve 5

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 23 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 24 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 8 (Inégalité de Cauchy-Schwarz)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 24 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 8 (Inégalité de Cauchy-Schwarz)


Rb
E = C([a, b], R) : (f /g) = a
f (t)g(t)dt.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 24 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 8 (Inégalité de Cauchy-Schwarz)


Rb
E = C([a, b], R) : (f /g) = a f (t)g(t)dt. L’inégalité de
Cauchy-Schwarz donne: ∀f , g ∈ C([a, b], R)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 24 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 8 (Inégalité de Cauchy-Schwarz)


Rb
E = C([a, b], R) : (f /g) = a f (t)g(t)dt. L’inégalité de
Cauchy-Schwarz donne: ∀f , g ∈ C([a, b], R)
s s
Z b Z b Z b
| f (t)g(t)dt| ≤ |f (t)|2 dt. |g(t)|2 dt
a a a

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 24 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 25 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 9 (Inégalité de Cauchy-Schwarz)


E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 25 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 9 (Inégalité de Cauchy-Schwarz)


E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 25 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 9 (Inégalité de Cauchy-Schwarz)


E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

L’inégalité de Cauchy-Schwarz donne:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 25 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 9 (Inégalité de Cauchy-Schwarz)


E = Rn , x = (x1 , . . . , xn ) et y = (y1 , . . . , yn ) :
i=n
X
(x /y) = xi y i .
i=1

L’inégalité de Cauchy-Schwarz donne:


v v
n
X
u n u n
uX 2 uX
| xi yi | ≤ t x t y2 i i
i=1 i=1 i=1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 25 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 10 (Inégalité de Cauchy-Schwarz)


E = Mn (R) :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 26 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 10 (Inégalité de Cauchy-Schwarz)


E = Mn (R) :

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 26 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 10 (Inégalité de Cauchy-Schwarz)


E = Mn (R) :

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

L’inégalité de Cauchy-Schwarz donne:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 26 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 10 (Inégalité de Cauchy-Schwarz)


E = Mn (R) :

∀A, B ∈ Mn (R) : (A/B ) = Tr (t A.B ) = Tr (A.t B )

L’inégalité de Cauchy-Schwarz donne:


p p
∀A, B ∈ Mn (R) : |Tr (t A.B )| ≤ Tr (t A.A) Tr (t B .B )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 26 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 11
E = C2π (espace des fonctions continues , 2π périodiques sur R):

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 27 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 11
E = C2π (espace des fonctions continues , 2π périodiques sur R):
Z 2π
1
(f /g) = f (t)g(t)dt.
2π 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 27 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 11
E = C2π (espace des fonctions continues , 2π périodiques sur R):
Z 2π
1
(f /g) = f (t)g(t)dt.
2π 0
L’inégalité de Cauchy-Schwarz donne:∀f , g ∈ C2π

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 27 / 1
Inégalité de Cauchy-Schwarz : Applications au
exemples classiques

Exemple 11
E = C2π (espace des fonctions continues , 2π périodiques sur R):
Z 2π
1
(f /g) = f (t)g(t)dt.
2π 0
L’inégalité de Cauchy-Schwarz donne:∀f , g ∈ C2π
s s
Z 2π Z 2π Z 2π
| f (t)g(t)dt| ≤ 2
f (t) dt. g(t)2 dt
0 0 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 27 / 1
Inégalité de Cauchy-Schwarz : Applications

Proposition 6 (Inégallité triangulaire ou de Minkowski)


E espace préhilbertien réel.∀x , y ∈ E :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 28 / 1
Inégalité de Cauchy-Schwarz : Applications

Proposition 6 (Inégallité triangulaire ou de Minkowski)


E espace préhilbertien réel.∀x , y ∈ E :

kx + yk ≤ kx k + kyk

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 28 / 1
Inégalité de Cauchy-Schwarz : Applications

Proposition 6 (Inégallité triangulaire ou de Minkowski)


E espace préhilbertien réel.∀x , y ∈ E :

kx + yk ≤ kx k + kyk

Remarque 6
Intérprétation géométrique de l’inégallité triangulaire.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 28 / 1
Inégalité de Cauchy-Schwarz : Applications

Proposition 7 (Inégallité triangulaire ou de Minkowski)


E espace préhilbertien réel.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 29 / 1
Inégalité de Cauchy-Schwarz : Applications

Proposition 7 (Inégallité triangulaire ou de Minkowski)


E espace préhilbertien réel.
• L’application :
k.k : E → R+
x → kx k
est une norme, dite norme euclidienne associée au ps sur E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 29 / 1
Inégalité de Cauchy-Schwarz : Applications

Proposition 7 (Inégallité triangulaire ou de Minkowski)


E espace préhilbertien réel.
• L’application :
k.k : E → R+
x → kx k
est une norme, dite norme euclidienne associée au ps sur E .
• L’application :

d : E ×E → R+
(x , y) → kx − yk

est une distance, dite distance euclidienne associée à la norme


euclidienne kk .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 29 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
E,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X
E ,x = xk ek
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X
1 x= (x /ek )ek
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X n
X
1 x= (x /ek )ek et y = (y/ek ).ek
k =1 k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X n
X
1 x= (x /ek )ek et y = (y/ek ).ek
k =1 k =1
n
X n
X
2 (x /y) = xk y k = (x /ek )(y/ek )
k =1 k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X n
X
1 x= (x /ek )ek et y = (y/ek ).ek
k =1 k =1
n
X n
X
2 (x /y) = xk y k = (x /ek )(y/ek )
k =1 k =1
n
1
X
3 kx k = ( xk2 ) 2
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X n
X
1 x= (x /ek )ek et y = (y/ek ).ek
k =1 k =1
n
X n
X
2 (x /y) = xk y k = (x /ek )(y/ek )
k =1 k =1
n n
2 12 1
X X
3 kx k = ( xk ) et y = ( yk2 ) 2
k =1 k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X n
X
1 x= (x /ek )ek et y = (y/ek ).ek
k =1 k =1
n
X n
X
2 (x /y) = xk y k = (x /ek )(y/ek )
k =1 k =1
n n
2 12 1
X X
3 kx k = ( xk ) et y = ( yk2 ) 2
k =1 k =1
v v
n
u n
uX uX
d (x , y) = t (x − y/ek ) = t (xk − yk )2
2
u
4

k =1
ABDELJALIL TADDIST LYDEX-BENGURIRMPSI
Chapitre
1 k =1
26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.
Proposition 8
E espace vectoriel euclidien et B = (e1 , . . . , en ) BON de
n
X Xn
E ,x = xk ek et y = yk ek :Alors
k =1 k =1
n
X n
X
1 x= (x /ek )ek et y = (y/ek ).ek
k =1 k =1
n
X n
X
2 (x /y) = xk y k = (x /ek )(y/ek )
k =1 k =1
n n
2 12 1
X X
3 kx k = ( xk ) et y = ( yk2 ) 2
k =1 k =1
v v
n
u n
uX uX
d (x , y) = t (x − y/ek ) = t (xk − yk )2
2
u
4

k =1
ABDELJALIL TADDIST LYDEX-BENGURIRMPSI
Chapitre
1 k =1
26: Espaces préhilbertiens April 9, 2022 30 / 1
Espaces euclidiens.

Théorème 2 (de Riesz)


a

Toute forme linéaire f sur un espace euclidien E s’écrit de manière


unique :
∃a ∈ E , ∀x ∈ E : f (x ) = (x /a)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 31 / 1
Espaces euclidiens.

Théorème 2 (de Riesz)


a

Toute forme linéaire f sur un espace euclidien E s’écrit de manière


unique :
∃a ∈ E , ∀x ∈ E : f (x ) = (x /a)
càd
∀f ∈ E ? , ∃!a ∈ E tel que , ∀x ∈ E : f (x ) = (x /a)

©
a
Frigyes Riesz : (Györ, 1880 – Budapest, 1956), mathématicien
hongrois. Il établit les bases de l’analyse fonctionnelle moderne.
Hachette Livre, 1996

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 31 / 1
Espaces euclidiens.

Théorème 2 (de Riesz)


a

Toute forme linéaire f sur un espace euclidien E s’écrit de manière


unique :
∃a ∈ E , ∀x ∈ E : f (x ) = (x /a)
càd
∀f ∈ E ? , ∃!a ∈ E tel que , ∀x ∈ E : f (x ) = (x /a)

©
a
Frigyes Riesz : (Györ, 1880 – Budapest, 1956), mathématicien
hongrois. Il établit les bases de l’analyse fonctionnelle moderne.
Hachette Livre, 1996

Preuve 7

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 31 / 1
Espaces euclidiens.

Théorème 3 (Orthogonalité et somme directe)


Dans un espace euclidien E :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 32 / 1
Espaces euclidiens.

Théorème 3 (Orthogonalité et somme directe)


Dans un espace euclidien E :
Tout sev F est en somme directe avec son orthogonal .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 32 / 1
Espaces euclidiens.

Théorème 3 (Orthogonalité et somme directe)


Dans un espace euclidien E :
Tout sev F est en somme directe avec son orthogonal .ie

F ∩ F ⊥ = {0}

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 32 / 1
Espaces euclidiens.

Théorème 3 (Orthogonalité et somme directe)


Dans un espace euclidien E :
Tout sev F est en somme directe avec son orthogonal .ie

F ∩ F ⊥ = {0}

Preuve 8

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 32 / 1
Espaces euclidiens.

Théorème 4 (dimension de l’orthogonal)


Dans un espace euclidien E , pour tout sev F on a :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 33 / 1
Espaces euclidiens.

Théorème 4 (dimension de l’orthogonal)


Dans un espace euclidien E , pour tout sev F on a :

dim F ⊥ = dim E − dim F

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 33 / 1
Espaces euclidiens.

Preuve 9 (dimension de l’orthogonal)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 34 / 1
Espaces euclidiens.

Preuve 9 (dimension de l’orthogonal)


On pose dim E = n et dim F = p.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 34 / 1
Espaces euclidiens.

Preuve 9 (dimension de l’orthogonal)


On pose dim E = n et dim F = p.
On a
F ⊕ F⊥ ⊆ E

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 34 / 1
Espaces euclidiens.

Preuve 9 (dimension de l’orthogonal)


On pose dim E = n et dim F = p.
On a
F ⊕ F⊥ ⊆ E
donc
dim F ⊥ ≤ n − p

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 34 / 1
Espaces euclidiens.

Preuve 10 (dimension de l’orthogonal)


Montrons réciproquement que dim F ⊥ ≥ n − p.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 35 / 1
Espaces euclidiens.

Preuve 10 (dimension de l’orthogonal)


Montrons réciproquement que dim F ⊥ ≥ n − p. Pour cela
considérons une base de F , u =(u1 , . . . , up )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 35 / 1
Espaces euclidiens.

Preuve 10 (dimension de l’orthogonal)


Montrons réciproquement que dim F ⊥ ≥ n − p. Pour cela
considérons une base de F , u =(u1 , . . . , up )
et la fonction:

φ : E → Rp
x → ((x /u1 ), (x /u2 ), . . . , (x /up ))

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 35 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ =

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ = F ⊥ ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ = F ⊥ ,
d’après le théorème du rang on a :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ = F ⊥ ,
d’après le théorème du rang on a :

dim ker φ = dim E − rg(φ)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ = F ⊥ ,
d’après le théorème du rang on a :

dim ker φ = dim E − rg(φ)

or rg(φ) ≤ p(Imφ ⊆ Rp )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ = F ⊥ ,
d’après le théorème du rang on a :

dim ker φ = dim E − rg(φ)

or rg(φ) ≤ p(Imφ ⊆ Rp )donc dim F ⊥ ≥ dim E − p

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Preuve 11 (dimension de l’orthogonal)


Alors φ est maniféstement linéaire et ker φ = F ⊥ ,
d’après le théorème du rang on a :

dim ker φ = dim E − rg(φ)

or rg(φ) ≤ p(Imφ ⊆ Rp )donc dim F ⊥ ≥ dim E − p


CQFD

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 36 / 1
Espaces euclidiens.

Théorème 5 (Supplémentaire orthogonal)


Dans un espace euclidien E , pour tout sev F on a :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 37 / 1
Espaces euclidiens.

Théorème 5 (Supplémentaire orthogonal)


Dans un espace euclidien E , pour tout sev F on a :
Un sous espace vectoriel et son orthogonale sont supplémentaires.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 37 / 1
Espaces euclidiens.

Théorème 5 (Supplémentaire orthogonal)


Dans un espace euclidien E , pour tout sev F on a :
Un sous espace vectoriel et son orthogonale sont supplémentaires.On
note alors

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 37 / 1
Espaces euclidiens.

Théorème 5 (Supplémentaire orthogonal)


Dans un espace euclidien E , pour tout sev F on a :
Un sous espace vectoriel et son orthogonale sont supplémentaires.On
note alors

E = F ⊕ F⊥

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 37 / 1
Espaces euclidiens.

Preuve 12

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 38 / 1
Espaces euclidiens.

Preuve 12
Puisque
F ∩ F ⊥ = {0E }

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 38 / 1
Espaces euclidiens.

Preuve 12
Puisque
F ∩ F ⊥ = {0E }
et que
dim F + dim F ⊥ = dim E
alors

E = F ⊕ F⊥

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 38 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

1 Mn (R) = Sn (R) ⊕

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

1 Mn (R) = Sn (R) ⊕ An (R)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

1 Mn (R) = Sn (R) ⊕ An (R)

2 Mn (R) = vect(In ) ⊕

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

1 Mn (R) = Sn (R) ⊕ An (R)

2 Mn (R) = vect(In ) ⊕ ker(Tr )
2 Dans R3 munit de son ps canonique :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

1 Mn (R) = Sn (R) ⊕ An (R)

2 Mn (R) = vect(In ) ⊕ ker(Tr )
2 Dans R3 munit de son ps canonique :
→ ⊥
R3 = vect( k ) ⊕

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Exemple 12 (Supplémentaire orthogonal)


1 Dans Mn (R) munit de son ps canonique

1 Mn (R) = Sn (R) ⊕ An (R)

2 Mn (R) = vect(In ) ⊕ ker(Tr )
2 Dans R3 munit de son ps canonique :
→ ⊥ → →
R3 = vect( k ) ⊕ vect( i , j )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 39 / 1
Espaces euclidiens.

Théorème 6 (Existence de BON dans un eve)


Dans un espace euclidien E ,il existe des bases orthonormale ( et donc
à fortiori orthogonales).

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 40 / 1
Espaces euclidiens.

Théorème 6 (Existence de BON dans un eve)


Dans un espace euclidien E ,il existe des bases orthonormale ( et donc
à fortiori orthogonales).ie tout eve admet une BON

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 40 / 1
Espaces euclidiens.

Théorème 6 (Existence de BON dans un eve)


Dans un espace euclidien E ,il existe des bases orthonormale ( et donc
à fortiori orthogonales).ie tout eve admet une BON

Preuve 13

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 40 / 1
Espaces euclidiens.

Théorème 6 (Existence de BON dans un eve)


Dans un espace euclidien E ,il existe des bases orthonormale ( et donc
à fortiori orthogonales).ie tout eve admet une BON

Preuve 13
par récurrence sur la dimension de l’espace

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 40 / 1
Espaces euclidiens.

Théorème 7 (Théorème de la BON incomplète )


Dans un espace euclidien E ,toute famille orthonormal (peut être
complété en BON. B = (e1 , .., en ) une BON de E , (Ik )k ∈J une
partition de [1, n] et Ek = vect(ei )i∈Ik . Alors :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 41 / 1
Espaces euclidiens.

Théorème 7 (Théorème de la BON incomplète )


Dans un espace euclidien E ,toute famille orthonormal (peut être
complété en BON. B = (e1 , .., en ) une BON de E , (Ik )k ∈J une
partition de [1, n] et Ek = vect(ei )i∈Ik . Alors :

M
E= Ek
k ∈J

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 41 / 1
Espaces euclidiens.

Théorème 7 (Théorème de la BON incomplète )


Dans un espace euclidien E ,toute famille orthonormal (peut être
complété en BON. B = (e1 , .., en ) une BON de E , (Ik )k ∈J une
partition de [1, n] et Ek = vect(ei )i∈Ik . Alors :

M
E= Ek
k ∈J


L
Réciproquement : Si E = Ek et Bk BON de Ek , alors B = ∪ Bk
k ∈J k ∈J
est une BON de E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 41 / 1
Espaces euclidiens.

Théorème 7 (Théorème de la BON incomplète )


Dans un espace euclidien E ,toute famille orthonormal (peut être
complété en BON. B = (e1 , .., en ) une BON de E , (Ik )k ∈J une
partition de [1, n] et Ek = vect(ei )i∈Ik . Alors :

M
E= Ek
k ∈J


L
Réciproquement : Si E = Ek et Bk BON de Ek , alors B = ∪ Bk
k ∈J k ∈J
est une BON de E .

Preuve 14

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 41 / 1
Espaces euclidiens.

Théorème 8 (Théorème de la BON adaptée )


Dans un espace euclidien E ,toute famille orthonormal (peut être
complété en BON.

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 42 / 1
Espaces euclidiens.

Théorème 8 (Théorème de la BON adaptée )


Dans un espace euclidien E ,toute famille orthonormal (peut être
complété en BON.

Preuve 15

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 42 / 1
Projection orthogonales.

Dans tout ce paragraphe F désigne un sous espace vectoriel d’un


R-espace préhilbertien E .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 43 / 1
Projection orthogonales.

Dans tout ce paragraphe F désigne un sous espace vectoriel d’un


R-espace préhilbertien E .

Definition 6 (Projection orthogonale)


Si E est un espace euclidien

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 43 / 1
Projection orthogonales.

Dans tout ce paragraphe F désigne un sous espace vectoriel d’un


R-espace préhilbertien E .

Definition 6 (Projection orthogonale)


Si E est un espace euclidien On appelle projection orthogonale sur
F la projection de base F et de direction F ⊥ .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 43 / 1
Projection orthogonales.

Dans tout ce paragraphe F désigne un sous espace vectoriel d’un


R-espace préhilbertien E .

Definition 6 (Projection orthogonale)


Si E est un espace euclidien On appelle projection orthogonale sur
F la projection de base F et de direction F ⊥ .On la note en général
pF

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 43 / 1
Projection orthogonales.

Dans tout ce paragraphe F désigne un sous espace vectoriel d’un


R-espace préhilbertien E .

Definition 6 (Projection orthogonale)


Si E est un espace euclidien On appelle projection orthogonale sur
F la projection de base F et de direction F ⊥ .On la note en général
pF
càd
ker pF = (Im pF )⊥

(Justification )
F ⊕ F⊥ = E

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 43 / 1
Projection orthogonales.

F⊥

pF ⊥ (x ) = x − pF (x )
x

pF (x )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 44 / 1
Projection orthogonales.

Théorème 9 (Caractérisation d’une projection


orthogonale)
p ∈ L(E ),

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 45 / 1
Projection orthogonales.

Théorème 9 (Caractérisation d’une projection


orthogonale)
p ∈ L(E ),
p est une projection orthogonale si et seulement si

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 45 / 1
Projection orthogonales.

Théorème 9 (Caractérisation d’une projection


orthogonale)
p ∈ L(E ),
p est une projection orthogonale si et seulement si

p 2 = p et ∀(x , y) ∈ E 2 , (p(x )/y) = (x /p(y))

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 45 / 1
Projection orthogonales.

Théorème 10

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 46 / 1
Projection orthogonales.

Théorème 10
Si E est un espace préhilbertien ( pas nécessairement de dimension
finie) ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 46 / 1
Projection orthogonales.

Théorème 10
Si E est un espace préhilbertien ( pas nécessairement de dimension
finie) ,F un sevdf de E , alors

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 46 / 1
Projection orthogonales.

Théorème 10
Si E est un espace préhilbertien ( pas nécessairement de dimension
finie) ,F un sevdf de E , alors

E = F ⊕ F⊥

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 46 / 1
Projection orthogonales.

Théorème 10
Si E est un espace préhilbertien ( pas nécessairement de dimension
finie) ,F un sevdf de E , alors

E = F ⊕ F⊥

Remarque 7

Pour définir la projection orthogonale sur un sev F d’un espace


préhilbertien ( pas nécessairement de dimension finie)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 46 / 1
Projection orthogonales.

Théorème 10
Si E est un espace préhilbertien ( pas nécessairement de dimension
finie) ,F un sevdf de E , alors

E = F ⊕ F⊥

Remarque 7

Pour définir la projection orthogonale sur un sev F d’un espace


préhilbertien ( pas nécessairement de dimension finie), il suffit que le
sev F soit de dimension finie !

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 46 / 1
Projection orthogonales.

Théorème 11 (Expression de la projection orthogonale


dans une BON)
Si F est de dimension r et (e1 , . . . , er ) b.o.n de F alors :
k =r
X
∀x ∈ E : pF (x ) = (x /ek )ek
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 47 / 1
Projection orthogonales.

Théorème 11 (Expression de la projection orthogonale


dans une BON)
Si F est de dimension r et (e1 , . . . , er ) b.o.n de F alors :
k =r
X
∀x ∈ E : pF (x ) = (x /ek )ek
k =1

Preuve 16

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 47 / 1
Projection orthogonales.

Théorème et définition 1 (distance d’un vecteur à un sev)


Soit F un sev d’un R−ev E

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 48 / 1
Projection orthogonales.

Théorème et définition 1 (distance d’un vecteur à un sev)


Soit F un sev d’un R−ev E , x ∈ E ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 48 / 1
Projection orthogonales.

Théorème et définition 1 (distance d’un vecteur à un sev)


Soit F un sev d’un R−ev E , x ∈ E , on appelle distance de x à F le
réel noté d (x , F ) défini par :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 48 / 1
Projection orthogonales.

Théorème et définition 1 (distance d’un vecteur à un sev)


Soit F un sev d’un R−ev E , x ∈ E , on appelle distance de x à F le
réel noté d (x , F ) défini par :

d (x , F ) = inf kx − yk
y∈F

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 48 / 1
Projection orthogonales.

Théorème et définition 1 (distance d’un vecteur à un sev)


Soit F un sev d’un R−ev E , x ∈ E , on appelle distance de x à F le
réel noté d (x , F ) défini par :

d (x , F ) = inf kx − yk
y∈F

Preuve 17

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 48 / 1
Projection orthogonales.

Théorème 12 (de la projection)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 49 / 1
Projection orthogonales.

Théorème 12 (de la projection)


Soit F un sevdf d’un espace préhilbertien E , alors ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 49 / 1
Projection orthogonales.

Théorème 12 (de la projection)


Soit F un sevdf d’un espace préhilbertien E , alors ,

∀x ∈ E : d (x , F ) = kx − pF (x )k

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 49 / 1
Projection orthogonales.

Théorème 12 (de la projection)


Soit F un sevdf d’un espace préhilbertien E , alors ,

∀x ∈ E : d (x , F ) = kx − pF (x )k
En plus , le vecteur pF (x ) est l’unique vecteur de F là ou cette
distance est atteinte .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 49 / 1
Projection orthogonales.

Théorème 12 (de la projection)


Soit F un sevdf d’un espace préhilbertien E , alors ,

∀x ∈ E : d (x , F ) = kx − pF (x )k
En plus , le vecteur pF (x ) est l’unique vecteur de F là ou cette
distance est atteinte .

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 49 / 1
Projection orthogonales.

Théorème 12 (de la projection)


Soit F un sevdf d’un espace préhilbertien E , alors ,

∀x ∈ E : d (x , F ) = kx − pF (x )k
En plus , le vecteur pF (x ) est l’unique vecteur de F là ou cette
distance est atteinte .

Preuve 18

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 49 / 1
Projection orthogonales.

F⊥

pF ⊥ (x ) = x − pF (x )
x

pF (x )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 50 / 1
Projection orthogonales.

Exercice 1 (K un résultat de Spé: Inégalité de Bessel)


Si (e1 , . . . , ep ) est une famille orthonormale d’un espace préhilbertien
E , alors:

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 51 / 1
Projection orthogonales.

Exercice 1 (K un résultat de Spé: Inégalité de Bessel)


Si (e1 , . . . , ep ) est une famille orthonormale d’un espace préhilbertien
E , alors:
1
p
X
∀x ∈ E : (x /ek )2 ≤ kx k2 Inégalité de Bessel
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 51 / 1
Projection orthogonales.

Exercice 1 (K un résultat de Spé: Inégalité de Bessel)


Si (e1 , . . . , ep ) est une famille orthonormale d’un espace préhilbertien
E , alors:
1
p
X
∀x ∈ E : (x /ek )2 ≤ kx k2 Inégalité de Bessel
k =1

p
X
2 Application: la suite ( (x /ek )2 )p converge , ∀x ∈ E
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 51 / 1
Projection orthogonales.

Preuve 19 (Inégalité de Bessel)


En effet :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 52 / 1
Projection orthogonales.

Preuve 19 (Inégalité de Bessel)


En effet :
p
X
pF (x ) = (x /ek ).ek
k =1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 52 / 1
Projection orthogonales.

Preuve 19 (Inégalité de Bessel)


En effet :
p
X
pF (x ) = (x /ek ).ek
k =1

donc: p
X
(x /ek )2 = kpF (x )k2 ≤ kx k2 .
k =1

CQFD

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 52 / 1
Projection orthogonales.

Théorème 13 (procédé d’orthonormalisation de


Gram-Schmidt)

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 53 / 1
Projection orthogonales.

Théorème 13 (procédé d’orthonormalisation de


Gram-Schmidt)
u = (uj )1≤j ≤n une base de E (E espace euclidien) ,

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 53 / 1
Projection orthogonales.

Théorème 13 (procédé d’orthonormalisation de


Gram-Schmidt)
u = (uj )1≤j ≤n une base de E (E espace euclidien) ,alors il existe une
base orthonormale B = (ej )1≤j ≤n de E telle que :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 53 / 1
Projection orthogonales.

Théorème 13 (procédé d’orthonormalisation de


Gram-Schmidt)
u = (uj )1≤j ≤n une base de E (E espace euclidien) ,alors il existe une
base orthonormale B = (ej )1≤j ≤n de E telle que :

∀j ∈ [1, n] :
vect(e1 , . . . , ej ) = vect(u1 , . . . , uj )
(ej /uj ) > 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 53 / 1
Projection orthogonales.

Preuve 20 (procédé d’orthonormalisation de


Gram-Schmidt)
On pose Fj = vect(u1 , . . . , uj )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 54 / 1
Projection orthogonales.

Preuve 20 (procédé d’orthonormalisation de


Gram-Schmidt)
On pose Fj = vect(u1 , . . . , uj )
On prend
u1
e1 =
ku1 k

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 54 / 1
Projection orthogonales.

Preuve 20 (procédé d’orthonormalisation de


Gram-Schmidt)
On pose Fj = vect(u1 , . . . , uj )
On prend
u1
e1 =
ku1 k

F1 = vect(u1 ) = vect(e1 )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 54 / 1
Projection orthogonales.

Preuve 21 (procédé d’orthonormalisation de


Gram-Schmidt)

u2 u2 − pF1 (u2 )

pF1 (u2 ) e1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 55 / 1
Projection orthogonales.

Preuve 22 (procédé d’orthonormalisation de


Gram-Schmidt)
u2 − pF 1 (u2 )
e2 = =
ku2 − pF 1 (u2 )k

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 56 / 1
Projection orthogonales.

Preuve 22 (procédé d’orthonormalisation de


Gram-Schmidt)
u2 − pF 1 (u2 ) u2 − (u2 /e1 ).e1
e2 = =
ku2 − pF 1 (u2 )k ku2 − (u2 /e1 ).e1 k

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 56 / 1
Projection orthogonales.

Preuve 22 (procédé d’orthonormalisation de


Gram-Schmidt)
u2 − pF 1 (u2 ) u2 − (u2 /e1 ).e1
e2 = =
ku2 − pF 1 (u2 )k ku2 − (u2 /e1 ).e1 k

F2 = vect(u1 , u2 ) = vect(e1 , e2 )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 56 / 1
Projection orthogonales.

Preuve 22 (procédé d’orthonormalisation de


Gram-Schmidt)
u2 − pF 1 (u2 ) u2 − (u2 /e1 ).e1
e2 = =
ku2 − pF 1 (u2 )k ku2 − (u2 /e1 ).e1 k

F2 = vect(u1 , u2 ) = vect(e1 , e2 )

...

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 56 / 1
Projection orthogonales.

Preuve 23 (procédé d’orthonormalisation de


Gram-Schmidt)

uj − pFj −1 (uj )
∀j ∈ [2, n], ej =
uj − p
=
Fj −1
(uj )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 57 / 1
Projection orthogonales.

Preuve 23 (procédé d’orthonormalisation de


Gram-Schmidt)
j −1
X
uj − (uj /ei ).ei
uj − pFj −1 (uj ) i=1
∀j ∈ [2, n], ej =
uj − p
=
j −1

Fj −1
(uj ) X
uj − (uj /ei ).ei


i=1

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 57 / 1
Projection orthogonales.

Preuve 23 (procédé d’orthonormalisation de


Gram-Schmidt)
j −1
X
uj − (uj /ei ).ei
uj − pFj −1 (uj ) i=1
∀j ∈ [2, n], ej =
uj − p
=
j −1

Fj −1
(uj ) X
uj − (uj /ei ).ei


i=1

Fj = vect(u1 , . . . , uj ) = vect(e1 , . . . ej )

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 57 / 1
Projection orthogonales.

Remarque 8
On a unicité de la BON dans le procédé de schmidt via la condition :

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 58 / 1
Projection orthogonales.

Remarque 8
On a unicité de la BON dans le procédé de schmidt via la condition :

∀j ∈ [1, n] : (ej /uj ) > 0

ABDELJALIL TADDIST LYDEX-BENGURIRMPSI


Chapitre
1 26: Espaces préhilbertiens April 9, 2022 58 / 1

Vous aimerez peut-être aussi