Opération sur deux matrices A (m×n) et B (p×q) produisant la matrice par blocs A⊗B de taille (mp)×(nq) dont le bloc (i,j) vaut a_{ij} B ; représente la matrice du produit tensoriel des applications linéaires dans des bases choisies.

Principe

Le produit de Kronecker réalise le produit tensoriel au niveau des matrices coordonnées : (A⊗B)(C⊗D)=(AC)⊗(BD) lorsque les dimensions conviennent, et vec(AXB)=(B^T⊗A) vec(X) fournit une identité utile en algèbre linéaire.

Démonstration

Si A=[[a_{11},a_{12}],[a_{21},a_{22}]] et B est 2×2, alors A⊗B=[[a_{11}B,a_{12}B],[a_{21}B,a_{22}B]] donne une matrice 4×4 par blocs ; utilisé pour former de grandes matrices structurées à partir de facteurs petits.

Mauvaise application

Confondre le produit de Kronecker avec le produit de Hadamard (élément par élément) donne des relations algébriques incorrectes ; de même, supposer que A⊗B est commutatif (A⊗B ≠ B⊗A en général) entraîne des erreurs.

Conséquence

Permet la séparation des variables, la représentation compacte d'opérateurs linéaires tensorisés et l'exploitation efficace de la structure dans les méthodes numériques (par ex. résolution d'équations de Sylvester, représentation d'opérateurs multi‑indices).

Inversion

La somme directe (A⊕B) combine les matrices le long de la diagonale pour former des opérateurs en blocs diagonaux représentant une action indépendante, contrairement au produit de Kronecker qui modélise une action couplée sur produit tensoriel des facteurs.

Limite

Défini pour des matrices de dimension finie sur un corps ou un anneau ; l'extension aux opérateurs de dimension infinie exige des constructions de produit tensoriel topologique et de complétion ; les identités algébriques supposent des dimensions conformes.

Tension sémantique

Produit de Kronecker versus produit tensoriel abstrait : Kronecker est une réalisation matricielle concrète dépendant des bases choisies, tandis que le produit tensoriel abstrait est indépendant de la base et nécessite des isomorphismes canoniques pour s'identifier aux matrices de Kronecker.

Synthèse

Le produit de Kronecker est la réalisation matricielle par blocs du produit tensoriel d'applications linéaires dans des bases fixes : il construit de grandes matrices structurées à partir de facteurs plus petits et préserve des identités algébriques utiles pour la vectorisation et les méthodes séparables.