Représentation matricielle

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

Famille de vecteurs

Soit Modèle:Mvar un espace vectoriel de dimension finie muni d’une base Modèle:Math.

Tout vecteur de Modèle:Mvar admet une unique décomposition Modèle:Math, et il est alors représenté par la matrice colonne $\left(\begin{array}{c}{a}_1\\ ⋮\\ a_n\end{array}\right)$.

Toute famille de vecteurs Modèle:Math 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

Étant donnés deux espaces vectoriels Modèle:Mvar et Modèle:Mvar sur un corps Modèle:Math, munis de bases respectives Modèle:Math et Modèle:Math et une application linéaire Modèle:Math, la matrice représentative de Modèle:Mvar entre ces bases est la matrice représentative des vecteurs Modèle:Math dans la base Modèle:Mvar, parfois notée Modèle:Math.

Cette représentation constitue même un isomorphisme d’algèbres entre d’une part l’espace ${ℳ}_{n,m}(𝐊)$ des matrices à Modèle:Mvar lignes et Modèle:Mvar 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

Étant donné un espace vectoriel de dimension finie Modèle:Mvar sur un corps Modèle:Math muni d’une base Modèle:Math et d’une forme bilinéaire ou sesquilinéaire Modèle:Math, la matrice représentative de Modèle:Mvar dans cette base est la matrice carrée de taille Modèle:Mvar définie par ses coefficients Modèle:Math.

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{array}{cc}0& I_n\\ -I_n& 0\end{array}\right]$.

Structure finie

Relation binaire

Pour une relation entre deux ensembles finis non vides Modèle:Mvar et Modèle:Mvar dont les éléments sont listés sous la forme Modèle:Math et Modèle:Math, la matrice représentative de la relation est la matrice booléenne à Modèle:Mvar lignes et Modèle:Mvar colonnes définie par les coefficients Modèle:Math si l’élément Modèle:Math est relié à l’élément Modèle:Math, et Modèle:Math sinon.

Théorie des graphes

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 ${ℳ}_n(𝐙)$, les coefficients de sa Modèle:Mvar-ième puissance correspondent alors au nombre de chemins de longueur Modèle:Mvar (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.