Aller au contenu principal

Matrices

Introduction et généralités​

Définition. Une matrice sur K\mathbb{K} à nn lignes et mm colonnes est un tableau d'éléments de K\mathbb{K} :

(a11a12…a1ma21a22…a2m⋮⋮⋮⋮an1an2…anm)=(aij)\begin{pmatrix} a_{11} & a_{12} & \dots & a_{1m} \\ a_{21} & a_{22} & \dots & a_{2m} \\ \vdots & \vdots & \vdots & \vdots \\ a_{n1} & a_{n2} & \dots & a_{nm} \end{pmatrix} = (a_{ij})

(ii = n° de la ligne, jj = n° de la colonne). On note Mn,m(K)\mathcal{M}_{n,m}(\mathbb{K}) l'ensemble de ces matrices. Si n=mn = m, on le note simplement Mn(K)\mathcal{M}_n(\mathbb{K}).

Définition (opérations sur les matrices).

  • Addition dans Mn,m(K)\mathcal{M}_{n,m}(\mathbb{K}) : (aij)+(bij)=(aij+bij)(a_{ij}) + (b_{ij}) = (a_{ij} + b_{ij}). Exemple (n=m=2n = m = 2) :

    (abcd)+(a′b′c′d′)=(a+a′b+b′c+c′d+d′)\begin{pmatrix} a & b \\ c & d \end{pmatrix} + \begin{pmatrix} a' & b' \\ c' & d' \end{pmatrix} = \begin{pmatrix} a + a' & b + b' \\ c + c' & d + d' \end{pmatrix}
  • Multiplication par un scalaire : λ(aij)=(λaij)\lambda(a_{ij}) = (\lambda a_{ij}). Exemple (n=m=2n = m = 2) : λ(abcd)=(λaλbλcλd)\lambda\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} \lambda a & \lambda b \\ \lambda c & \lambda d \end{pmatrix}.

  • Produit d'une matrice de Mn,m(K)\mathcal{M}_{n,m}(\mathbb{K}) et d'une matrice de Mm,l(K)\mathcal{M}_{m,l}(\mathbb{K}) :

    (abcd)⋅(efghij)=(ae+bhaf+biag+bjce+dhcf+dicg+dj)\begin{pmatrix} a & b \\ c & d \end{pmatrix} \cdot \begin{pmatrix} e & f & g \\ h & i & j \end{pmatrix} = \begin{pmatrix} ae + bh & af + bi & ag + bj \\ ce + dh & cf + di & cg + dj \end{pmatrix}

    Le produit se fait en multipliant terme à terme chaque ligne de AA par chaque colonne de BB. En général, on a AB≠BAAB \neq BA, et AB=0AB = 0 est possible avec A≠0A \neq 0, B≠0B \neq 0.

