Este sistema se puede escribir de la forma: Ux=v
donde:
U=(1201−421−10−11210152−31111−11−5)x=(x1x2x3x4x5)v=(abcde).
Si este sistema tiene solución entonces existe x* de forma que Ux*=v
es decir:
Ux=vtienesolución⇔v∈L{u1,u2,u3,u4,u5}⇔rango(U)=rango(U:v)
siendo ui el i-ésimo vector columna de la matriz U.
Supóngase que W=(w1,...,wp) donde L{w1,...,wp} es el subespacio ortogonal a L{u1,u2,u3,u4,u5}
en ℝ5. Entonces v∈L{u1,u2,u3,u4,u5}⇔WTv=0.
En definitiva:Ux=vtienesolución⇔WTv=0
Importante: Para analizar la compatibilidad de
un sistema de ecuaciones utilizando el algoritmo de descomposición
ortogonal no se necesita calcular el subespacio complementario por
lo que se puede suprimir la columna pivote después de cada
iteración.
Iteración 1
1
1
0
0
0
0
2
0
1
0
0
0
1
0
0
1
0
0
5
0
0
0
1
0
1
0
0
0
0
1
1
2
1
5
1
Iteración 2
2
-2
-1
-5
-1
1
1
0
0
0
2
0
1
0
0
2
0
0
1
0
1
0
0
0
1
-3
0
-8
-1
Iteración 3
0
-1
1/3
-1/3
-1
0
-8/3
-1/3
1
1
0
0
-3
0
1
0
-1
0
0
1
1
-1/3
1
Iteración 4
1
0
-1
0
-8/3
-1/3
0
1/3
2/3
1
1
0
1
0
1
1
0
Salida
-4
-1
-1
-1/3
1
2/3
1
0
-5
1
0
Luego, se cumple que L{(−1,−1/3,2/3,0,1)T}
es el ortogonal de L{u1,u2,u3,u4,u5}, lo que implica que la condición para que el sistema sea compatible es que (−1,−1/3,2/3,0,1)T•(a,b,c,d,e)T=0⇒3a+b−2c−3e=0