Il Prodotto di Kronecker ($\otimes$), noto anche come prodotto tensoriale, è un’operazione che combina due matrici di dimensioni arbitrarie per produrne una più grande. È uno strumento indispensabile, specialmente nella vettorizzazione delle equazioni matriciali.
INDICE
1. Definizione e Struttura
Siano $\mathbf{A}$ una matrice $m \times n$ e $\mathbf{B}$ una matrice $p \times q$. Il prodotto $\mathbf{A} \otimes \mathbf{B}$ è una matrice di dimensione $(mp) \times (nq)$.
$$\mathbf{A} = \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} \implies \mathbf{A} \otimes \mathbf{B} = \begin{pmatrix}
a_{11}\mathbf{B} & a_{12}\mathbf{B} \\
a_{21}\mathbf{B} & a_{22}\mathbf{B}
\end{pmatrix}$$
Esempio Pratico di Calcolo
Siano $\mathbf{A} = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}$ e $\mathbf{B} = \begin{pmatrix} 5 & 6 \\ 7 & 8 \end{pmatrix}$. Il prodotto $\mathbf{A} \otimes \mathbf{B}$ è una matrice $4 \times 4$:
$$\mathbf{A} \otimes \mathbf{B} = \begin{pmatrix}
1\cdot\mathbf{B} & 2\cdot\mathbf{B} \\
3\cdot\mathbf{B} & 4\cdot\mathbf{B}
\end{pmatrix} = \begin{pmatrix}
5 & 6 & 10 & 12 \\
7 & 8 & 14 & 16 \\
15 & 18 & 20 & 24 \\
21 & 24 & 28 & 32
\end{pmatrix}$$
2. Proprietà Fondamentali
A. Non Commutatività (La Proprietà Chiave ⚠️)
Il Prodotto di Kronecker non è commutativo. L’ordine è cruciale:
$$\mathbf{A} \otimes \mathbf{B} \neq \mathbf{B} \otimes \mathbf{A}$$
Dimostrazione Pratica:
Calcolando $\mathbf{B} \otimes \mathbf{A}$ si ottiene una matrice $4 \times 4$ diversa da $\mathbf{A} \otimes \mathbf{B}$:
$$\mathbf{B} \otimes \mathbf{A} = \begin{pmatrix}
5\cdot\mathbf{A} & 6\cdot\mathbf{A} \\
7\cdot\mathbf{A} & 8\cdot\mathbf{A}
\end{pmatrix} = \begin{pmatrix}
5 & 10 & 6 & 12 \\
15 & 20 & 18 & 24 \\
7 & 14 & 8 & 16 \\
21 & 28 & 24 & 32
\end{pmatrix}$$
B. Distributività e Associatività (Proprietà Valide ✅)
- Distributività: $\mathbf{A} \otimes (\mathbf{B} + \mathbf{C}) = (\mathbf{A} \otimes \mathbf{B}) + (\mathbf{A} \otimes \mathbf{C})$
- Associatività: $\mathbf{A} \otimes (\mathbf{B} \otimes \mathbf{C}) = (\mathbf{A} \otimes \mathbf{B}) \otimes \mathbf{C}$
C. Prodotto Misto (Cruciale per Sylvester)
Questa identità è fondamentale per trasformare le equazioni matriciali in sistemi lineari scalari:
$$\text{vec}(\mathbf{A}\mathbf{X}\mathbf{B}) = (\mathbf{B}^T \otimes \mathbf{A}) \text{vec}(\mathbf{X})$$
3. Altre Proprietà e Applicazioni
| Proprietà | Formula |
|---|---|
| Trasposta | $(\mathbf{A} \otimes \mathbf{B})^T = \mathbf{A}^T \otimes \mathbf{B}^T$ |
| Inversa | $(\mathbf{A} \otimes \mathbf{B})^{-1} = \mathbf{A}^{-1} \otimes \mathbf{B}^{-1}$ |
| Rango | $\text{rank}(\mathbf{A} \otimes \mathbf{B}) = \text{rank}(\mathbf{A}) \cdot \text{rank}(\mathbf{B})$ |
| Determinante | $\det(\mathbf{A} \otimes \mathbf{B}) = \det(\mathbf{A})^p \cdot \det(\mathbf{B})^m$ |
L’Indispensabilità del Prodotto di Kronecker
Abbiamo definito il Prodotto di Kronecker ($\otimes$) e ne abbiamo esplorato le proprietà, in particolare la fondamentale non commutatività ($\mathbf{A} \otimes \mathbf{B} \neq \mathbf{B} \otimes \mathbf{A}$) e l’identità del prodotto misto ($\text{vec}(\mathbf{A}\mathbf{X}\mathbf{B}) = (\mathbf{B}^T \otimes \mathbf{A}) \text{vec}(\mathbf{X})$). È questo strumento a permettere la vettorizzazione delle equazioni matriciali lineari come Sylvester, trasformando complessi problemi $n \times m$ in sistemi lineari scalari gestibili. Questa capacità di linearizzare le strutture tensoriali sarà essenziale anche per affrontare i problemi non lineari.
IMPARA L’ALGEBRA LINEARE
Impara l’algebra lineare con un percorso strutturato e facile da seguire passo a passo.
Un viaggio che parte dai vettori e dalle matrici, passando per i sitemi lineari giungerai nei meandri degli spazi vettoriali, della diagonalizzazione delle matrici con tappa finale nelle coniche.