Proposition.

  1. (Mn,m(K),+,×)(\mathcal{M}_{n,m}(\mathbb{K}), +, \times) est un K\mathbb{K}-ev de dimension nmnm. Une base est (Eij)(E_{ij}), où EijE_{ij} est la matrice ayant 11 à l'intersection de la ligne ii et de la colonne jj, et des 00 partout ailleurs. (Eij)(E_{ij}) est appelée la base canonique de Mn,m(K)\mathcal{M}_{n,m}(\mathbb{K}).
  2. Mn(K)=Mn,n(K)\mathcal{M}_n(\mathbb{K}) = \mathcal{M}_{n,n}(\mathbb{K}) muni de +,⋅,×+, \cdot, \times est une K\mathbb{K}-algèbre, unitaire (l'élément neutre pour ×\times est In=(10⋱01)I_n = \begin{pmatrix} 1 & & 0 \\ & \ddots & \\ 0 & & 1 \end{pmatrix} : 11 sur la diagonale, 00 partout ailleurs ; on l'appelle la matrice unité), non commutative (AB≠BAAB \neq BA en général), non intègre (A≠0A \neq 0 et B≠0B \neq 0 n'impliquant pas AB≠0AB \neq 0).

Démonstration.

  1. On va justifier que (Eij)(E_{ij}) est une base pour le cas où n=m=2n = m = 2 (le cas général n'est pas plus difficile). (Le fait que Mn,m(K)\mathcal{M}_{n,m}(\mathbb{K}) est un K\mathbb{K}-ev est assuré par le trot de l'âne…) Pour n=m=2n = m = 2 : M2(K)={(abcd):a,b,c,d∈K}\mathcal{M}_2(\mathbb{K}) = \left\{\begin{pmatrix} a & b \\ c & d \end{pmatrix} : a, b, c, d \in \mathbb{K}\right\}. Or

    (abcd)=a(1000)+b(0100)+c(0010)+d(0001)\begin{pmatrix} a & b \\ c & d \end{pmatrix} = a\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} + b\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} + c\begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix} + d\begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}

    donc (E11,E12,E21,E22)(E_{11}, E_{12}, E_{21}, E_{22}) est génératrice de M2(K)\mathcal{M}_2(\mathbb{K}). Et elle est libre car :

    aE11+bE12+cE21+dE22=0=(0000)⇔(abcd)=(0000)⇔{a=0b=0c=0d=0aE_{11} + bE_{12} + cE_{21} + dE_{22} = 0 = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix} \Leftrightarrow \begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix} \Leftrightarrow \begin{cases} a = 0 \\ b = 0 \\ c = 0 \\ d = 0 \end{cases}

    Donc c'est une base pour n,mn, m quelconques. Donc dim⁡Mn,m(K)=n×m\dim\mathcal{M}_{n,m}(\mathbb{K}) = n \times m.

  2. Âne qui trotte, et exemple déjà vu pour AB≠BAAB \neq BA, AB=0AB = 0 avec A≠0A \neq 0, B≠0B \neq 0.

Définition. On dit qu'une matrice A∈Mn(K)A \in \mathcal{M}_n(\mathbb{K}) est carrée (même nombre de lignes et de colonnes) ; (abcd)\begin{pmatrix} a & b \\ c & d \end{pmatrix} est une matrice carrée.

Définition et proposition. Une matrice A∈Mn(K)A \in \mathcal{M}_n(\mathbb{K}) est dite inversible s'il existe une matrice B∈Mn(K)B \in \mathcal{M}_n(\mathbb{K}) telle que AB=BA=InAB = BA = I_n. Cette matrice BB est alors unique (et il suffit d'avoir AB=InAB = I_n ou BA=InBA = I_n pour qu'on ait AB=BA=InAB = BA = I_n). On la note B=A−1B = A^{-1}.

Preuve (unicité). Si AB=BA=InAB = BA = I_n et AB′=B′A=InAB' = B'A = I_n, alors BAB′=(BA)B′=InB′=B′BAB' = (BA)B' = I_n B' = B' et BAB′=B(AB′)=BIn=BBAB' = B(AB') = BI_n = B. Ainsi B′=BB' = B.

