Soit $E$ et $F$ deux espaces vectoriels sur $\K$ de dimensions respectives $n$ et $p$. Soit $\mathcal{B}_{E}=\left(\vv{e_1},\dots,\vv{e_n}\right)$ une base de $E$. Soit $\mathcal{B}_{F}=\left(\vv{f_1},\dots,\vv{f_p}\right)$ une base de $F$.
Définition
On appelle matrice de l'application linéaire $u\in\mathcal{L}(E,F)$ dans les bases $\mathcal{B}_{E}$ et $\mathcal{B}_{F}$ la matrice, notée $\mathrm{Mat}_{\mathcal{B}_{F},\mathcal{B}_{E}}(u)\in\mathcal{M}_{p,n}(\K)$, dont les colonnes sont les coordonnées dans $\mathcal{B}_{F}$ des images par $u$ des vecteurs de la base $\mathcal{B}_{E}$. Autrement dit, en posant : $$\ds \forall j\in\llbracket1,n\rrbracket,\; u(\vv{e_j})=\sum_{i=1}^{p}{\alpha_{i,j}\vv{f_i}}$$ alors : $$\mathrm{Mat}_{\mathcal{B}_{F},\mathcal{B}_{E}}(u)=(\alpha_{i,j})_{\substack{1\leqslant i\leqslant p \\ 1\leqslant j\leqslant n}}$$ Dans le cas où $F=E$ (c'est à dire que $u\in\mathcal{L}(E)$) et $\mathcal{B}_{F}=\mathcal{B}_{E}$, on note plus simplement la matrice $\mathrm{Mat}_{\mathcal{B}_{E}}(u)$.
Exemples
Théorème : Autre interprétation de la matrice de passage
On a : $$P_{\mathcal{B},\mathcal{B}'}=\mathrm{Mat}_{\mathcal{B},\mathcal{B}'}(\mathrm{Id}_{E})$$
Théorème : Lien entre les opérations sur les matrices et celles sur les applications linéaires
Remarque
En fait, la définition des opérations sur les matrices découlent de ces règles « naturelles » de calcul.
Exemple
Déterminer $a\in\R$ tel que $M=\begin{pmatrix}a & a\\ a & a \end{pmatrix}$ est la matrice d'une application linéaire de $u$ de $\R^{2}$ admettant $X^{2}-X$ pour polynôme annulateur.
Théorème
Soit $u\in\mathcal{L}(E,F)$ et $A=\mathrm{Mat}_{\mathcal{B}_{F},\mathcal{B}_{E}}(u)$. Soit $X$ la matrice colonne des coordonnées d'un vecteur $\vv{x}\in E$ dans la base $\mathcal{B}_{E}$. Alors $AX$ est la matrice colonne des coordonnées de $u(\vv{x})$ dans la base $\mathcal{B}_{F}$.
Définition
Soit $A\in\mathcal{M}_{n,p}(\K)$. Par analogie avec l'application linéaire $u\colon\R^{p}\to\R^{n}$ représentée par $A$ dans les bases canoniques de $\R^{p}$ et $\R^{n}$, on a :
$$\mathrm{Ker}(A)=\left\{X\in\mathcal{M}_{p,1}(\K)\mid AX=0\right\}$$$$\mathrm{Im}(A)=\left\{ Y\in\mathcal{M}_{n,1}(\K)\mid\exists X\in\mathcal{M}_{p,1}(\K)\;/\; AX=Y\right\}$$
Exemple
Soit $A\in\mathcal{M}_{n,p}(\R)$. Montrer que $\mathrm{Ker}(A)=\mathrm{Ker}({}^t\!AA)$.