[<] L'espace des matrices carrées
Soient , et .
Montrer que la famille est une base de .
Solution
Supposons . Par égalité de coefficients de polynômes:
Après résolution .
La famille est une famille libre formée de polynômes de , c’est donc une base de .
Pour et , on pose .
Montrer que la famille est une base de .
Exprimer dans la base précédente.
Solution
Commençons par souligner que les polynômes sont tous de degré : ils appartiennent bien à l’espace . De plus, ceux-ci sont au nombre de avec égal à la dimension de . Il suffit donc d’établir que la famille est libre pour conclure que c’est une base de .
Supposons avec réels, c’est-à-dire
(1) |
En évaluant en cette identité polynomiale, on obtient immédiatement . La relation (1) peut alors être simplifiée par ce qui donne
On évalue à nouveau11 1 On peut être surpris d’une simplification par suivie d’une évaluation en . Cela n’a rien de singulier car on manipule ici des polynômes et non des fonctions d’une variable réelle. Si un produit désigne le polynôme nul avec un polynôme, on a nécessairement et donc : c’est la démarche qui est suivie ici. en pour obtenir et encore simplifier par , etc. Ainsi, on obtient successivement pour tout indice allant de jusqu’à : on peut conclure que la famille est libre, c’est donc une base de .
Pour , on écrit
Soient et pour .
Montrer que est une base de .
Soit définie sur par . Vérifier que est un endomorphisme de .
Donner la matrice de dans .
Soit . Montrer qu’il existe un unique polynôme tel que et .
On suppose et . Exprimer dans , déterminer tel que et en déduire une expression de pour .
Solution
On a pour tout donc est une base de (famille de polynômes de degrés étagés dans .)
L’application est bien définie de vers .
Pour et ,
L’application est un endomorphisme de .
On remarque et pour donc
La famille est une base de . On peut donc écrire
avec convenable. Pour
on a et .
Si est un autre polynôme convenable, on a donc . Le polynôme est alors constant. Or il s’annule en , c’est donc le polynôme nul.
On a donc
Pour , on obtient par télescopage
Pour , on pose .
Montrer que la famille est une base de .
Solution
On remarque que donc .
Supposons .
Si alors car et
Ceci est exclu, donc .
Sachant , le même raisonnement donne et ainsi de suite .
La famille est une famille libre de éléments de , c’est donc une base de .
(Polynômes de Newton)
Soit . On pose
Soit . Montrer que la famille est une base de .
Vérifier que est un nombre entier pour tout et tout .
Trouver tous les polynômes prenant des valeurs entières sur chaque entier.
On dit qu’une famille de polynômes non nuls de est une famille de polynômes de degrés échelonnés lorsque
Montrer qu’une telle famille est libre.
À quelle condition celle-ci constitue-t-elle une base de ?
Soient et un polynôme non nul.
Montrer que est un sous-espace vectoriel de et en déterminer la dimension et un supplémentaire.
Solution
, car .
Soient et .
et donc puis .
Ainsi, est un sous-espace vectoriel de .
Notons . On a
ce qui détermine un supplémentaire de et donne .
Montrer que la famille pour constitue une base de .
Redémontrer la formule donnant l’expression du déterminant de Vandermonde
Solution
La matrice de la famille étudiée dans la base canonique de a pour coefficient général
En factorisant par ligne le déterminant de cette matrice est
avec déterminant de Vandermonde.
cf. cours.
Soit . On considère, pour tout , et .
On note la base canonique de et la base canonique de .
On note la matrice de dans et . Afficher pour compris entre et .
Que peut-on conjecturer sur l’inversibilité de ? Que peut-on conjecturer sur pour tout entier (degré, dépendance à )?
Montrer que la famille de formes linéaires est libre.
Soit une famille libre de formes linéaires sur . Montrer qu’il existe une base de telle que
Expliciter cette base lorsque puis lorsque .
Dans le cas de la famille libre , montrer que la base obtenue est la famille .
Solution
Après avoir défini la fonction factorielle, on remplit un tableau dont les coefficients correspondent à ceux de la matrice étudiée.
import numpy as np import numpy.linalg as alg def fact(n): if n == 0: return 1 return n * fact(n-1) for n in range(1, 6): A = np.zeros((n, n)) for k in range(n): for j in range(k, n): A[k, j] = fact(j)/fact(j-k)/fact(k) * k**(j-k) print(A)
La matrice apparaît triangulaire supérieure à coefficients diagonaux non nuls: elle est inversible. On peut calculer son inverse en remplaçant print(A) par print(alg.inv(A)) dans le code précédent. On observe que apparaît comme un polynôme de degré qui ne dépend pas de .
Soient . Supposons .
On évalue la relation en et l’on obtient . On évalue ensuite la relation en et l’on obtient . Successivement, on acquiert en évaluant la relation en pour . La famille est libre.
Considérons la matrice de l’application linéaire définie par dans les bases et :
Vérifions que cette matrice est inversible. Soit . Supposons en notant les lignes de . Pour tout avec , on a et donc . Cela implique car la famille est supposée libre. Ainsi, les lignes de sont linéairement indépendantes: cette matrice est inversible. On peut alors introduire son inverse . Considérons alors la famille dont la matrice des coordonnées dans est . Celle-ci est une base de car est inversible.
Pour tout , en notant la colonne des coordonnées de dans la base , la matrice donne la colonne des coefficients et la matrice donne la colonne des coordonnées dans du polynôme . Puisque , on obtient
On sait
On en déduit lorsque .
Considérons les polynômes interpolateurs de Lagrange en . On sait
On en déduit lorsque .
La matrice de la famille dans est .
[<] L'espace des matrices carrées
Édité le 22-03-2025
Bootstrap 3
-
LaTeXML
-
Powered by MathJax