Producto de Kronecker

Producto de Kronecker

Producto de Kronecker

En matemáticas, se llama producto de Kronecker, denotado con \otimes, a una operación sobre dos matrices de tamaño arbitrario que da como resultado una matriz bloque. Es un caso especial del producto tensorial. El producto de Kronecker no debería confundirse con el producto de matrices habitual, que es una operación totalmente diferente. Debe su nombre al matemático alemán Leopold Kronecker.

Contenido

Definición

Si A es una matriz m\timesn y B es una una matriz p\timesq, entonces el producto de Kronecker A \otimes B es la matriz bloque mp\timesnq

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

Más explícitamente, tenemos

 A \otimes B   = \begin{bmatrix}
   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} & 
                   \dots & \cdots & a_{1n} b_{21} & a_{1n} b_{22} & \dots & a_{1n} b_{2q} \\
   \vdots & \vdots & \ddots & \vdots & & & \vdots & \vdots & \dots & \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_{21} b_{11} & a_{21} b_{12} & \cdots & a_{21} b_{1q} & 
                   \cdots & \cdots & a_{2n} b_{11} & a_{2n} b_{12} & \cdots & a_{2n} b_{1q} \\
   a_{21} b_{21} & a_{21} b_{22} & \cdots & a_{21} b_{2q} & 
                   \cdots & \cdots & a_{2n} b_{21} & a_{2n} b_{22} & \cdots & a_{2n} 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{bmatrix}.

Ejemplos


  \begin{bmatrix} 
    1 & 2 \\ 
    3 & 1 \\ 
  \end{bmatrix}
\otimes
  \begin{bmatrix} 
    0 & 3 \\ 
    2 & 1 \\ 
  \end{bmatrix}
=
  \begin{bmatrix} 
    1\cdot 0 & 1\cdot 3 & 2\cdot 0 & 2\cdot 3 \\ 
    1\cdot 2 & 1\cdot 1 & 2\cdot 2 & 2\cdot 1 \\ 
    3\cdot 0 & 3\cdot 3 & 1\cdot 0 & 1\cdot 3 \\ 
    3\cdot 2 & 3\cdot 1 & 1\cdot 2 & 1\cdot 1 \\ 
  \end{bmatrix}

=
  \begin{bmatrix} 
    0 & 3 & 0 & 6 \\ 
    2 & 1 & 4 & 2 \\
    0 & 9 & 0 & 3 \\
    6 & 3 & 2 & 1
  \end{bmatrix}
.

\begin{bmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22} \\
a_{31} & a_{32}
\end{bmatrix}
\otimes
\begin{bmatrix}
b_{11} & b_{12} & b_{13} \\
b_{21} & b_{22} & b_{23}
\end{bmatrix}
=
\begin{bmatrix}
a_{11} b_{11} & a_{11} b_{12} & a_{11} b_{13} & a_{12} b_{11} & a_{12} b_{12} & a_{12} b_{13} \\
a_{11} b_{21} & a_{11} b_{22} & a_{11} b_{23} & a_{12} b_{21} & a_{12} b_{22} & a_{12} b_{23} \\
a_{21} b_{11} & a_{21} b_{12} & a_{21} b_{13} & a_{22} b_{11} & a_{22} b_{12} & a_{22} b_{13} \\
a_{21} b_{21} & a_{21} b_{22} & a_{21} b_{23} & a_{22} b_{21} & a_{22} b_{22} & a_{22} b_{23} \\
a_{31} b_{11} & a_{31} b_{12} & a_{31} b_{13} & a_{32} b_{11} & a_{32} b_{12} & a_{32} b_{13} \\
a_{31} b_{21} & a_{31} b_{22} & a_{31} b_{23} & a_{32} b_{21} & a_{32} b_{22} & a_{32} b_{23}
\end{bmatrix}
.

Propiedades

Bilinealidad y asociatividad

