Determinanti

Da Wikiversità, l'università aperta.

Avanzamento lezione: 50%.svg 50% al 26-11-2009.


Materia:Algebra Lineare > Determinanti

Indice


Lo scopo di questa lezione è dare le conoscenze basilari sulle proprietà dei determinanti di matrici quadrate e fornire allo studente la capacità di poter lavorare più o meno immediatamente con i sistemi lineari. Una trattazione dei determinanti che utilizza strumenti più avanzati la troveremo più avanti, una volta affrontati gli spazi vettoriali e le applicazioni lineari.

[modifica] Definizione di Determinate di una matrice quadrata

Diamo ora una definizione generale di 'deteminante attraverso la formula di Leibniz

Definizione: Si dice determinante di una matrice quadrata n \times n quel numero reale formato dalla seguente formula:
\sum_{\sigma \in S_n} \sgn(\sigma) \prod_{i=1}^n A_{i, \sigma(i)}
Nella formula, Sn è l'insieme di tutte le permutazioni σ dell'insieme numerico \{1,2,\ldots,n\} e sgn(σ) denota il segno della permutazione (+1 se σ è una permutazione pari, -1 se è permutazione dispari).

Non è tra i sistemi più comodi per trovare un determinante e non è nemmeno l'unica definizione possibile di determinante (ne vedremo altre più avanti quando avremo strumenti più evoluti), e infatti non lo useremo mai per questo scopo. Ci serve però per poter studiare le proprietà di questo particolare numero reale associato ad ogni matrice quadrata.

[modifica] Determinanti per matrici 2 x 2 e 3 x 3

Sono matrici particolari per il quale è possibile calcolare il determinante mediante meccanismi "meccanici". Vediamone il perché:

\det \left(\begin{array}{cc}a_{1,1} & a_{1,2} \\a_{2,1} & a_{2,2}\end{array}\right) = \sum_{\sigma \in S_2} \sgn(\sigma) \prod_{i=1}^2 A_{i, \sigma(i)}= a_{1,1}a_{2,2} - a_{1,2}a_{2,1}

Invece che calcolarsi le permutazioni ed il loro segno, si può giungere a tale risultato moltiplicando gli elementi della diagonale della matrice e sottrarre il prodotto tra gli elementi della diagonale inversa.

\det \left(\begin{array}{ccc}a_{1,1} & a_{1,2} & a_{1,3} \\a_{2,1} & a_{2,2} & a_{2,3}\\ a_{3,1} & a_{3,2} & a_{3,3}\end{array}\right) = \sum_{\sigma \in S_3} \sgn(\sigma) \prod_{i=1}^3 A_{i, \sigma(i)}=
= a1,1a2,2a3,3 + a1,3a3,2a2,1 + a1,2a2,3a3,1 − a1,3a2,2a3,1 − a1,1a2,3a3,2 − a1,2a2,1a3,3

Invece che calcolarsi anche qui tutte le 6 permutazione ed il loro segno, è molto comoda la Regola di Sarrus, un artificio che permette di calcolare più velocemente il determinante di una matrice 3 x 3. Si riscrivono le prime due colonne alla destra della matrice:

A = \begin{pmatrix} a_{1,1} & a_{1,2} & a_{1,3} &| a_{1,1} & a_{1,2}\\ a_{2,1} & a_{2,2} & a_{2,3} &| a_{2,1} & a_{2,2}\\ a_{3,1} & a_{3,2} & a_{3,3} &| a_{3,1} & a_{3,2} \end{pmatrix}

quindi si sommano le 3 "diagonali" che partono dall'alto a sinistra (diagonali principali)

a1,1a2,2a3,3 + a1,2a2,3a3,1 + a1,3a2,1a3,2

e si sottraggono le 3 "diagonali" che partono dal basso (sempre a sinistra) (diagonali secondarie):

a3,1a2,2a1,3 + a3,2a2,3a1,1 + a3,3a2,1a1,2

e si ottiene la formula del determinante scritta sopra.

Il determinante ha anche un significato importante geometrico e funzionale, ma queste cose le vedremo più avanti quando affronteremo gli spazi vettoriale e la geometria. Per ora è bene utilizzare il determinante come uno strumento per il nostro primo scopo, cioè trovare metodi di risoluzione dei sistemi lineari.

[modifica] Proprietà del determinante

Come abbiamo già detto, parlare di determinante di una matrice ha senso soltanto se la matrice in questione è quadrata. Quindi d'ora in avanti, quando parleremo genericamente delle proprietà del determinante di una matrice A, essa sarà sempre quadrata di tipo n x n.

