Professional Documents
Culture Documents
Una transformacin es un conjunto de operaciones que se realizan sobre un vector para convertirlo en otro vector. Los espacios vectoriales son conjuntos con una estructura adicional, al saber, sus elementos se pueden sumar y multiplicar por escalares del campo dado, conviene utilizar funciones que preserven dicha estructura. Estas funciones se llamaran transformaciones lineales y en el presente capitulo las estudiaremos. Ms adelante mostraremos que las transformaciones lineales se pueden representar en trminos de matrices, y viceversa. Se denomina transformacin lineal a toda funcin cuyo dominio e imagen sean espacios vectoriales y se cumplan las condiciones necesarias. Las transformaciones lineales ocurren con mucha frecuencia en el lgebra lineal y en otras ramas de las matemticas, tienen una gran variedad de aplicaciones importantes. Las transformaciones lineales tienen gran aplicacin en la fsica, la ingeniera y en diversas ramas de la matemtica. Estudiaremos las propiedades de las transformaciones lineales, sus diferentes tipos, as como la imagen, el ncleo, y como se desarrolla en las ecuaciones lineales. Definicin de transformacin lineal y sus propiedades Definicin. Sean V y W espacios vectoriales sobre el mismo campo k. Una transformacin lineal de V en W, es una funcin Tal que: i)
ii)
En otras palabras, una transformacin lineal es una funcin que respeta las operaciones definidas en los espacios vectoriales: abre sumas y saca escalares.
Observaciones: i) Si En efecto Por la ley de la cancelacin en W, tenemos que Ntese que en realidad solo se usa la propiedad aditiva (i) de T. Este hecho lo usamos en el siguiente inciso. ii) es lineal si y solo si es una transformacin lineal, entonces
a) b) Ntese que usamos el hecho de que lo cual es consecuencia del comentario hecho al final del inciso (i). iii) es lineal si y solo si
a) b)
Si
entonces
Este ltimo inciso se puede abreviar usando la notacin sigma como sigue:
Veamos algunos ejemplos de transformaciones lineales, donde haremos uso extenso de la observacin (ii) de arriba.
Por lo tanto, vemos que Esta transformacin recibe el nombre de la transformacin cero y se denota como
Entonces T es lineal, ya que Esta transformacin recibe el nombre de la transformacin identidad de V en V, y se denota como
la traza de A, es decir
Ejemplo 6. Sea el espacio vectorial de todas las funciones continuas en un intervalo cerrado y sea tal que
Se denomina transformacin lineal a toda funcin cuyo dominio e imagen sean espacios vectoriales y se cumplan las siguientes condiciones: T(u+v) = T(u) + T(v) T(ku) = kT(u) donde k es un escalar.
Sea
un ngulo medido en radianes. Queremos averiguar cul es la en que gira cada vector .
transformacin T de un ngulo
En una grfica, vemos la situacin como sigue: Si usamos las funciones trigonomtricas, tenemos que:
Por lo tanto, ya descubrimos cmo debe estar definida la transformacin tal que
y es lineal, ya que:
Ejemplo 8. (Reflexin sobre el eje x) En este caso, queremos averiguar cmo est definida la transformacin T de en vector que cada vector . lo refleja sobre el eje x, para obtener un
En este caso, la situacin es ms sencilla ya que claramente tenemos dos tringulos rectngulos que son congruentes, de donde T queda definida como sigue:
Ejemplo 9. (Proyeccin ortogonal sobre el eje x) En este caso, queremos averiguar cmo est definida la transformacin T de en que a cada vector lo proyecta perpendicularmente sobre
el eje x, para obtener un vector En una grfica, vemos la situacin como sigue:
Tambin este caso es sencillo, pues es obvio que T queda definida como sigue:
Este ltimo ejemplo tiene ms fondo desde el punto de vista de lgebra Lineal. Consideremos el siguiente subespacio de :
Vemos que ste no es sino el eje x (sobre quien se efectu la proyeccin). Ahora bien, tiene un complemento directo, a saber, se escribe en forma nica como suma como sigue:
sobre
, el cual es
en la descomposicin anterior.
Todo esto nos induce a definir proyecciones sobre subespacios en general como sigue. Definicin. Sea V un espacio vectorial y sea el complemento directo de que cada vector Con y un subespacio tal que existe , de tal forma
se escribe en forma nica como: . Definimos entonces la proyeccin sobre tal que . , como aquella
transformacin
con
, entonces
con
En segundo lugar, vemos que esta definicin, incluye como caso especial a la de la proyeccin sobre el eje x. Sin embargo, vemos que no es suficiente con especificar sobre que subespacio queremos proyectar, sino tambin es necesario aclarar cul es el complemento directo que se estar usando, ya que un mismo subespacio puede tener distintos complementos directos. El mismo eje x, tiene el siguiente complemento directo:
Todo esto demuestra que . Usando esta descomposicin y la definicin de proyeccin, tendremos que en este caso, la transformacin queda dada como sigue:
As pues, por cada complemento directo que tengamos a la mano, podemos definir una proyeccin asociada a dicha descomposicin.
Ejemplo contraccin Una contraccin es una transformacin que decrece distancias. Bajo una contraccin, cualquier par de puntos es enviado a otro par a distancia estrictamente menor que la original.
Sea V= (2 4) encontrara la contraccin horizontal cuando K=1/2 Haciendo la grfica el punto disminuye en el eje horizontal.
Ejemplo dilatacin o expansin Una dilatacin es una transformacin que incrementa distancias. Sea V= (2 4) encontrara la expansin vertical cuando K=2 Expansin horizontal (k71) o contraccin (0<k<1) Expansin vertical (k71) o contraccin (0<k<1)
ker T = {v V: Tv = 0}
Obervacin. Note que ker T es no vaco ya que por el Teorema 1 de las Transformaciones Lineales, T(0) = 0 de manera que 0 ker T para toda transformacin lineal T. Ser interesante encontrar otros vectores en V que sean "mapeados al cero". De nuevo, ntese que cuando escribimos T(0) = 0, el 0 de la izquierda est en V, y el 0 de la derecha est en W.
Ejemplo: Hallar el conjunto de las preimgenes del vector nulo para la transformacin lineal
de
tales que
por lo tanto, con lo cual, (x;y;z) = (0;-(1/3)z;z) = z(0;-(1/3);1) As el conjunto de las preimgenes del vector nulo es el subespacio
Note que el resolver un sistema de ecuaciones lineales equivale a encontrar las preimgenes de un vector para una transformacin lineal dada.
Imagen de una transformacin lineal. Definicin. Sean V y W espacios vectoriales y sea T : V W una transformacin lineal. Entonces:
Teorema. Si T : V W es una transformacin lineal, entonces: i. ii. ker T es un subespacio de V. imag T es un subespacio de W.
Demostracin. i. Sean u y v en ker T; entonces T(u + v) = Tu + Tv = 0 + 0 = 0 y T(u) = Tu = 0 = 0 de modo que u + v y u estn en ker T. Sean w y x en imag T. Entonces w = Tu y x = Tv para dos vectores u y v en V. Esto significa que T(u + v) = Tu + Tv = w + x y T(u) = Tu = w. De esta manera w + x y w estn en imag T.
ii.
Ejemplo. Sea Tv = 0 para todo v V. (T es la transformacin cero.) Entonces ker T = V e imag T = {0}
matriz A M ( m,n, ) tal que T (v)= A v, vn Demostracin. Antes de efectuar la demostracin, es conveniente sealar que podemos identicar la n -upla(x1,x2,...,xn ) n con la matriz columna
Sea E = {E1, E2,..., En} la base cannica de n y E* = { E*1 ,E*2 ,...,E*m } base cannica de m. Sea v =(x1, x2,..., xn) n, entonces v se escribe como combinacin de los vectores de E como v = x1E1, x2E2,..., xnEn, as, aplicando la transformacin lineal T obtenemos T (v)= x1T(E1) + x2T(E2) + + xnT(En). (1)
Por otro lado, cada vector T(Ej) m se escribe como combinacin lineal de la base cannica E* como T(Ej) = a1jE*1 + a2jE*2 + amj E*m. Reemplazando esto ltimo en (1) obtenemos
de aqu deducimos que la i-sima componente de (v) es ai1x1 + ai2x2 + ai3x3 + ... + ainxn Si definimos A = (aij) M(m, n, ) entonces, dado que la i-sima componente de
Ejemplo. Sea T : 3 2 una transformacin lineal tal que T(x, y, z) = (2x + y, x + y +z). Determine A = [T]E*E y verifique. Solucin. Sean E = {E1 = (1,0,0), E2 = (0, 1, 0), E3 = (0, 0, 1)}, E*= {E*1 = (1,0), E*2 = (0, 1)} bases cannicas de 2 respectivamente, entonces:
entonces
Verificacin:
Bibliografa
http://sistemas.itlp.edu.mx/tutoriales/matematicas4/t53.htm