da solaàl » 01/04/2020, 16:13
Sì, c'è. Il prodotto di Cauchy è l'unico modo di rendere la mappa di moltiplicazione \(M_{pq}(K) \times M_{qr}(K) \to M_{pr}(K)\) una applicazione bilineare di spazi vettoriali; le matrici \(p\times q\) a ingressi in un campo \(K\) si identificano naturalmente all'insieme delle funzioni \(M : [p]\times [q] \to K\), dove con \([p]\) intendo l'insieme \(\{1,\dots,p\}\).
Allora, il prodotto di matrici tra \(M : [p]\times [q] \to K\) e \(N : [q]\times [r]\to K\), comunque sia definito, deve essere tale che \[(M+M')N= MN + M'N\] e \[M(N+N')=MN + MN',\] e \[(aM)N=a(MN)=M(aN)\] per ogni \(a\in K\).
"In verità le cose che nella vita sono tenute in gran conto si riducono a vanità, o putredine di nessun valore; botoli che si addentano, bambocci litigiosi che ora ridono, poi tosto piangono." (Lotario conte di Segni)