ndice

Introduccin.(2)

Objetivo....(3)

Inversa de una transformacin lineal(3-4)

Efectos geomtricos de una transformacin lineal.(5-9)

Aplicacin Matlab o Maple..(10-11)

Glosario..(12)

Bibliografa.(14)

INTRODUCCIN

Para comenzar una transformacin lineal es un conjunto de operaciones que se realizan sobre un vector para
convertirlo en otro vector. En ocasiones trabajar con vectores es muy sencillo ya que pueden ser fcilmente
interpretados dentro de un contexto grfico, lamentablemente no siempre ocurre y es necesario transformar a
los vectores para poderlos trabajar ms fcilmente. Por otra parte, trabajar con sistemas lineales es mucho
ms sencillo que con sistemas no lineales, ya que se puede utilizar una tcnica llamada superposicin, la cual
simplifica de gran manera gran variedad de clculos, por lo que es de gran inters demostrar que un proceso
puede ser reducido a un sistema lineal, lo cual solo puede lograrse demostrando que estas operaciones
forman una transformacin lineal.

Se denomina transformacin lineal, funcin lineal o aplicacin lineal a toda aplicacin cuyo dominio y
condominio sean espacios vectoriales.
En 1920 E.H. Moore introduce el concepto de una inversa generalizada para una matriz arbitraria. En 1955 R.
Penrose da una investigacin detallada de la nocin anterior. A partir de esos momentos el concepto de
inversa generalizada se vuelve uno de los temas de mayor estudio en matemticas. Nashed en 1700 da una
lista de referencias sobre el tema. Desarrollaremos los fundamentos geomtricos y algebraicos esenciales para
construir una inversa generalizada de una transformacin lineal T arbitraria.
En particular construiremos la inversa generalizada de Moore-Penrose y estudiaremos sus propiedades
esenciales.

Ya adentrados en el tema de Transformaciones lineales, el tema a desarrollar es el de la transformacin lineal

inversa tratando de averiguar Bajo que condiciones se puede hablar de una inversa de T?, y tendremos
como objetivo principal dar las condiciones equivalentes al hecho de que la transformacin T sea inversible,
estudiar las propiedades de la inversa de T, cuando sta exista y, por ltimo, relacionar este anlisis con las
matrices que representan a las transformaciones correspondientes.

Inversa de una transformacin lineal

Sean V y U espacios vectoriales y T: V -> U una transformacin lineal. Se dice que la transformacin T es
inversible si existe una transformacin lineal S: U -> V tal que S T=Idv y T S=Idu, donde Idv e Idu son los
operadores identidad en V y U especficamente.1

Por lo anterior podemos afirmar lo siguiente:

Teorema 1
Dada una transformacin lineal T: U V existe una transformacin inversa T -1: V U, si y solo si, la
transformacin original es biyectiva, esto es:
Dim U= Dim V
Dim N(T) =0
En trminos de matrices asociadas tenemos que:
TMT
T-1 MT-1 = (MT)-1

PITA Ruiz Claudio de J., Algebra Lineal, McGRAW-HILL, Mxico, 1993, pgs.. 347-365.

Propiedades de la transformacin inversa:

Si F:U V y T:VW son dos transformaciones biyectivas, y l es un escalar del campo sobre el que estn
definidos V y W entonces
T-1es nica
(T-1)-1= T
(TF)-1=F-1T-1
(l T)-1= l-1T-1; si l 0

Teorema 2
Sea T: V una transformacin lineal. Si T-1 existe, entonces es una trasformacin lineal.

Teorema 3
Sean T:VW una transformacin lineal, V un espacio de dimensin finita y A, B bases de V y W
respectivamente.
T-1 existe si y solo si MAB (T) es no singular
Si T-1 existe, entonces MBA(T-1 ) = [MAB(T)]-1

Biyectiva
Una funcin es biyectiva si al mismo tiempo es inyectiva y sobrayectivas, es decir, si todos los elementos del
conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de
llegada le corresponde un elemento del conjunto de salida.
Teorema
Si

es una funcin biyectiva, entonces su funcin inversa

existe y tambin es biyectiva.

Efectos geomtricos de las transformaciones lineales.

Algunos tipos de efectos geomtricos de la transformacin son la traslacin, escalamiento, expansin

horizontal o vertical, contracciones horizontales o verticales y reflexiones sobre los ejes coordenados.

