Produit scalaire canonique

Un produit scalaire canonique est un produit scalaire qui se présente de manière naturelle d'après la manière dont l'espace vectoriel est présenté. On parle également de produit scalaire naturel ou usuel.

On appelle produit scalaire canonique de ${\displaystyle \mathbb {R} ^{n}}$ l'application qui, aux vecteurs ${\displaystyle x=(x_{1},x_{2},\dots ,x_{n})}$ et ${\displaystyle y=(y_{1},y_{2},\dots ,y_{n})}$ de ${\displaystyle \mathbb {R} ^{n}}$ associe la quantité notée par exemple ${\displaystyle x\cdot y}$ ou ${\displaystyle (x\mid y)}$, définie par :

${\displaystyle (x\mid y)=x\cdot y=\sum _{i=1}^{n}x_{i}\,y_{i}}$.

Sur ${\displaystyle \mathbb {C} ^{n}}$, on considère le produit scalaire hermitien canonique donné par la formule :

${\displaystyle (x\mid y)=\sum _{i=1}^{n}{\bar {x_{i}}}y_{i}}$.

Dans certains espaces de fonctions (fonctions continues sur un segment ou fonctions de carré sommable, par exemple), le produit scalaire canonique est donné par la formule :

${\displaystyle (f\mid g)=\int {\bar {f}}g}$,

où ${\textstyle \int }$ représente une intégration convenable (intégrale de Riemann, de Lebesgue, ...) sur le domaine de définition du produit des deux fonctions.

Dans l'espace des matrices de taille ${\displaystyle m\times n}$ à coefficients réels, le produit scalaire usuel est

${\displaystyle (M\mid N)=\mathrm {Tr} (M{}^{T}N)=\sum _{i=1}^{m}\sum _{j=1}^{n}M_{i,j}\,N_{i,j}}$

où ${\displaystyle \mathrm {Tr} }$ désigne la trace.

• Base canonique
• Base orthonormée

• Portail de l’algèbre