Définition. L'ensemble des matrices inversibles de Mn(K)\mathcal{M}_n(\mathbb{K}) est un groupe (pour la multiplication des matrices), qu'on note GLn(K)\mathcal{GL}_n(\mathbb{K}) (car il s'identifie au groupe linéaire GLn(K)\mathcal{GL}_n(\mathbb{K}) formé des automorphismes de Kn\mathbb{K}^n ; on va voir cela…).

Définition (matrice d'une application linéaire). Soient EE un K\mathbb{K}-ev de dimension mm, FF un K\mathbb{K}-ev de dimension nn, BE=(e1,…,em)B_E = (e_1, \dots, e_m) une base de EE, BF=(f1,…,fn)B_F = (f_1, \dots, f_n) une base de FF, ϕ∈L(E,F)\phi \in \mathcal{L}(E, F). Écrivons ϕ(ej)=∑i=1naijfi\phi(e_j) = \displaystyle\sum_{i=1}^{n} a_{ij} f_i. On appelle matrice de ϕ\phi par rapport aux bases BE,BFB_E, B_F la matrice

A=(aij)=(a11a12…a1ma21a22…a2m⋮⋮⋱⋮an1an2…anm)A = (a_{ij}) = \begin{pmatrix} a_{11} & a_{12} & \dots & a_{1m} \\ a_{21} & a_{22} & \dots & a_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n1} & a_{n2} & \dots & a_{nm} \end{pmatrix}

Nota bene. La jj-ème colonne de MatBE,BF(ϕ)\text{Mat}_{B_E, B_F}(\phi) donne (de haut en bas) les coordonnées de ϕ(ej)\phi(e_j) dans la base BFB_F.

Proposition. Sous les hypothèses et notations de la définition, si on note X=(x1⋮xm)X = \begin{pmatrix} x_1 \\ \vdots \\ x_m \end{pmatrix} la colonne des coordonnées d'un vecteur xx de EE dans la base BEB_E (x=∑j=1mxjejx = \displaystyle\sum_{j=1}^{m} x_j e_j) et Y=(y1⋮yn)Y = \begin{pmatrix} y_1 \\ \vdots \\ y_n \end{pmatrix} la colonne des coordonnées d'un vecteur yy de FF dans la base BFB_F (y=∑i=1nyifiy = \displaystyle\sum_{i=1}^{n} y_i f_i), alors :

y=ϕ(x)⇔Y=AXouˋ A=MatBE,BF(ϕ)y = \phi(x) \Leftrightarrow Y = AX \quad \text{où } A = \text{Mat}_{B_E, B_F}(\phi)

Démonstration. y=∑i=1nyifiy = \displaystyle\sum_{i=1}^{n} y_i f_i et x=∑j=1mxjej⇒ϕ(x)=∑j=1mxjϕ(ej)=∑j=1mxj∑i=1naijfi=∑i=1n(∑j=1maijxj)fix = \displaystyle\sum_{j=1}^{m} x_j e_j \Rightarrow \phi(x) = \sum_{j=1}^{m} x_j\phi(e_j) = \sum_{j=1}^{m} x_j\sum_{i=1}^{n} a_{ij} f_i = \sum_{i=1}^{n}\left(\sum_{j=1}^{m} a_{ij} x_j\right) f_i. Donc y=ϕ(x)⇔∀i∈{1,…,n}y = \phi(x) \Leftrightarrow \forall i \in \{1, \dots, n\}, yi=∑j=1maijxjy_i = \displaystyle\sum_{j=1}^{m} a_{ij} x_j

⇔(y1⋮yn)=(a11a12…a1ma21a22…a2m⋮⋮⋱⋮an1an2…anm)(x1⋮xm)=(a11x1+a12x2+⋯+a1mxma21x1+a22x2+⋯+a2mxm⋮an1x1+an2x2+⋯+anmxm)\Leftrightarrow \begin{pmatrix} y_1 \\ \vdots \\ y_n \end{pmatrix} = \begin{pmatrix} a_{11} & a_{12} & \dots & a_{1m} \\ a_{21} & a_{22} & \dots & a_{2m} \\ \vdots & \vdots & \ddots & \vdots \\ a_{n1} & a_{n2} & \dots & a_{nm} \end{pmatrix} \begin{pmatrix} x_1 \\ \vdots \\ x_m \end{pmatrix} = \begin{pmatrix} a_{11}x_1 + a_{12}x_2 + \dots + a_{1m}x_m \\ a_{21}x_1 + a_{22}x_2 + \dots + a_{2m}x_m \\ \vdots \\ a_{n1}x_1 + a_{n2}x_2 + \dots + a_{nm}x_m \end{pmatrix}

Proposition (correspondance entre matrices et applications linéaires : suite). Soient E,FE, F des K\mathbb{K}-ev de dimension finie, BEB_E une base de EE, BFB_F une base de FF, Φ,Ψ∈L(E,F)\Phi, \Psi \in \mathcal{L}(E, F). Alors :

  1. MatBE,BF(Φ+Ψ)=MatBE,BF(Φ)+MatBE,BF(Ψ)\text{Mat}_{B_E, B_F}(\Phi + \Psi) = \text{Mat}_{B_E, B_F}(\Phi) + \text{Mat}_{B_E, B_F}(\Psi)
  2. ∀λ∈K\forall \lambda \in \mathbb{K}, MatBE,BF(λΦ)=λMatBE,BF(Φ)\text{Mat}_{B_E, B_F}(\lambda\Phi) = \lambda\text{Mat}_{B_E, B_F}(\Phi).
  3. Si GG est un troisième K\mathbb{K}-ev de dim⁡<∞\dim < \infty, Φ∈L(E,F)\Phi \in \mathcal{L}(E, F), Ψ∈L(F,G)\Psi \in \mathcal{L}(F, G), et BGB_G une base de GG, alors MatBE,BG(Ψ∘Φ)=MatBF,BG(Ψ)×MatBE,BF(Φ)\text{Mat}_{B_E, B_G}(\Psi \circ \Phi) = \text{Mat}_{B_F, B_G}(\Psi) \times \text{Mat}_{B_E, B_F}(\Phi).

Démonstration (du 3). y=∑i=1nyifiy = \displaystyle\sum_{i=1}^{n} y_i f_i et x=∑j=1mxjej⇒ϕ(x)=∑j=1mxjϕ(ej)=∑i=1n(∑j=1maijxj)fix = \displaystyle\sum_{j=1}^{m} x_j e_j \Rightarrow \phi(x) = \sum_{j=1}^{m} x_j\phi(e_j) = \sum_{i=1}^{n}\left(\sum_{j=1}^{m} a_{ij}x_j\right)f_i, et z=Ψ(y)=Ψ∘Φ(x)=∑i=1n∑j=1maijxjΨ(fi)z = \Psi(y) = \Psi \circ \Phi(x) = \displaystyle\sum_{i=1}^{n}\sum_{j=1}^{m} a_{ij}x_j\Psi(f_i) avec Ψ(fi)=∑k=1lbkigk\Psi(f_i) = \displaystyle\sum_{k=1}^{l} b_{ki}g_k. Donc

Ψ∘Φ(x)=∑i=1n∑j=1m∑k=1laijbkixjgk=∑k=1l(∑j=1m(∑i=1nbkiaij)xj)gk=∑k=1l(∑j=1mckjxj)gk\Psi \circ \Phi(x) = \sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k=1}^{l} a_{ij}b_{ki}x_j g_k = \sum_{k=1}^{l}\left(\sum_{j=1}^{m}\left(\sum_{i=1}^{n} b_{ki}a_{ij}\right)x_j\right)g_k = \sum_{k=1}^{l}\left(\sum_{j=1}^{m} c_{kj}x_j\right)g_k

