Le produit scalaire euclidien est une forme bilinéaire, symétrique, définie positive qui permet de définir une norme et d’établir des propriétés fondamentales telles que l’inégalité de Cauchy-Schwarz et l’identité du parallélogramme, essentielles pour l’étude des espaces vectoriels de dimension finie ou infinie.
L’orthogonal de A, A⊥, est un sous-espace vectoriel contenant tous les vecteurs orthogonaux à A, et la double orthogonalité (A⊥)⊥ contient A, illustrant la dualité fondamentale de l’orthogonalité dans un espace préhilbertien.
Procédé d’orthogonalisation de Gram-Schmidt : méthode permettant de transformer une famille libre de vecteurs en une famille orthogonale (ou orthonormale) tout en conservant l’espace vectoriel engendré par la famille initiale. AUTEUR (1883) : ce procédé est attribué à J. Gram et E. Schmidt.
Formule explicite de Gram-Schmidt : pour une famille libre (a₁, ..., aₚ), la famille orthogonale (b₁, ..., bₚ) est définie par :
Conservation des espaces vectoriels engendrés : à chaque étape, l’espace engendré par (a₁, ..., aₖ) est identique à celui engendré par (b₁, ..., bₖ). Cela garantit que la transformation ne modifie pas l’espace initial, mais seulement la famille de vecteurs. AUTEUR (1883) : propriété fondamentale du procédé.
Existence d’une famille orthogonale associée : pour toute famille libre de vecteurs, il existe une famille orthogonale (ou orthonormale si normalisée) qui engendre le même espace. Cela permet de simplifier la base pour des calculs et des applications. AUTEUR (1883) : résultat du procédé Gram-Schmidt.
Le procédé Gram-Schmidt permet de construire une famille orthogonale ou orthonormale à partir d’une famille libre, tout en conservant l’espace engendré, grâce à une formule explicite qui soustrait les projections successives.
Base orthonormale : Ensemble de vecteurs (𝑒₁, ..., 𝑒ₙ) d’un espace euclidien (𝐸, ⟨|⟩) tel que chaque vecteur est unitaire (⟨𝑒𝑖|𝑒𝑖⟩=1) et orthogonal aux autres (⟨𝑒𝑖|𝑒𝑗⟩=0 pour 𝑖 ≠ 𝑗). AUTEUR (date) : "Une famille orthogonale de vecteurs non nuls est libre" (voir section 1.4).
Représentation matricielle dans une base orthonormale : Si (𝑒₁, ..., 𝑒ₙ) est une base orthonormale de 𝐸, alors pour tout vecteur 𝑥, ses coordonnées dans cette base sont données par la colonne 𝑋 = (𝑥₁, ..., 𝑥ₙ) où 𝑥𝑖 = ⟨𝑥|𝑒𝑖⟩. La matrice de l’endomorphisme u dans cette base est une matrice réelle 𝑀 = (𝑚_{ij}) où 𝑚_{ij} = ⟨u(𝑒𝑗)|𝑒𝑖⟩. AUTEUR (date) : "La matrice de passage d’une base orthonormée à une autre est orthogonale" (voir section 4.2).
Norme euclidienne : Pour tout vecteur 𝑥 dans un espace euclidien (𝐸, ⟨|⟩), la norme est définie par ‖𝑥‖ = √⟨𝑥|𝑥⟩. En coordonnées dans une base orthonormale (𝑒₁, ..., 𝑒ₙ), ‖𝑥‖² = ∑_{i=1}^n 𝑥𝑖². AUTEUR (date) : "La norme euclidienne s’exprime en coordonnées par la somme des carrés" (voir section 1.2).
Existence d’une base orthonormale : Tout espace vectoriel euclidien non nul admet au moins une base orthonormale (voir section 1.6). La construction se fait par le procédé de Gram-Schmidt à partir d’une famille libre de vecteurs. AUTEUR (date) : "Tout espace euclidien non nul possède une base orthonormale" (voir section 1.6).
La caractérisation d’une base orthonormale repose sur la propriété ⟨𝑒𝑖|𝑒𝑗⟩ = δ_{ij}, où δ_{ij} est le symbole de Kronecker, ce qui implique que la famille est orthogonale avec vecteurs unitaires. La norme dans une base orthonormale s’exprime simplement par ‖𝑥‖ = √∑_{i=1}^n 𝑥𝑖².
La représentation matricielle d’un endomorphisme u dans une base orthonormale (𝑒₁, ..., 𝑒ₙ) est une matrice réelle 𝑀 = (𝑚_{ij}) où 𝑚_{ij} = ⟨u(𝑒𝑗)|𝑒𝑖⟩. La propriété fondamentale est que si u est une isométrie (membre du groupe orthogonal 𝑂(𝐸)), alors 𝑀 est une matrice orthogonale, c’est-à-dire 𝑀ᵀ𝑀 = 𝐼ₙ.
La diagonalisation d’un endomorphisme autoadjoint dans un espace euclidien repose sur le théorème spectral : il existe une base orthonormée formée de vecteurs propres, ce qui permet de représenter l’endomorphisme par une matrice diagonale dans cette base. AUTEUR (date) : "Tout endomorphisme autoadjoint est diagonalisable dans une base orthonormée" (voir section 5.3).
La réduction d’un automorphisme orthogonal en une forme simple (rotation, réflexion) dans une dimension ou dimension 2 ou 3 repose sur la structure particulière des matrices orthogonales, notamment dans le cas de dimension 2 (voir section 4.3) et dimension 3 (voir corollaire sur les rotations).
Une base orthonormale permet une représentation simple et efficace des vecteurs et endomorphismes dans un espace euclidien de dimension finie, en exprimant les opérations par des matrices orthogonales ou diagonales, facilitant ainsi leur étude et leur classification.
Supplémentaire orthogonal : Soit (𝐸, ⟨ | ⟩) un espace préhilbertien réel et 𝐹 un sous-espace vectoriel. 𝐹 a un supplémentaire orthogonal dans 𝐸 si 𝐸 = 𝐹 ⊕ 𝐹⊥, où 𝐹⊥ est l’ensemble des vecteurs orthogonaux à tous ceux de 𝐹 (théorème de séparation). AUTEUR (date) : définition fondamentale en espace préhilbertien.
Projection orthogonale : La projection 𝑝𝐹 : 𝐸 → 𝐹 parallèlement à 𝐹⊥ est la application qui, pour tout 𝑥 ∈ 𝐸, associe le vecteur unique 𝑝𝐹(𝑥) ∈ 𝐹 tel que 𝑥 - 𝑝𝐹(𝑥) ∈ 𝐹⊥. Elle est caractérisée par la décomposition 𝐸 = 𝐹 ⊕ 𝐹⊥ (théorème 2.2).
Caractérisation par la décomposition E = F ⊕ F⊥ : Un espace 𝐸 peut être décomposé en somme directe orthogonale de 𝐹 et 𝐹⊥ si et seulement si 𝐹 est un sous-espace avec un supplémentaire orthogonal. La projection 𝑝𝐹 est alors l’application associée à cette décomposition (théorème 2.2).
Formule explicite via une base orthonormale : Si (𝑒𝑘)₁≤𝑝 est une base orthonormale de 𝐹, alors pour tout 𝑥 ∈ 𝐸, 𝑝𝐹(𝑥) = ∑ₖ ⟨𝑒ₖ, 𝑥⟩ 𝑒ₖ (théorème 2.2).
Relation entre noyau et image : La projection 𝑝𝐹 est un projecteur orthogonal dont le noyau est 𝐹⊥ et l’image est 𝐹. En particulier, 𝑘𝑒𝑟(𝑝𝐹) = 𝐹⊥ et 𝑖𝑚(𝑝𝐹) = 𝐹 (théorème 2.2).
La décomposition 𝐸 = 𝐹 ⊕ 𝐹⊥ est fondamentale pour définir la projection orthogonale. Elle garantit que tout vecteur 𝑥 ∈ 𝐸 peut s’écrire de façon unique comme 𝑥 = 𝑥_F + 𝑥_{F⊥} avec 𝑥_F ∈ 𝐹 et 𝑥_{F⊥} ∈ 𝐹⊥.
La projection 𝑝𝐹 est un projecteur orthogonal, c’est-à-dire qu’il est idempotent (𝑝𝐹² = 𝑝𝐹) et auto-adjoint (𝑝𝐹 = 𝑝𝐹*). Elle est caractérisée par la propriété ⟨𝑝𝐹(𝑥), 𝑦⟩ = ⟨𝑥, 𝑝𝐹(𝑦)⟩ pour tout 𝑥, 𝑦 ∈ 𝐸.
La formule explicite 𝑝𝐹(𝑥) = ∑ₖ ⟨𝑒ₖ, 𝑥⟩ 𝑒ₖ permet de calculer la projection sur 𝐹 à partir d’une base orthonormale.
La relation entre noyau et image : 𝑘𝑒𝑟(𝑝𝐹) = 𝐹⊥ et 𝑖𝑚(𝑝𝐹) = 𝐹, ce qui montre que la projection est un isomorphisme de 𝐸/𝐹⊥ vers 𝐹.
La projection orthogonale sur un sous-espace 𝐹 dans un espace préhilbertien est définie par la décomposition orthogonale 𝐸 = 𝐹 ⊕ 𝐹⊥, et peut s’exprimer explicitement via une base orthonormale de 𝐹. Elle est caractérisée par ses propriétés d’idempotence, d’auto-adjointie, et par la relation entre noyau et image.
Projecteur orthogonal : Un projecteur de dont l’image et le noyau sont orthogonaux, c’est-à-dire que . Selon la propriété, est un projecteur autoadjoint, donc . (source : rappel)
Symétrie orthogonale : Une application de est une symétrie orthogonale si elle est une isométrie (donc ) et si elle peut s’écrire sous la forme , où est un projecteur orthogonal. Elle vérifie et . (source : rappel)
Caractérisation des projecteurs orthogonaux : Un projecteur est orthogonal si et seulement si il est auto-adjoint, c’est-à-dire . (source : rappel)
Caractérisation des symétries orthogonales : Une symétrie est une application auto-adjointe () et isométrique ( pour tout ). Elle peut s’écrire sous la forme avec projecteur orthogonal. (source : rappel)
Lien entre projecteurs orthogonaux et symétries orthogonales : Toute symétrie orthogonale peut s’obtenir à partir d’un projecteur orthogonal par la formule . Inversement, tout projecteur orthogonal définit une symétrie . (source : rappel)
La propriété fondamentale d’un projecteur orthogonal est qu’il est auto-adjoint : . Cela implique que et sont orthogonaux, et que se décompose en somme directe orthogonale .
La symétrie orthogonale est une application involutive () qui conserve la norme () et vérifie . Elle est liée à un projecteur orthogonal par la formule .
La caractérisation par l’auto-adjonction permet de distinguer facilement les projecteurs orthogonaux et symétries orthogonales dans un espace préhilbertien, en utilisant la propriété ou .
La relation entre projecteurs et symétries orthogonales établit une correspondance bijective : chaque projecteur orthogonal donne une symétrie, et chaque symétrie peut s’écrire en termes d’un projecteur orthogonal.
Les projecteurs orthogonaux sont caractérisés par leur auto-adjonction, et ils permettent de construire des symétries orthogonales via la formule . La relation entre ces deux notions repose sur leur propriété d’être auto-adjoint et leur lien avec la décomposition orthogonale de l’espace.
Distance d’un vecteur à une partie A de E :
(définition).
Point à retenir : La distance est la borne inférieure des distances entre a et tous les points x de A.
Projection orthogonale sur un sous-espace F :
est le point de F qui réalise la distance minimale entre a et F, c’est-à-dire que (caractérisation).
Point à retenir : La projection orthogonale est unique dans un espace préhilbertien et réalise la distance minimale.
Relation entre distance et projection orthogonale :
(relation fondamentale).
Point à retenir : La distance d’un vecteur à un sous-espace F est donnée par la norme de la différence entre le vecteur et son projection orthogonale.
Condition d’optimalité pour la projection :
Si x est un point de F réalisant la distance, alors (condition d’optimalité).
Point à retenir : Le vecteur est orthogonal à F, ce qui caractérise le point projeté.
Caractérisation du point projeté :
est l’unique point x de F tel que (caractérisation du point projeté).
Point à retenir : La projection orthogonale est la seule qui vérifie cette orthogonalité.
La distance d’un vecteur à un sous-espace est égale à la norme de la différence entre ce vecteur et sa projection orthogonale, laquelle est caractérisée par l’orthogonalité du vecteur différence à ce sous-espace.
Somme orthogonale de sous-espaces : Soit (𝐸, ⟨ | ⟩) un espace préhilbertien réel et (𝐸𝑘)₁≤𝑘≤𝑝 une famille finie de sous-espaces vectoriels de 𝐸. La somme 𝑆 = ∑ 𝐸𝑘 est dite orthogonale si pour tout 𝑖 ≠ 𝑗, 𝐸𝑖 et 𝐸𝑗 sont orthogonaux, c’est-à-dire ⟨𝑥|𝑦⟩=0 pour tout 𝑥 ∈ 𝐸𝑖, 𝑦 ∈ 𝐸𝑗. La somme orthogonale est une somme directe car toute famille orthogonale de vecteurs non nuls est libre.
(Rappel : cette notion est liée à la définition de somme orthogonale dans la section 1.4)
Condition d'orthogonalité mutuelle : Deux sous-espaces 𝐸𝑖 et 𝐸𝑗 (avec 𝑖 ≠ 𝑗) sont orthogonaux si ⟨𝑥|𝑦⟩=0 pour tout 𝑥 ∈ 𝐸𝑖, 𝑦 ∈ 𝐸𝑗. Cela implique que leur intersection est réduite au vecteur nul et que leur somme est directe.
(Rappel : cette propriété est essentielle pour la définition de somme orthogonale)
Existence d'une famille de projecteurs orthogonaux : Lorsqu’une somme 𝑆 = ∑ 𝐸𝑘 est orthogonale, il existe une famille de projecteurs orthogonaux (𝑝𝐸𝑘)₁≤𝑘≤𝑝, où chaque 𝑝𝐸𝑘 est le projecteur orthogonal sur 𝐸𝑘 parallèlement à la somme des autres 𝐸𝑗. Ces projecteurs sont auto-adjoints, c’est-à-dire 𝑝𝐸𝑘 = 𝑝𝐸𝑘* (voir section 7).
(Rappel : cette propriété est liée à l’existence de projecteurs orthogonaux dans la section 7)
Lien entre somme orthogonale et somme directe : La somme orthogonale 𝑆 est une somme directe car toute famille orthogonale de vecteurs non nuls est libre. La liberté de la famille assure que 𝐸 = ∑ 𝐸𝑘, avec chaque 𝐸𝑘 orthogonal aux autres, ce qui garantit la somme directe.
(Rappel : cette relation est une conséquence de la propriété d’orthogonalité mutuelle)
Endomorphisme autoadjoint (ou symétrique) : Un endomorphisme 𝑢 d’un espace euclidien (𝐸, ⟨ | ⟩) est autoadjoint si 𝑢 = 𝑢* (relation ⟨𝑢(𝑥), 𝑦⟩ = ⟨𝑥, 𝑢(𝑦)⟩ pour tous 𝑥, 𝑦 ∈ 𝐸). AUTEUR (source) : cette propriété implique que 𝑢 est représenté par une matrice symétrique dans toute base orthonormale.
Spectre d’un endomorphisme autoadjoint : L’ensemble des valeurs propres (éventuellement complexes, mais ici réel) associées à 𝑢, qui sont toutes réelles pour un endomorphisme autoadjoint. AUTEUR (source) : le théorème spectral stipule que 𝑢 est diagonalisable dans une base orthonormale formée de vecteurs propres.
Diagonalisation dans une base orthonormale : Un endomorphisme autoadjoint 𝑢 peut être diagonalement représenté dans une base orthonormale composée de vecteurs propres, ce qui signifie que 𝐸 est somme directe orthogonale de ses espaces propres. AUTEUR (source) : théorème spectral, corollaire 1.
Stabilité des sous-espaces propres : Les sous-espaces propres d’un endomorphisme autoadjoint sont deux à deux orthogonaux, ce qui garantit que la décomposition en espaces propres est orthogonale. AUTEUR (source) : théorème spectral, propriété 1.
Propriétés spectrales : Le polynôme caractéristique de 𝑢 est scindé dans ℝ, et chaque valeur propre est réelle. La diagonalisation orthogonale est possible, ce qui implique que 𝑢 est orthogonalement diagonalisable. AUTEUR (source) : théorème spectral, corollaire 2.
La propriété 𝑢 = 𝑢* implique que 𝑢 est représenté par une matrice symétrique réelle dans toute base orthonormale, ce qui garantit que ses valeurs propres sont réelles et que 𝑢 est diagonalisable dans une base orthonormale (théorème spectral).
Les sous-espaces propres associés à 𝑢 sont orthogonaux deux à deux, permettant une décomposition orthogonale de 𝐸 en somme directe des espaces propres (théorème spectral, propriété 1).
La diagonalisation orthogonale de 𝑢 se traduit par l’existence d’une base orthonormale formée de vecteurs propres, dans laquelle 𝑢 est représenté par une matrice diagonale réelle (corollaire 1).
Le spectre de 𝑢 est constitué uniquement de valeurs réelles, ce qui facilite l’analyse de ses propriétés spectrales et la classification des endomorphismes autoadjoints.
Un endomorphisme autoadjoint d’un espace euclidien est diagonalisable dans une base orthonormale formée de vecteurs propres, avec un spectre réel, ce qui garantit une décomposition orthogonale de l’espace en sous-espaces propres.
Théorème de diagonalisation des endomorphismes autoadjoints : Tout endomorphisme autoadjoint 𝑢 d’un espace euclidien 𝐸 admet une base orthonormée formée de vecteurs propres, c’est-à-dire que 𝑢 est diagonalisable dans une base orthonormale (corollaire du théorème spectral). AUTEUR (date) : ce résultat repose sur la propriété que les endomorphismes autoadjoints ont un polynôme caractéristique scindé dans ℝ et une base orthonormée de vecteurs propres.
Existence d'une base orthonormale formée de vecteurs propres : Dans un espace euclidien 𝐸, tout endomorphisme autoadjoint 𝑢 possède une base orthonormée composée de vecteurs propres, ce qui implique que 𝐸 est la somme directe orthogonale de ses espaces propres. AUTEUR (date) : ce résultat découle du théorème spectral pour les endomorphismes autoadjoints.
Lien entre diagonalisation et base orthonormale : La diagonalisation d’un endomorphisme autoadjoint dans une base orthonormale permet de représenter 𝑢 par une matrice diagonale réelle, dont les éléments diagonaux sont les valeurs propres. La base orthonormale associée est constituée de vecteurs propres orthogonaux. AUTEUR (date) : ce lien est une conséquence directe du théorème spectral.
Caractérisation matricielle par une matrice diagonale réelle dans une base orthonormale : Un endomorphisme autoadjoint 𝑢 est représenté par une matrice diagonale réelle dans une base orthonormale formée de vecteurs propres. La diagonale contient les valeurs propres réelles, et la matrice est symétrique. AUTEUR (date) : cette caractérisation est une propriété fondamentale des matrices symétriques réelles.
Les endomorphismes autoadjoints d’un espace euclidien sont diagonalisables dans une base orthonormale, avec une matrice diagonale réelle, ce qui permet une représentation claire et simplifiée de leurs propriétés spectrales.
| Thème | Notions clés | Propriétés principales | Auteur / Référence | Commentaires |
|---|---|---|---|---|
| Produit scalaire en espace préhilbertien | Forme bilinéaire, symétrie, définie positive | ⟨x | y⟩ = ⟨y | x⟩, ⟨x |
| Orthogonalité | A⊥ = {x | ∀ y ∈ A, ⟨x | y⟩=0} | A⊥ est sous-espace, (A⊥)⊥ contient A, E⊥={0} |
| Familles orthogonales | ⟨a_i | a_j⟩=0 pour i≠j, orthonormale si ⟨a_i | a_i⟩=1 | Orthogonalité, orthonormalité, identité de Pythagore |
| Procédé Gram-Schmidt | Construction famille orthogonale à partir d’une famille libre | Conservation de l’espace engendré, formule explicite | J. Gram, E. Schmidt (1883) | Outil de base pour orthogonaliser une famille |
Teste tes connaissances sur Bases orthonormales et diagonalisation avec 9 questions à choix multiples et corrections détaillées.
1. Qu'est-ce que le produit scalaire en espace préhilbertien ?
2. Quelle propriété caractérise un produit scalaire euclidien en espace vectoriel réel ?
Mémorisez les concepts clés de Bases orthonormales et diagonalisation avec 9 flashcards interactives.
Produit scalaire — définition ?
Forme bilinéaire, symétrique, définie positive sur E.
Produit scalaire — propriété clé?
Forme bilinéaire, symétrique, définie-positive.
Propriétés de l'orthogonalité — essentielles ?
Sous-espace, (A⊥)⊥ contient A, E⊥={0}.
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches