Sistemes d’equacions
En aquest capítol estudiem les propietats bàsiques dels sistemes d’equacions sobre un cos.
Definició 1 (Sistema d’equacions) Donats
on, els elements
Direm que el sistema
Direm que els sistemes
Direm que el sistema d’equacions
Exemple 1 Es considera el següent sistema, a esquerra, de
Definició 2 ((In)Compatible | (In)Determinat) Un sistema d’equacions pot tindre solució o no tindre’n. En cas d’existir solució, anomenarem al sistema , en cas de no tindre’n, l’anomenarem . S’usaran les següents abreviatures
- [SC] Sistema Compatible;
- [SI] Sistema Incompatible.
Donat un sistema compatible, la solució del sistema pot ser única o no. En cas de tindre unicitat en la solució anomenarem al sistema , en cas de no tindre unicitat en la solució l’anomenarem . S’usaran les següents abreviatures
- [SCD] Sistema Compatible Determinat;
- [SCI] Sistema Compatible Indeterminat.
Exemple 2 Es consideren els següents sistemes d’una equació amb una incògnita sobre
El sistema
Definició 3 (Sistemes equivalents) Siguen
Observació. Tot sistema d’equacions té les mateixes solucions que ell mateix. Si un sistema d’equacions té les mateixes solucions que un altre, aquest altre té les mateixes solucions que l’original. Si un sistema d’equacions té les mateixes solucions que un altre i aquest altre té les mateixes solucions que un tercer, el primer sistema i el tercer tenen les mateixes solucions.
1 Operacions elementals
Hi han transformacions de sistemes d’equacions que ens permeten garantir que el sistema d’equacions resultant siga equivalent a l’original. Aquestes transformacions reben el nom d’operacions elementals. Les enumerem a continuació i demostrem que el sistema transformat és equivalent a l’original.
1.1 Intercanviar files
Donat un sistema
Proposició 1 Els sistemes d’equacions
Demostració. Siga
D’altra banda, si considerem una solució del sistema
1.2 Multiplicar una fila per un escalar no nul
Donat un sistema
Proposició 2 Els sistemes d’equacions
Demostració. Siga
D’altra banda, si considerem una solució del sistema
1.3 Sumar a una fila una altra multiplicada per un escalar
Donat un sistema
Proposició 3 Els sistemes d’equacions
Demostració. Siga
D’altra banda, si considerem una solució del sistema
2 Mètode de Gauss-Jordan
En l’anterior secció hem descrit tres famílies d’operacions elementals sobre sistemes d’equacions que transformen un sistema donat en un altre d’equivalent. L’aplicació successiva d’aquestes transformacions garantitza que el sistema transformat final siga equivalent a l’original.
Definició 4 (Sistemes equivalents per files) Siguen
Observació. Tot sistema d’equacions és equivalent per files amb ell mateix. La seqüència de transformacions elementals per fila que ho verifica és la seqüència buida. No cal fer res. Si un sistema d’equacions és equivalent per files a un altre, aquest altre també és equivalent per files a l’original. Només cal notar, com hem vist a les demostracions anteriors, que les operacions elementals per fila sempre es poden desfer per a retornar al sistema original. Si un sistema d’equacions és equivalent per files a un altre i aquest altre és equivalent per files a un tercer, el primer sistema i el tercer són equivalents per files. Només cal concatenar les respectives seqüències de transformacions elementals per fila per a passar del primer al tercer.
La importància d’aquesta discussió es veu clarament en el següent exemple.
Exemple 3 Considerem el sistema de
Notem que tots els sistemes d’equacions que apareixen en l’anterior seqüència són equivalents en virtut de les Proposicions 1, 2 i 3. La modificació feta té un objectiu últim, simplificar el sistema original. De fet en l’últim sistema ja podríem recuperar una solució per a la incògnita
Continuem amb el procés de simplificació des de l’últim sistema d’equacions.
Aquest procediment de simplificació ens ha permés obtindre tres conseqüències interessants: (1) que el sistema original és equivalent a l’últim, ja que hem passat d’un a l’altre mitjançant l’aplicació d’una seqüència finita d’operacions elementals, (2) que l’últim sistema admet únicament a
El que vorem en aquesta secció és que aquest procés de simplificació es pot donar en tot sistema d’equacions. Per a simplificar més encara el procediment el que farem serà representar els sistemes d’equacions mitjançant matrius. D’aquesta forma, evitarem repetir tota la informació supèrflua que arrosseguem en cada aplicació d’operacions elementals. Presentem a continuació una forma de representar tot sistema d’equacions mitjançant una matriu.
Definició 5 (Representació matricial) Donat el sistema d’
Anomenem representació matricial del sistema
on
Definim la matriu ampliada del sistema
La matriu ampliada té tamany
La introducció de la matriu ampliada d’un sistema ens permet quedar-nos amb la informació més relevant del sistema. D’aquesta forma, tot sistema d’
Aquesta codificació també ens permet parlar d’operacions elementals entre matrius com vorem en el següent exemple.
Exemple 4 Reescrivim la seqüència d’operacions elementals descrita en l’Exemple 3 utilitzant les corresponents matrius ampliades
El fet de treballar amb matrius ens permet observar amb major claredat que el procés seguit ens ha permés passar d’una matriu qualsevol a una matriu de coeficients intermitja esglaonada, la quarta, i a una matriu de coeficients esglaonada reduïda, l’última.
Per extensió del que hem vist fins al moment, introduïm la relació d’equivalència per files sobre el conjunt de les matrius d’un tamany determinat.
Definició 6 (Matrius equivalents per fila) Direm que dues matrius en
Observació. Ser equivalents per fila és una relació d’equivalència en
El procediment realitzat en l’Exemple 4 ens ha permés passar d’un sistema d’equacions a un sistema d’equacions que té com a matriu ampliada una matriu esglaonada reduïda. En la següent definició posem nom a aquesta propietat.
Definició 7 (Forma normal d’un sistema d’equacions) Donat un sistema lineal
Direm que un sistema
En les següents subseccions vorem com, donat un sistema d’equacions lineal, sempre podem trobar-li una forma normal per files i també demostrarem que aquesta forma normal per files és única.
2.1 Existència de forma normal
El següent algorisme ens garantitza que, donada una matriu qualsevol sempre podem transformar-la mitjançant l’aplicació d’una seqüència finita de transformacions elementals per fila en una matriu esglaonada reduïda per files. Açò ens permetrà garantir l’existència d’un procediment per obtindre formes normals per files de sistemes d’equacions lineals.
Proposició 4 (Mètode d’Eliminació de Gauss-Jordan) Siga
Demostració. Considerem la matriu
Si la matriu
- Pas 1. Si hi ha un element no nul en la primera columna d’
el portem a la posició .
Pot ocòrrer que (1) la primera columna d’
En cas (1), intercanviem la fila
En cas (2), deixarem queta la primera columna i començarem des del Pas 1 amb la submatriu d’
En qualsevol cas, garantim l’objectiu del Pas 1, és a dir, mitjançant una seqüència finita d’operacions elementals per fila, portar un element no nul a la posició
- Pas 2. Transformem l’element no nul
d’ en un .
Com que l’element
Garantim així l’objectiu del Pas 2, és a dir, mitjançant una seqüència finita d’operacions elementals per fila, assegurar que l’element
- Pas 3. Transformem tots els element de la primera columna d’
per davall d’ en .
Siga
Repetim fins completar tots els índexs
Garantim així l’objectiu del Pas 3, és a dir, mitjançant una seqüència finita d’operacions elementals per fila, assegurar que tots els element
- Pas 4. Treballem en la submatriu que resulta de llevar la primera fila i la primera columna.
Considerem la submatriu d’
Aquest procediment no pot repetir-se indefinidament, ja que en cada passada reduïm el tamany de la submatriu i el nombre de files i columnes d’
- Pas 5. Eliminem les entrades damunt dels pivots.
Per a completar la transformació d’una matriu esglaonada en una matriu esglaonada reduïda només caldrà, per a cada índex
Garantim, per tant, la transformació de la matriu esglaonada
Corol·lari 1 Tot sistema d’equacions es pot transformar mitjançant l’aplicació d’una seqüència finita d’operacions elementals en un sistema equivalent que té com a matriu ampliada una matriu esglaonada reduïda. És a dir, tot sistema d’equacions és equivalent per files a un sistema d’equacions en forma normal. Igualment, tota matriu és equivalent per files a una matriu en forma esglaonada reduïda per files.
2.2 Unicitat de la forma normal
Notem que el mètode de Gauss-Jordan permet obtindre una forma normal d’un sistema d’equacions qualsevol. En tot cas, aquest procediment no té per què ser únic. Tampoc sabem encara si la forma normal d’un sistema ha de ser necessàriament única. Açò és el que demostrarem a continuació per a sistemes d’equacions compatibles. El següent lema ens diu que, donats dos sistemes d’equacions compatibles en forma normal, si aquests sistemes d’equacions són equivalents és perquè són el mateix sistema.
Lema 1 Siguen
Demostració. Siguen
Ho farem per inducció sobre
- Cas base.
.
Si els dos sistemes estan en forma normal i tenen una única incògnita, les matrius ampliades necessàriament han de ser de la forma
Notem que les últimes columnes de les dues matrius no poden tindre pivots. Si els tinguera, els sistemes serien incompatibles, ja que tindríem una equació del tipus
Notem que el sistema
- Hipòtesi inductiva. Suposem l’enunciat cert per a sistemes amb, com a molt,
incògnites.
És a dir, si tenim dos sistemes compatibles amb, com a molt,
Anem a demostrar l’enunciat per a
Considerem el sistema d’equacions
De manera anàloga raonaríem per a
Concloem que els sistemes
Per tant, trobem que
Només queda demostrar que les primeres files són iguals. Considerem dos casos, en funció de si
- Cas 1.
té pivots
Primer de tot considerem el cas en què
Considerem el sistema d’equacions
Notem que les solucions del sistemes
De manera anàloga raonaríem per a
Concloem que els sistemes
- Cas 2.
no té pivots
Si la submatriu
Per tant, ens trobem en el cas
Notem que
Així trobem que les submatrius
Açò conclou la demostració del Lema 1.
Observació. En la demostració del Lema 1 és necessari que els sistemes siguen compatibles. Notem que els següents sistemes d’equacions són incompatibles, per tant són equivalents, en ser del mateix tamany, i estan en forma normal, però no són iguals.
Acabem aquesta secció amb una serie de resultats que són conseqüència directa del resultat d’unicitat que acabem de vore. El següent resultat ens diu que les dues relacions considerades fins al moment sobre sistemes d’equacions, és a dir, ser equivalents i ser equivalents per files, són iguals pel que respecta als sistemes compatibles.
Corol·lari 2 Siguen
i són equivalents per files. i són equivalents.
Demostració. Si
Per a l’altra implicació, suposem que
Ara, per a transformar el sistema
En el Corol·lari 1 ja vam vore que tota matriu és equivalent per files a una matriu en forma esglaonada reduïda per files. L’últim corol·lari d’aquesta secció ens garantitza la unicitat d’aquesta matriu en forma esglaonada reduïda.
Corol·lari 3 Siga
Demostració. Suposem que
3 Teorema de Rouché-Frobenius
El teorema de Rouché-Frobenius permet saber el nombre de solucions d’un sistema d’equacions en funció de la matriu de coeficients, de la matriu ampliada i del nombre d’incògnites associades al sistema. Per a fer-ho introduïm la noció de rang d’una matriu.
Definició 8 (Rang d’una matriu) Siga
Observació. De la pròpia definició de matriu esglaonada reduïda per files i de la definició de rang es dedueix que, per a tota matriu
Teorema 1 (Teorema de Rouché-Frobenius) Siga
El sistema d’equacions
és compatible si, i només si, .El sistema d’equacions
és compatible determinat si, i només si, .El sistema d’equacions
és compatible indeterminat si, i només si, . En aquest cas, tota solució del sistema d’equacions dependrà d’ paràmetres.
Demostració. Notem que
Si suposem que
El sistema associat és incompatible, ja que té una equació del tipus
Suposem ara que
- Cas 1. Totes les incògnites són principals.
En aquest cas, necessàriament es té que
Aleshores, la tupla
- Cas 2. No totes les incògnites són principals.
Apliquem Gauss-Jordan a la matriu
Considerem el conjunt
Corol·lari 4 Per a que un sistema d’equacions amb