Algebre tensorielle

Algèbre tensorielle

L'algèbre tensorielle au sens de théorie des tenseurs est traitée à l'article « Tenseur ».


En mathématiques, une algèbre tensorielle est une algèbre sur un corps dont les éléments (appelés tenseurs) sont représentés par des combinaisons linéaires de « mots » de la forme v1v2⊗…⊗vn, chaque « lettre » vk étant un vecteur d'un espace vectoriel donné. Les seules relations de dépendance linéaire entre ces mots sont induites par les combinaisons linéaires entre les vecteurs.

Si l'espace vectoriel sous-jacent est muni d'une base, son algèbre tensorielle s'identifie avec l'algèbre associative unitaire libre engendrée par cette base. Si cette base est finie, les tenseurs s'identifient avec des tableaux de coordonnées.

L'algèbre tensorielle permet d'étendre en morphismes d'algèbre toutes les applications linéaires d'un espace vectoriel vers les algèbres associatives unitaires. À ce titre, la construction de l'algèbre tensorielle sur un espace vectoriel est adjointe à gauche à l'oubli de la structure multiplicative.

Divers quotients de l'algèbre tensorielle constituent l'algèbre symétrique, l'algèbre antisymétrique…

Sommaire

Construction mathématique

Définition par l'algèbre libre

\begin{array}{cccc} 1 & & a & b \\ aa & ab & ba & bb \end{array}
Les sept mots de deux lettres ou moins
sur l'ensemble {a,b}. Le mot vide est noté « 
1 ».

Un mot sur un ensemble est une suite finie d'éléments de cet ensemble, souvent notée sans séparateurs ni parenthèses. L'algèbre libre sur un ensemble E est l'espace vectoriel des familles presque nulles indicées par les mots sur E, muni de la multiplication induite par la concaténation. Chaque mot m est identifié avec la suite qui vaut 1 en m et 0 partout ailleurs.

La non-commutativité des lettres d'un mot empêche certaines simplifications usuelles comme dans l'égalité suivante :

(a+b)(a-b) = a a - a b + b a - b b\,.

Il n'y a pas d'annulation de (−ab) par (+ba), a contrario de l'identité remarquable valable pour les nombres réels ou complexes.

\lambda (v_1 \otimes w) + (v_2 \otimes w) = (\lambda v_1 + v_2) \otimes w
Exemple de relation linéaire entre deux éléments de l'algèbre tensorielle

Pour définir l'algèbre tensorielle sur un espace vectoriel V, il suffit de considérer l'algèbre libre engendrée par tous les éléments de V puis de la quotienter par l'idéal engendré par les relations linéaires sur V. L'algèbre quotient est notée T(V). Dans ce cadre, les vecteurs servant de lettres dans chaque mot sont souvent séparées par le symbole « ⊗ ».

Exemples

\begin{array}{rl} K \langle \alpha, \beta \rangle = & K \oplus K\alpha \oplus K\beta\\
& \oplus K\alpha^2 \oplus K\alpha\beta \oplus K\beta\alpha \oplus K\beta^2\\
& \oplus \cdots\end{array}
Algèbre des polynômes non commutatifs à deux indéterminées α et β sur un corps K.
  • Si V est un espace vectoriel de dimension 1 engendré par un élément x, l'algèbre tensorielle T(V) s'identifie avec l'algèbre des polynômes à une indéterminée.
  • Si V est de dimension finie, tout choix d'une base sur V identifie son algèbre tensorielle avec l'algèbre des polynômes non commutatifs à indéterminées dans la base de V. Dans ce cas, les coefficients de ces polynômes constituent les valeurs de tableaux de coordonnées pour représenter chaque tenseur.

Propriétés

Propriété universelle d'extension
  • L'algèbre tensorielle est graduée par la longueur des mots. Chaque tenseur se décompose de façon unique en une somme de tenseurs homogènes, c'est-à-dire qui sont combinaisons linéaires de mots de même longueur.
  • Pour toute application linéaire f d'un espace vectoriel V vers une algèbre associative unitaire A, il existe un unique morphisme d'algèbre qui étende l'application f à l'algèbre tensorielle T(V). Cette propriété caractérise l'algèbre tensorielle à un isomorphisme près.

Applications

L'algèbre symétrique sur un espace vectoriel V est le quotient de son algèbre tensorielle par les commutateurs de la forme vuuv. Si V est de dimension finie, tout choix d'une base pour V identifie son algèbre symétrique avec l'algèbre des polynômes à indéterminées dans la base.

L'algèbre extérieure sur V est le quotient de son algèbre tensorielle par les anticommutateurs de la forme vu+uv.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Alg%C3%A8bre tensorielle ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Algebre tensorielle de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Algèbre Tensorielle — L algèbre tensorielle au sens de théorie des tenseurs est traitée à l article « Tenseur ». En mathématiques, une algèbre tensorielle est une algèbre sur un corps dont les éléments (appelés tenseurs) sont représentés par des combinaisons …   Wikipédia en Français

  • Algèbre tensorielle — Pour les articles homonymes, voir « Algèbre (homonymie) » et notamment l algèbre tensorielle au sens de théorie des tenseurs. Écriture générique d un tenseur comme un mot dont les lettres représentent des vecteurs. Les lettres sont… …   Wikipédia en Français

  • algèbre tensorielle — tenzorinė algebra statusas T sritis fizika atitikmenys: angl. tensor algebra vok. Tensoralgebra, f; tensorielle Algebra, f rus. тензорная алгебра, f pranc. algèbre tensorielle, f …   Fizikos terminų žodynas

  • Algebre de Clifford — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… …   Wikipédia en Français

  • Algèbre De Clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… …   Wikipédia en Français

  • Algèbre de Clifford du plan euclidien) — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… …   Wikipédia en Français

  • Algèbre de clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… …   Wikipédia en Français

  • Algebre multilineaire — Algèbre multilinéaire En mathématiques, l’algèbre multilinéaire étend les méthodes de l’algèbre linéaire. Tout comme l’algèbre linéaire est bâtie sur le concept d’un vecteur et développe la théorie des espaces vectoriels, l’algèbre multilinéaire… …   Wikipédia en Français

  • Algèbre Multilinéaire — En mathématiques, l’algèbre multilinéaire étend les méthodes de l’algèbre linéaire. Tout comme l’algèbre linéaire est bâtie sur le concept d’un vecteur et développe la théorie des espaces vectoriels, l’algèbre multilinéaire est bâtie sur le… …   Wikipédia en Français

  • Algebre — Algèbre L algèbre est la branche des mathématiques qui étudie, d une façon générale, les structures algébriques. L étude des structures algébriques peut être faite de manière unifiée dans la cadre de l algèbre universelle. L étude épistémologique …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”