Transf. Lineales 2011

UNIVERSIDAD NACIONAL DE CAJAMARCA LGEBRA LINEAL
Introduccin
En ste mdulo relacionaremos los espacios vectoriales mediante funciones que
preservan las operaciones de suma vectorial y producto por un escalar, tales funciones
se llaman TRANSFORMA!ONES "!NEA"ES#

"as transformaciones lineales son mapeos de importancia fundamental en el $l%e&ra
lineal y en sus aplicaciones# En ste mdulo definiremos una transformacin lineal y
mostraremos varios e'emplos %eomtricos de transformaciones lineales# Se%uidamente
diri%iremos nuestra atencin (acia dos su&espacios &$sicos que acompa)an a toda
transformacin lineal, el n*cleo y la ima%en de una transformacin# Adem$s
descri&iremos cmo distin%uir entre dos espacios vectoriales distintos y cuando
considerarlos i%uales o isomrficos# Finalmente, demostraremos que toda
transformacin lineal entre espacios vectoriales de dimensiones finitas puede
representarse con una matri+ y que si las matrices A y , representan a una mismo
operador lineal ellas son seme'antes, esto es, e-iste una matri+ inverti&le ., tal que, , /
.
01
A.#
Finalmente, espero que el presente mdulo sirva como material de estudio
&i&lio%r$fico para los estudiantes de la 2niversidad Nacional de a'amarca y otras
universidades, que contemplan dentro de su plan de estudios una materia de $l%e&ra
lineal#
1
TRANSFORMACIONES LINEALES
DEFINICIN 13 Sean 4 y 5 dos espacios vectoriales so&re un campo F# 2na
transformacin lineal T de 4 en 5 es una funcin que asi%na a cada v 4 un *nico
vector T 6v7 en 5 tal que3
i) T 6u 8 v7 / T 6u7 8 T 6v7, para cada u, v 4#
ii) T 69#u7 / 9# T 6u7, para cada u 4 y cada escalar 9 F#
OBSERVACIONES3
17 El si%no :8; en 6u 8 v7 del lado i+quierdo de i7, se refiere a la operacin
de suma en 4, mientras que el si%no :8; en T 6u7 8 T 6v7 del lado derec(o de la
ecuacin se refiere a la operacin de suma en 5#
<7 =e manera an$lo%a, en ii7, el producto escalar 9#u est$ en 4, mientras
que el producto escalar 9#T 6u7 est$ en 5#
>7 Si 4 / 5 y T3 4
4, entonces T es llamado operador lineal en 4#

Ejempo 1! Sea T3 .
<

.
1
definida por3
T 6a-
<
8 & - 8 c7 / a - 8 & 81
?Es T una transformacin lineal@
Soucin"
i7 Sean f6-7 / a
1
-
<
8 &
1
- 8 c
1
, %6-7 / a
<
-
<
8 &
<
- 8 c
<
, polinomios en .
<
#
.or definicin de suma de polinomios tenemos que3
f 6-7 8 %6-7 / 6a
1
8 a
<
7 -
<
8 6&
1
8 &
<
7 - 8 c
1
8 c
<
"ue%o3
T 6f6-7 8 %6-77 / T 66a
1
8 a
<
7 -
<
8 6&
1
8 &
<
7 - 8 6c
1
8 c
<
77
/ 6a
1
8 a
<
7 - 8 6&
1
8 &
<
7 8 1
/ a
1
- 8 a
<
- 8 &
1
8 &
<
81
/ 6a
1
- 8 &
1
8 17 8 6a
<
- 8 &
<
7
/ T 6f6-77 8 a
<
- 8 &
<
T 6f6-77 8 T 6%6-77
AsA podemos concluir que3 T3 .
<
.
1
, definida por T 6a-
<
8 &- 8 c7 / a- 8 & 8 1 no es
una transformacin lineal#
2
Ejempo #!3 Sea "3 M
<-<

M
<-<
definida como
,
_
1
]
1
,
_
a d c
d c b
d c
b a
L
<
4erifique si " es un operador lineal#
Soucin"
Sean
,
_
,
_
h g
f e
a c
b a
,
M
<-<
=e la definicin de suma de matrices, tenemos3
3

,
_
+ +
+ +
,
_
,
_
h d g c
f b e a
h g
f e
d c
b a
i7
1
]
1
,
_
+ +
+ +
1
]
1
,
_
,
_
h d g c
f b e a
L
h f
f e
d c
b a
L
4
,
_
,
_
,
_
,
_
,
_
+ + + +
+ + +
h g
f e
L
d c
b a
L
e h g
h g f
a d c
d c b
e a h d g c
h d g c f b
< <
7 6 <
7 6
5
ii7

