ESPACIO

VECTORIAL
Revisin
ESPACIO VECTORIAL
Sea V un conjunto no vaco
K un cuerpo (en particular R o C)
V es espacio vectorial sore K ! si"

#na operacin (su$a) interna en V! cu$ple los si%uientes a&io$as"

(u'v)'()u'(v'() u!v!(V (asociativi*a*)

u'v)v'u u!vV (con$utaili*a*)

+V,uV! u'+)u (e&istencia *e ele$ento neutro)

uV! -uV,u'(-u))+ (e&istencia *e inverso a*itivo u opuesto)

Observacin: (V!') %rupo aeliano.

#na operacin e&terna (pro*ucto por escalar)! .ue a ca*a pareja K! uV!
asocia un vector u *e V / veri0ica"

(u'v)) u' v u!vV K

(')u) u'u u V ! K

(u))()u uV ! K

1u)u (1)uni*a* *e K) u V
2ase *e un espacio vectorial
#n suconjunto 2 no vaco! *e un espacio vectorial V sore un
cuerpo K! *istinto *e cero! es una ase *e V si / slo si"
13 2 es lineal$ente in*epen*iente! /
43 2 %enera a V
Oservaciones"
.
El conjunto vaco es! por convencin! la 5nica ase *el espacio
vectorial cero o nulo" 6+73
.
To*o espacio vectorial tiene al $enos una ase3
.
#n suconjunto 2)6v1!8!vn7 *e un espacio vectorial V sore
un cuerpo K! es una ase *e V si / slo si para ca*a vector v
en V e&isten escalares c1!8!cn (ele$entos *e K) 5nicos! tales
.ue
v)c1v1'8'cnvn
9i$ensin *e un espacio vectorial
Si un espacio vectorial V tiene una ase con n ele$entos!
entonces se *ice .ue V es *i$ensional 0inito! / n es la
*i$ensin *e V3 Se e&presa
*i$(V))n
La *i$ensin es un n5$ero ien *e0ini*o / no *epen*e *e la
eleccin *e la ase3
La *i$ensin *el espacio cero 6+7! se *e0ine co$o cero3 Por
consi%uiente! 6+7 es *i$ensional 0inito3
#n espacio vectorial .ue no ten%a una ase 0inita se lla$a
*i$ensional in0inito3
TRA:S;OR<ACIO:ES
LI:EALES
Carezco de un don especial. Slo
soy apasionadamente curioso.
Albert Einstein (187!1""#
TRA:S;OR<ACI=: LI:EAL E:TRE 9OS
ESPACIOS VECTORIALES SO2RE #: <IS<O
C#ERPO
Sean V / > *os espacios vectoriales sore un $is$o cuerpo K3
#na trans0or$acin lineal *e V a > es una aplicacin T"V>
tal .ue para to*os los vectores u / v *e V / cual.uier escalar
*e K"
13 T(u'v))T(u)'T(v)
43 T(3u)) 3T(u)
El si%no ' en u'v re0iere a la su$a en V! $ientras .ue el si%no '
en T(u)'T(v) lo ?ace a la su$a en >3 9el $is$o $o*o! las
$ultiplicaciones por escalares 3u / 3T(u) se e0ect5an en V /
>! respectiva$ente3
V >
La con*iciones 13 / 43 son e.uivalentes a la 5nica si%uiente"
T"V> es una trans0or$acin lineal si / slo si"
T(3u'3v)) 3T(u)' 3T(v)
! K! u!vV
u
u'v
3u
v
T(u)
T(v)
T(u'v))T(u)'T(v)
T(3u)) 3T(u)
T
Propie*a*es"

T(+v))+( +vV! +(>

T(-u)) -T(u) uV
En particular"

T es un $ono$or0is$o T es in/ectiva

T es un epi$or0is$o T es sore/ectiva

T es un iso$or0is$o T es i/ectiva
Si >)V! entonces T se lla$a en*o$or0is$o! / si @ste es i/ectivo recie el
no$re *e auto$or0is$o3
Trans0or$aciones lineales triviales"

O"V>,O(v))+( (trans0or$acin nula)

I"V>,I (v))v (trans0or$acin i*enti*a*)

:ACLEO E I<ABE: 9E #:A TRA:S;OR<ACI=:
LI:EAL
:5cleo"
Es el conjunto *e to*os los vectores *el *o$inio cu/as
i$C%enes por T son el vector nulo *el co*o$inio3
:(T))6vV,T(v))+(7
V
>
:(T)
+(
$%O$&E'A':
El n5cleo *e to*a trans0or$acin lineal entre *os espacios es
un suespacio *el pri$ero3
I$a%en"
Es el conjunto i$a%en *el *o$inio! o sea! es la totali*a* *e las
i$C%enes *e los vectores *el pri$er espacio3
I(T))6(>,vV "T(v))(7
+v +(
I(T)
V >
$%O$&E'A':
La i$a%en *e to*a trans0or$acin lineal entre *os espacios
vectoriales es un suespacio *el co*o$inio3
Co$posicin *e trans0or$aciones lineales
Sean T1"#V / T4"V> trans0or$aciones lineales! a$as
sore un $is$o K3 Se *e0ine la trans0or$acin co$puesta!
T4T1"#> por"
(T4T1)(u))T4 (T1(u)) u#
#
V > u
T1(u)
T4(T1(u)
)
T1
T4
T4T1
Oservacin"
T4T1"#> es una trans0or$acin lineal3
Le/es *e la co$posicin"
Sean T1! T4 / TD trans0or$aciones lineales! las tres sore el $is$o cuerpo K!
en las .ue estCn *e0ini*as las si%uientes operaciones / sea cK3 Entonces se
veri0ican"
Potencias *e una trans0or$acin lineal
Sea T"VV una trans0or$acin lineal"
T+)I T1)T T4)TT 333 TE)TT333T (E F0actoresG)
Potencias particulares *e una trans0or$acin lineal
Sea T"VV una trans0or$acin lineal"

