TRANSFORMACIONES LINEALES

En primer lugar debo aclara, que T: R3--->R4 definida por T(x, y, z)= (x-y, 0, -y+z, x-2z) si es una transformacin lineal, basta con probar que para todo (x,y,z), (x', y', z') de R3 y para todo escalar k de R: T((x, y, z) + (x', y', z') ) = T(x, y, z) + T(x', y', z') y T( k(x, y, z) ) = k T(x, y, z) Una transformacin lineal es esencialmente una funcin por lo que es posible usar las definiciones tanto de funcin inyectiva como de funcin sobreyectiva para determinar de qu tipo es la transformacin lineal dada. Pero al tratarse de transformaciones lineales tenemos otra alternativa, por ejemplo usar la condicin necesaria y suficiente para que una transformacin lineal sea inyectiva. Resumiendo, podemos emplear lo siguiente:

Sea T: V ---> W una transformacin lineal: * T es inyectiva si y solo si N(T) = {0v} (slo para transformaciones lineales)
Adems:

* T es sobreyectiva si y solo si Im(T) = W (Im es el conjunto imagen)

luego si hallas el ncleo y la imagen de T puedes determinar si T es inyectiva y/o sobreyectiva. Para obtener el ncleo de una transformacin lineal debemos buscar aquellos vectores del primer espacio (R3), cuya imagen es el vector nulo del segundo espacio (R4), as: N(T) = {(x, y, z) de R3 / T (x, y, z) = (0,0,0,0)} = {(x, y, z) de R3 / (x-y, 0, -y+z, x-2z) = (0,0,0,0)}, luego (x, y, z) pertenece al ncleo si satisface la igualdad (x-y, 0, -y+z, x-2z) = (0,0,0,0) por igualdad de cuaternas ordenadas se tiene: x - y = 0 -------> x = y 0=0 -y+z=0 --------> z = y x-2z =0 --------> z = x/2 lo que conduce a: x = y = z = 0 luego el N(T) = {(0, 0, 0, 0)}y es una transformacin lineal inyectiva. Evidentemente hay un error en la transformacin lineal dada o en el resultado del ncleo. Una transformacin lineal que arroje los resultados que indicas sera por ejemplo: T(x, y, z) = (x-2y, 0, y+z, x-2z), en ese caso y con el mismo procedimiento obtendras el ncleo mencionado, pero la transformacin no sera inyectiva. Ahora bien, presta atencin a lo que he marcado con azul en el conjunto N(t) = {(x, y, z) / x/2 = y = z}, se trata de las dos ecuaciones cartesianas de una recta en R3 , luego el N(t) es el conjunto de puntos de dicha recta.

Para hallar el conjunto imagen se procede de forma similar: Im(T) = {(x, y, z, t) de R4 / existe (x', y', z'): T(x', y', z') = (x, y, z, t)} = ={(x, y, z, t) de R4 / existe (x', y', z'): (x' - y', 0, -y' + z', x'- 2z') = (x, y, z, t)}, luego (x, y, z, t) pertenece a la imagen de T si verifica la igualdad: (x-y, 0, -y+z, x-2z) = (x, y, z, t) de donde surge el sistema de 4 ecuaciones lineales con incgnitas x', y', z' : x' - y' = x 0=y -y' + z' = z x' - 2z' = t Aplicamos Gauss-Jordan, analizamos el rango de la matriz de coeficientes y el de la matriz ampliada para concluir finalmente que el sistema ser compatible si y solo si y = 0; luego Im(T)= {(x, y, z, t) e R4 / y = 0} nuevamente observamos la ecuacin pintada en azul y como estamos en R4 corresponde a la ecuacin de un hiperplano.