TEORIA DE TRANSFORMACIONES LINEALES

Se denomina aplicacin lineal, funcin lineal o transformacin lineal a toda aplicacin cuyo dominio y codominio sean espacios vectoriales que cumpla la siguiente definicin: Sean de a en y . espacios vectoriales sobre el mismo espacio o campo perteneciente a , se satisface que: ,y y una funcin pertenecientes

es una transformacin lineal si para todo par de vectores

y para todo escalar 1. 2.

donde k es un escalar.

Propiedades
Sean Si y espacios vectoriales sobre (donde representa el cuerpo) se satisface que: de la siguiente manera:

es lineal, se define el ncleo (ker) y la imagen (Im) de

Es decir que el ncleo de una transformacin lineal est formado por el conjunto de todos los vectores del dominio que tienen por imagen al vector nulo del codominio. El ncleo de toda transformacin lineal es un subespacio vectorial del dominio: 1. 2. 3. dado que Dados Dados

Se denomina nulidad a la dimensin del ncleo. La imagen de una transformacin lineal est formada por el conjunto de todos los vectores del codominio que son imgenes de al menos algn vector del dominio.

La imagen de toda transformacin lineal es un subespacio del codominio. El rango de una transformacin lineal es la dimensin de la imagen.

Teorema

Sea B = {v1,v2,v3,...vn} base de V y C = {w1, w2, w3,...wn} un conjunto de n vectores de W no necesariamente distintos, entonces existe una nica transformacin lineal T: V W que satisface:

Clasificacin

1. Monomorfismo: Si nulo. 2. Epimorfismo: Si 3. Isomorfismo: Si

es inyectiva, o sea si el nico elemento del ncleo es el vector es sobreyectiva (suryectiva). es biyectiva (inyectiva y suryectiva)

NCLEO O KERNEL, E IMAGEN DE UNA TRANSFORMACIN LINEAL

Definiciones Sean V y W espacios vectoriales sobre el mismo campo K y T una transformacin lineal de V en W. El ncleo o kernel de T es: N ( T ) ( Ker T ) = { v V : T ( v ) = 0 w }

Si

es lineal, se define el ncleo y la imagen de T de la siguiente manera:

Es decir que el ncleo de una transformacin lineal est formado por el conjunto de todos los vectores del dominio que tienen por imagen al vector nulo del codominio.

El ncleo de toda transformacin lineal es un subespacio del dominio: dado que T(0V) = 0W

1. 2. Dados 3. Dados

Se denomina nulidad a la dimensin del ncleo. Nulidad (T) = dim (Nu (T))

O sea que la imagen de una transformacin lineal est formada por el conjunto de todos los vectores del codominio que son imgenes de al menos algn vector del dominio. La imagen de toda transformacin lineal es un subespacio del codominio. El rango de una transformacin lineal es la dimensin de la imagen. rg(T) = dim(Im(T))

Sea

una transformacin lineal de

en

; se define el ncleo de

como

Ntese que

es un subespacio de

. Por otro lado, se define la imagen de Para algn

como

es un subespacio de conjuntos

. Si

es un subespacio de

es un subespacio de

, entonces los

Son subespacios de

respectivamente. Obsrvese que

,e

. La , y se denota

dimensin del espacio imagen por .

se conoce como el rango de la transformacin

Ejemplos:

1.- Si

es la proyeccin dada por

entonces el ncleo esta dado por:

Mientras que la imagen es:

Vemos en este ejemplo que el ncleo es el complemento directo mientras que la imagen es el subespacio sobre el cual se proyecta.

2.- Si

es una proyeccin sobre W subespacio de V, asociada a la descomposicin entonces

En efecto, recordemos que T(v) = X siempre que v = x + y , donde tenemos que:

Por lo tanto,

3.- Sea tal que T(x, y, z) = (x - y, y + z). Es fcil verificar que T es lineal, en este caso tenemos que el ncleo est dado por:

Mientras que la imagen queda como:

donde la ltima igualdad se prueba fcilmente por doble contencin.

MATRIZ DE UNA TRANSFORMACIN LINEAL

Sean V y W dos espacios vectoriales, V = {v1, v2,. . ., vn} una base ordenada de V, W = {w1, w2, . . . , wm} una base ordenada de W y T : V W una transformacin lineal. Entonces existe un unica matriz A Mmn(R) tal que para cada v V 1j, 2j,. . ., mj R tales que: [T (v)] W = A[v] V