T se *ice i*e$potente si T4)T

T *e *ice nilpotente si n" Tn)+

13 (T1T4)TD )T1(T4TD)
43 T1(T4'TD))T1T4 '
T1TD
D3 (T4'TD)T1) T4T1 '
TDT1
H3 c(T4TD)) (cT4)TD ) T4(cTD)
I3 IT1)T1I)T1
J3 +T1)T1+)+

T se *ice involutiva si T4)I

Trans0or$aciones lineales invertiles
#na trans0or$acin lineal T"VV es invertile si e&iste una trans0or$acin
TK"VV con la propie*a*
TTK)I / TKT)I
A la trans0or$acin TK se la lla$a inversa *e T3
%ecordemos" Si e&iste una inversa es 5nica3 Esta inversa 5nica se representa por
T-13 9e a? .ue
TT-1)I / T-1T)I
Oservaciones"

Si T es invertile! entonces T(v))(T-1(())v

T-1 es trans0or$acin lineal

T
T-1
V
v
V
T(v)
Propie*a*es *e las trans0or$aciones lineales"
Sean V / > espacios vectoriales sore K"

#na trans0or$acin lineal T"V> es in/ectiva! si / slo si el

5nico ele$ento *el n5cleo es el vector nulo *el *o$inio3

La i$a%en *e cual.uier conjunto lineal$ente *epen*iente! por

una trans0or$acin lineal! es lineal$ente *epen*iente3

Si T"V> es una trans0or$acin lineal / v1!v4!333!vr son

ele$entos *e V tales .ue sus i$C%enes constitu/en un conjunto
lineal$ente in*epen*iente en >! entonces v1!v4!333!vr son
lineal$ente in*epen*ientes3

La i$a%en *e to*o conjunto lineal$ente in*epen*iente! *a*a

por cual.uier trans0or$acin lineal in/ectiva! es un conjunto
lineal$ente in*epen*iente3

Sea T"V> una trans0or$acin lineal! si un conjunto *e vectores!

es siste$a %enera*or *e V! entonces el conjunto *e sus i$C%enes! es
siste$a %enera*or *e T(V))I(T)3 Se llama ran(o de ) a:
ran( )*dim(&()##

Sea T"V> una trans0or$acin lineal! si # es un suespacio *e

V! entonces T(#) es una suespacio *e >3

Si T"V> es un iso$or0is$o! entonces T-1">V es! ta$i@n!

un iso$or0is$o3

Sea T"V> una trans0or$acin lineal! si S es un suespacio *e

>! entonces T-1(S) es un suespacio *e V3

#na trans0or$acin lineal T"V> es in/ectiva! si / slo si! un

conjunto lineal$ente in*epen*iente *e ele$entos *e V tiene por
i$a%en un conjunto lineal$ente in*epen*iente en >3

Sea T"V> una trans0or$acin lineal3 Entonces"

*i$ V) *i$ :(T)'*i$ I(T)

La trans0or$acin lineal T"V> tiene *i$ensin 0inita si /

slo si *i$V)*i$ T(V)3

