Trace (algèbre) - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Exemples

Soit E un espace vectoriel de dimension n.

  • La trace de l'identité Id est : Tr(Id) = n = dim E.
  • La trace d'une transvection est aussi dim E.
  • Pour tous opérateurs u et v, on pose [u,v]=uv-vu. La trace de [u,v] est nulle, ce qui signifie exactement Tr(uv)=Tr(vu).

Dans les espaces euclidiens :

  • La trace d'une rotation de R2 d'angle θ est donnée par : Tr(Rθ) = 2cosθ.
  • Plus généralement pour tout entier n \geq 2 , la trace d'une rotation d'axe Δ et d'angle θ dans l'espace à n dimensions est donnée par : Tr(RΔ,θ) = n − 2 + 2cosθ.

Pour des matrices :

  • Toute permutation \sigma \in \mathfrak{S}_n\,\! (où \mathfrak{S}_n \,\! représente le groupe symétrique d'ordre n \,\! ) est représentée par une matrice M_{\sigma}=(m_{i \, j})_{1 \leq i,j \leq n} \,\! carrée d'ordre n \,\! , définie par :
    \left\{ \begin{array}{lll}   m_{i \, j} &= 1  \quad &\mathrm{si} \quad \sigma(i)=j \\   m_{i \, j} &= 0  \quad &\mathrm{sinon} \end{array} \right.
    La trace de la matrice Mσ s'interprète alors comme le nombre de points fixes de la permutation σ :
    \mathrm{Tr}(M_{\sigma}) = \mathrm{Card} \left\{ i \in \{1,...,n\} \ | \ \sigma(i)=i  \right\}
  • La trace de la matrice d'adjacence d'un graphe est nulle (si un sommet ne boucle pas sur lui-même).

Généralisations

Opérateurs à trace

En dimension infinie, un espace de Hilbert H est séparable ssi il admet une base orthonormée complète (e_i, i\in \Z) . Un opérateur A est dit à trace si

\|A\|_1=\sum_{i\in \Z} \|A e_i\|<\infty .

Dans ce cas, on pose

\textrm{Tr}(A)=\sum_{i\in \Z}<Ae_i|e_i>.

Les opérateurs à trace forment un espace vectoriel noté L1(H), qui est complet pour la norme \|\|_1 . La trace définit une forme linéaire continue Tr de L1(H) vers R.

|\textrm{Tr}(A)|\leq \|A\|_1=\textrm{Tr}(\sqrt{A^*A}) .

En dimension finie, la trace d'un opérateur est la somme des coefficients diagonaux d'une représentation matricielle. L'exemple suivant en est une généralisation. Soit μ une mesure borélienne sur un espace topologique compact K. Soit f:K^2\rightarrow R une application continue. Sur l'espace de Hilbert L^2(K,\R) des fonctions K\rightarrow \R des fonctions de carré sommable, elle définit l'opérateur à noyau

\begin{matrix} L^2(K,\R) & \rightarrow & L^2(K,\R)\\ h & \mapsto & x\mapsto \int_K f(x,y)h(y)d\mu(y)\end{matrix}

est un opérateur à trace, et sa trace vaut :

f(x,x)dμ(x).
K
Page générée en 0.099 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise