« Espace préhilbertien réel/Produit scalaire » : différence entre les versions

Contenu supprimé Contenu ajouté
m →‎Propriétés : lien wp remplacé par CfExo
m Annulation des modifications 675372 de Crochet.david.bot (discussion)+màj
Ligne 6 :
| page_liée = Exercices/Polynômes de Legendre
| page_liée2 = Exercices/Polynômes de Laguerre
| page_liée3=Exercices/Exercices sur le produitProduit scalaire
| niveau = 15
}}
 
== Produit scalaire ==
=== Définitions ===
{{Définition
Ligne 22 :
 
{{principe|titre=Convention de notation|contenu=On notera ce produit scalaire <math>\langle\cdot|\cdot\rangle</math> (au lieu de <math>f(\cdot,\cdot)</math>.}}
=== Rappel ===
(Cf. chapitre précédent.)
 
Ligne 31 :
On a égalité si et seulement si <math>(x,y)</math> est liée.}}
 
== Norme, distance ==
=== Définitions ===
{{Définition
Ligne 49 :
\end{array}</math>}}
 
=== Propriétés ===
{{théorème
| contenu=
Ligne 68 :
| exercice =[[Espaces vectoriels normés/Exercices/Normes#Exercice 1-4 : norme et produit scalaire]]}}
 
== Exemples fondamentaux ==
Outre l'exemple du produit scalaire canonique sur <math>\R^n</math>, décrit dans la leçon sur les espaces euclidiens qui figure en prérequis, on peut mentionner celui sur <math>\operatorname M_{m,n}(\R)</math> qui n'en est qu'un cas particulier déguisé (cf. [[Trace et transposée de matrice/Espace euclidien sur un ensemble de matrices]]), mais aussi des exemples sur des espaces de dimension infinie :