Sea T"V> una trans0or$acin lineal! si 2)6v1!v4!333!vr7 es

ase *e V!entonces T es in/ectiva si / slo si
T(2) )6T(v1)!T(v4)!333!T(vr)7 es una ase *e T(V)3

Sea T"V> una trans0or$acin lineal ! T iso$or0is$o *e V

en > si / slo si trans0or$a ases *e V en ases *e >3

Si V tiene *i$ensin 0inita! una trans0or$acin lineal T"V>

es un iso$or0is$o si / slo si"
*i$ V) *i$ T(V)) *i$ >

#na trans0or$acin lineal T"VV es un auto$or0is$o si /

slo si T es in/ectiva sur/ectiva3

#na trans0or$acin lineal T"V> es un iso$or0is$o si / slo

si
I(T))> / :(T))6+v7

La co$posicin *e *os iso$or0is$os es! ta$i@n un

iso$or0is$o3

Si la trans0or$acin lineal T"V> es un iso$or0is$o!

entonces T-1"V> ta$i@n es un iso$or0is$o3

9os espacios vectoriales *e *i$ensin 0inita (sore el $is$o

cuerpo K) son iso$or0os si / slo si tienen la $is$a *i$ensin3

El conjunto *e las trans0or$aciones lineales .ue van *e V en V!

constitu/e un Cl%era3
<ATRICES
9E LAS
TRA:S;OR<ACIO:ES
LI:EALES
Los vectores / las $atrices se relacionan en 0or$a nti$a a
trav@s *e la $ultiplicacin $atricial3 Para una $atriL 0ija A *e
$&n! cual.uier vector & *e n co$ponentes! correspon*e al
vector A& *e $ co$ponentes3 Esta correspon*encia *e0ini*a
por el pro*ucto $atricial A& es el principal eje$plo *e una
trans0or$acin lineal3
Las trans0or$aciones lineales *ese$peMan un papel $u/
i$portante en $ate$Ctica! 0sica! in%eniera! procesa$iento *e
i$C%enes! %rC0icas en co$puta*ora / otras Creas *e la ciencia /
*e la vi*a *iaria3
A?ora *iri%ire$os nuestra atencin a un tipo conte$porCneo
*e aplicacin3
El *ile$a *el caricaturista3
#n caricaturista e$plea co$puta*oras / Cl%era lineal para
trans0or$ar las i$C%enes .ue *iuja3 Supon%a$os .ue trata *e
*ar la sensacin *e $ovi$iento a la i$a%en *e la 0i%ura (a)!
inclinCn*ola / estirCn*ola (?oriLontal$ente) en 0or$a %ra*ual
para lle%ar a la *e la 0i%ura ()3 Si el estira$iento necesario! por
eje$plo! a lo lar%o *el eje & es I+N! Oc$o pue*e $o*elarlo
$ate$Ctica$ente / ?acer .ue la co$puta*ora trace la i$a%en
inclina*aP
El $@to*o *eera ser in*epen*iente *e la i$a%en inicial para
po*er aplicarlo a otros cua*ros3
En la respuesta interviene una sencilla $ultiplicacin *e $atriL
por vector3 9e ?ec?o! necesita$os $ultiplicar por la iL.uier*a el
vector coor*ena*o *e cual.uier punto en el plano .ue *esee$os
trans0or$ar! por la $atriL"
1
]
1

1 0
5 , 0 1
1
]
1

1
]
1

,
_

1
]
1

,
_

1
]
1

y
x
y
x
S
y
x
R R S
x
x
1 0
5 , 0 1

