En raison de limitations techniques, la typographie souhaitable du titre, « Espace euclidien : Produit scalaire Espace euclidien/Produit scalaire », n'a pu être restituée correctement ci-dessus.
Nous allons commencer par introduire quelques notions qui généralisent la notion de produit scalaire dans le plan ou dans l'espace vue aux niveaux 11 et 12.
Une application définie sur est appelée un produit scalaire sur si c’est une forme bilinéaire symétrique définie positive sur E :
forme : ;
symétrique : ;
bilinéaire : linéaire par rapport à ses deux variables, ce qui équivaut, compte tenu de la symétrie, à la linéarité par rapport à la seconde variable
;
définie positive : .
Espace euclidien
On appelle espace euclidien un -espace vectoriel de dimension finie muni d'un produit scalaire.
Remarque de niveau 15 : En d'autres termes, un espace préhilbertien réel E est dit euclidien lorsqu’il est de dimension finie.
Norme euclidienne
On appelle norme induite par le produit scalaire l’application .
Plus généralement, on dit qu’une norme est euclidienne si elle est induite par un produit scalaire.
Remarque de niveau 15 : En dimension finie, la norme préhilbertienne devient la norme euclidienne.
Inégalité de Cauchy-Schwarz
Dans un espace euclidien, on a l'inégalité de Cauchy-Schwarz :
.
On a égalité (si et) seulement si et sont colinéaires.
Démonstration
La parenthèse « (si et) » est facile à vérifier, et dans le cas , l'énoncé tout entier est immédiat.
Supposons maintenant donc et posons
).
En développant (par définition de la norme et par bilinéarité et symétrie du produit scalaire), on obtient :
Puisque , on a donc , ou encore : .
Enfin,
.
Début de l'exemple
Exemple : produit scalaire et norme dans Rⁿ
muni du produit scalaire usuel .
La norme associée est la norme euclidienne :
L'inégalité de Cauchy-Schwarz s'écrit :
Fin de l'exemple
Remarque de niveau 15 : l'inégalité de Cauchy-Schwarz est en fait valide (avec la même démonstration) dans tout espace préhibertien, de dimension non nécessairement finie.