1
]
1
,
_
1
]
1
,
_
k
kd kc
kb ka
L
d c
b a
k L ,
1
]
1
,
_
,
_
,
_
d c
b a
L k
a d c
d c b
k
ka kd kc
kd kc kb
< <
=e 6i7 y 6ii7, podemos concluir que, " es un operador lineal#
Ejempo$ %eom&trico$ de Tr'n$(orm'cione$ ine'e$
1) ROTACIN DE VECTORES EN EL )LANO #0 "a rotacin en el plano, alrededor
del ori%en 6en sentido anti0(orario7 y de ma%nitud 6B <7 es un e'emplo de una
transformacin lineal#
6
*r+(ico N, -1
Recordemos que la rotacin de vectores preserva3 el mdulo del vector y el $n%ulo entre
vectores#
=el %r$fico NC B1, podemos o&tener las si%uientes relaciones3
- / r cos y / r sen ################## 6D7
E
1
/ r cos 6 8 7 E
<
/ r sen 6 8 7 ######### 6DD7
=esarrollando coseno y seno de una suma de $n%ulos en 6DD7, podemos e-presar a E
1
y
E
<
de la si%uiente manera3
E
1
/ r 6cos cos 0 sen sen 7
E
<
/ r 6sen cos 8 cos sen 7
Reempla+amos 6D7 en 6DDD7 y o&tenemos3
E
1
/ - cos 0 y sen
E
<
/ - sen 8 y cos
"ue%o3
T6-, y7 / 6E
1
, E
<
7 / 6- cos 0 y sen , - sen 8 y cos 7
Fue matricialmente, en forma equivalente, lo podemos escri&ir de la si%uiente manera3
7
r
r
6E
1
, E
<
7
6-, y7
... (***)
T

,
_
y
x
/
,
_
,
_

y
x
sen
sen

cos
cos
Suele tam&in denotarse como3
T
,
_
y
x
/
,
_
,
_

y
x
sen
sen

cos
cos
<7 DILATACIN . CONTRACCIN DE VECTORES
Si 9 es un escalar no ne%ativo, entonces el operador T 6-7 / 9#- es llamado una
contraccin con factor 9, si B 9 1# Si 9 G 1, el operador se llama una dilatacin con
factor 9#

8
T6-7 / 9-
-
x
T6-7 / 9#-
B
CONTRACCIN DILATACIN
Fi%ur' N, -#
/! LA REFLE0IN DE 1N )1NTO CON RES)ECTO A 1NA RECTA
Sea 4 / 6-, y7 R
<
y " una recta en R
<
que pasa por el ori%en# "a refle-in de este
punto so&re la recta ", es un operador lineal en R
<
#
i) Sea "3 H.R
<
I. / a t, aR
<
y tRJ una recta de R
<
#
ii) =eseamos (allar la re%la de correspondencia de T 6v7 en funcin de v
y u / a
siendo conocido el vector a#

iii7 El vector T 6v7 K v, es perpendicular a la recta " y F es punto medio#
*r+(ico N, -/
=el Lr$fico NC B>, podemos deducir que3
v / T 6v7 8 T 6v70v
v/ T 6v7 8 < Fv
v/ T 6v7 8 < .roy
u
v
"ue%o3
T 6v7 / v K < .roy
u
v
9
0
u
v
a
F
T 6v7
L
T 6v7 / v K <
u
u
u v
#
,
<
"a funcin T 6v7 / v K <
u
u
u v
#
,
< , es un operador lineal de R
<
en R
<
6verifAquelo7 que
e-presa la refle-in de v / 6-, y7 con respecto a la recta "3 H.R
<
I ./ a t, tRJ
CASO )ARTIC1LAR3
Sea "3 H.R
<
I . / t 61,B7, tRJ, el e'e -#
Si v / 6-, y7 R
<
y

T 6v7 es la refle-in de v / 6-, y7 so&re el e'e M#
Nallar la re%la de correspondencia de T 6v7#
*r+(ico N, -2
*r+(ico N, -2
Soucin"
v / T 6v7 8 T 6v70v / T 6v7 8 < Fv
/ T 6v7 8 < OA / T 6v7 8 < .roy
u
v
=espe'amos T 6v7 en esta *ltima e-presin para o&tener3
T 6v7 / v K < .roy
u
6v7
/ v K <
u
u
u v
#
,
<
10
A
v/6-,y7
3456!
F
u
o a
x
L
T(v)=(x,-y)
/ 6-, y7 K <
7 1 , B 6 #
7 1 , B 6
7 1 , B 6 7, , 6
<
y x
/ 6-, y7 K <y 6B,17
/ 6-, y7 K 6B, <y7 / 6-, 0y7
AsA, (emos o&tenido que3
T6-, y7 / 6-, 0y7, que representa la re%la de correspondencia de la refle-in de un punto
del plano so&re el e'e M#
)ropied'de$ de '$ tr'n$(orm'cione$ ine'e$
)ropo$icin 1#
=ada la transformacin lineal# T3 4 5, se tiene que3
a) T 6B7 /
&7 T 60 u7 / 0 T6u7
c7 T 6u0v7 / T 6u7 K T 6v7
d) T
,
_
i
n
i
i
v a
1
/
n
i 1
a
i
T 6v
i
7 , a
i
F, v
i
4#
Demo$tr'cin
a7 .or definicin de elemento neutro en 4, tenemos que3 B / B 8 B, B
4# A(ora
aplicamos T en am&os miem&ros de sta *ltima ecuacin para o&tener,
T 6B7 / T 6B8B7
T 6B7 / T 6B7 8 T 6B7, por ser T una transformacin lineal### 617
omo 5 es un espacio vectorial, se cumple que3
/ T 6B7 K T 6B7
/ T 6B7 8 T 6B7 K T 6B7O# por 617
/ T 6B7 8 6T 6B7 K T 6B77
/ T 6B7 8
/ T 6B7
11
&7 T 60u7 / T ( )( ) [ ] 7 1 u / 01 T 6u7 / 0 T 6u7, pues T es transformacin lineal#
c7 T 6u0v7 / T 6u8 60v77 / T 6u7 8 T 60v7 / T 6u7 K T 6v7, pues T es transformacin
lAneal#
d7 " a prue&a lo (aremos por induccin matem$tica
i7 .ara n / <, tenemos que3
T 6a
1
v
1
8 a
<
v
<
7 / T 6a
1
v
1
7 8 T 6a
<
v
<
7O pues T es transformacin lineal#
/ a
1
T 6v
1
7 8 a
<
T 6v
<
7O pues T es transformacin lineal#
omo vemos la e-presin es v$lida para n/<#
ii7 Supon%amos que la e-presin es v$lida para n / (# 67ipte$i$ Inducti8'7
T 6a
1
v
1
8 ####8 a
(
v
(
7 / a
1
T6v
1
7 8 ####8 a
(
T6v
(
7, con ( G <
iii7 =emostraremos que la e-presin es v$lida para n / ( 8 1#6Te$i$7
En efecto3
T 6a
1
v
1
8 ###8 a
(
v
(
8 a
(81
v
(81
7 / T
( ) [ ]
1 1 1 1
###
+ +
+ + +
h h h h
v a v a v a
/ T 6a
1
v
1
8 ###8 a
(
v
(
7 8 T 6a
(81
v
(81
7
/ a
1
T 6v
1
7 8 ###8 a
(
T 6v
(
7 8 a
(81
T 6v
(81
7
/
1
1
7 6
h
i
i i
v T a
: o oe: . oe:_xo.e c_ _

,
_
n
i
i i
n
i
i i
v T a v a T
1 1
7 6
)ropo$icin #9 2na funcin T3 4 5 es una transformacin lineal, si y slo si, T 6a u
8 & v7 / a T 6u7 8 & T 6v7, u, v 4, a, & F#
Demo$tr'cin3
i7 67 T 6au 8 &v7 / T 6au7 8 T 6&v7O pues T es t#l#
/ a T 6u7 8 & T 6v7O pues T es t#l#
ii7 67 Si (acemos a / & /1, entonces tenemos que3
12
T 6u 8 v7 / T 6u7 8 T 6v7, lo cual prue&a la parte i7 de la definicin de transformacin
lineal# En forma similar, (a%amos & / B en la i%ualdad3 T 6au 8 &v7 / a T 6u7 8 & T 6v7, y
asA o&tenemos que3 T 6au7 / a T 6u7, lo cual prue&a la parte ii7 de la definicin de
transformacin lineal#
N:CLEO E IMA*EN DE 1NA TRANSFORMACIN LINEAL
Asociada a cada transformacin lineal T3 4 5, e-isten dos su&espacios, los cuales
son llamados n*cleo6N 6T77 e ima%en 6!m 6T77 de una transformacin lineal, definidos
de la si%uiente manera3
N 6T7 / 'v 4I T 6v7 / B)
4
!m 6T7 / 'E 5I v 4, con T 6v7 / E) / 'T 6v7 I v 4)
5
Ejempo /! Encuentre el n*cleo y la ima%en de la si%uiente transformacin lineal
T3 R
>
R
>
, definida por T 6-, y, +7 / 6<-0+, >-0<y, -0<y 8 +7
Soucin"
a7 .or definicin de n*cleo tenemos que3
N 6T7 / ' 6-, y, +7
R
>
I T6-, y, +7 / / 6B, B, B7)
.ero, T 6-, y, +7 / 6B, B, B7 implica que3
<- 0+ /B
>-0<y /B ### 617
-0<y8+/B
Resolviendo el sistema 617 o&tenemos que3
6-, y, +7 / t 61I<, >IP, 17, t R
N 6T7 / '6-, y, +7 R
>
I - /
<
1
t, y / >IP t, + / t, t R
&7 "a ima%en de T est$ formado por vectores de la forma 6r, s, t7 tal que e-ista un
vector 6-, y, +7 R
>
, tal que T6-, y, +7 / 6r, s, t7# Esta i%ualdad nos lleva a tener el
si%uiente sistema3
6r, s, t7 / 6<-0+, >- K <y, - K <y 8 +7### 6<7
Tra&a'amos en el sistema 6<7 matricialmente y asA o&tenemos3
13
 0 s 0>t
1 0< 1 t B B B t 8 r K s
El sistema 6<7 ser$ compati&le si3 t 8 r K s / B, o equivalentemente, s / t 8 r
"ue%o3
6r, s, t7 / 6r, t 8 r, t7 / t 6B,1,17 8 r 61, 1, B7
!m 6T7 / 'E R
>
I E / r 61, 1, B7 8 t 6B, 1, 17, r, t R)
Ejempo 2! Sea
>
QB,1R el espacio de las funciones f tales que f y sus tres primeras
derivadas f,S f; y f;S est$n definidas y son continuas en QB,1R#
=efinimos el operador3
T3
>
QB, 1R T
>
QB, 1R
f T T 6f7 / f;S
a7 Nallar el n*cleo del operador lineal
&7 4erifique que e
-
y e
0-
pertenecen al n*cleo de T
1
donde T
1
es el operador
diferencial definido por T
1
6f7 / f; K f#
Soucin"
a) .or definicin3 N 6T7 / 'f
>
QB,1R I T6f7 / B)
.ero T 6f7 / B
f;S / B
f; 6-7 / 9 , 9 R
fS 6-7 / 9
1
- 8 9, 9
1
R

f 6-7 / 9
<
-
<
8 9
1
- 8 9, 9
<
R
N 6T7 / 'f
>
QB,1R I f6-7 / 9
<
-
<
8 9
1
- 8 9)
&7 En forma similar3 N 6T
1
7 / Hf6-7 I T 6f6-77 / BJ
.ero T 6f 6-77 / B f; 6-7 K f 6-7 / B#
Resolviendo la ecuacin diferencial anterior, o&tenemos que3
f 6-7 /
e
-
8
e
0-
,

R
14
"ue%o3 N 6T7 / ' f6-7 I f 6-7 /
e
-
8
e
0-
,
RJ
Si
/ 1 y U / B, o&tenemos que e
-
N 6T7
Si
/ B y U / 1, o&tenemos que e
0-
N 6T7
Ejercicio$ N, -1
1# Nallar el n*cleo y su dimensin en cada uno de los casos si%uientes3
a7 T 6 -
1
, -
<
, -
>
7 / 6-
1
K -
<
, -
<
7
&7 T 6-
1
, -
<
, -
>
, -
P
7 / 6-
1
K -
<
K -
>
, -
>
K -
P
7
<# =ado el espacio QB,1R de las funciones continuas en el intervalo cerrado QB,1R y
el su&espacio M de las funciones que tienen derivada continua en QB,1R,
demuestre que3
a7 "a derivacin = es una transformacin lineal de M en QB,1R
&7 "a inte%racin !, definida por3
! 6f6-77 /
x
dt t f
B
7 6 , B V - V 1
Es una transformacin lineal de QB,1R en QB,1R
># Sea T3 R
>
T R
>
I T 6-
1
, -
<
, -
>
7 / 6-
1
0-
<
8<-
>
, <-
1
8-
<
, 0-
1
0<-
<
8<-
>
7
a7 4erifique que T es lineal#
&7 ?Fu condiciones de&en satisfacer a, & y c para que el vector 6a, &, c7 pertene+ca
al n*cleo de T@ ?u$l es el N 6T7@#
c7 ?Fu condiciones de&en satisfacer a, & y c para el vector 6a, &, c7 pertene+ca a la
ima%en de T ?u$l es la !m 6T7@#
P# ?u$l es la rotacin T
W
que lleva a la recta "3 <- K>y 8 1 / B paralela al e'e y@
X# Sea W un $n%ulo en el <do# uadrante tal que sen W / 1I># =escri&a
e-plAcitamente la transformacin lineal T
W
y (alla la ima%en de 61,B7Y 6B,17 y
61,17#
15
Z# ?Fu vectores permanecen invaria&les &a'o T
W
@Y es decir T
W
6v7 / v@
MONOMORFISMOS5 E)IMORFISMOS E ISOMORFISMOS
Sea T3 4 T 5 una transformacin lineal#
a7 Se dice que T es un monomorfismo o inyectiva, sA y slo sA, T 6u7 / T 6v7 implica
que, u / v, u, v 4#
&7 =ecimos que T es un epimorfismo o so&reyectiva, sA y slo sA, para cada E 5,
e-iste v 4 I T 6v7 / E
Equivalentemente, podemos decir que3
T es un epimorfismo, sA y slo sA, T 647 / 5 o que !m 6T7 / 5#
c7 =ecimos que T es un isomorfismo, sA y slo sA, T es monomorfismo y
epimorfismo# uando sucede esto se dice que los espacios vectoriales 4 y 5 son
isomorfismos y lo denotaremos como3 4 5#
Ejempo ;! 3DERIVADA FORMAL DE )OLINOMIOS! Sea =3 RQ-R RQ-R,
definida por3
= 6a
B
8 a
1
- 8 ### 8 a
n
-
n
7 / a
1
8 <a
<
- 8 O 8 na
n
-
n01
=emuestre que = es un epimorfismo, pero no un monomorfismo#
)R1EBA"
'! D ES 1N E)IMORFISMO
Sea .6-7 / &
B
8 &
1
- 8###8 &
m
-
m
un polinomio cualquiera en RQ-R#
Mediante c$lculos sencillos podemos encontrar3
F6-7 / &
B
- 8 &
1
1
<
1
###
<
+
+
+ +
m m
x
m
b x
RQ-R, tal que3 = 6F6-77 / .6-7
Es decir que, para cada .6-7 RQ-R, siempre e-iste F6-7 RQ-R definida de la manera
arri&a escrita tal que, = 6F6-77 / .6-7#
= es un epimorfismo#
<! D NO ES 1N MONOMORFISMO
.ara demostrar que = no es un monomorfismo, lo (aremos con un contrae'emplo#
16
Sean .6-7 / a - 8 & RQ-R, a, & R#
F6-7 / a - 8 c RQ-R, a, c R#
.odemos ver claramente que si c&, entonces .6-7 F6-7, pero = 6.6-77 / a / = 6F6-77
= no es un monomorfismo#
Ejempo =! =emuestre que la rotacin en el plano es un isomorfismo#
)R1EBA"
Recordemos que la re%la de correspondencia de la transformacin lineal que rota los
vectores en el plano, est$ dada por3
,
_
,
_
,
_
y
x
sen
sen
y
x
T

cos
cos
'! T ES MONOMORFISMO
=e&emos pro&ar que3
Si T 6v7 / T6vS7, entonces v / vS , v, vS R
<
#
17
.ero T 6v7 / T6vS7 implica que,
,
_
,
_
,
_
,
_

[
[
cos
cos
cos
cos
y
x
sen
sen
y
x
sen
sen

18
Resolviendo sta *ltima ecuacin matricial o&tenemos que
B 1
cos
cos
,
[
[

,
_
,
_

sen
sen
que a debido esto
y
x
y
x
#
"o que nos conduce a afirmar que3 v / vS#
<! T ES E)IMORFISMO
=e&emos pro&ar que3 para cada
,
_
,
_
,
_
b
a
v T R
y
x
v existe R
b
a
7 6 I ,
< <
19
En efecto3
T 6v7 /
,
_
,
_
,
_
,
_
b
a
y
x
sen
sen
que implica
b
a

cos
cos
,
# Resolviendo sta ecuacin o&tenemos que3
20
,
_
,
_
,
_
b
a
sen
sen
y
x

cos
cos
"ue%o, (emos encontrado3
21
,
_
,
_
,
_
,
_
,
_
b
a
y
x
T que condicin la con
b
a
sen
sen
y
x

cos
cos
T es un epimorfismo#
=e 6a7 y 6&7, podemos concluir que3 T es un isomorfismo#
TEOREMA 19 2na transformacin lineal T3 4 5, es un monomorfismo, sA y
slo sA, N 6T7 / HBJ#
)R1EBA
7 Si N 6T7 / HBJ, entonces T3 4 5 es un monomorfismo
22
En efecto3
T 6u7 / T 6v7 implica que T 6u7 K T 6v7 / , con 5# omo T es una
transformacin lineal, resulta que T 6u K v7 / # AsA tenemos que 6u K v7
pertenece al n*cleo de T y como el N 6T7 / HBJ, concluimos que u / v#
"ue%o, T es un monomorfismo#
7 Si T3 4 5 es un monomorfismo, entonces N 6T7 / HBJ
En efecto3
omo T es transformacin lineal, entonces por la proposicin 17, parte i7, tenemos
que, T 6B7 / # "ue%o, como T es un monomorfismo, de la i%ualdad T 6v7 / slo
podemos o&tener que v / B#
N 6T7 / HBJ#
TEOREMA #9 Si v
1
, v
<
,###, v
n
es una &ase de 4 y E
1
, E
<
,###,E
n
son vectores ar&itrarios de
5, entonces e-iste una *nica transformacin lineal T3 4 5 tal que T6v
'
7 / E
'
,
'/1,<,###,n#
)R1EBA
=ado vector v 4, podemos encontrar escalares
i
F, para cada i / 1,O,n, tal que3
v /
1
v
1
8 ### 8
n
v
n
#
"ue%o, la ima%en de v vAa T es dado por3
T 6v7 / T 6
1
v
1
8 ### 8
n
v
n
7
T 6v7 /
1
T 6v
1
7 8 ### 8
n
T 6v
n
7
T 6v7 /
1
E
1
8 ### 8
n
E
n
omo podemos ver la T asA definida verifica las condiciones del teorema#
Ejempo >! Sea T3 R
>
R
<
, la transformacin lineal tal que3
T61,B,B7 / 6>,P7, T6B,1,B7 / 61, 0<7, T6B,B,17 / 601, >7#
Encuentre T6-, y, +7#
23
Soucin"
omo cualquier vector v / 6-, y, +7 R
>
se puede escri&ir de la forma3
v / 6- ,y, +7 / 6-61,B,B7 8 y6B,1,B7 8 +6B,B,177
Entonces3
T6v7 / T6-61,B,B7 8 y6B,1,B7 8 +6B,B,177
/ - T 61, B, B7 8 y T 6B, 1, B7 8 + T 6B, B, 17
/ - 6>,P7 8 y 61,0<7 8 + 601,>7
/ 6>- 8 y K +, P- K <y 8 >+7
T6-, y, +7 / 6>- 8 y K +, P- K <y 8 >+7
VARIANTE DEL TEOREMA #9
Sea Hv
1
, v
<
, ### , v
m
J un con'unto de %eneradores de 4, no necesariamente linealmente
independientes y E
1
, E
<
, ### , E
m
una coleccin de :m; vectores en un espacio vectorial
5#
?,a'o qu condiciones e-iste una transformacin lineal T3 4 5, tal que,
T 6v
'
7 / E
'
,
'
/ 1,O,m @
Soucin"
omo una transformacin lineal lleva ceros en ceros# Asi, si B 4, entonces e-istir$n
escalares tal que3 B /
1
v
1
8 ### 8
m
v
m
# Tomando T en sta *ltima i%ualdad tenemos
que3 T 6B7 / T 6
1
v
1
8 #### 8
m
v
m
7 / \, \ 5, y como deseamos que T sea una
transformacin lineal de&emos tener T6B7 /
1
T6v
1
7 8 O 8
m
T6v
m
7 / \# Adem$s por
dato T 6v
'
7 / E
'
,
'
/ 1,O,m, conducindonos a que3
T 6B7 / T6
1
v
1
8 #### 8
m
v
m
7 /
1
E
1
8 O# 8
m
E
m
/ \#
"ue%o, afirmamos que la condicin necesaria y suficiente para la e-istencia de tal
transformacin lineal con la condicin pedida es3

m
i
m
i
i i i i
w v
1 1
7 > 6 B , B
En efecto3
Si una tal T e-iste, entonces esta condicin se cumple inmediatamente, pues, como ya
se mencion T 6B7 / \#
24
RecAprocamente#
=ado vector v 4, podemos encontrar escalares
i
F, para cada i / 1,O,n, tal que3
v /
1
v
1
8 ### 8
n
v
n
. =efinimos T 6v7 / T 6
1
v
1
8 ### 8
m
v
m
7 /
1
E
1
8 ### 8
m
v
m
#
Slo nos falta verificar que T est &ien definida, es decir, puede ocurrir que, v admita
dos representaciones, esto es,
v /
1
v
1
8 ### 8
m
v
m
v /
1
v
1
8 #### 8
m
v
m

!%ualando los valores de v o&tenemos que3 6
1
0
1
7 v
1
8 ### 8 6
m
0
m
7 v
m
/ B# "ue%o,
aplicando la condicin 6>7 en sta *ltima ecuacin para tener que3

m
i
m
i
m
i
i i i i i i i
w w donde de w
1 1 1
, B 7 6
# oncluyendo que T 6v7 / T 6v7
Es decir, si tenemos que un vector admite dos representaciones, su ima%en es la misma
&a'o T# Esto prue&a la &uena definicin de T#
Ejempo$ ?! .rue&e que e-iste una transformacin lineal T3 R
<
R
<
, tal que
T 6>, <7 / 60P, 017, T 6<, 17 / 60<, 0X7, T 60>, 017 / 6<, 1P7
Soucin3
E-presamos el vector 6B,B7 como com&inacin lineal de v
1
/ 6>,<7, v
<
/ 6<,17 y
v
>
/ 60>, 017# Mediante un c$lculo sencillo vemos que3 0 v
1
8 >v
<
8 v
>
/ B#
"ue%o3
T 6B7 / T 60v
1
8 >v
<
8 v
>
7 / 0 T 6v
1
7 8 >T 6v
<
7 8 T 6v
>
7
/ 0 60P, 017 8 >60<, 0X7 8 6<, 1P7
/ 6B,B7
=e a(A que, como T lleva ceros en ceros, entonces e-iste una *nica transformacin
lineal T3 R
<
R
<
, con las condiciones pedidas#
Ejempo @!# .rue&e que no e-iste una transformacin lineal T3 R
<
R
<
tal que3
T 61,<7 / 601, >7, T 6X,017 / 6<, >7 y T 60P, >7 / 60>, 17#
Soucin"
Naciendo los c$lculos respectivos3
061, <7 8 1 6X,017 8 1 60P, >7 / 6B,B7
"ue%o, si e-iste una transformacin lineal con las condiciones pedidas, de&e acontecer
que3 0 1E
1
8 1E
<
8 1E
>
/ 6B, B7#
25
Sin em&ar%o3 0 E
1
8 1E
<
8 1E
>
/ 0 601, >7 8 6<, >7 8 60>, 17 / 6B, 17 6B,B7
No e-iste una transformacin lineal con las condiciones pedidas#
TEOREMA /9 Sea T3 4 5 una transformacin lineal#
T es inyectiva sA y solamente si v
1
, v
<
, ### , v
n
son linealmente independientes implica que
T6v
1
7, T6v
<
7, ###, T6v
n
7 son linealmente independientes#
)R1EBA
67 Si v
1
, v
<
, ###, v
n
son linealmente independientes y T es inyectiva, entonces T6v
1
7,
T6v
<
7, ###, T6v
n
7 son l#i#
En efecto3
=e la com&inacin lineal3
1
T 6v
1
7 8 ### 8
n
T6v
n
7 / B y del (ec(o que T es lineal
tenemos T6
1
v
1
8 O 8
n
v
n
7 / B# onsecuentemente, podemos afirmar que3 6
1
v
1
8 ###
8
n
v
n
7 N6T7 y como T es inyectiva, se tiene que3
1
v
1
8 ### 8
n
v
n
/ B# =el (ec(o que
v
1
, v
<
, ###, v
n
son linealmente independientes, o&tenemos que3
1
/
<
/ ### /
n
/ B# "o
que prue&a esta primera parte del teorema#
7 Si T lleva vectores linealmente independientes en vectores linealmente
independientes, entonces T es inyectiva#
En efecto3
omo B v es linealmente independiente, entonces T 6v7 es linealmente independiente,
esto es, T 6v7 B# .or lo tanto, N 6T7 / {B} y asA T es inyectiva#
TEOREMA 29 Si T3 4 5 es una transformacin lineal, entonces !m6T7 es un
su&espacio de 5 # M$s a*n, si H-
1
, -
<
,###, -
n
J es una &ase de 4, entonces HT 6v
1
7, O,
T6v
n
7J %eneran la !m6T7#
)R1EBA"
i! "a prue&a de que !m 6T7 es un su&espacio de 5 lo de'amos como e'ercicio#
ii! A(ora, sea , / H-
1
,###, -
n
J una &ase para 4, y sea :y; cualquier vector de !m 6T7#
=e&e (a&er entonces por lo menos un vector -4 tal que3 T6-7 / y#
26
omo , es una &ase de 4, entonces e-istir$n escalares
1
,####
n
, tales que - /
1
-
1
8 ####
8
n
-
n
#
"ue%o, y / T6-7 / T 6
1
-
1
8 #### 8
n
-
n
7 /
1
T6-
1
7 8###8
n
T6-
n
7# omo cada uno de los
vectores T6-
1
7,###, T 6-
n
7 est$n en !m 6T7, se si%ue que !m 6T7 es %enerado por estos
vectores#
TEOREMA ;9 Sea 4 un espacio de dimensin finita y T3 4 5 una transformacin
lineal, entonces3 dim 647 / dim6N 6T77 8 dim 6!m 6T77#
)R1EBA
omo 4 es de dimensin finita, entonces N 6T7 es de dimensin finita# Sea ,
1
/ H-
1
,###,
-
t
J una &ase de N 6T7# E-tendamos ,
1
a una &ase ,
<
/ H-
1
,###, -
t
, -
t81
, ###, -
n
J para 4#
Afirmamos que3 HT 6-
t81
7, ###, T 6-
n
7J es una &ase para !m6T7#
En efecto3
.or el Teorema P sa&emos que3 HT6-
1
7, T6-
<
7, ### , T6-
t
7, T6-
t81
7, ###, T6-
n
7 J %eneran la
!m6T7# .ero T6-
1
7 / T6-
<
7 // T 6-
t
7 / B, porque H-
1
, ###, -
t
J N6T7# .or consi%uiente,
T 6-
t81
7,
, T 6-
n
7 %eneran la !m6T7#
Slo nos falta pro&ar que los vectores HT 6-
t81
7,
, T 6-
n
7J son linealmente
independientes# .ara mostrar esto, de la com&inacin lineal3
t81
T6-
t81
7 8O# 8
n
T6-
n
7
/ B, de&emos pro&ar que todos los escalares son nulos# omo T es una transformacin
lAnea, la i%ualdad arri&a lo podemos escri&ir de la si%uiente manera3
T 6
t81
, -
t81
8O# 8
n
-
n
7 / B# Entonces ] / 6
t81
-
t81
8 O# 8
n
-
n
7 N 6T7# omo ,
1
es
una &ase para N 6T7, podemos (allar escalares tales que3 ] / a
1
-
1
8####8 a
t
-
t
# "ue%o,
i%ualando los valores de ], tenemos3 a
1
-
1
8###8 a
t
-
t
/
t81
, -
t81
8O# 8
n
-
n
# .asando todo
al primer miem&ro o&tenemos3 a
1
-
1
8O8 a
t
-
t
0
t81
-
t81
0 O# 0
n
-
n
/ B# Adem$s
como los vectores H-
1
,###, -
t
, -
t81
, ###, -
n
J son linealmente independientes, de la *ltima
ecuacin podemos o&tener3 a
1
/ #### / a
t
/
t81
//
n
/ B# "o que nos conduce
afirmar que HT6-
t81
7, ###, T6-
n
7J son linealmente independientes y como %eneran la
ima%en de T, tenemos que3 dim 6!m6T77 / n K t#
Finalmente, tenemos3 dim 647 / n / t 8 6n K t7 / dim 6N 6T77 8 dim 6!m 6T77#
27
Ejempo 1-! Si T3 .
<
.
1
es una transformacin lineal que convierte la &ase , / Hf
1
3
-
<
, f
<
3 -, f
>
3 1J en los elementos %3 - 8 1, %
e
3 - y %
>
3 Z, respectivamente, encuentre la
!m6T7, el n*cleo de T y verifique la conclusin del Teorema X, para esta T particular#
Soucin"
alculamos la re%la de correspondencia de T# Tomamos un elemento %enrico de .
<,
esto es, f6-7 / a-
<
8 &- 8 c# "a ima%en de f6-7 vAa T, es dado por la si%uiente e-presin3
T 6f6-77 / T6a-
<
8 &- 8 c7 / a T6-
<
7 8 & T6-7 8 T617 / a 6- 8 17 8 & - 8 c6Z7# Tomando
los e-tremos de esta cadena de i%ualdades o&tenemos que, T 6f6-77 / 6a 8 &7- 8 6a 8 Zc7#
"ue%oY f 6-7 N 6T7, sA y slo sA, a 8 & / B y a 8 Zc / B# =e stas ecuaciones se tiene
que3 a / 0Zc y & / Zc# =e a(A que, f N 6T7, sA y slo si, f6-7 / 60Zc7 -
<
8 Zc- 8 c# Se
si%ue que3 N 6T7 /
1 Z Z
<
x x
y dim 6N 6T77 / 1#
.or Teorema P3 %
1
3 - 8 1, %
<
3 - y %
>
3 Z %eneran la ima%en de T, es decir, !m 6T7 /
Z 3 , 3 , 1 3
> < 1
g x g x g +
# .ero %
>
/ Z%
1
K %
<
, lo que nos conduce afirmar que3
!m 6T7 /
x g x g 3 , 1 3
< 1
+
y dim 6!m 6T77 / <# Finalmente, verificamos la
conclusin del Teorema X3
dim 6.
<
7 / >/ 1 8 < / dim 6N 6T77 8 dim 6!m 6T77#
TEOREMA F1NDAMENTAL DE LAS TRANSFORMACIONES LINEALES
TEOREMA =9 Sean 4 y 5 espacios de dimensin finita, 4 es isomorfo a 5, sA y slo
sA, la dimensin de 4 es i%ual a la dimensin de 5#
)R1EBA9
Supon%amos que dim 647 / dim 657 / n#
Entonces podemos (allar &ases , / H-
1
, -
<
, ###, -
n
J y ,
1
/ Hy
1
, y
<
, #### y
n
J de 4 y 5
respectivamente#
.or Teorema <, sa&emos que e-iste una *nica transformacin lineal T3 4 5, tal que3
T 6-
i
7 / y
i
, i / 1,n# Tam&in por el Teorema P, !m 6T7 /
7 6 ####, 7, 6
1 n
x T x T
, es
decir, !m 6T7 /
W y y
n
,###,
1 #
28
Adem$s, aplicando el Teorema X, vemos que dim 6N 6T77 / B y, por el Teorema 1, T es
un monomorfismo# .or lo tanto, 4 y 5 son isomorfos#
RecAprocamente, supon%amos a(ora que 4 es isomorfo a 5# Entonces e-iste una
transformacin lineal T3 4 5 que es 1 K 1 y so&reyectiva# omo T es so&re, tenemos
que3 !m 6T7 / 5# Tam&in, por el Teorema X3
=im 647 / dim 6N 6T77 8 dim 6!m 6T77 / B 8 dim 657 / dim 657#
.or lo tanto, dim 647 / dim 657#
Ejempo 11! 4erifique que R
P
M
<-<
Soucin"
17 Sean e
1
/ 61,B,B,B7, e
<
/ 6B,1,B,B7, e
>
/ 6B,B,1,B7 y e
P
/ 6B,B,B,17
A
1
/
,
_
B B
B 1
A
<
/
,
_
B B
1 B
A
>
/
,
_
B 1
B B
y A
P
/
,
_
1 B
B B
,ases de R
P
y M
<-<
respectivamente#
<7 Sea T3 R
P
M
<-<
, tal que, T 6e
i
7 / A
i
, i / i, P
>7 Nallamos la re%la de correspondencia de T#
=amos un vector %enrico v R
P
, esto es, v / 6a, &, c, d7#
"ue%o3
T 6v7 / T6a, &, c, d7 / T 6ae
1
8 &e
<
8 ce
>
8 de
P
7 / a T 6e
1
7 8 & T 6e
<
7 8 c T 6e
>
7 8 d T 6e
P
7
/ a
,
_
B B
B 1
8 &
,
_
B B
1 B
8 c
,
_
B 1
B B
8 d
,
_
1 B
B B
#
AsA, (emos (allado la re%la de correspondencia de T y que es dada por3
29
T 6v7 / T6a, &, c, d7 /
,
_
d c
b a
P7 .rue&e que T es un isomorfo 6lo de'amos como e'ercicio7#
Ejempo 1#!9 =ados los R K espacios vectoriales3
2 / Hf6-7 / a 8 &-
<
8 c-
P
I a, &, c RJ
4 / H6p, r, s, t7 R
P
I p 8 r 8 s 8 t / BJ
onstruir un isomorfismo entre 2 y 4#
Soucin
17 2na &ase de 2 es H1, -
<
, -
P
J, es decir, dim 627 / >#
<7 Encontremos una &ase de 4# ualquier elemento de 4 es de la forma3
6p, r, s, t7 / 60r K s K t, r, s, t7 / r 60 1, 1, B, B7 8 s 601, B, 1, B7 8 t 601, B, B7 17#
omo los vectores que %eneran a 4 son linealmente independientes, podemos escri&ir
que3 dim 647 / >#
>7 O&servamos que3 dim 627 / dim 647/># Entonces, por el Teorema Z, e-iste un
isomorfismo entre los espacios 2 y 4#
P7 =e&emos a(ora (allar la re%la de correspondencia de T3 2 4# .ara esto deseamos
determinar la ima%en de un vector %enrico de 2#
En efecto3
Sea u6-7 / a 8 &-
<
8 c-
P
2#
"ue%o3
T 6u6-77 / T6a 8 &-
<
8 c-
P
7 / a T 617 8 & T6-
<
7 8 c T6-
P
7
/ a 601, 1, B, B7 8 & 601, B, 01, B7 8 c 601, B, B, 17
/ 60a K& Kc, a, &, c7
.or lo tanto, T 6a 8 &-
<
8 c -
P
7 / 6a K & K c, a, &, c7
X7 .rue&e que T asA definido en P7 es un isomorfismo 6e'ercicio7
30
MATRIA DE 1NA TRANSFORMACIN LINEAL REFERIDA A 1N )AR DE
BASES
En esta seccin veremos que cualquier transformacin lineal T3 4 5 de un espacio
vectorial de dimensin finita 4, en otro espacio vectorial 5 con la misma caracterAstica,
se puede representar por una matri+# "a representacin matricial de T depende tanto de
la &ase de 4 como la de 5# Sin em&ar%o, una ve+ ele%ido las &ases en cada espacio y
consider$ndolas como &ases ordenadas, entonces la representacin matricial ser$
determinada en forma *nica# !niciamos esta teorAa con las si%uientes definiciones3
DEFINICIN ## Sea , / Hv
1
, v
<
, ###, v
n
J una &ase ordenada para el espacio 4# Si v 4
6ar&itrario7, entonces e-isten *nicos escalares
1
,
<
, ####,
n
F, tales que,
v /
1
v
1
8
<
v
<
8 ### 8
n
v
n
# Tales escalares caracteri+an a :v; respecto de la &ase de 4#
Estos escalares se llaman las coordenadas de v, respecto de dic(a &ase y lo denotamos
por3
QvR
,
/
,
_
#
#
<
1
NOTA" "a ra+n por la cual se insiste en que , sea una &ase ordenada es para que el
vector coordenado est determinado en forma *nica#
Ejempo 1/! Sea 4 / .
<
, el con'unto constituido por las funciones polinmicas de %rado
menor que ># El vector coordenado de f6-73 < K - 8 >-
<
, referido a la &ase ordenada3
, / Hf
1
3 1, f
<
3 -
,
f
>
3 -
<
J, es dado por3
31
Q f R
,
/
,
_
>
1
<
A(ora, si3 ,
1
/ H%
1
3 -
<
, %
<
3 -, %
>
3 1J, entonces3
Q f R
,1
/
,
_
<
1
>
omo con'untos, , y ,
1
son idnticos, pero como con'untos ordenados son diferentes#
Antes de definir la matri+ de una transformacin lineal damos un e'emplo que motivar$
la definicin#
Ejempo 12! Sea3
32
'
,
_
,
_
'
,
_
,
_
,
_

<
<
,
B
1
<
1
1
,
B
1
1
,
B
B
1
< 1 <
> < 1 1
w w
y
v v v
&ases ordenadas para R

>
y R
<
respectivamente# Sea T3 R
>
R
<
una transformacin
lineal tal que3
T 6v
1
7 / <E
1
K E
<
, T 6v
<
7 / BE
<
8 6017 E
<
, T 6v
>
7 / >E
1
K <E
<
Referido a la &ase
<
, tenemos3
33
[ ] [ ] [ ]

,
_
,
_
,
_
<
>
7 6
1
B
7 6 ,
1
<
7 6
<
>
<
<
<
1

v T v T v T
Formamos la matri+3
[ ] [ ] [ ] ( ) A v T v T v T
,
_

7 6 7 6 7 6
< 1 1
> B <
>
<
<
<
1

.ara cualquier vector v de R
>
, afirmamos que3
A QvR
1
/ QT 6v7R
<
En efecto"
Sea v R
>
I v / -
1
v
1
8 -
<
v
<
8 -
>
v
>
# Entonces3
34
[ ]

,
_
,
_
,
_
> < 1
> 1
>
<
1
1
<
> <
< 1 1
> B <
x x x
x x
x
x
x
v A

A continuacin escri&imos T 6v7 como com&inacin lineal de los vectores de la &ase
<
#
omo T es lineal tenemos3
T 6v7 / T 6-
1
v
1
8 -
<
v
<
8 -
>
v
>
7 / -
1
T 6v
1
7 8 -
<
6v
<
7 8 -
>
T 6v
>
7
/ -
1
T 6v
1
7 8 -
<
T 6v
<
7 8 -
>
T 6v
>
7
/ -
1
6<E
1
K E
<
7 8 -
<
60E
<
7 8 -
>
6>E
1
K <E
<
7
/ 6<-
1
8 >-
>
7 E
1
8 60-
1
K -
<
K <-
>
7 E
<
Esto nos conduce a escri&ir que3
[ ] [ ]
1
> < >
> 1
<
<
> <
7 6

v A
x x x
x x
v T
,
_
.or esta ra+n se dice que A es la matri+ de T referida a las &ases

1
y
<
#
35
DEFINICIN /9 Sean3 T3 4 5 una transformacin lineal y
1
/ Hv
1
, v
<
, ### , v
n
J ,
<
/ HE
1
, E
<
, ### , E
m
J &ases ordenadas para 4 y 5 respectivamente#
Sea T 6v
'
7 / a
1'
v
1
8 a
<'
v
<
8 ### 8 a
m'
v
m
, para ' / 1,n# "a matri+ de T referida a las &ases
ordenadas
1
y
<
es
[ ] [ ] [ ] ( )
< <
1
< 1
< << <1
1 1< 11
< 1
7 6 ######## 7 6
######
# # #
# # #
#####
#####

n
mn m m
n
n
v T v T
a a a
a a a
a a a
T
,
_
Es decir, la matri+ de T referida a las &ases

1
y
<
es la matri+ cuya '0sima columna es
el vector coordenado de T 6v
'
7 referido a la &ase
<
#
TEOREMA >9 Sean
1
/ Hv
1
, v
<
, ###, v
n
J y
<
/ HE
1
, E
<
,###, E
m
J &ases para los espacios
4 y 5 respectivamente, T3 4 5 una transformacin lineal y QTR
1<
/ A / 6a
i'
7
m-n
#
Entonces, para cualquier vector v 4, se tiene que3
A B8C
1
D BT 38!C
#
DEMOSTRACIN
omo A / QTR
1<
, tenemos que3
[ ]
,
_
mj
j
j
j
a
a
a
v T
#
#
# 7 6
<
1
<
Es decir, T 6v
'
7 / a
1'
E
1
8 a
<'
E
<
8 O 8 a
m'
E
m
,

' / 1,n
36
Sea v 4 y adem$s que3 QvR
1
/
,
_
#
#
<
1
# Esto nos conduce a escri&ir a v de la
si%uiente manera3
n n
v v v v + + + ###
< < 1 1
.=e a(A que,
T 6v7 / T 6
1
v
1
8 O 8
n
v
n
7 /
1
T 6v
1
7 8O8
n
T 6v
n
7
/
1

+ + +
m
i
m
i
m
i
i in n i i i i
w a w a w a
1 1 1
< < 1
###
,
_
+ + +
+ + +

m
i
i ij j
n
j
m
i
n
j
i ij j
m
i
i in n i i i
m
i
m
i
m
i
i in n i i i i
w a
w a
w a a w a
w a w a w a
1
1 1
1
< < 1 1
1 1 1
< < 1 1
7 ### 6
###
+ + +
n
j
m mj j j j j j
w a w a w a
1
< < 1 1
7 ### 6
m
n
j
mj j
n
j
j j
n
j
j j
n
j
n
j
n
j
m mj j j j j j
w a w a w a
w a w a w a
,
_
+ +
,
_
,
_
+ + +

1
<
1
< 1
1
1
1 1 1
< < 1 1
###
###

!dentificando las coordenadas de T 6v7 con respecto a la &ase
<,
o&tenemos que3
37
[ ] [ ]
1
1
1
<
1
1
<
#
#
# 7 6

v A
a
a
a
v T
n
j
mj j
n
j
j j
n
j
j j
,
_
Ejempo 1;! Sea T3 R

P
R
>
una transformacin lineal, definida por3
,
_
+ +
+
+
,
_
w z y
w y x
y x
w
z
y
x
T
P > <
>
<
Si y S son las &ases naturales de R
P
y R
>
, respectivamente,
a) Encuentre QTR
S
/ A
38
&7 2se la matri+ A para encontrar T6-7, donde - /
,
_
w
z
y
x
Soucin"
a7 Mediante un c$lculo sencillo o&tenemos3
T 6e
1
7 /
,
B
1
1
,
_
T 6e
<
7 /
,
<
>
<
,
_
T 6e
>
7 /
,
>
B
B
,
_
T 6e
P
7 /
,
P
1
B
,
_
E-presemos a T 6e
i
7, i / 1,P como com&inacin lineal de las &ases natural de R
>
#
T 6e
1
7 /
,
_
B
1
1
/ 1eS
1
8 1eS
<
8 BeS
>
, de donde tenemos que3 QT 6e
1
7R
S
/
,
_
B
1
1
T 6e
<
7 /
,
_
<
>
<
/ <eS
1
8 >eS
<
8 <eS
>
, de donde tenemos que3 QT 6e
<
7R
S
/
,
_
<
>
<
39
T 6e
>
7 /
,
_
>
B
B
/ BeS
1
8 BeS
<
8 >eS
>
, de donde o&tenemos que3 QT 6e
>
7R
S
/
,
_
>
B
B
T 6e
P
7 /
,
_
P
1
B
/ BeS
1
8 1eS
<
8 PeS
>
, de donde o&tenemos que3 QT 6e
P
7R
S
/
,
_
P
1
B
.or la definicin >, podemos afirmar que3
[ ] [
P > 1
B B < 1

T A
,
_

&7 Sea - /
,
_
w
z
y
x
R
P
# Entonces Q-R
,
_
w
z
y
x
.or el Teorema ^, tenemos que3 AQ-R
/ QT6-7R
S
# Reempla+ando la matri+ A calculada
en la parte a7 de este e'emplo, tenemos que3
40

,
_
P > 1
B B < 1

,
_
w
z
y
x
/ QT6-7R
S
# Multiplicando las matrices o&tenemos3
QT6-7R
S
/
,
_
+ +
+
+
w z y
z y x
y x
P > <
>
<
# =e&ido a que S es la &ase natural de R
>
, se tiene la si%uiente
i%ualdad3 QT6-7R
S
/ T6-7#
Finalmente, tenemos3
T6-7 /
,
_
+ +
+
+
w z y
z y x
y x
P > <
>
<
Ejercicio" Sea T3 R
>
R
<
una transformacin lineal, definida por3
41
,
_
+
+
,
_
z y x
z y x
z
y
x
T

/
,
_
1
1
B
J y
<
/ HE
1
/
,
_
,
_
>
B
,
<
1
<
w
J, son dos
&ases ordenadas para R
>
y R
<
respectivamente, encuentre A / QTR
S
#
NOTA9 Si v /
,
_
n
x
x
x
#
#
<
1
es un vector de R
n
y si , / He
1
, e
<
, ###, e
n
J es la &ase natural
de R
n
, entonces v / -
1
e
1
8 -
<
e
<
8 ### 8 -
n
e
n
# .or lo tanto3
42
QvR
,
_
n
x
x
x
#
#
<
1
/ v#
O sea, el vector coordenado de v referido a la &ase natural es idntico al vector v#
.or consi%uiente la matri+ de una transformacin lineal T3 R
n
R
m
referido a las &ases
naturales , y ,S para R
n
y R
m
respectivamente, es la matri+3
QTR
S
/ 6T 6e
1
7 T 6e
<
7 ### T 6e
n
77
Ejercicio" Si T3 R
>
R
<
es la transformacin lineal, definida por3
T
,
_
,
_
z y
y x
z
y
x
<
< >
y
1
/ Hv
1
/
,
_
1
B
1
, v
<
/
,
_
1
<
1
, v
>
/
,
_
<
1
B
J y
<
/ HE
1
/
,
_
<
1
, E
<
/
,
_
B
P
J &ases ordenadas para R
>
y R
<
respectivamente,
43
a7 Encuentre QTR
1<
/ A
&7 2se QTR
1<
para encontrar T6+
1
7 y T6+
<
7, si +
1
/
,
_
<
Z
P
y +
<
/
,
_
P
B
>
c7 Encuentre QTR
S
, si y S son las &ases naturales de R
>
y R
<
respectivamente#
d7 2se QTR
S
para encontrar T 6+
1
7 y T 6+
<
7 con +
1
y +
<
como en la parte &7#
Rpt'"
a7
,
_
_ I ^ P I ^ 1
 B 1
A
&7 T 6+
1
7 /
,
_
<

M'triE de C'm<io de B'$e
Nemos visto en la seccin anterior que la matri+ de un operador lineal T3 4 4
depende de la &ase que se esco'a para 4# Muc(as de las aplicaciones del
$l%e&ra lineal dependen del (ec(o de que uno pueda 6en al%unas ocasiones7
seleccionar una &ase tal que la matri+ de la transformacin sea de cierta
forma#
.or otro lado, si un operador lineal T3 4 4 tiene una matri+ A referido a al%una &ase
dada, y una matri+ , referido a otra &ase, sur%e la si%uiente pre%unta3 ?mo est$n
44
relacionadas las matrices A y ,@ .ara dar respuesta a la pre%unta, (aremos al%unas
consideraciones3
Sean T3 44 un operador lineal, A la matri+ de T referida a al%una &ase ,
1
/ Hv
1
,
v
<
, ###, v
n
J y , la matri+ de T, referida a al%una &ase ,
<
/ HE
1
, E
<
, ###,E
n
J#
onsideremos a(ora, el operador lineal identidad so&re 4, esto es, !3 4 4Y . la matri+
de ! referida a la &ase ,
<
,
1
y F la matri+ de ! referida a la &ase ,
1
,
<
# Entonces la matri+
de ! o ! referida a las &ases ,
<
es F.#
.ero, ! o ! / ! y la matri+ del operador lineal identidad so&re 4 referido a la &ase ,
<
es
!
n
6matri+ identidad de orden n7# Entonces F. / !
n
y F / .
01
#
.ara que entendamos me'or estas aseveraciones, veamos el si%uiente %r$fico3

NOTA9 "a matri+ . es llamada la matri+ de cam&io de &ase, de la &ase ,
<
a la &ase ,
1
y
es tal que3 .QvR
,<
/ QvR
,1
# En forma seme'ante, la matri+ F es llamada la matri+ de
cam&io de &ase, de la &ase ,
1
a la &ase ,
<
y es tal que3 FQvR
,1
/ QvR
,<
#
onsideremos a(ora, el si%uiente dia%rama3
45
V
[B
2
]
P
4
Q,
1
R
Q,
<
R
V
I
Q
QP
I o I
I
Q,
<
R
Q,
<
R
Q,
1
R Q,
1
R
V
V
V V
P I
T
A
B
T
Q I
=el dia%rama anterior, podemos deducir que3 , / F A ., pero del %r$fico anterior
tenemos F / .
01
, entonces , / .
01
A .# A(ora estamos en condiciones de dar respuesta
a la pre%unta formulada anteriormente#
Si la matri+ de T3 4 4 referida a la &ase ,
1
es A y la matri+ de T referida a la &ase ,
<
es ,, entonces A y , est$n relacionados por la si%uiente ecuacin3 , / .
01
A., donde
tenemos que3 . / Q ! R
,<,1
e !3 4 4 es la transformacin identidad#
Ejempo 1=! Si T3 R
<
R
<
es la transformacin lineal, definida por T
,
_
,
_
y x
y x
y
x
,
46
'
,
_
,
_
'
,
_
,
_

<
1
,
B
<
1
B
,
1
1
< 1 < < 1 1
w w y v v
, son dos &ases ordenadas para R
<
, encuentre3
a7 Encuentra la matri+ A de T referido a la &ase ,
1
#
&7 Encuentre la matri+ , de T referida a la &ase ,
<
#
c7 Encuentre la matri+ . para el cam&io de &ase de ,
<
a ,
1
#
d7 Encuentre la matri+ .
01
para el cam&io de &ase de ,
1
a ,
<
#
e7 =emuestre que , / .
01
A.#
f7 2sando .
01
escri&a <v
1
8 >v
<
como com&inacin lineal de ,
<
#
%7 2sando . escri&a >E
1
8 PE
<
como com&inacin lineal de ,
1
#
Soucin"
a7 alculamos la ima%en de v
1
y v
<
mediante T3
47
T 6v
1
7 / T
,
_
,
_
B
<
1
1
, T 6v
<
7 / T
,
_
,
_
1
1
1
B
E-presemos a(oraY
,
_
,
_
1
1
B
<
y
como com&inacin lineal de v
1
y v
<
48
,
_
,
_
,
_
,
_
,
_
,
_
1
B
1
1
1
1
,
1
B
1
1
B
<
< 1 < 1

"os sistemas de ecuaciones dados arri&a, podemos escri&irlos matricialmente de
la si%uiente manera3
49
,
_
,
_
< < 1 B
1 
<
1
50
.rocediendo en forma similar que en la parte a7 y e-presando matricialmente los
sistemas de ecuaciones que conllevan a escri&ir
,
_
<
<
y
,
_
1
>
como
com&inacin lineal de la &ase ,
<
, tenemos3
,
_
,
_
,
_
,
_
 < 1 <
1 < < 1 <
51
onsecuentemente, tenemos que
,
_
< I 1 1
P I ^ < I 1
c!5 d!5 e!5 (!5 %! lo de'amos como e'ercicios#

DEFINICIN 2! Sean ,
1
/ Hv
1
, v
<
, ###, v
n
J y ,
<
/ HE
1
, E
<
, ###, E
n
J &ases ordenadas para
el espacio vectorial 4, !3 4 4 la transformacin lineal identidad# "a matri+ asociada
a la transformacin lineal F / Q!R
,1,,<
/
[ ] [ ] [ ] ( )
< < < < 1
##########
n
v v v
, es llamada la
matri+ de cam&io de &ase de ,
1
a ,
<
6porque FQ-R
,1
/ Q-R
,<
7
TEOREMA ?9 Sea T3 4 4 un operador lineal so&re 4 y A la matri+ de T referida a la
&ase ordenada ,
1
/ Hv
1
, v
<
, ###, v
n
J# Si ,
<
/ HE
1
, E
<
, ###, E
n
J es cualquier &ase ordenada
para 4, entonces3
a7 "a matri+ . /
[ ] [ ] [ ] ( )
1 1 < 1 1
##########
n
w w w
para el cam&io de &ase de ,
<
a
,
1
es inverti&le#
&7 "a matri+ F para el cam&io de &ase de ,
1
a ,
<
, es i%ual a .
01
, esto es, F/.
01
#
c7 "a matri+ de T referida a ,
<
es , / .
01
A.#
)R1EBA9
"a prue&a lo de'amos como e'ercicio5 de&ido a que la demostracin m$s %eneral de
este Teorema, lo (aremos en el Teorema NC `
Ejempo 1>! Si . /
,
_
P >
< 1
es la matri+ para el cam&io de una &ase ,
<
/ HE
i
J a una &ase
,
1
/ Hv
i
J y la matri+ de T3 R
<
R
<
referida a ,
1
es3
52
A /
,
_
1 >
B 1
# Encuentre la matri+ de T referida a la &ase ,
<
#
Soucin" .ara dar solucin a este e'emplo, consideremos el si%uiente dia%rama3
=el dia%rama arri&a o&tenemos que3 , / F
01
A. /
,
_
< 

Z P
#
TEOREMA @9 3MATRIA DE CAMBIO DE BASE!
Sea T3 4 5 una transformacin lineal, donde dim 647 / n, dim657 / m#
onsideremos3 ,
1
/ Hv
1
, ###, v
n
J y ,
1
S / Hv
1
S, v
<
S, ###, v
n
SJ &ases ordenadas para 4 y
,
<
/ HE
1
, ###, E
m
Jy ,
<
S / HE
1
S, ###, E
m
SJ &ases ordenadas para 5#
Sea . / 6p
i'
7
n-m
la matri+ para el cam&io de &ase, de ,
1
a ,
1
S y F / 6q
i'
7
m-m
la matri+ para
el cam&io de &ase, de ,
<
a ,
<
S#
Si A / Q T R
,1,<
/ 6a
i'
7
m-n
es la matri+ para el cam&io de &ase, de ,
1
a ,
<
, entonces la
matri+ , / Q T R
,S1,S<
para el cam&io de &ase, de ,
1
S a ,
<
S, satisface que3 , / FA.
01
#
)R1EBA" onsideremos el si%uiente dia%rama3
53
R
<
Q,
1
R
R
<
Q,
<
R
R
<
Q,
<
R
R
<
Q,
1
R
T
A
,T
! .
F
01
!
Si Q ! R
,1,S1
/ . / 6p
i'
7
n-n
, entonces v
'
/
n
i
i ij
v p
1
[
, '/1,n
Si A / Q T R
,1,<
/ 6a
i'
7
m-n
, entonces T6v
'
7 /
m
k
k kj
w a
1
Si Q ! R
,<,S<
/ F / 6q
9i
7
m-m
, entonces E
s
/
m
k
k s k
w q
1
[
, s/1,m
Si Q T R
,S1,S<
/ , / 6&
i'
7
m-n
, entonces T6vS
'
7 /
m
k
k kj
w b
1
[
=emostrar que , / FA.
01
, es equivalente a demostrar que, ,. / FA#
En efecto3
Sa&emos que T 6v
'
7 /
n
k
k kj
w a
1
, '/1,n y que adem$s v
'
/
n
i
i ij
v p
1
[
#
"ue%o3
T6v
'
7 / T

,
_
n
l
m
k
k ki lj
n
l
i lj
n
l
l lj
w b p v T p v p
1 1
[
1
[
1
7 6
T6v
'
7 /

,
_
m
k
m
k
k
n
i
ij ki k ki lj
n
i
w p b w b p
1 1
[
1
[
1
7 P 6
54
Q,
1
R
Q,
<
SR
Q,
<
R
Q,
1
R
4
5
5
T
A
4
! .
01
F !
,
T
A(ora tra&a'amos en
m
k
k kj
w a
1
( )
7 X 6
[
1 1
[
1 1 1
[
1 1
k
m
k
m
i
kj ik
k
m
k
kj ik
m
i
m
i
i ik
m
k
kj
m
k
k kj
w a q
w a q w q a w a

,
_

omparando 6P7 con 6X7 y porque la com&inacin lineal, si e-iste, es *nicaY entonces se
cumple3

m
i
ij ki
n
i
ij ki
a q p b
1 1
, 9, '#
"o que implica que ,. / FA#
55
BIBLIO*RAFFA
1# L# ,ac(mann, "# Narici, Functional Analysis, =over .u&lications, <BBB#
<# # ($ve+ 4e%a, al%e&ra "ineal, Edit# Mos(era, "ima, <BB^#
># ,ernard bolman, al%e&ra lineal con aplicaciones y Matla&, se-ta edicin,
Edit# .rentice Nall, M-ico, 1```#
P# L# na9os, =# coyner, al%e&ra "ineal con aplicaciones, Edit# T(omson,
M-ico, 1```#
X# M# "$+aro, al%e&ra "ineal, Edit# Mos(era, "ima, 1``P#
Z# ,# No&le, c# =aniel, al%e&ra lineal aplicada, tercera edicin, Edit# .rentice
Nall, M-ico, 1`_`#
56

Transf. Lineales 2011

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Transf. Lineales 2011

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIDAD NACIONAL DE CAJAMARCA LGEBRA LINEAL

4, entonces T es llamado operador lineal en 4#

siendo conocido el vector a#

&ases ordenadas para R

.or esta ra+n se dice que A es la matri+ de T referida a las &ases

Es decir, la matri+ de T referida a las &ases

Ejempo 1;! Sea T3 R

c!5 d!5 e!5 (!5 %! lo de'amos como e'ercicios#

< < I >

Você também pode gostar