Donc les coordonnées dans BGB_G de Ψ∘Φ(x)\Psi \circ \Phi(x) sont les (∑j=1mckjxj)\left(\displaystyle\sum_{j=1}^{m} c_{kj}x_j\right), i.e. MatBE,BG(Ψ∘Φ)=C=BA\text{Mat}_{B_E, B_G}(\Psi \circ \Phi) = C = BA.

Corollaire. Soient E,FE, F des K\mathbb{K}-ev de dim⁡<∞\dim < \infty, BE,BFB_E, B_F des bases, Φ∈L(E,F)\Phi \in \mathcal{L}(E, F), A=MatBE,BF(Φ)A = \text{Mat}_{B_E, B_F}(\Phi). Alors Φ\Phi est bijective ⇔A\Leftrightarrow A est inversible. Et alors MatBF,BE(Φ−1)=(MatBE,BFΦ)−1\text{Mat}_{B_F, B_E}(\Phi^{-1}) = (\text{Mat}_{B_E, B_F}\Phi)^{-1}.

Démonstration (pour F=EF = E, BF=BEB_F = B_E). Si Φ\Phi est bijective : Φ∘Φ−1=idE⇒Mat(Φ)⋅Mat(Φ−1)=Mat(idE)=In\Phi \circ \Phi^{-1} = \text{id}_E \Rightarrow \text{Mat}(\Phi) \cdot \text{Mat}(\Phi^{-1}) = \text{Mat}(\text{id}_E) = I_n (où n=dim⁡(E)n = \dim(E)). Et réciproquement, si Mat(Φ)\text{Mat}(\Phi) est inversible, soit Ψ∈L(E)\Psi \in \mathcal{L}(E) tel que MatBEΨ=(MatBEΦ)−1\text{Mat}_{B_E}\Psi = (\text{Mat}_{B_E}\Phi)^{-1} : alors Mat(Φ∘Ψ)=MatBEidE⇒Φ∘Ψ=idE⇒Ψ=Φ−1\text{Mat}(\Phi \circ \Psi) = \text{Mat}_{B_E}\text{id}_E \Rightarrow \Phi \circ \Psi = \text{id}_E \Rightarrow \Psi = \Phi^{-1}.

