Ringrazio in anticipo chiunque voglia aiutarmi.
Supponiamo che io debba risolvere un sistema lineare la cui matrice dei coefficienti (ed eventualmente anche la colonna dei termini noti) dipenda da un parametro k. Per sapere se il sistema lineare è compatibile, applico Rouchè-Capelli e per fare ciò ho bisogno di ridurre la matrice (A|b) a scalini.
Il mio dubbio è il seguente: se nell'annullare un elemento ho bisogno, ad esempio, di dividere per k imponendo che k sia diverso da 0, come devo considerare questa condizione? Nel senso che l'ho dovuta imporre per ridurre la matrice a scalini, ma questo significa anche che è necessaria affinché il sistema abbia soluzione?
Un esempio pratico:
Consideriamo la matrice (A|b) seguente
$ ( ( 1 , 0 , k , 0 , 0 ),( 0 , 1 , k , -1 , 0 ),( 1 , 0 , 0 , 2 , 0 ),( 0 , 1 , 2 , -3 , 1 ),( 0 , 0 , 2k-2 , 0 , -1 ) ) $
Dopo qualche passaggio dell'algoritmo di Gauss ottengo
$ ( ( 1 , 0 , k , 0 , 0 ),( 0 , 1 , k , -1 , 0 ),( 0 , 0 , -k , 2 , 0 ),( 0 , 0 , 2-k , -2 , 1 ),( 0 , 0 , 2k-2 , 0 , -1 ) ) $
A questo punto, il modo normale di procedere è annullare l'elemento della 4° riga e 3° colonna, cioè 2-k. Per fare ciò, d'altra parte, dove sommare alla riga 4 la riga 3 moltiplicata per (2-k)/k, e per fare ciò devo porre k diverso da 0.
La domanda è allora, questa condizione su k deve essere considerata fra quelle necessarie alla compatibilità del sistema?