Produit de Kronecker

Produit de Kronecker

En mathématiques le produit de Kronecker est une opération portant sur les matrices. Il s'agit d'un cas particulier du produit tensoriel. Il est ainsi dénommé en hommage au mathématicien allemand Leopold Kronecker.

Sommaire

Définition

Soient A une matrice de taille m x n et B une matrice de taille p x q. Leur produit tensoriel est la matrice A \otimes B de taille mp par nq, définie par blocs successifs de taille p x q, le bloc d'indice i,j valant (a)_{ij} \cdot B

En d'autres termes

 A \otimes B = \begin{pmatrix} a_{11} B & \cdots & a_{1n}B \\ \vdots & \ddots & \vdots \\ a_{m1} B & \cdots & a_{mn} B \end{pmatrix}

Ou encore, en détaillant les coefficients,

A \otimes B = \begin{pmatrix}
   a_{11} b_{11} & a_{11} b_{12} & \cdots & a_{11} b_{1q} & 
                   \cdots & \cdots & a_{1n} b_{11} & a_{1n} b_{12} & \cdots & a_{1n} b_{1q} \\
   a_{11} b_{21} & a_{11} b_{22} & \cdots & a_{11} b_{2q} & 
                   \cdots & \cdots & a_{1n} b_{21} & a_{1n} b_{22} & \cdots & a_{1n} b_{2q} \\
   \vdots & \vdots & \ddots & \vdots & & & \vdots & \vdots & \ddots & \vdots \\
   a_{11} b_{p1} & a_{11} b_{p2} & \cdots & a_{11} b_{pq} & 
                   \cdots & \cdots & a_{1n} b_{p1} & a_{1n} b_{p2} & \cdots & a_{1n} b_{pq} \\
   \vdots & \vdots & & \vdots & \ddots & & \vdots & \vdots & & \vdots \\
   \vdots & \vdots & & \vdots & & \ddots & \vdots & \vdots & & \vdots \\
   a_{m1} b_{11} & a_{m1} b_{12} & \cdots & a_{m1} b_{1q} & 
                   \cdots & \cdots & a_{mn} b_{11} & a_{mn} b_{12} & \cdots & a_{mn} b_{1q} \\
   a_{m1} b_{21} & a_{m1} b_{22} & \cdots & a_{m1} b_{2q} & 
                   \cdots & \cdots & a_{mn} b_{21} & a_{mn} b_{22} & \cdots & a_{mn} b_{2q} \\
   \vdots & \vdots & \ddots & \vdots & & & \vdots & \vdots & \ddots & \vdots \\
   a_{m1} b_{p1} & a_{m1} b_{p2} & \cdots & a_{m1} b_{pq} & 
                   \cdots & \cdots & a_{mn} b_{p1} & a_{mn} b_{p2} & \cdots & a_{mn} b_{pq} 
\end{pmatrix}

Exemple


  \begin{pmatrix}
    1 & 3 & 2 \\
    1 & 0 & 0 \\
    1 & 2 & 2
  \end{pmatrix}
\otimes
  \begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}

= \begin{pmatrix}
 1  \cdot 
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
& 3  \cdot 
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
& 2  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}\\
1  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
& 0  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
& 0  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}\\
1  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
& 2  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
& 2  \cdot
\begin{pmatrix}
    0 & 5 \\
    5 & 0 \\
    1 & 1
  \end{pmatrix}
\end{pmatrix}

= \begin{pmatrix} 

    0 & 5 & 0 & 15 &0 & 10 \\
    5 & 0 &15 & 0 &10 & 0 \\
    1 & 1 & 3 & 3&2 & 2\\
    0 & 5& 0 & 0 &0 & 0 \\
    5 & 0 &0 & 0 &0 & 0 \\
    1 & 1&0 & 0& 0 & 0\\
    0 & 5 &0 & 10 & 0 & 10 \\
    5 & 0 &10 & 0 &10 & 0 \\
    1 & 1&2 & 2&2 & 2
 \end{pmatrix}

Propriétés

Bilinéarité, associativité

Le produit de Kronecker est bilinéaire et associatif : sous réserve de compatibilité des tailles pour A, B et C, on a les équations suivantes :


A \otimes (B+ \lambda\ \cdot C) = (A \otimes B) + \lambda (A \otimes C)


(A + \lambda\ \cdot B) \otimes C = (A \otimes C) + \lambda (B \otimes C)


A \otimes ( B \otimes C) = (A \otimes B) \otimes C

Le produit de Kronecker n'est pas commutatif ; cependant pour toutes A et B il existe deux matrices de permutation P et Q telles que  A \otimes B = P (B \otimes A) Q

