Lezione 10


1 Sistemi lineari

Riprendiamo lo studio dei sistemi di equazioni lineari alla luce di ciรฒ che abbiamo appreso sulle matrici.

Dato un sistema S๐‘† di m๐‘š equazioni lineari in n๐‘› incognite

S:{a1,1โขx1+a1,2โขx2+โ‹ฏ+a1,nโขxn=b1a2,1โขx1+a2,2โขx2+โ‹ฏ+a2,nโขxn=b2โ‹ฏam,1โขx1+am,2โขx2+โ‹ฏ+am,nโขxn=bm

indichiamo con A=(ai,j)๐ดsubscript๐‘Ž๐‘–๐‘— la matrice costituita dei coefficienti delle incognite, con X=(x1,โ€ฆ,xn)๐‘‹subscript๐‘ฅ1โ€ฆsubscript๐‘ฅ๐‘› il vettore colonna costituito dalle n๐‘› incognite e con B=(b1,โ€ฆ,bm)๐ตsubscript๐‘1โ€ฆsubscript๐‘๐‘š il vettore colonna dei termini noti.

Ricordando la definizione del prodotto di una matrice per un vettore, รจ immediato verificare che il sistema S๐‘† รจ equivalente alla seguente equazione:

AโขX=B,๐ด๐‘‹๐ต

cioรจ

(a1,1a1,2โ€ฆa1,na2,1a2,2โ€ฆa2,nโ‹ฎโ‹ฎโ‹ฑโ‹ฎam,1am,2โ€ฆam,n)โข(x1x2โ‹ฎxn)=(b1b2โ‹ฎbm)matrixsubscript๐‘Ž11subscript๐‘Ž12โ€ฆsubscript๐‘Ž1๐‘›subscript๐‘Ž21subscript๐‘Ž22โ€ฆsubscript๐‘Ž2๐‘›โ‹ฎโ‹ฎโ‹ฑโ‹ฎsubscript๐‘Ž๐‘š1subscript๐‘Ž๐‘š2โ€ฆsubscript๐‘Ž๐‘š๐‘›matrixsubscript๐‘ฅ1subscript๐‘ฅ2โ‹ฎsubscript๐‘ฅ๐‘›matrixsubscript๐‘1subscript๐‘2โ‹ฎsubscript๐‘๐‘š

Ricordiamo che un sistema lineare AโขX=B๐ด๐‘‹๐ต รจ detto omogeneo se B=0๐ต0.

Teorema. Lโ€™insieme delle soluzioni di un sistema lineare omogeneo di m๐‘š equazioni in n๐‘› incognite a coefficienti in K๐พ รจ un sottospazio vettoriale di Knsuperscript๐พ๐‘›.

Dimostrazione. Siano X1subscript๐‘‹1 e X2subscript๐‘‹2 due soluzioni del sistema AโขX=0๐ด๐‘‹0. Per ogni ฮป1,ฮป2โˆˆKsubscript๐œ†1subscript๐œ†2๐พ, si ha

Aโข(ฮป1โขX1+ฮป2โขX2)=ฮป1โขAโขX1+ฮป2โขAโขX2=ฮป1โ‹…0+ฮป2โ‹…0=0,๐ดsubscript๐œ†1subscript๐‘‹1subscript๐œ†2subscript๐‘‹2subscript๐œ†1๐ดsubscript๐‘‹1subscript๐œ†2๐ดsubscript๐‘‹2โ‹…subscript๐œ†10โ‹…subscript๐œ†200

quindi anche ฮป1โขX1+ฮป2โขX2subscript๐œ†1subscript๐‘‹1subscript๐œ†2subscript๐‘‹2 รจ una soluzione del sistema in questione. Ciรฒ significa che lโ€™insieme delle soluzioni del sistema AโขX=0๐ด๐‘‹0 รจ un sottospazio vettoriale di Knsuperscript๐พ๐‘›.

Nel caso di sistemi non omogenei, si ha:

Teorema. Ogni soluzione del sistema lineare non omogeneo

S:AโขX=B:๐‘†๐ด๐‘‹๐ต

puรฒ essere espressa come somma di una soluzione particolare di S๐‘† con una soluzione del sistema omogeneo associato. In altri termini, se indichiamo con ฮฃBsubscriptฮฃ๐ต lโ€™insieme delle soluzioni di S๐‘† e con ฮฃ0subscriptฮฃ0 lโ€™insieme delle soluzioni del sistema omogeneo associato AโขX=0๐ด๐‘‹0, si ha ฮฃB=โˆ…subscriptฮฃ๐ต (se S๐‘† non ammette soluzioni), oppure

ฮฃB=Xยฏ+ฮฃ0={Xยฏ+Y:Yโˆˆฮฃ0},subscriptฮฃ๐ตยฏ๐‘‹subscriptฮฃ0conditional-setยฏ๐‘‹๐‘Œ๐‘Œsubscriptฮฃ0

ove Xยฏยฏ๐‘‹ รจ una qualsiasi soluzione di S๐‘†.

Dimostrazione. Supponiamo che il sistema lineare non omogeneo S:AโขX=B:๐‘†๐ด๐‘‹๐ต ammetta soluzioni e indichiamo con Xยฏยฏ๐‘‹ una sua soluzione. Sia X~~๐‘‹ unโ€™altra soluzione di S๐‘† e poniamo Y=X~โˆ’Xยฏ๐‘Œ~๐‘‹ยฏ๐‘‹. Si ha

AโขY=Aโข(X~โˆ’Xยฏ)=AโขX~โˆ’AโขXยฏ=Bโˆ’B=0,๐ด๐‘Œ๐ด~๐‘‹ยฏ๐‘‹๐ด~๐‘‹๐ดยฏ๐‘‹๐ต๐ต0

quindi Y๐‘Œ รจ una soluzione del sistema omogeneo AโขX=0๐ด๐‘‹0.

Dato che X~=Xยฏ+Y~๐‘‹ยฏ๐‘‹๐‘Œ questo dimostra che ogni soluzione X~~๐‘‹ di S๐‘† รจ la somma di Xยฏยฏ๐‘‹ con una soluzione del sistema omogeneo associato.

Ora dimostreremo che il rango per righe di una matrice concide con il suo rango per colonne.

Teorema. Sia A๐ด una matrice con m๐‘š righe e n๐‘› colonne. Indichiamo con r๐‘Ÿ il numero di righe linearmente indipendenti (rango per righe) e con c๐‘ il numero di colonne linearmente indipendenti (rango per colonne). Allora r=c๐‘Ÿ๐‘.

Dimostrazione. Indichiamo con C1,C2,โ€ฆ,Cnsubscript๐ถ1subscript๐ถ2โ€ฆsubscript๐ถ๐‘› le colonne della matrice A๐ด. Per determinare il numero di colonne linearmente indipendenti dobbiamo considerare combinazioni lineari del tipo

C1โขx1+C2โขx2+โ‹ฏ+Cnโขxn=0.subscript๐ถ1subscript๐‘ฅ1subscript๐ถ2subscript๐‘ฅ2โ‹ฏsubscript๐ถ๐‘›subscript๐‘ฅ๐‘›0

Si ottiene cosรฌ il sistema

{a1,1โขx1+a1,2โขx2+โ‹ฏ+a1,nโขxn=0a2,1โขx1+a2,2โขx2+โ‹ฏ+a2,nโขxn=0โ‹ฏam,1โขx1+am,2โขx2+โ‹ฏ+am,nโขxn=0

cioรจ AโขX=0๐ด๐‘‹0. Questo significa che il numero c๐‘ di colonne linearmente indipendenti รจ determinato dallโ€™insieme delle soluzioni del sistema AโขX=0๐ด๐‘‹0 e, pertanto, sistemi equivalenti, cioรจ sistemi con lo stesso insieme di soluzioni, hanno lo stesso rango per colonne c๐‘.

Per risolvere il sistema AโขX=0๐ด๐‘‹0 riduciamo la matrice A๐ด in forma a scala, ottenendo una matrice Aโ€ฒsuperscript๐ดโ€ฒ con m๐‘š righe, ma nella quale solo le prime r๐‘Ÿ righe non sono nulle. Possiamo quindi cancellare tutte le righe nulle ottenendo una matrice Aโ€ฒsuperscript๐ดโ€ฒ avente solo r๐‘Ÿ righe non nulle. Dato che i sistemi AโขX=0๐ด๐‘‹0 e Aโ€ฒโขX=0superscript๐ดโ€ฒ๐‘‹0 hanno le stesse soluzioni, le matrici A๐ด e Aโ€ฒsuperscript๐ดโ€ฒ hanno anche lo stesso rango per colonne c๐‘. Dato che la matrice Aโ€ฒsuperscript๐ดโ€ฒ ha r๐‘Ÿ righe, i vettori colonna di Aโ€ฒsuperscript๐ดโ€ฒ sono elementi di Krsuperscript๐พ๐‘Ÿ, il quale ha dimensione r๐‘Ÿ. Pertanto il numero c๐‘ di colonne linearmente indipendenti deve essere minore o uguale a r๐‘Ÿ: cโ‰คr๐‘๐‘Ÿ. Questo significa che, per ogni matrice A๐ด, vale la disuguaglianza cโ‰คr๐‘๐‘Ÿ. Ragionando allo stesso modo con la matrice trasposta di A๐ด si conclude che deve essere rโ‰คc๐‘Ÿ๐‘ e quindi r=c๐‘Ÿ๐‘.

Siamo ora in grado di determinare delle condizioni che garantiscono lโ€™esistenza di soluzioni di un sistema di equazioni lineari.

Teorema. Sia S:AโขX=B:๐‘†๐ด๐‘‹๐ต un sistema di m๐‘š equazioni lineari in n๐‘› incognite. Le condizioni seguenti sono equivalenti:

  1. 1.

    Il sistema S๐‘† ammette soluzioni;

  2. 2.

    Il vettore B๐ต รจ combinazione lineare delle colonne di A๐ด;

  3. 3.

    Il rango della matrice A๐ด รจ uguale al rango della matrice completa (A|B)conditional๐ด๐ต, ove questโ€™ultima รจ la matrice ottenuta aggiungendo ad A๐ด la colonna B๐ต dei termini noti.

Dimostrazione. Osserviamo che, se indichiamo con C1,C2,โ€ฆ,Cnsubscript๐ถ1subscript๐ถ2โ€ฆsubscript๐ถ๐‘› le colonne della matrice A๐ด, il sistema S:AโขX=B:๐‘†๐ด๐‘‹๐ต si scrive come segue:

C1โขx1+C2โขx2+โ‹ฏ+Cnโขxn=B.subscript๐ถ1subscript๐‘ฅ1subscript๐ถ2subscript๐‘ฅ2โ‹ฏsubscript๐ถ๐‘›subscript๐‘ฅ๐‘›๐ต

Questa scrittura esprime il vettore B๐ต come combinazione lineare delle colonne della matrice A๐ด, pertanto risulta evidente lโ€™equivalenza delle condizioni (1) e (2).

Consideriamo ora la condizione (3). Sia r๐‘Ÿ il rango della matrice A๐ด, pertanto tra le colonne di A๐ด ce ne sono esattamente r๐‘Ÿ linearmente indipendenti. Se ora aggiungiamo la colonna B๐ต dei termini noti possono accadere solo due cose: il rango aumenta di 11, e questo accade se e solo se la colonna B๐ต che abbiamo aggiunto รจ linearmente indipendente dalle colonne di A๐ด, oppure il rango non cambia, e questo accade se e solo se la colonna B๐ต รจ linearmente dipendente dalle colonne di A๐ด.

Dato che abbiamo giร  osservato che il sistema S๐‘† ha soluzioni se e solo se la colonna B๐ต รจ combinazione lineare delle colonne di A๐ด, questo dimostra che S๐‘† ha soluzioni se e solo se il rango della matrice completa (A|B)conditional๐ด๐ต รจ uguale al rango di A๐ด.

Quanto visto finora ci consente di dimostrare il seguente teorema:

Teorema (di Rouchรฉโ€“Capelli). Sia S:AโขX=B:๐‘†๐ด๐‘‹๐ต un sistema di m๐‘š equazioni lineari in n๐‘› incognite. S๐‘† ammette soluzioni se e solo se rangoโข(A)=rangoโข(A|B)rango๐ดrangoconditional๐ด๐ต. In tal caso, se indichiamo con r๐‘Ÿ il valore comune dei ranghi delle due matrici, si ha:

  1. 1.

    se r=n๐‘Ÿ๐‘› il sistema ammette unโ€™unica soluzione;

  2. 2.

    se r<n๐‘Ÿ๐‘› il sistema ammette infinite soluzioni, le quali dipendono da nโˆ’r๐‘›๐‘Ÿ parametri liberi di variare (in tal caso si dice che S๐‘† ammette โˆžnโˆ’rsuperscript๐‘›๐‘Ÿ soluzioni).

Dimostrazione. Il fatto che lโ€™uguaglianza tra i ranghi delle matrici A๐ด e (A|B)conditional๐ด๐ต sia una condizione necessaria e sufficiente per la risolubilitร  del sistema S๐‘† รจ stato dimostrato prima.

Riducendo il sistema S๐‘† in forma a scala tramite lโ€™eliminazione di Gauss otteniamo un sistema che ha r๐‘Ÿ equazioni indipendenti e n๐‘› incognite. Se r=n๐‘Ÿ๐‘› รจ possibile determinare il valore di tutte le incognite, quindi la soluzione รจ unica. Se invece r<n๐‘Ÿ๐‘› possiamo ricavare solo r๐‘Ÿ delle n๐‘› incognite in funzione delle rimanenti nโˆ’r๐‘›๐‘Ÿ incognite che sono libere di variare, cioรจ possono assumere qualunque valore nel campo K๐พ. Questo significa che il sistema ha infinite soluzioni che dipendono da nโˆ’r๐‘›๐‘Ÿ parametri liberi di variare.