:
2 2
As!
es la trans0or$acin .ue se
*esliLa en *ireccin positiva
*e & en un 0actor *e +!I3
TRA:S;OR<ACI=: <ATRICIAL
#na trans0or$acin $atricial T se e&presa $e*iante
T"RnR$ / a @sta le correspon*e una $atriL A *e $&n tal
.ue"
T(&))A&
para to*o &Rn3 A se lla$a $atriL (estCn*ar) *e T3
A?ora %eneraliLare$os el concepto *e la $atriL estCn*ar *e
una trans0or$acin $atricial3
To*a trans0or$acin lineal entre espacios vectoriales *e
*i$ensiones 0initas pue*e representarse con una
trans0or$acin $atricial3
Este resulta*o 5til nos per$ite evaluar trans0or$aciones
lineales $e*iante la $ultiplicacin *e $atrices3
<atriL *e una trans0or$acin lineal
Sea T"V> una trans0or$acin lineal entre *os espacios
vectoriales V / > *e *i$ensiones 0initas3 Sea 2)6v1!8!vn7 una
ase *e V / 2K)6vK1!8!vK$7 una ase *e >3 La $atriL A *e
$&n cu/as colu$nas son"
QT(v1)R2K!8!QT(vn)R2K
es la 5nica $atriL .ue satis0ace"
QT(v)R2K)AQvR2
para to*o vV3
La $atriL A se lla$a $atriL *e T con respecto a 2 / 2K3 Si
V)> / 2)2K! A se lla$a $atriL *e T con respecto a 23
v
V
Q
v
R
2
Rn
Q R2
T
<ult3 por A
T(v)
AQvR2)QT(v)R2K
>
R$
<atriL *e una trans0or$acin lineal
Q R2K
Oservaciones"

Si conoce$os A es posile evaluar T(v) calculan*o QT(v)R2K

co$o AQvR2 ! lo cual es tan slo una $ultiplicacin *e
$atrices3

La $atriL *e T *epen*e *e T! 2 / 2K3 A5n cuan*o se

$o*i0ica el or*en *e los vectores en una *e las ases! la
$atriL *e T ca$ia3

Las 5nicas trans0or$aciones lineales *e Rn a R$ son las

trans0or$aciones $atriciales3
ESE<PLO"
Sea la trans0or$acin lineal *e0ini*a por
/ sean las ases *e *on*e
respectiva$ente3
a) 9eter$ine la $atriL A *e T con respecto a las ases 2 / 2K
) La $atriL estCn*ar *e T! Oes i%ual .ue A *el inciso (a)P
c) Eval5e en 0or$a *irecta / a partir *el inciso (a)3
1
1
1
]
1

1
]
1

y x
y x
y x
y
x
T R R T
4
2
/ :
3 2
{ } { } ' , ' , ' ' , ,
3 2 1 2 1
v v v B v v B
3 2
, R R
1 3 2 2 3 1
1 2 2 1
' , ' , '
,
e v e v e v
e v e v


1
]
1

6
4
T
SOL#CI=:"
a) En este caso
/
A continuacin necesita$os QT(e4)R2K / QT(e1)R2K3 Es 0Ccil
veri0icar .ue!

/
( )
1
1
1
]
1

1
]
1

4
1
1
1
0
2
T e T
( )
1
1
1
]
1

1
]
1

1
1
2
0
1
1
T e T
1
1
1
]
1

1
1
1
]
1

1
1
4
4
1
1
' B
1
1
1
]
1

1
1
1
]
1

2
1
1
1
1
2
' B
Por consi%uiente!
1
1
1
]
1

2
1
1

1
1
4
A
)La $atriL estCn*ar *e T! .ue ta$i@n es la $atriL *e
T con respecto a la ase estCn*ar! es
.ue no es i%ual .ue A3
*)Al sustituir en la 0r$ula para T! se otiene
Por otro la*o! para usar A se necesita !.ue es

1
1
1
]
1

4
1
1

1
1
2
1
1
1
]
1

1
]
1

20
10
2
6
4
T
B
1
]
1

6
4
1
]
1

4
6
As! por la *e0inicin *e un vector coor*ena*a con
respecto a 2K!
1
1
1
]
1

1
]
1

1
1
1
]
1

1
]
1

1
]
1

2
10
20
4
6
2
1
1

1
1
4
6
4
' B
T
1
1
1
]
1

1
1
1
]
1

1
1
1
]
1

1
1
1
]
1

1
]
1

