Dimostrazione prodotto tra matrici e identità

BinaryMind
Salve,

come devo fare per dimostrare che: data una matrice A n x p allora I[size=85]n[/size]A = A = AI[size=85]p[/size]

Intendendo con I le matrici identità di A (n e p sono i loro rispettivi ordini).



Ovviamente non ho dubbi che sia vero (è di immediata comprensione), tuttavia non riesco a dimostrarlo :(

Se potete spiegarmi anche come ragionate di fronte ad una dimostrazione ve ne sarei grato, perchè ho parecchie difficoltà a dimostrare anche cose che sembrano banali (tipo questa).

Grazie :wink:

Risposte
ciampax
Dimostrare? Mah, io direi che è più una conseguenza logica del fatto che l'insieme delle matrici di qualsiasi ordine è un anello con unità non commutativo rispetto alla moltiplicazione.

BinaryMind
Ok, ma se io volessi dimostrare che i coefficienti della prima matrice sono uguali alla seconda potrei farlo, o sbaglio?

Kashaman
ciampax, sacrosante parole.. però mi lasci perplesso. Non mi risulta che le matrici non quadrate costituiscano un anello.
Il prodotto matriciale non è interno. Costituiscono un anello le matrici quadrate. Se sbaglio correggimi.

Tornando a noi.
Vogliamo provare che data $A=(a^i_j) in M_(n,p)(K)$ e $I_n$ si ha che $AI_n=A$ (l'altro caso è analogo e lo lascio a te)
La matrice $A$ ha $n$ righe e $I_n$ ha $n$ colonne e quindi sono moltiplicabili.
E inoltre sia $AI_n$ e sia $A$ hanno lo stesso ordine. Cioè $nxp$ . Ciò di cui dobbiamo preoccuparci è che i coefficienti delle due matrici sono uguali.
Denoto con $\delta^i_j $ il simbolo di Kronecker. Per definizione pongo $\delta^i_j=1 , $se $i=j$ e $delta^i_j=0 ,$ se $i!=j$.
$AA i,j in {1,...,n} $. .
Consideriamo (qui considero l'elemento di posto i-j della matrice prodotto) $(AI_n)^i_j := \sum_(k=1)^n a^i_k\delta^k_j$={esplicito}=$a^i_1\delta^1_j+a^i_2\delta^2_j+.....+a^i_j\delta^j_j+...+a^i_n\delta^n_j$
Ora per definizione del simbolo di Kronecker (tutte le $i!=j$ si annullano) hai che $AA i,j in {1,...,n} : (AI_n)^i_j=a^i_j=(A)^i_j$.
Se noti errori fammelo presente.

ciampax
Ops, pardon: è che Binary ha scritto senza il tex e leggendo di fretta non avevo capito che si trattasse di matrici rettangolari (anche perché il prodotto "interno" tra due di esse non si può definire). La dimostrazione è corretta.

BinaryMind
Apprezzo moltissimo le vostre risposte, soprattutto perchè immagino che a voi queste domande sembrano banali e quindi vi fa ancora più "onore" :P

Tuttavia non capisco alcune cose:

1) $A=(a^i_j)$ questa è la notazione compatta per esprimere una matrice e fino a qua non ci piove, ma la seconda parte non l'ho mai vista scritta $in M_(n,p)(K)$ e quindi non so cosa significhi.

2) Il simbolo di Kronecker non l'ho mai visto. Ho letto sul mio libro di algebra lineare che esistono modi diversi per esprimere il prodotto tra matrici (tra cui Kronecker) però c'è anche scritto che non verrà preso (per ora) in considerazione e quindi la tua risposta mi spiazza un po' :P

Comunque, la prima parte della tua risposta l'ho capita: due matrici per essere uguali devono avere la stessa forma e gli stessi coefficienti e tu hai dimostrato che la stessa forma ce l'hanno, quindi rimangono da prendere in considerazione i coefficienti. Però come ti ho detto Kronecker per me è arabo :)

Se riuscite a spiegarmelo senza utilizzarlo mi fareste un gran favore, soprattutto perchè finchè non riesco a capire la dimostrazione ci rimango sopra a costo di passarci i prossimi 3 anni :)

Vi ringrazio ancora ;)

BinaryMind
Penso di esserci riuscito ;)

Cerco di inserire la spiegazione con il tex (mi ci vorrà un po') :P

spero che possiate confermarmela :)

Kashaman
diciamo in parole povere che $\delta^i_j$ per come è definito rappresenta in un certo senso la matrice identica.
Su $I_n$ , gli elementi di posto $i=j$ sono tutti $1$ mentre i restanti tutti zero. Ti torna? . $\delta^i_j$ simula questo fatto.
Con $M_(n,m)(K)$ si indica l'insieme delle matrici con $n$ righe con $m$ colonne a coefficenti in K.
fammi sapere se è tutto chiaro.

guarda qui http://it.wikipedia.org/wiki/Delta_di_Kronecker

Plepp
"Kashaman":
diciamo in parole povere che $\delta^i_j$ per come è definito rappresenta in un certo senso la matrice identica.

Mah, è fuorviante dire così Fra...Io direi: la matrice identica è quella matrice il cui elemento di posto $ij$ è $\delta^i_j$, ovvero $I_n=(\delta^i_j)_{1\le i,j\le n}$. Ah, comunque:
\[
\delta^i_j=
\begin{cases}
1\qquad \text{se}\ i=j\\
0\qquad \text{se}\ i\ne j\\
\end{cases}
\]
Ciao! :D

Kashaman
giusto giusè , in effetti è un poco ambigua la cosa.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.