$P$ et $\text{Mat}_{\mathcal B}$ commutent
Salut,
Soit $E$ un $\mathbf K$-espace vectoriel de dimension finie $n$, $\mathcal B=(e_1,\dots,e_n)$ une base de $E$ et $P=\sum_{k=0}^N \alpha_k X^k\in\mathbf K[X]$. J'essaie de montrer que $$P(\text{Mat}_{\mathcal B}(f))=\text{Mat}_{\mathcal B}(P(f))$$
Voilà comment je suis parti :
Si on note $\text{Mat}_{\mathcal B}(f)=(m_{i,j})$, cette dernière est définie par : $\forall j\in[\![1,n]\!], f(e_j)=\sum_{i=1}^n m_{i,j}e_i$. Par contre, je ne sais pas comment exprimer $P(\text{Mat}_{\mathcal B}(f))=\sum_{k=0}^N\alpha_k (\text{Mat}_{\mathcal B}(f))^k$ autrement.
D'autre part, si on note $\text{Mat}_{\mathcal B}(P(f))=(b_{i,j})$, cette dernière est définie par : $\forall j\in[\![1,n]\!], P(f)(e_j)=\sum_{i=1}^n b_{i,j}e_i$.
Comment m'en sortir ?
Soit $E$ un $\mathbf K$-espace vectoriel de dimension finie $n$, $\mathcal B=(e_1,\dots,e_n)$ une base de $E$ et $P=\sum_{k=0}^N \alpha_k X^k\in\mathbf K[X]$. J'essaie de montrer que $$P(\text{Mat}_{\mathcal B}(f))=\text{Mat}_{\mathcal B}(P(f))$$
Voilà comment je suis parti :
Si on note $\text{Mat}_{\mathcal B}(f)=(m_{i,j})$, cette dernière est définie par : $\forall j\in[\![1,n]\!], f(e_j)=\sum_{i=1}^n m_{i,j}e_i$. Par contre, je ne sais pas comment exprimer $P(\text{Mat}_{\mathcal B}(f))=\sum_{k=0}^N\alpha_k (\text{Mat}_{\mathcal B}(f))^k$ autrement.
D'autre part, si on note $\text{Mat}_{\mathcal B}(P(f))=(b_{i,j})$, cette dernière est définie par : $\forall j\in[\![1,n]\!], P(f)(e_j)=\sum_{i=1}^n b_{i,j}e_i$.
Comment m'en sortir ?
Réponses
-
Tu vas avoir beaucoup de mal en partant comme ça.
Peux-tu d'abord prouver que $\mathrm{Mat}_{\mathcal{B}}: \mathcal{L}(E)\to \mathcal{M}_n(\K)$ est un morphisme de $\K$-algèbres, i.e. c'est une application linéaire, qui conserve le produit ($f(ab)= f(a)f(b)$) et l'identité ($f(1)=1$, où ici $1$ est d'un côté $\mathrm{id}_E$, de l'autre $I_n$) ? -
C'est bon, c'est même un isomorphisme de $\mathbf K$-algèbres. Mais je ne vois pas quoi faire de ça.
-
Bon bah maintenant qu'on a ça tu peux voir la vraie raison pour laquelle ces choses-là commutent sans tous les détails des matrices qui te bloquent la vue.
Soit $A$ un anneau (disons commutatif unitaire si ça t'aide), $B,C$ deux $A$-algèbres unitaires (elles, pas nécessairement commutatives), $f:B\to C$ un morphisme de $A$-algèbres, et $P\in A[X]$ un polynôme.
Montrer que pour tout $b\in B$, $P(f(b))= f(P(b))$ -
Ah ok merci, je crois que c'est bon comme cela :
En notant $P=\sum_{k=0}^N\alpha_k X^k$, on a :
$P(f(b))=\sum_{k=0}^N\alpha_k f(b)^k$ par définition du morphisme d'évaluation
$=\sum_{k=0}^N\alpha_k f(b^k)$ car $f$ est un morphisme d'anneaux
$=f(\sum_{k=0}^N\alpha_k b^k)$ car $f$ est linéaire
$=f(P(b))$ par définition du morphisme d'évaluation -
Voilà, c'est ça. Tu t'embrouillais avec les matrices et la base de $E$ donc j'ai préféré t'enlever les trucs superflus qui bloquent un peu la vue
-
Vu qu'on parle d'algèbres, j'en profite car j'ai une question : lorsqu'on évoque la dimension d'une algèbre, c'est sous-entendu la dimension de cette algèbre vue comme un espace vectoriel (ce qu'elle est en particulier) ?
-
Oui c'est bien ça; en tout cas quand je le rencontre c'est toujours ça
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 63 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 313 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres