Argomento di Geometria e Algebra Lineare. Fatto a lezione in L4, lun 28/9 (3 ore). Fonte: appunti della prof p. 7 (rango), p. 11 (teorema di Rouché-Capelli), p. 9-12 (esempio 4 con parametro); esercitazione 2 del tutor, mar 29/9, p. 3 (memo Rouché-Capelli), es. 3 e 4, p. 5-9. Prima: Algoritmo di Gauss-Jordan, da cui si prendono forma a scalini e pivot. Il rango torna nella L6 (6/10, “rango e invertibilità”), con le matrici.
A cosa serve. Gauss-Jordan risolve un sistema; Rouché-Capelli dice prima di risolverlo se ha soluzioni e quante. Con un parametro questo è l’unico modo ragionevole di procedere: si riduce una volta sola tenendo il parametro, si guarda dove i pivot possono annullarsi, e da lì si dividono i casi.
rg(A) < rg(A|b) -> incompatibile (nessuna soluzione)
rg(A) = rg(A|b) = n -> una sola soluzione
rg(A) = rg(A|b) < n -> infinite soluzioni, n - rg(A) parametri liberi
(n = numero di incognite = colonne di A)
1Definizioni
1.1Rango
La prof (p. 7): il rango di una matrice , , è il numero di pivot di una sua forma a scalini.
Il numero di pivot è anche il numero di righe non nulle della forma a scalini. Leggendo le righe come equazioni, il rango conta quante equazioni del sistema sono davvero indipendenti: le righe che diventano nulle erano conseguenza delle altre (l‘“info ripetuta, superflua” del tutor nell’es. 2).
Esempio della prof (p. 8): la forma a scalini dell’esempio 1
ha tre pivot, quindi rango .
Due fatti che vengono dalla definizione.
- numero di righe e numero di colonne: ogni pivot occupa una riga sua e una colonna sua.
- . Riducendo a scalini, le prime colonne sono una forma a scalini di ; la colonna in più può contenere al massimo un pivot in più.
2Enunciati
2.1Teorema di Rouché-Capelli
Ipotesi: un sistema lineare qualunque, equazioni e incognite, nessuna condizione su . Tesi: la compatibilità si decide confrontando due ranghi; il numero di soluzioni confrontando il rango con . Il confronto è sempre con le incognite, mai con le equazioni.
Nel caso 2 le soluzioni dipendono da parametri liberi: tante quante le colonne di senza pivot. Non c’è un terzo caso “un numero finito maggiore di uno”: un sistema lineare ha , o infinite soluzioni.
Dimostrazione (con Gauss-Jordan)
Le operazioni elementari non cambiano le soluzioni, quindi si può ragionare sulla forma a scalini di . Le prime colonne, , sono una forma a scalini di ; quindi = pivot di e = pivot di .
Se . C’è un pivot nell’ultima colonna. La sua riga è con , cioè l’equazione : nessuna ennupla la soddisfa. Incompatibile.
Se i ranghi sono uguali, . Nessun pivot nell’ultima colonna: le righe non nulle sono e ognuna ha il pivot su un’incognita. Le incognite delle colonne senza pivot si possono scegliere liberamente; per ogni scelta, risalendo dal basso, ogni riga determina la sua incognita di pivot dividendo per il pivot (). Si ottiene una soluzione, quindi il sistema è compatibile.
- : non ci sono variabili libere, la risalita dà una sola soluzione.
- : c’è almeno una variabile libera; valori diversi danno soluzioni diverse, che sono infinite.
Sono tutti i casi, quindi vale anche il “solo se”: compatibile implica che non ci sia la riga , cioè ranghi uguali.
2.2I tre esempi della prof, riletti
La prof (p. 11) rilegge con il teorema gli esempi 1, 2, 3 (Algoritmo di Gauss-Jordan), tutti con :
| esempio | conclusione | ||
|---|---|---|---|
| 1 | unica soluzione, | ||
| 2 | : infinite soluzioni, un parametro () | ||
| 3 | ranghi diversi: nessuna soluzione |
3Metodo
3.1Calcolare il rango
- Riduci a scalini con Gauss-Jordan (non serve la forma ridotta).
- Conta i pivot, cioè le righe non nulle.
Per e insieme: riduci una volta la matrice completa. sono i pivot nelle prime colonne, quelli di tutta la matrice.
3.2Discutere un sistema con un parametro
È lo schema dell’esempio 4 della prof e degli es. 3-4 del tutor.
- Scrivi e scegli i pivot fra i numeri senza parametro finché puoi (scambi di righe con ): un pivot che vale obbliga a dividere i casi subito.
- Riduci a scalini tenendo . Quando un’operazione richiede di dividere per un’espressione in , fermati: è un punto dove i casi si separano.
- Guarda gli elementi che dipendono da nella posizione di possibili pivot. Fattorizzali: si annulla per e .
- Per ogni valore critico sostituisci il valore nella matrice a scalini e ricalcola i due ranghi; per tutti gli altri valori i ranghi sono quelli generici.
- Applica Rouché-Capelli caso per caso e scrivi la conclusione per ogni .
- Se chiede le soluzioni: per i valori generici riduzione all’indietro con dentro (si può dividere per i pivot perché non è critico); per i valori critici compatibili si risolve la matrice numerica.
- Verifica: un valore generico comodo (es. se non è critico) sostituito nella soluzione generale e nel sistema di partenza.
4Esempi svolti a lezione
Prof, 28/9, esempio 4, p. 9-12: sistema con parametro
Trovare tutte le soluzioni al variare del parametro :
Quattro equazioni, tre incognite ().
Riduzione. porta su la riga che inizia con , senza parametro:
, , :
- ;
- ;
- .
La quarta riga è uguale alla seconda: con diventa nulla e la prof la cancella. Poi : , con terzo elemento e termine noto .
Ranghi. Il terzo pivot si annulla solo per .
- se ; se .
- per ogni : anche per la terza riga è , non nulla.
Compatibilità. Se : , esiste un’unica soluzione. Se : incompatibile, perché la terza equazione diventa .
La soluzione per (p. 12), con la riduzione all’indietro. Per la matrice è
: . Poi : ed : .
Verifica nel sistema di partenza con : ; ; ; .
In più (non fatto a lezione), per ogni . La stessa risalita con dentro dà
e per ritrova . Il denominatore è lo stesso fattore del pivot: per la formula perde senso esattamente dove il sistema diventa incompatibile.
Tutor, 29/9, es. 3, p. 5-7: compatibile per ogni
i) Per quali il sistema è compatibile? ii) Trovare tutte le soluzioni per ogni .
Riduzione. porta in alto la riga senza parametro.
(, e .) Per azzerare col pivot serve :
- terzo elemento: ;
- termine noto: .
i) Ranghi. Se : . Se : la terza riga è tutta nulla, . In entrambi i casi i ranghi sono uguali: compatibile per ogni . Unica soluzione per (), infinite per .
ii) . Si cancella la riga nulla; , , poi :
ii) . Si può dividere per proprio perché . , , :
Verifica: ; ; .
Tutor, 29/9, es. 4, p. 7-9: incompatibile per un valore, infinite per un altro
i) Per quali è compatibile? ii) Trovare tutte le soluzioni, ove possibile.
Riduzione. mette in alto la riga più semplice. Poi ed :
: .
i) Ranghi. Il pivot si annulla per e .
- : , unica soluzione.
- : terza riga , , infinite soluzioni.
- : terza riga , ma : incompatibile.
Compatibile se e solo se . (Nella scansione la terza riga della tabella di sembra dire ” se ”: è , come si vede dal fattore .)
ii) . La matrice diventa (riga nulla cancellata); dà . La colonna di è senza pivot:
ii) . : . Poi e , lecito perché :
: . : .
Verifica con : . Prima: ; seconda: ; terza: .
5Esercizi tipo esame
Esercizio 1. Determinare il rango di
al variare di .
Soluzione
: . : .
Gli elementi che possono fare da pivot sono (colonna 3) e (colonna 4). La colonna 2 non ha mai pivot.
- : tre pivot, , , . Rango 3.
- : la seconda riga è , la terza è nulla. Due pivot: rango 2.
- : seconda e terza riga nulle. Un pivot: rango 1 (le tre righe sono tutte ).
Controllo con : ha righe , , ; la terza ripete la prima, la seconda no. Rango 2.
Esercizio 2. Senza calcolare le soluzioni, dire quante soluzioni hanno i due sistemi, che differiscono solo nell’ultimo termine noto; poi risolvere quello compatibile.
Soluzione
Con o come ultimo termine noto: dà , dà , poi dà .
in entrambi i casi.
- (a), : ultima riga nulla, . Infinite soluzioni, parametro.
- (b), : ultima riga , . Incompatibile.
Soluzioni di (a): dà ; la colonna di è senza pivot, ; dalla prima .
Verifica: ; ; .
Esercizio 3. Dato il sistema
a) stabilire per quali è compatibile e per quali ha infinite soluzioni; b) trovare le soluzioni per i valori di che lo rendono compatibile.
Soluzione
a) : . : . Poi : , e .
Valori critici: (si annullano due pivot) e .
- : , unica soluzione.
- : seconda e terza riga nulle. , infinite soluzioni con due parametri.
- : terza riga . , : incompatibile.
Compatibile per ; infinite soluzioni solo per .
b) : resta . Colonne di e senza pivot: , , .
: dalla terza (si semplifica perché ). Dalla seconda, divisa per : , quindi . Dalla prima: .
Verifica con : soddisfa , , . Per simmetria ogni equazione dà .
6Errori tipici
- Confrontare il rango con il numero di equazioni invece che di incognite: nell’esempio 4 della prof ci sono 4 equazioni ma .
- Calcolare e dimenticare , o viceversa: servono tutti e due, e si leggono dalla stessa riduzione.
- Dividere per un’espressione col parametro (es. ) senza aver escluso il valore che la annulla.
- Trattare il caso critico usando la soluzione generale: per la formula non vale, si risostituisce nella matrice a scalini.
- Fermarsi a ” per ” senza guardare l’ultima colonna: è lì che si decide fra infinite soluzioni e incompatibile.
- Dire “due soluzioni” o “un numero finito di soluzioni”: per un sistema lineare sono , o infinite.
- Non fattorizzare: va scritto , altrimenti si perde uno dei due valori critici.
7Domande
-
Come si definisce il rango di una matrice? Perché è ben definito?
-
Perché il rango non può superare né il numero di righe né il numero di colonne?
-
Enuncia il teorema di Rouché-Capelli, con i due casi finali.
-
Perché può essere al massimo ?
-
Cosa significa, sulla matrice a scalini, che ?
-
Da quanti parametri dipendono le soluzioni di un sistema compatibile con incognite e rango ?
-
Può un sistema lineare avere esattamente due soluzioni? Perché?
-
Quali sono i passi per discutere un sistema lineare con un parametro?