[Sissa '08] Sul determinante di $^cA$

Messaggioda Steven » 17/10/2010, 18:51

Sia $A$ matrice $n\times n$ a coefficienti reali.
Indico con \( \displaystyle ^cA \) la matrice dei cofattori di \( \displaystyle A \) , i.e. \( \displaystyle ^cA := (b_{ij}) \)
dove \( \displaystyle b_{ij} \) è il prodotto tra \( \displaystyle (-1)^{i+j} \) e il determinante della matrice ottenuta da \( \displaystyle A \) sopprimendo la $j$-esima riga e la $i$-esima colonna

Si determini il valore \( \displaystyle \text{det}(^cA) \) .

La mia soluzione, mi sono accorto purtroppo dopo poco tempo, non è valida per le matrici singolari.
Lì per lì non mi è riuscito di aggiustare questo caso, comunque sia la dimostrazione nel caso non singolare è semplice.

Buon divertimento. :wink:
Steven
Cannot live without
Cannot live without
 
Messaggio: 4977 di 5708
Iscritto il: 12/11/2006, 14:47

Messaggioda j18eos » 17/10/2010, 19:01

Testo nascosto, fai click qui per vederlo
Essendo \( \displaystyle \forall A\in GL(n;\mathbb{R}),\,A^{-1}=\det(A)^{-1}(^cA)^T \) ed \( \displaystyle A\times A^{-1}=I \) , per il teorema di Binét e per le proprietà del determinante di una matrice quadrata: \( \displaystyle 1=\det(A)\det(A^{-1})=det(A)det((det(A^{-1})^cA)^T)=\det(A)\det(A)^{-n}\det(^cA)=\det(A)^{1-n}\det(^cA) \)
\( \displaystyle \Rightarrow \det(^cA)=\det(A)^{n-1} \) .
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 1618 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Messaggioda Steven » 17/10/2010, 19:15

Ok, ma questo appunto non copre il caso "$A$ non invertibile".
Steven
Cannot live without
Cannot live without
 
Messaggio: 4978 di 5708
Iscritto il: 12/11/2006, 14:47

Messaggioda j18eos » 17/10/2010, 19:16

Lo sò :-D ho iniziato dalla invertibilità di \( \displaystyle A \) ; sull'altro caso ci penserò!
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 1623 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Messaggioda dissonance » 17/10/2010, 19:35

Testo nascosto, fai click qui per vederlo
Secondo me la risposta è sempre la stessa per continuità. Infatti $A^C, det(A), A^{n+1}$ sono funzioni continue della $A$ e ogni matrice singolare si può approssimare con una successione di matrici non singolari.
dissonance
Moderatore
Moderatore
 
Messaggio: 5346 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Messaggioda j18eos » 17/10/2010, 19:58

Dico pubblicamente che tale è una soluzione parziale per il caso di matrici singolari.
Testo nascosto, fai click qui per vederlo
Sia \( \displaystyle A\in\mathbb{R}^n_n\mid n\geq2;\,\matrm{rank}A\leq n-2 \) allora \( \displaystyle det(^cA)=0 \) . Se fosse \( \displaystyle n=1 \) sarebbe \( \displaystyle A=^cA\Rightarrow det(A)=det(^cA) \)
Ultima modifica di j18eos il 17/10/2010, 23:35, modificato 2 volte in totale.
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 1624 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Messaggioda maurer » 17/10/2010, 21:35

Testo nascosto, fai click qui per vederlo
Se \( \displaystyle \det A \ne 0 \) la domanda è triviale. Infatti, in tal caso è ben risaputo che, con le notazioni del post precedente, \( \displaystyle A^{-1} = \frac{1}{\det A} B \) , sicché \( \displaystyle (\det A)A^{-1} = B \) e quindi \( \displaystyle \det B = (\det A)^n \det(A^{-1}) = (\det A)^{n-1} \) .

L'idea ora è di mostrare che se \( \displaystyle \det B \ne 0 \) , allora \( \displaystyle \det A \ne 0 \) .
Se \( \displaystyle A \) è la matrice nulla, tale è pure \( \displaystyle B \) sicché \( \displaystyle \det B = 0 \) . Supponiamo ora che \( \displaystyle A \) non sia nulla. Allora esiste una riga non interamente nulla; sia essa la riga \( \displaystyle i \) .
Supponiamo che \( \displaystyle \det B \ne 0 \) . Allora le colonne di \( \displaystyle B \) sono linearmente indipendenti e quindi

\( \displaystyle a_{i1} \left(\begin{matrix}b_{11} \\ b_{21} \\ \vdots \\ b_{n1}\end{matrix}\right) + a_{i2} \left(\begin{matrix}b_{12} \\ b_{22} \\ \vdots \\ b_{n2}\end{matrix}\right) + \ldots + a_{in}\left(\begin{matrix}b_{1n} \\ b_{2n} \\ \vdots \\ b_{nn}\end{matrix}\right) \ne \left(\begin{matrix}0 \\ 0 \\ \vdots \\ 0 \end{matrix}\right) \)

Quindi deve esistere un \( \displaystyle j \) tale che

    \( \displaystyle a_{i1}b_{j1} + a_{i2}b_{j2} + \ldots + a_{in}b_{jn} \ne 0 \)
senonché per il Teorema di Laplace l'espressione scritta prima è identicamente nulla quando \( \displaystyle j \ne i \) (infatti, coincide con il determinante di una matrice avente la riga 1 e la riga j uguali). Quindi \( \displaystyle j = i \) e pertanto, ancora per il Teorema di Laplace segue che

    \( \displaystyle \det A = a_{11}b_{j1} + a_{12}b_{j2} + \ldots + a_{1n}b_{jn} \ne 0 \)
il che risolve completamente il problema: si ha, infatti, che \( \displaystyle \det B = (\det A)^{n-1} \) se \( \displaystyle n > 1 \) , mentre se \( \displaystyle n = 1 \) , \( \displaystyle \det B = \det A \) .
maurer
Cannot live without
Cannot live without
 
Messaggio: 505 di 3089
Iscritto il: 31/07/2008, 12:11
Località: Milano!

Messaggioda dissonance » 17/10/2010, 22:36

dissonance
Moderatore
Moderatore
 
Messaggio: 5348 di 27757
Iscritto il: 24/05/2008, 19:39
Località: Nomade

Messaggioda Steven » 19/10/2010, 19:44

Ok, mi piace. :)

Per chi leggesse, suppongo che maurer (mi corregga se sbaglio) volesse scrivere

\( \displaystyle \det A = a_{j1}b_{j1} + a_{j2}b_{j2} + \ldots + a_{jn}b_{jn} \ne 0 \) (ho aggiustato un pedice).

e inoltre deve essere, più sopra, $j=i$ o quello sarebbe il determinante di una matrice di con righe $i$ e $j$ uguali.
Steven
Cannot live without
Cannot live without
 
Messaggio: 4979 di 5708
Iscritto il: 12/11/2006, 14:47

Messaggioda maurer » 19/10/2010, 20:34

@steven: esatto... ora non posso più editare il messaggio, ma si tratta di un errore di trascrizione. Se qualche mod volenteroso volesse modificare il mio messaggio, faccia pure, ma credo che si capisca lo stesso, dopo l'intervento di steven.
maurer
Cannot live without
Cannot live without
 
Messaggio: 506 di 3089
Iscritto il: 31/07/2008, 12:11
Località: Milano!

Prossimo

Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite