Gram - Schmidt : deux exemples
Rappel
Commençons par faire un rappel du procédé de Gramm - Schmidt. On devrait peut être dire des procedés de Gramm -Schmidt, l'un étant un procedé d'orthogonalisation l'autre une procédé d'orthonormalisation. Aussi, prennons la convention de démarrer le procédé avec une famille linéairement indépendante de vecteurs. Ainsi, on peut énoncer :
Procédé de Gram - Schmidt.
Soit un espace vectoriel et une famille de vecteurs linéairement indépendants. On procède comme suit :
On pose et
On pose et (ici on peut noter que coïncide avec )
On pose et
La famille des vecteurs est une famille orthogonale. Pour le processus d'orthogonalisation on arrête ici.
Si on veut le procédé d'orthonormalisation on doit construire .
Remarque 1
Si on pose nous avons que :
Les vecteurs forment une base de ,
Les vecteurs forment une base orthogonale de ,
Les vecteurs forment une base orthonormale de .
Remarque 2
On peut démarrer le procédé avec une famille infinie de vecteurs. On obtient alors :
Les vecteurs forment un ensemble orthogonal de vecteurs (pas nécessairement une base, au sens algébrique du terme).
Les vecteurs forment un ensemble orthonormal de vecteurs (pas nécessairement une base, au sens algébrique du terme).
La subtilité sera éclaircie quand nous traiterons des espaces de Hilbert.
Remarque 3
La notion de projection se fait au moyen du produit scalaire. Or on a vu que dans un mème ensemble on peut définir différents produits scalaires. Les exemples qui suivent couvrent au moins deux contextes.
Exemple 1.
L'espace vectoriel est avec le produit scalaire usuel. On commence avec les vecteurs . On va extraire une base orthogonale, puis une base orthonormale pour l'espace engendré par ces vecteurs. Comme le produit scalaire est le produit usuel, nous allons utiliser les commandes déjà présentes dans SAGEmath pour définir l'opération de projection.
Exemple 2.
On reprend l'exemple vu en classe (les polynômes de Legendre). L'espace vectoriel est , c'est à dire les polynômes de degré au plus à coefficients réels. Le produit scalaire considéré cette fois est [ \langle p | q\rangle = \int_{-1}^1 p(t)\cdot q(t)\ {\rm d}t] On commence avec la famille de vecteurs (polynômes) Posons pour .
Cete fois on doit définir le produit scalaire à considérer. Une fois ceci fait, l'opération de projection suivra plutôt directement.
Les polynomes obtenus sont deux à deux orthogonaux. Normalisons-les maintenant.