Professional Documents
Culture Documents
& 2 . / :u )$*
con lo que se prueba que es cerrado para la suma
c.> @onsideremos que & / :u )$* y que 6 es un n;mero real.
.ebe probarse que 6& / :u )$*
#i & / :u )$*, entonces $)&* + / )7*
En consecuencia, 6$)&* + 6/ + / )9*
4ero como $ es lineal 6$)&* + $)6&* )B*
8eemplazando )B* en )9* queda%
$)6&* + /
6& / :u )$*
con lo que se prueba que es cerrado para el producto por un escalar y en consecuencia, es un
subespacio "ectorial de &
0"# La Ima1en de &na $ransformaci%n inea es &n s&,es-acio .ec$oria de codominio
#ea $% & ' ( una trans!ormacin lineal.
&amos a demostrar que la Cmagen de la trans!ormacin lineal <Cm )$*= es un subespacio "ectorial
del codominio (.
8ecordemos que la Cm )$* es el con?unto !ormado por todos los elementos del codominio que
tienen su correspondiente preimagen.
4ara probar que Cm )$* es un subespacio "ectorial, debemos demostrar%
a.> Que Cm )$* no es un con?unto "aco.
b.> Que es cerrado para la suma.
c.> Que es cerrado para el producto por un escalar.
a.> Cm )$* no es "aco ya que una de las propiedades de las trans!ormaciones lineales, tal cual
sealramos cuando tratamos este tema con :u )$*, es que si una aplicacin $ es lineal, entonces
el "ector nulo del dominio tiene como imagen el "ector nulo del codominio.
Es decir $)/
&
* + /
(
En consecuencia, siempre Cm )$* tiene al menos un elemento, que es el "ector nulo del
codominio, cuya preimagen es el "ector nulo del dominio &.
b.> @onsideremos que & / Cm )$* y que . / Cm )$*
.ebe probarse que & 2 . / Cm )$*
#i & / Cm )$*, entonces existe al menos un "ector ' de & tal que $)'* + & )-*
#i . / Cm )$*, entonces existe al menos un "ector ( de & tal que $)(* + . )0*
#i sumamos miembro a miembro las expresiones )-* y )0*, resulta%
$)'* 2 $)(* + & 2 . )1*
@omo $ es lineal, $)'* 2 $)(* + $)' 2 (*, por lo tanto, reemplazando esta expresin en )1*,
resulta%
$)' 2 (* + & 2 .
lo que signi!ica que & 2 . tiene como preimagen en & a los "ectores ' 2 (, por lo tanto, u 2 " /
Cm )t*
c.> @onsideremos que & / Cm )$* y que 6 es un n;mero real.
.ebe probarse que 6& / Cm )$*
#i & / Cm )$*, entonces existe al menos un "ector ' en & tal que $)'* + & )3*
Dultiplicando la expresin )3* miembro a miembro por el escalar 6 resulta%
6$)'* + 6& )7*
@omo $ es lineal, 6$)'* + $)6'* )9*
8eemplazando )9* en )7* queda%
$)6'* + 6&
lo que signi!ica que 6& tiene como preimagen en & al "ector 6', por lo que entonces 6& / Cm )$*
y en consecuencia la Cmagen de una trans!ormacin lineal es un subespacio "ectorial del
codominio.
2"# Teorema f&ndamen$a de as $ransformaciones ineaes
#ea $% & ' ( una trans!ormacin lineal.
#upongamos que conocemos una base del dominio, tal que + E.
!
, .
*
,F, .
n
G
,dems, conocemos las imgenes de los "ectores de esa base, es decir, $).
!
*, $).
*
* F $).
n
* son
tambiHn datos del problema.
a?o esas 5iptesis, es posible conocer la imagen de cualquier "ector . / & y dic5a imagen es
;nica. 4or tal moti"o, tambiHn se conoce a este teorema como el de unicidad de las
trans!ormaciones lineales )siempre y cuando sean conocidos los elementos ms arriba indicados*
En e!ectoI por ser base del espacio "ectorial &, cualquier "ector del dominio puede obtenerse
como combinacin lineal de los "ectores de la base, y dic5a combinacin lineal es ;nica )se
sugiere sobre este punto consultar los apuntes de clase o la bibliogra!a propuesta*
Es decir%
. + J
-
.
!
2 J
0
.
*
2 F 2 J
n
.
n
)-*
donde . es un "ector cualquiera del dominio y J
-
, J
0
,F, J
n
son escalares )dic5os escalares son las
coordenadas del "ector . en la base I tal cual se 5a expresado, como los "ectores de la base son
linealmente independientes, esos escalares son ;nicos. En otras palabras, el sistema de
ecuaciones lineales que resulta de resol"er la ecuacin "ectorial )-* es un sistema compatible
determinado*
#i los "ectores que se encuentran en ambos miembros de la ecuacin )-* son iguales, tal como
all se indica, entonces sus imgenes son tambiHn iguales. 4or lo tanto%
$).3 + $)J
-
.
!
2 J
0
.
*
2 F 2 J
n
.
n
3
) $)J
-
.
!
3 2 $)J
0
.
*
3 2 F 2 $)J
n
.
n
3 ) J
-
$).
!
3 2 J
0
$).
*
3 2 F 2
J
n
$).
n
3 )0*
por ser $ lineal.
@omo $).
!
*, $).
*
* F $).
n
* son conocidos, y los escalares J
-
, J
0
, ..., J
n
se obtienen resol"iendo la
ecuacin "ectorial )-*, a tra"Hs de un sistema de ecuaciones lineales, de la lectura de la ecuacin
)0* se concluye que es posible obtener la imagen $).* de cualquier "ector . del dominio, siendo
esta imagen ;nica, ya que lo son los escalares, lo que demuestra el teorema.
4"# C5c&o de a ma$ri6 asociada a &na $ransformaci%n inea en ,ases c&aes7&iera de
dominio ( de codominio
#ea $% & ' ( una trans!ormacin lineal.
#ea + E.
!
, .
*
,F, .
n
G una base del dominio y K + E&
!
, &
*
,F, &
m
G una base del codominio.
LbsHr"ese que las dimensiones del dominio y del codominio no tienen necesariamente que ser
las mismas.
@uando se estudi la trans!ormacin matricial, se demostr que cualquier trans!ormacin lineal
puede escribirse como%
$)x* + ,x
.onde , es la matriz asociada a dic5a trans!ormacin. La matriz , no es ;nicaI cambia seg;n
sean las bases que se adopten en & y en (.
#i las bases son las cannicas, la matriz , se obtiene escribiendo como columnas las imgenes
de los "ectores cannicos del dominio.
4or e?emplo, si $% 8
0
' 8
1
M $
y
x
+
+
x
y x
y x
0
resulta%
$
A
-
+
0
-
-
$
-
A
+
A
-
-
y por lo tanto , +
A 0
- -
- -
N@mo se calcula la matriz , si las bases no son las cannicasO
&amos a demostrar que en ese caso,
, + ( ) P P 0 P - * ) ... * ) * ) B n B B v T v T v T
.onde cada una de las columnas de , se obtiene como el trans!ormado de cada "ector de la base
del dominio expresado en la base K del codominio.
En e!ecto% consideremos que
,
K
+
mn m m
n
n
a a a
a a a
a a a
...
... ... ... ...
...
...
0 -
0 00 0-
- -0 --
es la matriz asociada a la trans!ormacin lineal que me
trans!orma un "ector x expresado en la base del dominio en su imagen expresada en la base K
del codominio.
En consecuencia% <$)'*=
K
+ ,
K
<'=
)-*
Lbtengamos la imagen de cada uno de los "ectores de la base del dominio.
@omencemos con .
!
.
En ese caso, la expresin )-* se escribir%
<$).
!
*=
K
+ ,
K
<.
!
=
)0*
Expresemos .
!
en la base del dominio.
.
!
se obtendr como combinacin lineal de los "ectores de . Es decir
.
!
+ J
-
.
!
2 J
0
.
*
2 F 2 J
n
.
n
En este caso, la resolucin de esta ecuacin "ectorial es muy sencilla, ya que los escalares que
"eri!ican la igualdad son J
-
+ -I J
0
+ J
1
+
...
+ J
n
+ A
Es decir%
<.
!
=
A
A
-
y por lo tanto%
<$).
!
*=
K
+
mn m m
n
n
a a a
a a a
a a a
...
... ... ... ...
...
...
0 -
0 00 0-
- -0 --
A
A
-
-
0-
--
m a
a
a
Es decir, la primer columna de la matriz ,
K
no es otra cosa que la imagen del "ector .
!
perteneciente a la base del dominio expresado en la base K del codominio.
.el mismo modo, si 5acemos similar razonamiento con .
*
, la expresin )-* se escribir%
<$).
*
*=
K
+ ,
K
<.
*
=
)1*
Expresemos .
*
en la base del dominio.
.
*
se obtendr como combinacin lineal de los "ectores de . Es decir
.
*
+ J
-
.
!
2 J
0
.
*
2 F 2 J
n
.
n
En este caso, la resolucin de esta ecuacin "ectorial tambiHn es muy sencilla, ya que los
escalares que "eri!ican la igualdad son J
0
+ -I J
-
+ J
1
+
...
+ J
n
+ A
4or lo tanto%
<.
*
=
A
-
A
y en consecuencia%
<$).
*
*=
K
+
mn m m
n
n
a a a
a a a
a a a
...
... ... ... ...
...
...
0 -
0 00 0-
- -0 --
A
-
A
0
00
-0
m a
a
a
Es decir, la segunda columna de la matriz ,
K
no es otra cosa que la imagen del "ector .
*
perteneciente a la base del dominio expresado en la base K del codominio.
Extendiendo este razonamiento a todos los "ectores .
i
de la base del dominio, llegamos a la
conclusin ya enunciada que la matriz asociada a la trans!ormacin lineal que me trans!orma un
"ector expresado en la base del dominio en su imagen expresada en la base K del codominio
se obtiene escribiendo como columnas las imgenes de los "ectores de la base expresados en
la base K.
En el e?emplo numHrico anterior, si + E)-,-*I)A,0*G y K + E)-,-,-*I)-,-,A*I)-,A,A*G resulta%
$
-
-
+
0
A
0
$
0
A
+
A
0
0
0
A
0
+ x
-
-
-
2 y
A
-
-
2 z
A
A
-
8esol"iendo el sistema,
z
y
x
+
0
0
0
,nlogamente
A
0
0
+ xK
-
-
-
2 yK
A
-
-
2 zK
A
A
-
8esol"iendo el sistema%
P
P
P
z
y
x
+
3
0
A
4or lo tanto la matriz ,
K +
3 0
0 0
A 0
@omo puede obser"arse, , Q ,
K
. En general, para di!erentes bases en el dominio y codominio,
tendrH distintas matrices asociadas a la trans!ormacin lineal.