Proprietà del determinante e matrici simili (conseguenza del Teorema di Cramer)

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
#2887
avt
xavier310
Sfera
Vorrei porvi una problema su una proprietà del determinante che riguarda le matrici simili - la proprietà è una conseguenza del teorema di Binet. Potreste spiegarmi cos'è GL_(n)(R)? Abbiamo trattato anche le classi di similitudine, però non ho capito granché. Potreste chiarirmi questi concetti?

Dimostrare che se A ∈ Mat(n,R) e B ∈ GL_n(R) allora:

det(B^(-1)AB) = det(A)

Grazie.
#2888
avt
Ifrit
Amministratore
Prima di occuparci del problema, forniamo una definizione.

GL_(n)(R) è il gruppo generale lineare, ossia l'insieme composto dalle matrici invertibili di ordine n e a coefficienti reali. In simboli

GL_n(R) = M∈ Mat(n,R): M è invertibile

Nel precedente link abbiamo dimostrato che questo insieme è un gruppo rispetto all'operazione di moltiplicazione tra matrici.

L'esercizio ci chiede di dimostrare un vero e proprio teorema, il quale garantisce che il determinante è un invariante per similitudine.

Più esplicitamente, il teorema sancisce che due matrici simili hanno lo stesso determinante.


Teorema sull'invarianza del determinante per similitudine

Se A∈ Mat(n,R) e B∈ GL_n(R) si ha che det(B^(-1)A B) = det A


Dimostrazione

Per ipotesi sappiamo che B∈ GL_n(R) pertanto è una matrice invertibile e il suo determinante è diverso da 0,

det(B) ne 0

Per il teorema di Binet, il determinante del prodotto di matrici coincide con il prodotto dei determinanti, perciò sussiste l'uguaglianza:

det(B^(-1)A B) = det(B^(-1))det(A)det(B)

Dal teorema di Binet segue inoltre che il determinante dell'inversa di una matrice invertibile è uguale con il reciproco del determinante della matrice data

det(B^(-1)) = (1)/(det(B))

Se procediamo con le dovute sostituzioni, ricaviamo la seguente uguaglianza:

det(B^(-1)A B) = (1)/(det(B)) det(A)det(B)

Semplifichiamo det(B) e scriviamo quella che è a tutti gli effetti la tesi

det(B^(-1)A B) = det(A)

Come volevasi dimostrare.


Approfondimento sulle classi di similitudine matriciali


Un piccolo approfondimento sulle classi di similitudine


Ricordiamo che due matrici A, B∈ Mat(n,R) si dicono simili se esiste una matrice M∈ GL_n(R) tale che:

A = M^(-1) B M

È possibile dimostrare abbastanza facilmente che

A ~ B ⇔ ∃ M invertibile tale che A = M^(-1)B M

è una relazione di equivalenza in Mat(n,R).

La relazione di equivalenza induce una partizione dell'insieme Mat(n,R) in classi di equivalenza, dette anche classi di similitudine.

Ad esempio la classe di similitudine di A è

[A] = B∈ Mat(n,R) : ∃ M invertibile tale che A = M^(-1)B M

ed è formata da tutte le matrici B simili con A.

Alla luce del teorema che abbiamo dimostrato, possiamo asserire inoltre che se due matrici appartengono alla stessa classe di similitudine, allora hanno lo stesso determinante.
Ringraziano: Omega, frank094, xavier310
  • Pagina:
  • 1