El producto de Kronecker es un caso especial del producto tensorial, así que es bilineal y asociativo

 A \otimes (B+C) = A \otimes B + A \otimes C \qquad \mbox{(si } B \mbox{ y } C \mbox{ son de iguales dimensiones)},
 (A+B) \otimes C = A \otimes C + B \otimes C \qquad \mbox{(si } A \mbox{ y } B \mbox{ son de iguales dimensiones)},
 (kA) \otimes B = A \otimes (kB) = k(A \otimes B),
 (A \otimes B) \otimes C = A \otimes (B \otimes C),

donde A, B y C son matrices y k es un escalar.

El producto de Kronecker no es conmutativo: en general, A\otimesB y B\otimesA son matrices diferentes. Sin embargo, A\otimesB y B\otimesA son equivalentes en permutación, lo que quiere decir que existen matrices permutación P y Q tales que

 A \otimes B = P \, (B \otimes A) \, Q.

Si A y B son matrices cuadradas, entonces A\otimesB y B\otimesA son incluso de permutación similar, lo que quiere decir que podemos tomar P = QT.

La propiedad del producto mixto

Si A, B, C y D son matrices de manera que se puedan formar los productos AC y BD, entonces

 (A \otimes B)(C \otimes D) = AC \otimes BD.

A esto se llama la propiedad del producto mixto, porque mezcla el producto ordinario de matrices y el de Kronecker. Se deduce que A \otimes B es inversible si y solo si A y B son inversibles, en cuyo caso la inversa la da

 (A \otimes B)^{-1} = A^{-1} \otimes B^{-1}.

Espectro

Supongamos que A y B son matrices cuadradas de tamaños respectivos n y q. Sean λ1,..., λn los autovalores de A y μ1,..., μq los de B (listados de acuerdo a la multiplicidad). Entonces los autovalores de A \otimes B son

 \lambda_i \mu_j, \qquad i=1,\ldots,n ,\, j=1,\ldots,q.

Se deduce que la traza y el determinante de un producto de Kronecker vienen dados por

 \operatorname{tr}(A \otimes B) = \operatorname{tr} A \, \operatorname{tr} B \quad\mbox{y}\quad \det(A \otimes B) = (\det A)^q (\det B)^n.

Valores singulares

Si A y B son matrices rectangulares, entonces se pueden considerar su valores singulares. Supongamos que A tiene rA valores singulares no nulos

 \sigma_{A,i}, \qquad i = 1, \ldots, r_A.

De forma similar, denotamos los valores singulares no nulos de B con

 \sigma_{B,i}, \qquad i = 1, \ldots, r_B.

Entonces el producto de Kronecker A \otimes B tiene rArB valores singulares no nulos,

 \sigma_{A,i} \sigma_{B,j}, \qquad i=1,\ldots,r_A ,\, j=1,\ldots,r_B.

Dado que el rango de una matriz es igual al número de sus valores singulares no nulos, encontramos que

 \operatorname{rang}(A \otimes B) = \operatorname{rang} A \, \operatorname{rang} B.

Relación con el producto tensorial abstracto

El producto de Kronecker de matrices corresponde al producto tensorial abstracto de aplicaciones lineales. Específicamente, si las matrices A y B representan las transformaciones lineales V1W1 y V2W2, respectivamente, entonces la matriz A \otimes B representa el producto tensorial de las dos aplicaciones, V1 \otimes V2W1 \otimes W2.

Ecuaciones matriciales

Se puede usar el producto de Kronecker para obtener una representación conveniente de algunas ecuaciones matriciales. Consideremos por un momento la ecuación AXB = C, donde A, B y C son matrices dadas y X es la incógnita. Podemos reescribir esta ecuación como

 (B^\top \otimes A) \, \operatorname{vec} X = \operatorname{vec} (AXB) = \operatorname{vec} C.

Se sigue entonces de las propiedades del producto de Kronecker que la ecuación AXB = C tiene solución única si y sólo si A y B son inversibles.

