Représentation matricielle — Wikipédia

En mathématiques, la représentation matricielle est l'emploi de matrices pour représenter de façon univoque des objets tels que des applications linéaires et des formes bilinéaires ou quadratiques en dimension finie, ou encore des structures finies telles que des graphes finis, éventuellement orientés ou pondérés.

Algèbre linéaire[modifier | modifier le code]

Famille de vecteurs[modifier | modifier le code]

Soit $E$ un espace vectoriel de dimension finie muni d’une base $B = (e 1, \dots , e n)$ .

Tout vecteur de $E$ admet une unique décomposition $x = a 1 e 1 + \dots + a n e n$ , et il est alors représenté par la matrice colonne $\left({\begin{matrix}a_{1}\\\vdots \\a_{n}\end{matrix}}\right)$ .

Toute famille de vecteurs $(x 1, \dots , x p)$ est alors représentée dans la même base par la matrice dont les colonnes représentent successivement chacun des vecteurs dans le même ordre.

Application linéaire[modifier | modifier le code]

Étant donnés deux espaces vectoriels $E$ et $F$ sur un corps $K$ , munis de bases respectives $B = (e 1, \dots , e m)$ et $B' = (e' 1, \dots , e' n)$ et une application linéaire $φ : E \to F$ , la matrice représentative de $φ$ entre ces bases est la matrice représentative des vecteurs $(φ (e 1), \dots , φ (e m))$ dans la base $B'$ , parfois notée $M B, B' (φ)$ .

Cette représentation constitue même un isomorphisme d’algèbres entre d’une part l’espace ${\mathcal {M}}_{n,m}(\mathbf {K} )$ des matrices à $n$ lignes et $m$ colonnes, et d’autre part l’espace $\mathrm {L} (E,F)$ des applications linéaires entre ces deux espaces.

Forme bilinéaire ou sesquilinéaire[modifier | modifier le code]

Étant donné un espace vectoriel de dimension finie $E$ sur un corps $K$ muni d’une base $B = (e 1, \dots , e n)$ et d’une forme bilinéaire ou sesquilinéaire $ψ : E \times E \to K$ , la matrice représentative de $ψ$ dans cette base est la matrice carrée de taille $n$ définie par ses coefficients $ψ (e i, e j)$ .

En particulier, la matrice représentative d’un produit scalaire est la matrice de Gram associée à cette base.

La matrice représentative d’une forme symplectique est semblable à une matrice de la forme $\left[{\begin{matrix}0&I_{n}\\-I_{n}&0\end{matrix}}\right]$ .

Structure finie[modifier | modifier le code]

Relation binaire[modifier | modifier le code]

Pour une relation entre deux ensembles finis non vides $A$ et $B$ dont les éléments sont listés sous la forme $(a 1, \dots , a m)$ et $(b 1, \dots , b n)$ , la matrice représentative de la relation est la matrice booléenne à $m$ lignes et $n$ colonnes définie par les coefficients $m i, j = 1$ si l’élément $a i$ est relié à l’élément $b j$ , et $m i, j = 0$ sinon.

Théorie des graphes[modifier | modifier le code]

Dans un graphe, l’ensemble des arêtes peut être interprété comme une relation sur les sommets, et le graphe est alors caractérisé par la matrice associée. En considérant cette matrice dans ${\mathcal {M}}_{n}(\mathbf {Z} )$ , les coefficients de sa $k$ -ième puissance correspondent alors au nombre de chemins de longueur $k$ (avec auto-intersections éventuelles) reliant le sommet de la ligne au sommet de la colonne. En considérant au contraire la matrice à coefficients booléens, la suite des puissances de cette matrices converge vers la matrice représentative de la clôture transitive de la relation entre les sommets, c’est-à-dire une matrice qui met en évidence les classes de connexité du graphe.

Un graphe simple est ainsi représenté par une matrice symétrique avec une diagonale nulle.

Pour un graphe pondéré, notamment associé à une chaine de Markov, les coefficients de la matrice sont alors les probabilités de transitions.

Portail de l’algèbre