Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Trace (algèbre)
Résumé
En algèbre linéaire, la trace d'une matrice carrée A est définie comme la somme de ses coefficients diagonaux et souvent notée Tr(A). La trace peut être vue comme une forme linéaire sur l'espace vectoriel des matrices. Elle vérifie l'identité : Tr(AB) = Tr(BA), et est en conséquence invariante par similitude.
De façon voisine, si u est un endomorphisme d'un espace vectoriel de dimension finie sur un corps commutatif K, on peut définir la trace de l'opérateur u, par exemple comme trace de sa matrice dans n'importe quelle base.
Plus généralement, sur une algèbre A, une trace est une forme linéaire λ telle que λ(ab) = λ(ba). Cette définition se rencontre en particulier dans l'étude des algèbres de von Neumann, qui sont des algèbres d'opérateurs sur des espaces de Hilbert.
En algèbre linéaire, la trace d'un opérateur u est la somme de ses valeurs propres comptées avec multiplicité. Par exemple, la trace d'une rotation de est 1+2 cos(θ) et fournit donc l'angle de rotation θ.
En théorie de Galois, la trace est à l'origine de la définition de la forme trace. Cette forme est aussi utilisée en théorie algébrique des nombres, par exemple pour définir le discriminant d'un anneau d'entiers algébriques.
Dans la théorie des représentations de groupes, la trace d'une représentation est son caractère. Par exemple, pour une représentation d'un groupe fini, son caractère permet de comprendre sa décomposition en somme directe de représentations irréductibles. Cette théorie permet de mieux comprendre la structure d'un groupe. En conséquence, on retrouve l'utilisation de cet outil dans la démonstration de théorèmes sur le sujet, par exemple celui de Burnside sur les groupes résolubles, ou celui sur les sous-groupes de GL(n,C) dans le cadre du problème de Burnside.
Dans l'étude des groupes de Lie, et toujours en rapport avec la théorie des représentations, la trace permet de définir la forme de Killing, qui est une forme quadratique sur l'algèbre de Lie correspondante. Le en montre l'importance.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (32)
MATH-111(a): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
MATH-111(e): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
MATH-115(b): Advanced linear algebra II
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux du sujet.
Publications associées (58)