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

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.

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} \) .

Ok, ma questo appunto non copre il caso "$A$ non invertibile".

Lo sò ho iniziato dalla invertibilità di \( \displaystyle A \) ; sull'altro caso ci penserò!

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.

[j18eos]

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.

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:
https://www.matematicamente.it/forum/pos ... tml#450195

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: 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.