Aquí, vecX señala el vector formado por los elementos de la matriz X. Específicamente, si X es una matrix m\times'n', entonces

 \operatorname{vec} X = [ x_{11}, x_{21}, \ldots, x_{m1}, x_{12}, x_{22}, \ldots, x_{m2}, \ldots, x_{1n}, x_{2n}, \ldots, x_{mn} ]^\top.

Historia

El producto de Kronecker debe su nombre a Leopold Kronecker, incluso habiendo poca evidencia de que fuera el primero en definirlo y usarlo. De hecho, en el pasado se le llamaba al producto de Kronecker matriz de Zehfuss, por Johann Georg Zehfuss.

Enlaces externos

Referencia

  • Roger Horn and Charles Johnson. Topics in Matrix Analysis, Capítulo 4. Cambridge University Press, 1991. ISBN 0-521-46713-6.
Obtenido de "Producto de Kronecker"

Wikimedia foundation. 2010.

См. также в других словарях:

  • Kronecker — Kronecker: Constante de Kronecker Hugo Kronecker (en) Leopold Kronecker Delta de Kronecker Producto de Kronecker Teorema de Kronecker Teorema de Kronecker Weber …   Wikipedia Español

  • Producto tensorial — Saltar a navegación, búsqueda En matemáticas, el producto tensorial, denotado por , se puede aplicar en diversos contextos a vectores, matrices, tensores y espacios vectoriales. En cada caso la significación del símbolo es la misma: la operación… …   Wikipedia Español

  • Producto tensorial — En matemáticas, el producto tensorial, denotado por , se puede aplicar en diversos contextos a vectores, matrices, tensores y espacios vectoriales. En cada caso la significación del símbolo es la misma: la operación bilineal más general. Un caso… …   Enciclopedia Universal

  • Leopold Kronecker — Leopold Kronecker. Leopold Kronecker (n. en Liegnitz actual Legnica en Polonia, 7 de diciembre de 1823 † Berlín, Alemania, 29 de diciembre de 1891). Matemático alemán. Biografía Hijo de un comerciante judío, con el tiempo se convertiría al… …   Wikipedia Español

  • Extensión de cuerpo — Saltar a navegación, búsqueda En Álgebra, las extensiones de cuerpo son el problema fundamental de la Teoría de Cuerpos. Un cuerpo es un conjunto en el que las operaciones suma y producto están definidas y funcionan bien . Cuando se construye una …   Wikipedia Español

  • Álgebra multilineal — En la matemática, el álgebra multilineal es una área de estudio que generaliza los métodos del álgebra lineal. Los objetos de estudio son los productos tensoriales de espacios vectoriales y las transformaciones multi lineales entre los espacios.… …   Wikipedia Español

  • Transformada de Fourier discreta — Para otros usos de este término, véase Transformación (desambiguación). En matemáticas, la transformada discreta de Fourier o DFT (del inglés, discrete Fourier transform) es un tipo de transformada discreta utilizada en el análisis de Fourier.… …   Wikipedia Español

  • Raíz de la unidad — Saltar a navegación, búsqueda En matemática, las raíces n ésimas de la unidad, o números de de Moivre, son todos los números complejos que resultan 1 cuando son elevados a una potencia dada n. Se puede demostrar que están localizados en el… …   Wikipedia Español

  • Cálculo tensorial — Un tensor de segundo orden, en tres dimensiones. En matemáticas y en física, un tensor es cierta clase de entidad algebraica de varias componentes, que generaliza los conceptos de escalar, vector y matriz de una manera que sea independiente de… …   Wikipedia Español

  • Teoría de campos de clase — Saltar a navegación, búsqueda La Teoría de Campos de Clase es una rama de la Teoría de Números Algebraica que relaciona la aritmética de un campo numérico (o campo local) a sus extensiones de Galois. Tradicionalmente comprendía el estudio de las… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»