Operación sobre dos matrices A (m×n) y B (p×q) que produce la matriz por bloques A⊗B de tamaño (mp)×(nq) cuyo bloque (i,j) es a_{ij} B; representa la matriz del producto tensorial de aplicaciones lineales en bases elegidas.

Principio

El producto de Kronecker implementa el producto tensorial a nivel de matrices coordenadas: (A⊗B)(C⊗D)=(AC)⊗(BD) cuando las dimensiones son compatibles, y vec(AXB)=(B^T⊗A) vec(X) ofrece una identidad útil en álgebra lineal.

Demostración

Si A=[[a_{11},a_{12}],[a_{21},a_{22}]] y B es 2×2, entonces A⊗B=[[a_{11}B,a_{12}B],[a_{21}B,a_{22}B]] da una matriz 4×4 por bloques; se usa para formar matrices grandes y estructuradas a partir de factores pequeños.

Aplicación incorrecta

Confundir el producto de Kronecker con el producto de Hadamard (elemento a elemento) produce relaciones algebraicas incorrectas; igualmente, asumir que A⊗B es conmutativo (A⊗B ≠ B⊗A en general) conduce a errores.

Consecuencia

Permite separación de variables, representación compacta de operadores lineales tensorizados y explotación eficiente de estructura en métodos numéricos (por ejemplo, resolver ecuaciones de Sylvester, representar operadores multi‑índice).

Inversión

La suma directa (A⊕B) combina matrices en la diagonal para formar operadores por bloques diagonales que representan acción independiente, en contraste con el producto de Kronecker que modela acción acoplada sobre factores del producto tensorial.

Límite

Definido para matrices de dimensión finita sobre un cuerpo o anillo; la extensión a operadores de dimensión infinita requiere construcciones de producto tensorial topológico y completado; las identidades algebraicas asumen dimensiones conformes.

Tensión semántica

Producto de Kronecker versus producto tensorial abstracto: Kronecker es una representación matricial concreta dependiente de las bases elegidas, mientras que el producto tensorial abstracto es independiente de la base y requiere isomorfismos canónicos para identificarse con matrices de Kronecker.

Síntesis

El producto de Kronecker es la realización matricial por bloques del producto tensorial de operadores lineales en bases fijas: construye matrices grandes y estructuradas a partir de factores más pequeños y preserva identidades algebraicas útiles para vectorización y métodos separables.