Traslacin.
Deforma la figura, ya sea horizontalmente o verticalmente.
Por ejemplo:
a) La transformacin T(x, y, z) = (x, y) su interpretacin geomtrica es (x,y,z) representa un segmento
dirigido cualquiera del espacio cartesiano tridimensional, T transforma dicho segmento en su
proyeccin sobre el plano X-Y.
b) T(x) =Ix+b= x+b si b 0, esta transformacin es no lineal, a esta transformacin se le llama traslacin
por b.
Una traslacin por un vector b 0 desplaza a una figura sumando b a todos sus puntos. Una
transformacin afn es una transformacin lineal seguida de una traslacin.
Matriz Asociada:
; 0 < k < 0; Trasquilado horizontal sobre el eje x.
; 0 < k < 0; trasquilado vertical sobre el eje y.

Escalamiento:
El escalamiento consiste en simplemente multiplicar la transformacin por un escalar, para agrandar o reducir
la imagen. T(x,y) = (x,y) = (kx, ky), todo depender del valor del escalar.
Matriz Asociada:
; Donde

 Expansin horizontal o vertical:

Consiste en multiplica solo una variable ya sea X o Y, por un escalar, expandiendo o contrayendo la figura.
Matriz Asociada:
; 0 < k < 1; Contraccin Horizontal.
; k > 1; Expansin Horizontal.
; 0 < k < 1; Contraccin Vertical.
; 0 < k < 1; Expansin Vertical.

Reflexiones sobre los ejes coordenados.

Sobre el eje X-----( x,y ) ------------ ( x,-y ).
Matriz Asociada:
--------------------------------------Sobre el eje Y------( x,y )-------------(-x,y ).
Matriz Asociada:
--------------------------------------Sobre el origen-------( x, y)-------------(-x, -y ).
Matriz Asociada:
---------------------------------------

Ejemplos
Trasquilado.
Aplicar las transformaciones el cuadrado unitario que se muestra en la figura.
Dx (x, y) = (x-2y, y)
Dy (x, y) = (x, 2x+y)

Vrtices del cuadrado

A (0, 0)
B (1, 0)
C (1, 1)
D (0, 1)

Dx
(0, 0)
(1, 0)
(-1, 1)
(-2, 1)

Dy
(0 ,0)
(1, 2)
(1, 3)
(0, 1)

Dx

Dy

Escalamiento.

Obtener las imgenes de los vectores de posicin de la homotecia H (x, y) = (1/2x, 1/2y), para el cuadrado que
se muestra en la figura y H (x, y) = (3x. 3y), para el triangulo.

Vrtices del cuadrado

A (5, 2)
B (8, 2)
C (8, 5)
D (5, 5)

H (x, y)
( 5/2, 1)
(4, 1)
(4, 5/2)
(5/2, 5/2)

X
Se puede observar como lo hace ms pequeo, debido a que K < 1

Vrtices del triangulo

A (1, 1)
B (4, 2)
C (2, 4)

H (x, y)
(3, 3)
(12, 6)
(6, 12)

Obsrvese que en este caso la figura se hace mas grande, ya que, K> 1.
Expansiones y contracciones horizontales y verticales.
Obtener la contraccin horizontal y vertical cuando K = y la expansin horizontal y vertical cuando K = 2, al
cuadrado unitario que se muestra en la figura.
Contracciones y expansiones horizontales.

K=

K=2

Expansiones y contracciones Verticales.

Reflexiones Sobre Los ejes coordenados.

Aplicar las reflexiones al triangulo mostrado en la figura.
Vrtices
A (-4, 2)
B (-6, 1)
C (-7, 4)

Reflexin en X
(-4, -2)
(-6. -1)
(-7, -4)

Reflexin en Y
(4, 2)
(6, 1)
(7, 4)

Reflexin en O
(4, -2)
(6, -1)
(7, -4)

MATLAB

MATLAB (abreviatura de MATrix LABoratory, "laboratorio de matrices") es un software matemtico que ofrece
un entorno de desarrollo integrado (IDE) con un lenguaje de programacin propio (lenguaje M). Est
disponible para las plataformas Unix, Windows y Apple Mac OS X.
Entre sus prestaciones bsicas se hallan: la manipulacin de matrices, la representacin de datos y funciones,
la implementacin de algoritmos, la creacin de interfaces de usuario (GUI) y la comunicacin con programas
en otros lenguajes y con otros dispositivos hardware. El paquete MATLAB dispone de dos herramientas
adicionales que expanden sus prestaciones, a saber, Simulink (plataforma de simulacin multidominio) y
GUIDE (editor de interfaces de usuario - GUI). Adems, se pueden ampliar las capacidades de MATLAB con
las cajas de herramientas (toolboxes); y las de Simulink con los paquetes de bloques (blocksets).
Es un software muy usado en universidades y centros de investigacin y desarrollo. En los ltimos aos ha
aumentado el nmero de prestaciones, como la de programar directamente procesadores digitales de seal o
crear cdigo VHDL.

