Démontrer qu’une application est un produit scalaire

Comment démontrer qu’une application est un produit scalaire ? La méthode dans cet article !
Produit scalaire

Dans cet article, nous allons vous montrer la méthode pour pouvoir démontrer de manière générale qu’une application est un produit scalaire.

Pour appuyer la méthodologie, nous allons montrer que l’application définie sur les polynômes à coefficients réels par \langle P, Q \rangle = \displaystyle \sum_{k=0}^{+\infty} a_kb_k où P et Q s’écrivent sous la forme P = \displaystyle \sum_{k=0}^{+\infty} a_kX^k et Q = \displaystyle \sum_{k=0}^{+\infty} b_kX^k .

Notons que cette somme est finie car le degré d’un polynôme est fini.

Montrer que l’application est une forme

Pour rappel, voici la définition d’une forme. Soit \mathbb{K} un corps. Soit E un \mathbb{K}-espace vectoriel. Une forme est une application linéaire f : E \to \mathbb{K}. Dans le cas d’un produit scalaire, on a \mathbb{K} = \mathbb{R}.

Si on revient à notre exemple, il est évident que c’est une forme car notre image est une somme finie de produits de réels, donc un réel.

Montrer que l’application est symétrique

Pour que l’application soit symétrique pour un produit scalaire quelconque sur un espace vectoriel E, il faut et il suffit que \forall u,v \in E , \langle u,v \rangle = \langle v, u \rangle .

Concernant notre exemple, cela fonctionne bien :

\forall P,Q \in \mathbb{R}[X], \langle P,Q \rangle = \sum_{k=0}^{+\infty} a_kb_k = \sum_{k=0}^{+\infty} b_ka_k= \langle Q,P\rangle

Ce qui suffit à montrer que l’application est symétrique

Montrer que l’application est bilinéaire

Ensuite, pour démontrer que l’application est bilinéaire, 2 opérations :

  • On montre qu’elle est linéaire à gauche : \forall u,u', v \in E, \forall \lambda \in \mathbb{R} , \langle u + \lambda u', v \rangle = \langle u , v \rangle+\lambda \langle u', v \rangle
  • Puis on montre qu’elle est linéaire à droite : \forall u, v, v' \in E, \forall \lambda \in \mathbb{R} , \langle u ', v + \lambda v' \rangle = \langle u , v \rangle+\lambda \langle u, v' \rangle

En pratique, si l’application est linéaire à gauche et symétrique, alors elle est linéaire à droite. Donc on va d’abord montrer que l’application est symétrique et on montrera seulement qu’elle est linéaire à gauche.

Revenons à notre exemple, soient \displaystyle P_1 = \sum_{k=0}^{+\infty} a_k, P_2 = \sum_{k=0}^{+\infty} a_k', Q = \sum_{k=0}^{+\infty} b_k \in \mathbb{R}[X], \lambda \in \mathbb{R}, on a :

\begin{array}{ll}
\langle P_1 + \lambda P_2 , Q \rangle & = \displaystyle \sum_{k=0}^{+\infty} (a_k + \lambda a_k' ) b_k \\
 & = \displaystyle \sum_{k=0}^{+\infty} a_kb_k + \lambda a_k'  b_k \\
 & = \displaystyle \sum_{k=0}^{+\infty} a_kb_k + \lambda  \sum_{k=0}^{+\infty} a_k'  b_k\\ 
 & = \displaystyle \langle P_1,Q \rangle + \lambda \langle P_2, Q \rangle
\end{array}

Ce qui suffit pour conclure que l’application est bilinéaire.

Montrer que l’application est positive

Cela signifie que \forall u \in E, \langle u, u \rangle \geq 0 .

Dans le cas de notre application, c’est tout simple :

\forall P \in \mathbb{R}[X], \langle P,P\rangle = \sum_{k=0}^{+\infty} a_k^2 \geq 0 

Montrer que l’application est définie

Attention, définie n’est pas au sens usuel. Ici, cela signifie \forall u \in E, \langle u, u \rangle = 0 \Rightarrow u = 0 .

Une fois que l’on a fait toutes ces étapes, on peut conclure que l’on a bien un produit scalaire.

Dans le cas de notre exemple, \displaystyle \forall P \in \mathbb{R}[X], \langle P,P\rangle = \sum_{k=0}^{+\infty} a_k^2 = 0 \iff \forall k \in \mathbb{N}, a_k^2 = 0 \iff \forall k \in \mathbb{N}, a_k = 0 \iff P = 0. On conclut donc que notre exemple est bien un produit scalaire.

Total
0
Shares

Laisser un commentaire

Articles similaires