Définition (matrice de passage). Soient EE un K\mathbb{K}-ev de dim⁡(E)=n<∞\dim(E) = n < \infty, B,B′B, B' deux bases de EE : B=(e1,…,en)B = (e_1, \dots, e_n), B′=(e1′,…,en′)B' = (e'_1, \dots, e'_n). On appelle matrice de passage PP de BB à B′B' la matrice de idE\text{id}_E où EE est muni de la base B′B' au départ et de la base BB à l'arrivée :

{(E,B′)→(E,B)P=MatB′,B(idE)\begin{cases} (E, B') \to (E, B) \\ P = \text{Mat}_{B', B}(\text{id}_E) \end{cases}

Nota bene. Les colonnes de PP sont les colonnes de coordonnées des ej′e'_j dans la base (e1,…,en)=B(e_1, \dots, e_n) = B.

Exemple. E=R2E = \mathbb{R}^2, B=((1,0),(0,1))B = ((1, 0), (0, 1)), B′=((1,1),(1,−1))B' = ((1, 1), (1, -1)) :

{e1′=e1+e2e2′=e1−e2⇒P=(111−1)\begin{cases} e'_1 = e_1 + e_2 \\ e'_2 = e_1 - e_2 \end{cases} \Rightarrow P = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}

Proposition. Soit EE un K\mathbb{K}-ev de dim⁡(E)=n<∞\dim(E) = n < \infty. Soient B,B′B, B' deux bases de EE. Soient x∈Ex \in E, XX la colonne de ses coordonnées dans la base BB et X′X' la colonne de ses coordonnées dans la base B′B'. Si PP est la matrice de passage de BB à B′B', alors X=PX′X = PX' (autrement dit : X′=P−1XX' = P^{-1}X). Noter que P−1P^{-1} est la matrice de passage de B′B' à BB : (E,B′)→(E,B)(E, B') \to (E, B) par PP et (E,B)→(E,B′)(E, B) \to (E, B') par P−1P^{-1}.

Démonstration. On a vu que y=f(x)⇔Y=AXy = f(x) \Leftrightarrow Y = AX où AA est la matrice de ff. Ici, on a X′X' (et non XX) au départ, XX à l'arrivée, donc x=idE(x)⇔X=PX′x = \text{id}_E(x) \Leftrightarrow X = PX'.

Théorème de changement de base. Soient E,FE, F deux K\mathbb{K}-ev de dimensions finies, B1,B1′B_1, B'_1 deux bases de EE, B2,B2′B_2, B'_2 deux bases de FF, PP la matrice de passage de B1B_1 à B1′B'_1 et QQ la matrice de passage de B2B_2 à B2′B'_2. Soient f∈L(E,F)f \in \mathcal{L}(E, F), A=MatB1,B2(f)A = \text{Mat}_{B_1, B_2}(f), A′=MatB1′,B2′(f)A' = \text{Mat}_{B'_1, B'_2}(f). Alors

A′=Q−1APA' = Q^{-1}AP

En particulier. Si F=EF = E et B2=B1B_2 = B_1 et B2′=B1′B'_2 = B'_1, alors Q=PQ = P et

A′=P−1APA' = P^{-1}AP

Démonstration. (E,B1′)→idE(E,B1)→f(F,B2)→idF(F,B2′)(E, B'_1) \xrightarrow{\text{id}_E} (E, B_1) \xrightarrow{f} (F, B_2) \xrightarrow{\text{id}_F} (F, B'_2). On compose idF∘f∘idE\text{id}_F \circ f \circ \text{id}_E et les matrices : A′=MatB2,B2′(idF) MatB1,B2(f) MatB1′,B1(idE)=Q−1APA' = \text{Mat}_{B_2, B'_2}(\text{id}_F)\,\text{Mat}_{B_1, B_2}(f)\,\text{Mat}_{B'_1, B_1}(\text{id}_E) = Q^{-1}AP.

Définition.

  • Deux matrices A,BA, B de Mn,m(K)\mathcal{M}_{n,m}(\mathbb{K}) sont dites équivalentes s'il existe P∈Mm(K)P \in \mathcal{M}_m(\mathbb{K}) inversible et Q∈Mn(K)Q \in \mathcal{M}_n(\mathbb{K}) inversible telles que B=Q−1APB = Q^{-1}AP. Cela revient à dire qu'il existe une application linéaire de Km\mathbb{K}^m dans Kn\mathbb{K}^n dont AA et BB sont les matrices relativement à certaines bases.
  • Deux matrices A,B∈Mn(K)A, B \in \mathcal{M}_n(\mathbb{K}) sont dites semblables s'il existe P∈Mn(K)P \in \mathcal{M}_n(\mathbb{K}) inversible telle que B=P−1APB = P^{-1}AP. Cela revient à dire que AA et BB sont les matrices d'un endomorphisme de Kn\mathbb{K}^n relativement à deux bases BAB_A (au départ et à l'arrivée) et BBB_B (au départ et à l'arrivée) respectivement.

Matrice transposée et symétrique​

Définition. Soit A∈Mn,m(K)A \in \mathcal{M}_{n,m}(\mathbb{K}). On appelle transposée de AA, et on note tA{}^tA, la matrice de Mm,n(K)\mathcal{M}_{m,n}(\mathbb{K}) obtenue en mettant les colonnes de AA en lignes (ou les lignes de AA en colonnes : ça revient au même).

Exemple. t(abcd)=(acbd){}^t\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} a & c \\ b & d \end{pmatrix}.