Algunas aplicaciones a las transformaciones lineales y a las representaciones geomtricas de las

transformaciones lineales pueden ser:

Consistente en dibujar un cubo. Para ello se crear un fichero llamado cubo.m que contenga las aristas
correspondientes, definidas mediante los vrtices del cubo como una lnea poligonal continua (obsrvese que
algunas aristas se dibujan dos veces). El fichero cubo.m define una matriz A cuyas columnas son las
coordenadas de los vrtices, y cuyas filas son las coordenadas x, y y z de los mismos. A continuacin incluye la
llamada a la funcin plot3:
% fichero cubo.m
close all
A=[0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0
0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1
0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0];
plot3(A(1,:)',A(2,:)',A(3,:)') )

Ya solo tendramos que empezar a jugar con ella

10

% fichero cubo.m
close all
A=[0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0
001100000110001111
0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0]*3;
plot3(A(1,:)',A(2,:)',A(3,:)')

Otro ejemplo
function picos
% movie
[x,y,z]=peaks; n=20;
for j = 1:n
t=(2*pi/19)*(j-1);
z1=sin(t)*z;
surf(x,y,z1),axis([-3 3 -3 3 -5 5])
F(j) = getframe;
end
movie(F,3)

11

Glosario

"Injectivo" significa que cada elemento de "B" tiene como mucho uno de "A" al que corresponde (pero esto no
nos dice que todos los elementos de "B" tengan alguno en "A").
"Sobreyectivo" significa que cada elemento de "B" tiene por lo menos uno de "A" (a lo mejor ms de uno).
"Biyectivo" significa inyectivo y sobreyectivo a la vez. As que hay una correspondencia perfecta "uno a uno"
entre los elementos de los dos conjuntos.

Definiciones formales
Inyectivo
Una funcin f es inyectiva si, cuando f(x) = f(y), x = y.
Ejemplo: f(x) = x2 del conjunto de los nmeros naturales

es una funcin inyectiva.

(Pero f(x) = x2 no es inyectiva cuando es desde el conjunto de enteros

porque tienes por ejemplo

(esto incluye nmeros negativos)

f(2) = 4 y
f(-2) = 4)
Nota: inyectiva tambin se llama "uno a uno", pero esto se confunde porque suena un poco como si fuera
biyectiva.
Sobreyectivo (o tambin "epiyectivo")
Una funcin f (de un conjunto A a otro B) es sobreyectiva si para cada y en B, existe por lo menos
un x en A que cumple f(x) = y, en otras palabras f es sobreyectiva si y slo si f(A) = B.
As que cada elemento de la imagen corresponde con un elemento del dominio por lo menos.
Ejemplo: la funcin f(x) = 2x del conjunto de los nmeros naturales
es sobreyectiva.
Sin embargo, f(x) = 2x del conjunto de los nmeros naturales
ejemplo, ningn elemento de

al de los nmeros pares no negativos

no es sobreyectiva, porque, por

va al 3 por esta funcin.

Biyectiva
Una funcin f (del conjunto A al B) es biyectiva si, para cada y en B, hay exactamente un x enA que cumple
que f(x) = y
Alternativamente, f es biyectiva si es a la vez inyectiva y sobreyectiva.
Ejemplo: La funcin f(x) = x2 del conjunto de nmeros reales positivos al mismo conjunto es inyectiva y
sobreyectiva. Por lo tanto es biyectiva.

12

(Pero no desde el conjunto de todos los nmeros reales porque podras tener por ejemplo
f(2)=4 y
f(-2)=4)

13

Bibliografa

PITA Ruiz Claudio de J., Algebra Lineal, McGRAW-HILL, Mxico, 1993, pgs.. 347-365.
Apuntes De Algebra Lineal, profesora: Ing. Alicia Pineda Ramirez, Paginas: 28-30
http://es.wikipedia.org/wiki/MATLAB

14