Si de plus A et B ont la même taille, alors  A \otimes B et  B \otimes A sont équivalentes par permutation sur les vecteurs de la base :

 A \otimes B = P^{-1} (B \otimes A) P = {}^{t}\!P (B \otimes A) P

P est une matrice de permutation.

Propriétés sur le produit usuel

On a la propriété suivante qui mélange les aspects liés au produit matriciel usuel et au produit de Kronecker :


(A \otimes B) (C \otimes D) = (A C) \otimes (B D)

On peut en déduire que  (A \otimes B) est inversible si et seulement si A et B sont inversibles, auquel cas : 
( A \otimes B ) ^ {-1} = A^{-1} \otimes B^{-1}

Spectre

En utilisant la propriété précédente on déduit que si X et Y sont des vecteurs propres de A et B : A X = \lambda\ X et B Y = \mu\ Y, alors :


(A \otimes B) (X \otimes Y) = \lambda \mu (X \otimes Y)

Donc si λ1,...,λn et μ1,...,μm sont les valeurs propres de A et B, alors  \lbrace \lambda_{i} \cdot \mu_{j} , i = 1 ... n, j = 1 ... m \rbrace sont les valeurs propres de A \otimes B, en comptant la multiplicité.

En particulier :


\operatorname{Tr}( A \otimes B ) = \operatorname{Tr}( A ) \operatorname{Tr}( B )


\operatorname{det}( A \otimes B ) = \operatorname{det}( A )^{m} \operatorname{det}( B )^{n}


\operatorname{rg}( A \otimes B ) = \operatorname{rg}( A ) \operatorname{rg}( B )

Tr désigne la trace, det le déterminant et rg le rang

Transposition

On a la propriété suivante sur la transposée : 
{}^{t} \! ( A \otimes B ) = {}^{t} \! A  \otimes {}^{t} \! B



Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Produit de kronecker — En mathématiques le produit de Kronecker est une opération portant sur les matrices. Il s agit d un cas particulier du produit tensoriel. Il est ainsi dénommé en hommage au mathématicien allemand Léopold Kronecker. Sommaire 1 Définition 1.1… …   Wikipédia en Français

  • Produit de matrices — Produit matriciel Le produit matriciel désigne le produit de matrices, initialement appelé la « composition des tableaux »[1]. Cet article montre comment multiplier les matrices. Sommaire 1 Produit matriciel ordinaire 1.1 Exemple …   Wikipédia en Français

  • Produit matriciel — Le produit matriciel désigne le produit de matrices, initialement appelé la « composition des tableaux »[1]. Cet article montre comment multiplier les matrices. Sommaire 1 Produit matriciel ordinaire 1.1 Exemples …   Wikipédia en Français

  • Kronecker — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Kronecker peut désigner Leopold Kronecker (1823 1891), un mathématicien et logicien allemand, et dont les articles suivants portent le nom :… …   Wikipédia en Français

  • Produit tensoriel — On appelle produit tensoriel, ou produit de Kronecker, le produit de chaque composante d un tenseur par chaque composante d un autre tenseur. Le produit d un tenseur d ordre p avec un tenseur d ordre q est un tenseur d ordre p + q (si le produit… …   Wikipédia en Français

  • Produit dyadique — En mathématiques, et plus précisément en algèbre multilinéaire, le produit dyadique de deux vecteurs, et , chacun ayant la même dimension, est le produit tensoriel de ces vecteurs, lequel est un tenseur d ordre deux et de rang un. Sommaire …   Wikipédia en Français

  • Produit direct (groupes) — En mathématiques, et plus particulièrement en théorie des groupes, le produit direct d une famille de groupes est une structure de groupe qui se définit naturellement sur le produit cartésien des ensembles sous jacents à ces groupes. Sommaire 1… …   Wikipédia en Français

  • Leopold Kronecker — Pour les articles homonymes, voir Kronecker. Leopold Kronecker Leopold Kronecker Naissance 7 décembre 1823 Legn …   Wikipédia en Français

  • Léopold Kronecker — Leopold Kronecker Leopold Kronecker Léopold Kronecker (7 décembre 1823 29 décembre 1891) est un mathématicien et logicien allemand. Il est l élève et l ami à vie d Ernst Kummer. Persu …   Wikipédia en Français

  • Delta de Kronecker — Symbole de Kronecker En mathématiques, le symbole de Kronecker est une fonction de deux variables qui est égale à 1 si celles ci sont égales, et 0 sinon. Il est symbolisé par la lettre δ (delta minuscule) de l alphabet grec, et est considéré… …   Wikipédia en Français

Share the article and excerpts

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