domingo, 4 de octubre de 2015

Clasificar y resolver ...

ENUNCIADO. Clasificar el siguiente sistema de ecuaciones lineales y resolverlo ( si tiene solución )
$$\left\{\begin{matrix}
2\,x&+&y&-&z&=&1\\
x&-&y&+&z&=&0\\
x&+&2\,y&-&2\,z&=&1\\
\end{matrix}\right.$$
SOLUCIÓN.
Reduciendo el sistema por Gauss podremos saber cuál es el número de ecuaciones linealmente independientes ( es decir, el rango del sistema ). Para ello, realizamos las operaciones elementales ( combinaciones lineales ) entre ecuaciones que sean necesarias para escalonar el sistema.

Primer etapa:

las siguientes combinaciones lineales
$e_3-e_2 \rightarrow e_3$
$-2\,e_2 + e_1 \rightarrow e_2$
nos llevan a

$$\left\{\begin{matrix}
2\,x&+&y&-&z&=&1\\
{\bf 0}\cdot x&+&3\,y&-&3\,z&=&1\\
{\bf 0}\cdot x&+&3\,y&-&3\,z&=&1\\
\end{matrix}\right.$$

Segunda etapa:

Con la combinación lineal
$e_3-e_2 \rightarrow e_3$
obtenemos el escalonamiento de ceros deseado

$$\left\{\begin{matrix}
2\,x&+&y&-&z&=&1\\
{\bf 0}\cdot x&+&3\,y&-&3\,z&=&1\\
{\bf 0}\cdot x&+&{\bf 0}\cdot y&+&0 \cdot z&=&0\\
\end{matrix}\right.$$


Contabilizando el número de ecuaciones ( de este sistema equivalente ) que son identicamente no-nulas, vemos que sólo son dos ( la primera y la segunda ), esto es, el rango del sistema, $r$, es $2$. Como estas dos ecuaciones son compatibles entre sí, el sistema es compatible ( tiene solución ); y, teniendo en cuenta que el número de incógnitas, $n$, que es $3$, es menor que el rango, concluimos que el sistema es compatible indeterminado ( ha de tener infinitas soluciones ). Veamos a continuación cómo están ligadas estas infinitas soluciones; para ello, debemos entender que de las $3$ incógnitas ( variables ), $n-r$ deben tomar el papel de variables secundarias, por lo que hay $3-2=1$ variable secundaria, cuyos valores en la solución los podremos elegir libremente; y, $r=2$ variables principales. Elijamos ahora una de las tres variables como secundaria ( da lo mismo cuál de ellas escogemos ): pongamos que $z$; y, para remarcar su carácter ( de variable secundaria ), la denotaremos por $\lambda$ ( es decir, designamos $z:=\lambda$ ). Hecho esto, escribamos el sistema de ecuaciones equivalente ( y reducido por Gauss ):

$$\left\{\begin{matrix}
2\,x&+&y&-&\lambda&=&1\\
&&3\,y&-&3\,\lambda&=&1\\
\end{matrix}\right.$$

donde hemos ya prescindido de la última ecuación, que es trivial ( no aporta información alguna ). Trasladando al segundo miembro los términos que dependen de $\lambda$, llegamos a

$$\left\{\begin{matrix}
2\,x&+&y&=&1+\lambda\\
&&3\,y&=&1+3\,\lambda\\
\end{matrix}\right.$$

Despejando ahora $y$ de la segunda ecuación obtenemos $$y=\dfrac{1}{3}+\lambda$$ y sustituyendo este resultado en la primera ecuación encontramos la forma que debe tener $x$ ( en función de $\lambda$ ) $$2\,x+\dfrac{1}{3}+\lambda=1+\lambda$$ es decir $$2\,x=1-\dfrac{1}{3}+\lambda-\lambda$$ simplificando y despejando $x$ del primer miembro $$x=\dfrac{1}{3}$$ con lo cual concluimos que la solución del sistema de ecuaciones son las infinitas ternas ( por ternas de números podemos entender puntos en el espacio tridimensional ) $$\{(\dfrac{1}{3},\dfrac{1}{3}+\lambda,\lambda): \lambda \in \mathbb{R}\}$$

Nota: Como cada ecuación representa un plano en el espacio tridimensional, interpretamos la solución como los infinitos puntos de una recta ( que es el resultado de la intersección de los tres planos ). El que estos infinitos puntos alineados dependan de un parámetro, encaja con la noción de que una recta tiene un grado de libertad ( geométrica ).
$\square$

[autoría]