Sia A una matrice quadrata n x n. Allora se

  1. A contienela riga h nulla, cioè contenente solo zeri, detA = 0
  2. detAt = detA
  3. B è la matrice ottenuta da A scambiando la riga (o colonna) i con la riga (o colonna) h, detB = − detA
  4. A contiene due righe (o colonne) uguali, detA = 0
  5. B è una matrice uguale ad A tranne la riga h-esima proporzionale alla riga h di A per un certo λ, detB = λdetA
  6. A ha due righe proporzionali, detA = 0
  7. gli elementi della matrice C sono somma degli elementi delle matrici A e B, detC = detA + detB
  8. si sostituisce alla riga i-esima di A una combinazione lineare delle altre righe di A, il determinante non cambia.
  9. \det AB = \det A \cdot \det B ( Teorema di Binet)

[modifica] Dimostrazione

[modifica] Complemento Algebrico

Sia A una matrice n x n. Ai,j si dice complemento algebrico di ai,j e

A_{i,j} = (-1)^{i+j} \cdot \det A_m

dove Am è la matrice ottenuta da A eliminando la riga i-esima e la colonna j-esima.

Ad esempio,

A = \left(\begin{array}{cc}a_{1,1} & a_{1,2} \\a_{2,1} & a_{2,2}\end{array}\right).

Il complemento algebrico dell'elemento a1,2 è

(-1)^{1+2 = 3} \cdot \det \left(\begin{array}{cc} -- & \mid \\a_{2,1} & \mid \end{array}\right) = -a_{2,1}

[modifica] Teorema di Laplace

Sia A \in M_{n,n} e siano 1 \leq i \leq j \leq n. Allora
\det A = \sum_{j=1}^n a_{i,j}A_{i,j}
dove Ai,j è il complemento algebrico dell'elemento ai,j.
Tale formula è detta sviluppo di Laplace del determinante rispetto alla riga i-esima.

Prima di vederne la dimostrazione, facciamo un esempio che chiarisca il funzionamento.

[modifica] Esempio
\det \left(\begin{array}{ccc}1 & 2 & 3 \\3 & 1 & 2 \\4 & 5 & 0\end{array}\right) = \det \left(\begin{array}{ccc}1 & 2 & 3 \\0 & -5 & -7 \\0 & 0 & -\frac{39}{5} \end{array}\right)

Quando vogliamo calcolare il determinante di una matrice con il metodo di Laplace, è bene sciegliere la riga (o la colonna) con il maggior numero possibile di zeri. Questo infatti ci semplificherà drasticamente i conti. Scegliamo dunque di calcolare il determinante con lo sviluppo di Laplace rispetto alla terza righa, ottenendo:

\det A = \sum_{j=1}^3 a_{3,j}A_{3,j} = 0 - 0 + (-1)^{3+3} -\frac{39}{5} \cdot \det \left( \begin{matrix} 1 & 2 \\ 0 & -5 \end{matrix} \right) = -\frac{39}{5} \cdot (-5) = 39

Ecco perché è importante riuscire ad annullare quanti più termini possibile della riga che ci interessa considerare per lo sviluppo di Laplace.

In sostanza, questo metodo ci consente di ridurre ogni volta il calcolo del determinante di una matrice n a quello di una matrice n-1 e iterandolo, arrivare a calcolare il determinante di una matrice 2 x 2 o 3 x 3 il cui determinante lo sappiamo calcolare facilmente (anche mediante artifici quali la regola di Sarrus). È comunque ovviamente possibile utilizzare il teorema di Laplace anche per calcolare il determinante di una matrice 2 x 2 o 3 x 3.

[modifica] Dimostrazione

[modifica] Esistenza della matrice inversa

Sia A una matrice quadrata. Allora:
  1. A è invertibile \Leftrightarrow \det A \neq 0
  2. Se \det A \neq 0 \Rightarrow \left( A^{-1} \right)_{h,k} = \left( \frac{1}{\det A} \cdot A_{h,k} \right)

[modifica] Dimostrazione

1. Se A è invertibile, allora esiste la sua inversa A − 1 tale che

A \cdot A^{-1} = {\rm id}
Possiamo allora anche calcolarne il determinante, cioè
det(AA − 1) = detid
e per il teorema di Binet
\frac{\det A}{\det A} = \det {\rm id} = 1 \Rightarrow \det A \neq 0

2. se \det A \neq 0

Estratto da "http://it.wikiversity.org/wiki/Determinanti"
Strumenti personali