20
10
2
0
0
1
2
0
1
0
10
1
0
0
20
6
4
T
9e $anera .ue!
Trans0or$aciones lineales / operaciones $atriciales
Sean T1 / T4 trans0or$aciones lineales entre espacios
vectoriales *e *i$ensiones 0initas! con $atrices A / 2 con
respecto a ases 0ijas3 Entonces! la $atriL *e la
trans0or$acin lineal"
13 T1'T4 es A'2T
43 T1-T4 es A-2T
D3 -T1 es UAT
H3 cT1 es cAT
I3 T1T4 es A2
Ca$io *e ase / la $atriL *e una tras0or$acin lineal
Sea T"VV una trans0or$acin lineal *e un espacio vectorial V
*e *i$ensin 0inita en s $is$o3 Sean 2 / 2K *os ases *e V! /
sea P la $atriL *e transicin *e 2K a 23 Si A es la $atriL *e T
con respecto a 2 / si AK es la $atriL *e T con respecto a 2K!
entonces"
AK)P-1AP
&
Rn
P
&
Rn
P
AV
El e0ecto *el ca$io *e ase
A
K
&
)
P
-
1
A
P
&
A
P
&
Rn
Rn
P-1
QT()R2K
A
QT()R2
BeneraliLan*o"
Sea T"V> una trasn0or$acin lineal entre espacios
vectoriales *e *i$ensin 0inita sore un $is$o cuerpo K! / sea
A la $atriL asocia*a a T respecto *e ciertas ases *e V / >3 Si
en V / > se ca$ian las ases / lla$an*o P / W a las $atrices
*e los respectivos ca$ios *e coor*ena*as! entonces la $atriL
asocia*a a T en las nuevas ases es la
AK)W-1AP
VEAMOS OTRA
APLICACIN
En los 5lti$os aMos ?a sur%i*o un Crea nueva en las
$ate$Cticas! lla$a*a %eo$etra 0ractal3 Aun.ue esta
%eo$etra tiene sus races en varias contriuciones
i$portantes co$o las *e Cantor! SierpinsEi! von Koc?! Peano
/ otros $ate$Cticos *el si%lo XIX! no 0ue sino ?asta 0ines *e
la *@ca*a *e los setenta .ue lle% a ser un Fca$po nuevoG3
Esto se *ei al traajo *el precursor 2enoit <an*elrot *e
la I2< Corporation! / a la *isponiili*a* *e co$puta*oras
rCpi*as3 La palara 0ractal! intro*uci*a por <an*elrot! se
usa para *escriir 0i%uras con Fin0initas repeticiones *e la
$is$a 0or$aG3
<3 2arnsle/ oserv .ue pue*en otenerse $uc?os ojetos
F0ractaloi*esG %ra0ican*o iteraciones *e ciertas
trans0or$aciones especiales lla$a*as a0ines3
El triCn%ulo *e SierpinsEi
Sean 01! 04 / 0D las tres trans0or$aciones a0ines *e R4 a R4 e&presa*as por"
El triCn%ulo *e SierpinsEi pue*e %enerarse co$o si%ue" co$enLa$os con un
triCn%ulo! por eje$plo a.uel cu/os v@rtices estCn en (+!+)! (1!+)! (+!1) /
ele%i$os un punto *entro *e @l / lo %ra0ica$os! *i%a$os! en el punto (Y!Y)3 A
continuacin selecciona$os al aLar una *e las trans0or$aciones 01! 04 o 0D!
*i%a$os 0i! / se calcula / %ra0ica 0i (Y!Y)3 Partire$os *e este nuevo punto /
repetire$os el proceso tanto co$o lo *esee$os3 La i$a%en .ue resulta es un
Fojeto 0ractalG .ue parece un triCn%ulo con a%ujeros trian%ulares (si se
%ra0ican astantes puntos)3
( )
( )
( )
1
1
]
1

+
1
1
1
]
1

1
1
]
1

+
1
1
1
]
1

1
1
1
]
1

2
1
0
2
1
0
0
2
1
0
2
1
2
1
0
0
2
1
2
1
0
0
2
1
3
2
1
x x f
x x f
x x f
2ilio%ra0a consulta*a"

Apostol! T3 FCalculus! Vol3 4G3 Revert@

Apuntes *e Zl%era II por E393 ;on%i3 ;RR3 #T:3

2ur%os! S3 FZl%era LinealG3 <c Bra( [ill3

[erstein! I3 FZl%era <o*ernaG3 Trillas3

:aEos! B3 U So/ner! 93 FZl%era Lineal con

AplicacionesG3 T?o$son3

Rojo! A3 FZl%eraG3 El Ateneo3

Stran%! B3 FZl%era Lineal / sus aplicacionesG3

A*isson >esle/3
RealiLa*o por" Pro03 <icaela Susana Lu.ue
4++\