Demostracin.

Para cada j {1, . . . , n}, existen escalares Mjwm T(vj) = 1jw1 + 2jw2 + +

es decir: [T(vj)]w=

Dado v V cualquiera, hagamos

Es decir De donde

Donde

Lo cual demuestra la existencia de la matriz A satisfaciendo la tesis del teorema. Probemos ahora su unicidad. Supongamos que B Mmn(R) es tal que para cada v V

Luego, para cada j {1, . . . , n}, tenemos que

Pero

Luego

Por lo tanto B = A

Reflexin

Algunas orientaciones deseables para los objetos tridimensionales no pueden ser obtenidas usando solamente giros. Con la reflexin se consigue un efecto espejo de modo que los objetos se ven reflejados en un plano. Cuando la reflexin se hace sobre uno de los planos ortogonales (x=0, o y=0, o bien z=0) la matriz de transformacin es sencilla, pues es similar a la matriz identidad, aunque siendo -1 el elemento que representa a la coordenada que es nula en el plano de reflexin. As, las matrices de reflexin para los planos XY, XZ son:

Cuando se quiere una reflexin sobre un plano cualquiera, el proceso se complica notablemente. La tcnica utilizada es similar a la del giro sobre eje arbitrario. En este caso, inicialmente se requiere definir un punto en el plano, y la normal al plano en ese punto. El proceso de reflexin se resume en los siguientes plazos: Trasladar el punto establecido del plano al origen de coordenadas. Realizar los giros oportunos para hacer coincidir el vector normal al plano de reflexin con uno de los ejes de coordenadas; as el problema se reduce a una simple reflexin sobre alguno de los planos del sistema de referencia. Por ejemplo, si el eje escogido es el Z, el plano de reflexin seria el XY. Realizar la reflexin sobre el plano seleccionado. La matriz neta podra ser, por ejemplo, el resultado de la composicin de las matrices [M] = [T]*[G]*[G]*[R]*[G]-1*[G]-1*[T]-1 x y z y x, si se opta por realizar las transformaciones para alinear el vector normal con el eje Z. en tal caso, la matriz de reflexin a utilizar seria la Rz.

APLICACIN DE LAS TRANSFORMACIONES LINEALES: REFLEXIN, DILATACIN, CONTRACCIN Y ROTACIN.

Rotacin otro tipo comn de transformacin en el plano es la rotacin o giro en torno a cualquier punto en el plano. Nos interesan principalmente las rotaciones en torno al origen. Rotacin en el plano: la transformacin | || |:| |2| |2 se define por

Y hace girar cada vector, 0 rad en sentido contrario a las de las manecillas del reloj en torno al origen. Por ejemplo, calculamos la imagen de (1,1) para |0==pi/2.

ROTACIN ENTORNO AL ORIGEN

COMPRESIONES EXPANSIONES Las compresiones y expansiones son escalamientos a lo largo de los ejes coordenados. Con mas precisin: para ||CC>c>0, la transformacin ||Cx X, =(cx,y) escala las coordenadas x es un factor de c, dejando inalteradas a las coordenadas y. Si 0<c<1 se trata de una compresin en la direccin del eje x positivo. Si ||c>1, se refiere a una expansin. Tambin se tiene compresiones y expansiones a lo largo del eje y, expresadas por | |C y x, = c,y para c>0. COMPRESION Y ESTIRAMIENTO A LO LARGO DEL EJE X.

Otro tipo son los escalamientos simultneos a lo largo de los ejes x y y, como C xy x, = cx,y con factores de escala ||c>0 y d>0 a lo largo de las direcciones x y y. ESCALAMIENTO A LO LARGO DE LOS EJES X Y Y.

Tanto | |Cx como | |Cy y Cxy son transformaciones matriciales de la forma Sx x,y =(x+cy,y). En otras palabras, cada punto se mueve a lo largo de la direccin x una cantidad proporcional a la distancia al eje x. Tambin hay cortes a lo largo del eje y: | |sy x,y =(x,cx+y) Sx y Sy son transformaciones matriciales cuyas matrices son

DESLIZAMIENTO A LO LARGO DEL EJE X.