Le cours expliqué simplement, les questions que tous les élèves se posent et des exercices type examen national. Programme marocain, gratuit.
📘 Fiche de cours
L'essentiel du cours
Un espace préhilbertien réel est un espace vectoriel $E$ muni d'une forme bilinéaire symétrique définie positive notée $\langle \cdot, \cdot \rangle$.
Norme associée : $|x| = \sqrt{\langle x, x \rangle}$.
Cauchy-Schwarz : $|\langle x, y \rangle| \leq |x| \cdot |y|$.
Orthogonalité : $x \perp y \iff \langle x, y \rangle = 0$.
Théorème de Pythagore : $x \perp y \implies |x+y|^2 = |x|^2 + |y|^2$.
Méthodes à maîtriser
Vérifier qu'une forme est un produit scalaire : Vérifier la symétrie, la linéarité par rapport à la première variable, et le caractère défini positif (positivité et non-nullité).
Orthonormalisation de Gram-Schmidt : Transformer une base $(e_1, \dots, e_n)$ en une base orthonormée $(u_1, \dots, u_n)$.
Calcul de projection orthogonale : Sur un sous-espace de dimension finie muni d'une base orthonormée $(u_i)$, $p(x) = \sum \langle x, u_i \rangle u_i$.
Exemples corrigés
Exemple : Dans $\mathbb{R}^2$ muni du produit scalaire usuel, soit $v=(1, 1)$. La norme est $|v| = \sqrt{1^2+1^2} = \sqrt{2}$.
Exemple : Soit $P, Q \in \mathbb{R}[X]$, $\langle P, Q \rangle = \int_0^1 P(t)Q(t) dt$. C'est un produit scalaire classique sur les polynômes.
Erreurs fréquentes
Oublier la condition "définie positive" (notamment le fait que $\langle x, x \rangle = 0 \implies x=0$).
Confondre orthogonalité et indépendance linéaire (une famille orthogonale de vecteurs non nuls est toujours libre).
Appliquer Pythagore sans vérifier l'orthogonalité.
🌉 Jisr : les mots du chapitre FR ⇄ AR
Tu as appris les sciences en arabe ? Touche un mot pour voir sa traduction et une explication en darija.
💡 À retenir : L'étape clé est la soustraction de la projection sur les vecteurs déjà trouvés.
Est-ce que toute famille orthogonale est une base ?
Non. Une famille orthogonale est libre si elle ne contient pas le vecteur nul, mais pour être une base, elle doit aussi être génératrice. Dans un espace de dimension $n$, une famille orthogonale de $n$ vecteurs non nuls est une base.
💡 À retenir : Une famille orthogonale est une "base orthogonale" uniquement si son cardinal est égal à la dimension de l'espace.
Kifach n-biyen bli wahed l-forme hiya produit scalaire ?
Khassk t-vérifier 3 dyal l-hwayj :
Symétrie : $\langle x, y \rangle = \langle y, x \rangle$.
Bilinéarité : $\langle \alpha x + \beta y, z \rangle = \alpha \langle x, z \rangle + \beta \langle y, z \rangle$.
Caractère défini positif : $\langle x, x \rangle \geq 0$ et $\langle x, x \rangle = 0 \iff x = 0$.
💡 À retenir : La positivité est souvent vérifiée en calculant $\langle x, x \rangle$ et en montrant que c'est une somme de carrés.
Est-ce que la norme est toujours associée à un produit scalaire ?
Non, une norme est associée à un produit scalaire si et seulement si elle vérifie l'identité du parallélogramme : $|x+y|^2 + |x-y|^2 = 2(|x|^2 + |y|^2)$.
💡 À retenir : Si l'identité du parallélogramme n'est pas vérifiée, la norme ne provient pas d'un produit scalaire.
Chno hiya l-farq bin base orthogonale o base orthonormée ?
F l-base orthogonale, les vecteurs sont orthogonaux (produit scalaire nul), mais leurs normes peuvent être différentes de 1. F l-base orthonormée, les vecteurs sont orthogonaux ET leurs normes sont toutes égales à 1.
💡 À retenir : Une base orthonormée facilite énormément les calculs de coordonnées.
Comment calculer la distance d'un point à un sous-espace ?
Si $F$ est un sous-espace de dimension finie, la distance de $x$ à $F$ est $d(x, F) = |x - p_F(x)|$, où $p_F(x)$ est la projection orthogonale de $x$ sur $F$.
💡 À retenir : $p_F(x)$ est le vecteur de $F$ le plus proche de $x$.
Wach l-produit scalaire kaytbedel ila bedelna l-base ?
Non, le produit scalaire est une structure intrinsèque à l'espace. Par contre, son expression analytique (la formule avec les coordonnées) change si on change de base.
💡 À retenir : Dans une base orthonormée, le produit scalaire a toujours la forme classique $\sum x_i y_i$.
Est-ce que l'orthogonal d'un sous-espace est toujours un sous-espace ?
Oui, pour tout sous-espace $F$, son orthogonal $F^\perp = {x \in E / \forall y \in F, \langle x, y \rangle = 0}$ est un sous-espace vectoriel de $E$.
💡 À retenir : En dimension finie, $E = F \oplus F^\perp$.
Pourquoi on dit "réel" dans espace préhilbertien réel ?
Parce que les scalaires appartiennent à $\mathbb{R}$. Si on travaillait avec des complexes, on parlerait d'espace hermitien avec une forme sesquilinéaire.
💡 À retenir : Le programme ECT se limite aux espaces réels.
Est-ce que langle x, y rangle^2 = |x|^2 |y|^2 implique x et y colinéaires ?
Oui, c'est le cas d'égalité dans l'inégalité de Cauchy-Schwarz. Si $|\langle x, y \rangle| = |x| |y|$, alors la famille $(x, y)$ est liée.
💡 À retenir : C'est un outil puissant pour démontrer la colinéarité.
Est-ce que deux vecteurs orthogonaux sont toujours linéairement indépendants ?
Oui, à condition qu'ils soient non nuls. Si $x \perp y$ et $x, y \neq 0$, alors $\alpha x + \beta y = 0 \implies \alpha = \beta = 0$.
💡 À retenir : L'orthogonalité implique l'indépendance linéaire pour des vecteurs non nuls.
Kifach n-biyen bli wahed l-famille hiya base orthonormée ?
Khassk t-biyen 3 dyal l-hwayj :
L-famille orthogonale (produit scalaire = 0).
L-norme dyal kol vecteur hiya 1.
L-3adad dyal les vecteurs = dimension dyal l-espace.
💡 À retenir : Si la famille est orthonormée, elle est automatiquement libre.
✍️ Exercices type examen national
Exercice 1
Soit $E = \mathbb{R}^3$ muni du produit scalaire usuel. Soit $F = \text{Vect}(u_1, u_2)$ avec $u_1 = (1, 1, 0)$ et $u_2 = (0, 1, 1)$.
Appliquer le procédé de Gram-Schmidt pour trouver une base orthonormée $(e_1, e_2)$ de $F$.
Déterminer la projection orthogonale du vecteur $v = (1, 2, 3)$ sur $F$.
Un espace préhilbertien réel est un espace vectoriel E muni d'une forme bilinéaire symétrique définie positive notée ⟨⋅,⋅⟩.
Norme associée : ∥x∥=⟨x,x⟩.
Cauchy-Schwarz : ∣⟨x,y⟩∣≤∥x∥⋅∥y∥.
Orthogonalité : x⊥y⟺⟨x,y⟩=0.
Théorème de Pythagore : x⊥y⟹∥x+y∥2=∥x∥2+∥y∥2.
Méthodes à maîtriser
Vérifier qu'une forme est un produit scalaire : Vérifier la symétrie, la linéarité par rapport à la première variable, et le caractère défini positif (positivité et non-nullité).
Orthonormalisation de Gram-Schmidt : Transformer une base (e1,…,en) en une base orthonormée (u1,…,un).
Calcul de projection orthogonale : Sur un sous-espace de dimension finie muni d'une base orthonormée (ui), p(x)=∑⟨x,ui⟩ui.
Exemples corrigés
Exemple : Dans R2 muni du produit scalaire usuel, soit v=(1,1). La norme est ∥v∥=12+12=2.
Exemple : Soit P,Q∈R[X], ⟨P,Q⟩=∫01P(t)Q(t)dt. C'est un produit scalaire classique sur les polynômes.
Erreurs fréquentes
Oublier la condition "définie positive" (notamment le fait que ⟨x,x⟩=0⟹x=0).
Confondre orthogonalité et indépendance linéaire (une famille orthogonale de vecteurs non nuls est toujours libre).
Appliquer Pythagore sans vérifier l'orthogonalité.
Soit E un espace préhilbertien. L'inégalité de Cauchy-Schwarz s'écrit :
⟨x,y⟩≤∥x∥∥y∥
∣⟨x,y⟩∣≤∥x∥∥y∥
⟨x,y⟩≥∥x∥∥y∥
∣⟨x,y⟩∣≤∥x∥+∥y∥
On prend une base (e1,…,en) et on construit (u1,…,un) par récurrence :
v1=e1, u1=v1/∥v1∥.
vk=ek−∑i=1k−1⟨ek,ui⟩ui.
uk=vk/∥vk∥.
💡 À retenir : L'étape clé est la soustraction de la projection sur les vecteurs déjà trouvés.
Non. Une famille orthogonale est libre si elle ne contient pas le vecteur nul, mais pour être une base, elle doit aussi être génératrice. Dans un espace de dimension n, une famille orthogonale de n vecteurs non nuls est une base.
💡 À retenir : Une famille orthogonale est une "base orthogonale" uniquement si son cardinal est égal à la dimension de l'espace.
Khassk t-vérifier 3 dyal l-hwayj :
Symétrie : ⟨x,y⟩=⟨y,x⟩.
Bilinéarité : ⟨αx+βy,z⟩=α⟨x,z⟩+β⟨y,z⟩.
Caractère défini positif : ⟨x,x⟩≥0 et ⟨x,x⟩=0⟺x=0.
💡 À retenir : La positivité est souvent vérifiée en calculant ⟨x,x⟩ et en montrant que c'est une somme de carrés.
Non, une norme est associée à un produit scalaire si et seulement si elle vérifie l'identité du parallélogramme : ∥x+y∥2+∥x−y∥2=2(∥x∥2+∥y∥2).
💡 À retenir : Si l'identité du parallélogramme n'est pas vérifiée, la norme ne provient pas d'un produit scalaire.
Si F est un sous-espace de dimension finie, la distance de x à F est d(x,F)=∥x−pF(x)∥, où pF(x) est la projection orthogonale de x sur F.
💡 À retenir : pF(x) est le vecteur de F le plus proche de x.
Non, le produit scalaire est une structure intrinsèque à l'espace. Par contre, son expression analytique (la formule avec les coordonnées) change si on change de base.
💡 À retenir : Dans une base orthonormée, le produit scalaire a toujours la forme classique ∑xiyi.
Oui, pour tout sous-espace F, son orthogonal F⊥={x∈E/∀y∈F,⟨x,y⟩=0} est un sous-espace vectoriel de E.
💡 À retenir : En dimension finie, E=F⊕F⊥.
Parce que les scalaires appartiennent à R. Si on travaillait avec des complexes, on parlerait d'espace hermitien avec une forme sesquilinéaire.
💡 À retenir : Le programme ECT se limite aux espaces réels.
Oui, c'est le cas d'égalité dans l'inégalité de Cauchy-Schwarz. Si ∣⟨x,y⟩∣=∥x∥∥y∥, alors la famille (x,y) est liée.
💡 À retenir : C'est un outil puissant pour démontrer la colinéarité.
Oui, à condition qu'ils soient non nuls. Si x⊥y et x,y=0, alors αx+βy=0⟹α=β=0.
💡 À retenir : L'orthogonalité implique l'indépendance linéaire pour des vecteurs non nuls.
Exercice 1
Soit E=R3 muni du produit scalaire usuel. Soit F=Vect(u1,u2) avec u1=(1,1,0) et u2=(0,1,1).
Appliquer le procédé de Gram-Schmidt pour trouver une base orthonormée (e1,e2) de F.
Déterminer la projection orthogonale du vecteur v=(1,2,3) sur F.
Exercice 2
Soit E=R[X] muni du produit scalaire ⟨P,Q⟩=∫01P(t)Q(t)dt.
Soit F=Vect(1,X).
Vérifier que (1,X) n'est pas une base orthogonale.
Construire une base orthonormée de F.
Exercice 3
Soit E un espace préhilbertien. Montrer que pour tout x,y∈E, ∥x+y∥2+∥x−y∥2=2(∥x∥2+∥y∥2).