Les Espaces euclidiens modélisent rigoureusement la géométrie métrique au sein des espaces vectoriels de dimension finie. Cette structure repose sur l’existence d’une forme bilinéaire symétrique définie positive appelée produit scalaire.
Définition formelle des Espaces euclidiens
Soit $E$ un espace vectoriel de dimension finie $n$ sur le corps des réels $\mathbb{R}$. Un produit scalaire sur $E$ est une application $\phi : E \times E \to \mathbb{R}$ satisfaisant quatre propriétés fondamentales.
L’application doit être bilinéaire, symétrique, positive et définie. Un espace vectoriel muni d’une telle forme est qualifié d’espace euclidien.
Axiomes du produit scalaire
Pour tout triplet de vecteurs $(x, y, z) \in E^3$ et tout scalaire $\lambda \in \mathbb{R}$, les conditions suivantes s’appliquent :
- Symétrie : $\langle x, y \rangle = \langle y, x \rangle$
- Bilinéarité : $\langle \lambda x + y, z \rangle = \lambda \langle x, z \rangle + \langle y, z \rangle$
- Positivité : $\forall x \in E, \langle x, x \rangle \ge 0$
- Caractère défini : $\langle x, x \rangle = 0 \iff x = 0_E$
Théorèmes et Propriétés fondamentales
L’existence d’un produit scalaire induit une norme euclidienne sur l’espace. Cette norme permet de quantifier les distances et les angles entre vecteurs.
Inégalité de Cauchy-Schwarz
Le théorème de Cauchy-Schwarz constitue l’un des piliers des **Espaces euclidiens**. Il lie le produit scalaire aux normes des vecteurs.
$$ |\langle x, y \rangle| \le \|x\| \cdot \|y\| $$Preuve : Soient $x$ et $y$ deux vecteurs de $E$. Pour tout réel $t \in \mathbb{R}$, considérons la fonction polynomiale suivante :
$$ P(t) = \|x + ty\|^2 = \langle x+ty, x+ty \rangle $$En utilisant la bilinéarité et la symétrie, développons l’expression scalaire :
$$ P(t) = \langle x, x \rangle + 2t\langle x, y \rangle + t^2\langle y, y \rangle = \|x\|^2 + 2t\langle x, y \rangle + t^2\|y\|^2 $$Par axiome de positivité, $P(t) \ge 0$ pour tout $t$. Ce polynôme du second degré ne change jamais de signe. Par conséquent, son discriminant $\Delta$ est nécessairement négatif ou nul.
$$ \Delta = (2\langle x, y \rangle)^2 – 4\|y\|^2 \|x\|^2 \le 0 $$ $$ 4\langle x, y \rangle^2 \le 4\|x\|^2 \|y\|^2 $$En extrayant la racine carrée, nous obtenons l’inégalité de Cauchy-Schwarz. $\blacksquare$
Inégalité triangulaire
La norme euclidienne satisfait l’inégalité triangulaire pour tout couple de vecteurs. Cela garantit la cohérence métrique de l’espace.
$$ \|x + y\| \le \|x\| + \|y\| $$Théorème de la Base Orthonormée
Dans tout espace euclidien, il existe des bases facilitant les calculs algébriques. Ces bases sont dites orthonormées.
Une famille $(e_1, \dots, e_n)$ est une base orthonormée si ses éléments sont deux à deux orthogonaux et de norme unitaire.
$$ \langle e_i, e_j \rangle = \delta_{ij} = \begin{cases} 1 & \text{si } i = j \\ 0 & \text{si } i \neq j \end{cases} $$Le procédé de Gram-Schmidt permet de construire une telle base à partir d’une base quelconque. Ce théorème assure la stabilité structurelle des espaces euclidiens.
Exemples et Contre-exemples
L’application des axiomes dépend du choix de la forme bilinéaire et de la dimension de l’espace. Les exemples suivants illustrent cette diversité.
Exemple canonique : L’espace $\mathbb{R}^n$
L’espace vectoriel $\mathbb{R}^n$ muni du produit scalaire usuel est l’exemple fondamental. On le définit par la somme des produits des coordonnées.
$$ \langle x, y \rangle = \sum_{i=1}^n x_i y_i $$Cette application vérifie trivialement tous les axiomes de Weyl. L’espace $\mathbb{R}^n$ ainsi muni est un espace euclidien de dimension $n$.
Contre-exemple : Espace préhilbertien de dimension infinie
Considérons l’espace $C^0([0, 1], \mathbb{R})$ des fonctions continues muni du produit scalaire intégral. Bien qu’il possède un produit scalaire, il n’est pas euclidien.
$$ \langle f, g \rangle = \int_0^1 f(t)g(t) \, dt $$La dimension de cet espace est infinie. Par définition, les espaces euclidiens exigent une dimension finie. Cet espace est qualifié de préhilbertien réel.
Contre-exemple : Forme de Lorentz
Sur $\mathbb{R}^4$, la forme bilinéaire $\phi(x, y) = x_1 y_1 + x_2 y_2 + x_3 y_3 – x_4 y_4$ définit la métrique de Minkowski. Elle n’est pas définie positive.
En effet, il existe des vecteurs non nuls de norme nulle ou négative. Cette structure n’est donc pas un espace euclidien, mais un espace pseudo-euclidien.