Dimostrazione: inversa dx e sx di matrice coincidenti

Crazylemon
Cerco la dimostrazione che afferma che, se una matrice, ammette inversa destra e sinistra allora esse coincidono...Grazie

Risposte
Gatto891
Prova a farla te, non è troppo difficile ;)

Si inizia (posta $B = \text{Inversa sinistra di A}$ e $I = \text{Matrice identità}$),

$B = B\cdotI = ...$

e devi sfruttare che $A\cdotC = I$ e $B\cdotA = I$ per dimostrare $B = C$ :-)

Crazylemon
Non mi viene nulla in mente, se me la puoi scrivere te ne sarei grato...Io cmq ne ho una fatta con le trasposte ma c'è un punto che non mi è chiaro

Gatto891
Prova a scrivere quella con le trasposte così vediamo il punto meno chiaro, una volta finito ti posto anche la mia così ne hai due :-)

Crazylemon
allora :

$AD = I$
$SA = I$

se $A$ ammette inversa a sinistra allora anche $A'$ lo fà
da ricordare che $(AB)'=B'A'$

DIMOSTRAZIONE

Esiste $Y : YA' = I $
$(YA')' = I'$ ----> trasposta di $I$ sempre $I$
$(A')'Y' = I $
$ AY = I$ passaggio che non capisco, non dovrebbe essere $AY' = I$
$AY = I$ e $XA = I$
$ X = XI = XAY = IY = Y$
$ Y = IY = XAY = XI = X$

finisce qui, non è molto chiara, spero che la tua lo sia

Gatto891
Non del tutto... in particolare, anche se ora sai che $X = Y$, chi ti dice niente su $S$ e $D$ ?

Comunque, il procedimento che hai usato nelle ultime due righe è proprio quello per dimostrare (uso le tue stesse notazioni):

$S = S\cdotI = S\cdot(AD) = (SA)\cdotD = I\cdotD = D$, dove abbiamo usato soltanto che $D$ è l'inversa destra, $S$ l'inversa sinistra e che il prodotto di matrici è associativo ;)

Crazylemon
scusa ho sbagliato io a scrivere, nelle prime due righe è cosi $AX = I$ e $YA = I$ e non $AD = I$ e $SA = I$

il punto che non capisco è questo : $(YA')' = I'$ ----> $(A')'Y' = I$ ----> $AY = I$ (non dovrebbe essere invece $AY' = I$ ?? )

vict85
Perché usi le trasposte così inutilmente? La dimostrazione di Gatto non usa affatto le trasposte, né ci sono reali ragioni di usarle dato che l'unicità dell'inverso in un gruppo si può dimostrare usando solo gli assiomi di gruppo (e la trasposta non ha certamente nessun legame con esse).

vict85
"Crazylemon":
scusa ho sbagliato io a scrivere, nelle prime due righe è cosi $AX = I$ e $YA = I$ e non $AD = I$ e $SA = I$

il punto che non capisco è questo : $(YA')' = I'$ ----> $(A')'Y' = I$ ----> $AY = I$ (non dovrebbe essere invece $AY' = I$ ?? )


Evidenzierei che $(YA^t)^t = I^t = I \Rightarrow AY^t = I$ (ho semplificato) ma il passaggio successivo E' SBAGLIATO. Tra l'altro deve venire esattamente quello perché se $Y$ è l'inverso di $A^t$ allora $Y^t$ è l'inverso di $A$. Non stiamo lavorando con matrici ortogonali o simili...

Senza considerare che quello che hai scritto non dimostra proprio nulla.

Crazylemon
si, ma qualcuno mi potrebbe gentilmente scrivere una dimostrazione esatta per intero? Grazie.

Gatto891
"Gatto89":

$S = S\cdotI = S\cdot(AD) = (SA)\cdotD = I\cdotD = D$

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