Définition. Une matrice carrée A∈Mn(K)A \in \mathcal{M}_n(\mathbb{K}) est dite symétrique si et seulement si tA=A{}^tA = A, antisymétrique si tA=−A{}^tA = -A.

Exemples. Les matrices symétriques sont, pour n=2n = 2 :

(abbd)=a(1000)+b(0110)+d(0001)\begin{pmatrix} a & b \\ b & d \end{pmatrix} = a\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} + b\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} + d\begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}

En effet : t(abcd)=(abcd)⇔c=b{}^t\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \Leftrightarrow c = b. Noter que la transposition est une symétrie par rapport à la diagonale : t(abcd)=(acbd){}^t\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} a & c \\ b & d \end{pmatrix}.

Pour nn quelconque : l'ensemble des matrices symétriques de Mn(K)\mathcal{M}_n(\mathbb{K}) est le sev Symn(K)Sym_n(\mathbb{K}) de Mn(K)\mathcal{M}_n(\mathbb{K}) engendré par les EiiE_{ii} (1≤i≤n1 \leq i \leq n) et les Eij+EjiE_{ij} + E_{ji} (1≤i<j≤n1 \leq i < j \leq n). Clairement : dim⁡(Symn(K))=n+n2−n2=n(n+1)2\dim(Sym_n(\mathbb{K})) = n + \dfrac{n^2 - n}{2} = \dfrac{n(n+1)}{2}.

