ALGUNAS DEMOSTRACIONES DE TEMAS TEORICOS DEL PROGRAMA DE

ALGEBRA Y GEOMETRIA ANALITICA

En esta pgina incluimos las demostraciones de algunos temas tericos que en ciertas ocasiones,
por razones de disponibilidad de tiempo, no pueden dictarse en los cursos, pero que estn
incluidos en el programa analtico de la materia y que por lo tanto es necesario conocer y saber
demostrar.
Quiere sealarse que estas demostraciones estn desarrolladas en la mayora de los textos de
lgebra Lineal que se proponen en la ibliogra!a del curso.
En la tipogra!a empleada, indicaremos los "ectores con negrita.
Unidad VIII: Transformaciones ineaes
!"# La $ransformaci%n ma$ricia es &na $ransformaci%n inea
#ea $% & ' ( una trans!ormacin lineal.
#e "eri!ica que $)'* + ,' )-*
donde , se denomina matriz asociada o matriz estndar de la trans!ormacin lineal.
La expresin )-* se denomina trans!ormacin matricial y es de extensa utilizacin en el lgebra
Lineal.
La aplicacin precedente puede interpretarse en el sentido que si tengo un "ector ' perteneciente
al dominio )el espacio "ectorial &* y le aplico el operador , )es decir, la matriz asociada a la
trans!ormacin $*, obtengo la imagen de ', del mismo modo que la obtendra si a ' le aplicara la
expresin analtica de la trans!ormacin lineal.
.emostraremos que )-* representa una trans!ormacin lineal.
,plicando la expresin )-* sobre un "ector ' / &, resulta, tal cual est indicado,
$)'* + ,' )0*
,plicando la expresin )-* sobre un "ector y / &, resulta%
$)(* + ,( )1*
#umando miembro a miembro )0* y )1*%
$)'* 2 $)(* + ,' 2 ,( + , )' 2 (* )3*
4or la ecuacin )-*, tal cual se expresara ms arriba, cuando sobre un "ector del dominio aplico
el operador ,, obtengo la imagen de dic5o "ector. En el caso de las ecuaciones indicadas con el
numeral )3*, el "ector sobre el que aplico , es )' 2 (*, por la que la imagen que "oy a obtener
ser $ )' 2 (*
En consecuencia, resulta%
$)'* 2 $)(* + ,' 2 ,( + , )' 2 (* + $ )' 2 (*
con lo cual queda probado que la suma de los trans!ormados es igual al trans!ormado de la suma,
primera de las dos condiciones que de!inen cuando una trans!ormacin es lineal.
4ara demostrar la segunda, si a la ecuacin indicada con el numeral )0* la multiplicamos
miembro a miembro por el escalar 6, resulta%
6$)'* + 6,' )7*
,sociando en el segundo miembro )recordemos que todo "ector de 8
n
puede considerarse como
una matriz perteneciente a las matrices 8
nx-
* y agrupando resulta%
6$)'* + ,6' ) ,)6'* )9*
y considerando en la expresin )9* el concepto de operador de , enunciado precedentemente, la
imagen del "ector 6' cuando le aplico , ser $)6'*, por lo que en de!initi"a%
6$)'* + ,6' ) ,)6'* + $)6'*
lo que demuestra la segunda condicin para que $ sea lineal.
*"# E N+ceo de &na $ransformaci%n inea es &n s&,es-acio .ec$oria de dominio
#ea $% & ' ( una trans!ormacin lineal.
&amos a demostrar que el :;cleo de la trans!ormacin lineal <:u )$*= es un subespacio "ectorial
del dominio &.
8ecordemos que :u )$* est !ormado por todos los elementos de & cuya imagen es el "ector
nulo )/* del codominio (.
4ara probar que :u )$* es un subespacio "ectorial, debemos demostrar%
a.> Que :u )$* no es un con?unto "aco.
b.> Que es cerrado para la suma.
c.> Que es cerrado para el producto por un escalar.
a.> :u )$* no es "aco ya que una de las propiedades de las trans!ormaciones lineales )se sugiere
consultar los apuntes de clase o la bibliogra!a propuesta* 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 :u )$* tiene al menos un elemento, que es el "ector nulo del dominio.
b.> @onsideremos que & / :u )$* y que . / :u )$*
.ebe probarse que & 2 . / :u )$*
#i & / :u )$*, entonces $)&* + / )-*
#i . / :u )$*, entonces $).* + / )0*
#umando las expresiones indicadas con los numerales )-* y )0* resulta %
$)&* 2 $).* + / )1*
@omo $ es lineal, $)&* 2 $).* + $ )& 2 .* )3*
8eemplazando )3* en )1* resulta %
$)& 2 .* + A

& 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.