LGEBRA DE LAS TRANSFORMACIONES LINEALES

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 facilmente interpretados dentro de un contexto grfico, lamentablemente no
siempre ocurre y es necesario transformar a los vectores para poderlos trabajar ms
facilmente. Por otra parte, trabajar con sistemas lineales es muco ms sencillo que con
sistemas no lineales, ya que se puede utilizar una t!cnica llamada superposicin, la cual
simplifica de gran manera gran variedad de clculos, por lo que es de gran interes demostrar
que un proceso puede ser reducido a un sistema lineal, lo cual solo puede lograrse
demostrando que estas operaciones forman una transformacin lineal.
"e denomina transformacin lineal, funcin lineal o aplicacin lineal a toda aplicacin cuyo
dominio y codominio sean espacios vectoriales y se cumplan las siguientes condiciones#
"ean V y W espacios vectoriales sobre el mismo campo K, y T una funcin de V en W. T es
una transformacin lineal si para cada par de vectores de u y v pertenecientes a V y para
cada escalar k perteneciente a K, se satisface que#
$.
2. donde % es un escalar.
"on aplicaciones lineales los operadores usados en la formulacin matemtica de la
mecnica cuntica. Para detalles espec&ficos sobre estos, ver el art&culo 'perador (mecnica
cuntica).
Propiedades de las transformaciones lineales
$.
*ransformacin +ineal "ingular y ,o "ingular
"ean y espacios vectoriales sobre el mismo campo y una transformacin lineal de
en . Entonces, es no singular si#
X
En caso contrario es singular.
*eorema fundamental de las transformaciones lineales
"ea - . /v$,v0,v1,...vn2 base de 3 y 4 . /5$, 50, 51,...5n n2 un conjunto de vectores de 6 no
necesariamente distintos, entonces existe una 7nica transformacin lineal
Para todo
4lasificacin de las transformaciones lineales
$. 8onomorfismo # "i es inyectiva, o sea si el 7nico elemento del n7cleo es el vector nulo.
0. Epimorfismo # "i es sobreyectiva (exaustiva).
1. 9somorfismo # "i es biyectiva (inyectiva y exaustiva).
:. Endomorfismo # "i o sea si el dominio es igual al codominio (el espacio vectorial de
salida y el de llegada son el mismo).
5. ;utomorfismo # "i es endomorfismo e isomorfismo a la vez.
<efinicin $ Sean espacios vectoriales, y sea . Diremos que es:
$. Una transformacin lineal (o morfismo ) si dados , ,
0. Un 8onomorfismo si es un morfismo inyectivo.
1. Un epimorfismo si es un morfismo sobreyectivo.
:. Un isomorfismo si es un morfismo biyectivo.
Adems llamaremos ( para abreviar) al espacio de morfismos de , donde es
la funcin constante cero, esto es:
la suma y producto escalar en se definen as!:
$. "i , entonces es la transformacin dada por .
0. "i , , entonces es la transformacin dada por.
TEOREMAS
2
TEOREMA 2.1 Si * # " # es una transformacin lineal, entonces " es dimensionalmente
finito si y slo si ,(*) y =(*) son dimensionalmente finitos, y en este caso,
dim(") . nulidad(*) > ran$o(*).
<emostracin
<ados dos espacios vectoriales " y # sobre un campo ?, definimos
+(", #) . /* # " # @ * es una transformacin lineal2.
"i *, U A +(", #) y a A ?, definimos a* > U # " B # como (a* > U)(%) . a*(%) > U(%) para toda
% A ?. Es un ejercicio verificar que a* > U es una transformacin lineal y que +(", #), junto
con estas operaciones de suma y de multiplicacin por escalares, es un espacio vectorial
sobre ?.
<efinimos el que una funcin fuera inyectiva, sobre y biyectiva. Es un ejercicio demostrar que
para una transformacin lineal * # " #, las siguientes condiciones son equivalentes#
* es inyectiva
,(*) . /C2 (es decir, nulidad(*) . C)
Para todo S D ", S es linealmente independiente si y slo si &(S) D # es linealmente independiente
*ambi!n se deja como ejercicio el verificar que si " y # son dos espacios vectoriales con la
misma dimensin (finita) y * # " # es una transformacin lineal, entonces * es inyectiva o
sobre si y slo si es biyectiva.
Una transformacin lineal es una funcin que preserva la estructura algebraica de espacio
vectorial, por lo que no toda funcin entre espacios vectoriales es una transformacin lineal.
<e eco, es sencillo encontrar funciones inyectivas, sobre, y biyectivas que no son
transformaciones lineales. Esto motiva las definiciones de monomorfismo, epimorfismo e
isomorfismo.
LEMA 2.2 "ean 3 y 6 dos espacios vectoriales sobre un campo ?. "upongamos que 3 es dimensionalmente
finito y que b . /x$, ..., xn2 es una base de 3. Entonces para todo /y$, ..., yn2 & 6, existe una unica transformacin
lineal * # 3 6 tal que *(xi) . yi para toda i . $, ..., n.
TEOREMA 2.3 En la categor&a de los espacios vectoriales dimensionalmente finitos, la
dimensin es un invariante completo de isomorfismo. Es decir, para cualesquiera dos
3
espacios vectoriales dimensionalmente finitos 3 y 6 sobre un campo ?, existe un
isomorfismo entre 3 y 6 si y slo si dim(3) . dim(6).
<emostracin
"ea " un espacio vectorial dimensionalmente finito sobre un campo ? y sea b . (%$, ..., %m)
una base ordenada de ". Para cada % A ", existen escalares 7nicos a$, ..., am A ? tales que % .
a$%$ > ... > am%m. <efinimos al vector coordenado de % relativo a b como
E % Fb . (
a$
#
am
),
Es fcil ver que el mapeo % @ E % Fb constituye un isomorfismo G # " 8n x $(?).
"ean " y # dos espacio vectoriales dimensionalmente finitos sobre un campo ?, b . /%$, ...,
%m2 una base ordenada de " y g . /y$, ..., %n2 una base ordenada de #. Para cada * A +(",
#), definimos la matri' asociada a * con respecto a las bases ordenadas b y g como
E*F
g
b
. ( E*(%$)Fg ... E*(%m)Fg ).
Por otro lado, dada una matriz A A 8n x m(?), la funcin +A # ?
m
B ?
n
definida por +A(%) . A%, es una transformacin
lineal (ejercicio).
*E'=E8; 0.: Sean " y # dos espacio vectoriales dimensionalmente finitos sobre un
campo ?, b . /%$, ..., %m2 una base ordenada de " y g . /y$, ..., yn2 una base ordenada de #.
(ntonces el mapeo * @ E*Fb
g
constituye un isomorfismo ? # +(", #) 8n x m(?). )s
a*n, para toda A A 8n x m(?), se tiene que ?
H$
(A) A +(", #) es tal que E?
H$
(A)Fb
g
. ;.
<emostracin
"ean " y # dos espacios vectoriales sobre un campo ?. "i * A +(", #), entonces existe una
matriz asociada a * por cada par de bases ordenadas b y g de " y # respectivamente. El
siguiente teorema (cambio de coordenadas) establece la relacin entre estas matrices.
TEOREMA 2.5 Sean " y # dos espacio vectoriales dimensionalmente finitos sobre un campo ?. "i b, bI son
dos bases ordenadas de " y g gI son dos bases ordenadas de #, entonces existe una matriz invertible + tal
que . (ntonces el mapeo * @ E*Fb
g
constituye un isomorfismo ? # +(", #) 8n x m(?). )s a*n, para toda
A A 8n x m(?), se tiene que ?
H$
(A) A +(", #) es tal que E?
H$
(A)Fb
g
. ;.
Ejercicios:
"ea un Hespacio vectorial y una transformacin lineal de de rango . <emostrar
que existe un escalar tal que .
4
Solucin. Puesto que , entonces existe un vector no nulo de tal que
, as&, para alg7n de . "ea un vector de , entonces
, es decir,
.J
Encontrar subespacios de tales que pero la suma no
es directa.
Solucin. "ea . Es claro
que En efecto, Pero
ntese que la suma no es directa ya que , puesto que el vector
.
"ea un Hespacio vectorial y sea un subespacio de . <ado denotemos por
el subconjunto de definido por . <enotemos por la
coleccin de todos estos subconjuntos, es decir, . <emostrar
que#
Solucin. (i) "i entonces luego y entonces
por tanto 3eamos aora el rec&proco# debemos
demostrar que # sea entonces .
Kemos demostrado que . "ea aora entonces
, luego emos probado la otra inclusin, es decir,
y de esta manera se tiene que .
(ii) 3eamos que la operacin de suma est bien definida#sea y entonces
debemos ver que # , entonces
, es decir, .
;ora revisemos las propiedades de la suma de vectores# la asociatividad y la
conmutatividad son consecuencia de las respectivas propiedades de la suma de vectores en
El cero del espacio cociente es
El opuesto del vector es . <e la misma forma se demuestra que la operacin de escalar
por vector est bien definida y adems se cumplen las otras propiedades de espacio
vectorial#
5
.
(iii) "ea , , sea una base de , seg7n la Prop L
del 4ap&tulo $, esta base se puede completar asta una base de
. 3amos a probar que el conjunto
es una base de veamos en primer lugar que este conjunto de clases
genera al espacio
"ea . en donde , podemos entonces expandir este elemento de la base
completada#
, tomamos las clases
, por tanto,
Kemos demostrado que .
3eamos aora que estas clases son +9# sean tales que
entonces , luego
, es decir,
y de esta forma , luego
En total se tiene que
6
7
8