t(aij)=(aji){}^t(a_{ij}) = (a_{ji}) : la transposition échange les indices, donc (aij)(a_{ij}) est symétrique ⇔aij=aji,∀i\Leftrightarrow a_{ij} = a_{ji}, \forall i et ∀j\forall j.

Pour n=3n = 3 :

(0ab−a0c−b−c0)=a(E12−E21)+b(E13−E31)+c(E23−E32)\begin{pmatrix} 0 & a & b \\ -a & 0 & c \\ -b & -c & 0 \end{pmatrix} = a(E_{12} - E_{21}) + b(E_{13} - E_{31}) + c(E_{23} - E_{32})

Pour nn général : l'ensemble Antn(K)Ant_n(\mathbb{K}) des matrices antisymétriques de Mn(K)\mathcal{M}_n(\mathbb{K}) est le sev engendré par les Eij−EjiE_{ij} - E_{ji} (1≤i<j≤n1 \leq i < j \leq n), donc

dim⁡(Antn(K))=n2−n2=n(n−1)2\dim(Ant_n(\mathbb{K})) = \frac{n^2 - n}{2} = \frac{n(n-1)}{2}

Trace​

Définition. On appelle trace d'une matrice carrée A=(aij)∈Mn(K)A = (a_{ij}) \in \mathcal{M}_n(\mathbb{K}) le scalaire tr(A)=∑i=1naiitr(A) = \displaystyle\sum_{i=1}^{n} a_{ii} (la somme des éléments diagonaux).

Proposition.

  1. tr(tA)=tr(A),∀A∈Mn(K)tr({}^tA) = tr(A), \forall A \in \mathcal{M}_n(\mathbb{K})
  2. tr(AB)=tr(BA),∀A,B∈Mn(K)tr(AB) = tr(BA), \forall A, B \in \mathcal{M}_n(\mathbb{K})
  3. Deux matrices semblables ont la même trace. Et donc deux matrices A,A′A, A' d'un même endomorphisme (relativement à des bases identiques au départ et à l'arrivée) ont même trace.

Démonstration.

  1. tr(tA)=tr(A)tr({}^tA) = tr(A) car les éléments de la diagonale de tA{}^tA sont les mêmes que ceux de la diagonale de AA :

    (a11aij⋱ajiann)\begin{pmatrix} a_{11} & & a_{ij} \\ & \ddots & \\ a_{ji} & & a_{nn} \end{pmatrix}
  2. A=(aij)A = (a_{ij}), B=(bij)⇒AB=(cij)B = (b_{ij}) \Rightarrow AB = (c_{ij}) où cij=∑k=1naikbkjc_{ij} = \displaystyle\sum_{k=1}^{n} a_{ik}b_{kj}. Donc tr(AB)=∑i=1ncii=∑i=1n∑k=1naikbkitr(AB) = \displaystyle\sum_{i=1}^{n} c_{ii} = \sum_{i=1}^{n}\sum_{k=1}^{n} a_{ik}b_{ki}. De même, en échangeant les aa et les bb : tr(BA)=∑i=1n∑k=1nbikaki=∑i=1n∑k=1nakibik=tr(AB)tr(BA) = \displaystyle\sum_{i=1}^{n}\sum_{k=1}^{n} b_{ik}a_{ki} = \sum_{i=1}^{n}\sum_{k=1}^{n} a_{ki}b_{ik} = tr(AB).

  3. tr(P−1AP)=tr(APP−1)=tr(A)tr(P^{-1}AP) = tr(APP^{-1}) = tr(A).

Nota bene. La trace est un invariant : étant donné un endomorphisme ff de EE (dim⁡(E)<∞\dim(E) < \infty), quand je change de base dans EE, la matrice de ff change mais sa trace ne change pas.