1

ESPACIOS
VECTORIALES
ESTRUCTURA
1.1. Demostrar que e l axioma VS es equi val ente al aKioma s i guiente !
VB* : ax = 0 a = 0 s = 0 , para todo a K, !V"
S # $ # % & # ' :
a i V( = VS*
)n e*e+to, en tudu espa+io ve+torial ae veri* i+a que :
, -.K = 0 /a que ax . 0a 1 23x = a* 1 2K
de donde 0* . 0
a- = 0 /a que a4 . a5x 1 0 3 aK 1 a#
de donde a# . 0
6or %antn" 6 , 7 8 * . 0 i mpl i+a a9 . 0
:e+; pro+amente* B< = D impl i+a a
n
0 = K , 0
Si a = 0 /a e*)> dem?ttrad#
Si a @ D en+on+ea 5a a3n . a 0 , eS de+ir, < , 0 A3 V(* . VS
7Bora loa asionas que Se veri* i+an son VCt " "* , VS* " veamos qi* +umpl e tamAiDn VS,
Sea E K , K F p ti , , /a esd demostrado" Si * i* x F enton+es se tienes
$ G , K F . EK , & G
E
* &%x . x
r
3 = 2 / %HB# i . * F I 0 , se sigue por VB* que E , 0
, +ontradi++iJn"
)spa+i os ve+l or i a; es
^-1-2iEn el +onK unto B
L
= : x : se de*inen $as siguientes opera mes:
Sinna * t t x . y i * { x ' . y ' ) = 5x 1 x
B
, / * y ' )
6rodu+to M: : N5x, /3 = 5Nx, N/3 l ud; ar si l a terna 5:*, 1* " G3 es un espa+io ve+torial "
H % & # & :
5x" /;1; ;xF " /F GHF p/O33 . 5x, /P 1 W+&
t
f*+W
55x1xF 31xO" 5/1/
B
Q3
AmFtrt/*3 1 5RO" /O4
= 50*, /3 * ; xF " /F 33 * Qt *3 5,, /3 1 5,F , S,3 , 5x 1 xF " / 1 /
E
3
= 5x
E
1 T, /F * /3
. 1 0*" /3
)l el emento neutro es el ve+tor 50, 03 /a que 5x, /3 1 50, 03 = 5xB/3 )l el emento opuesto de 5Kt" /3 ea 5.x, ./3 /a que
5x, /l 1 5.x" F./3 = 50,03"
a05x, /3 1 , / F 3 3 F GU< 1 * F , / * /O3
. 0a5x 1 V / * /
E
33 = 0sx 1 axF " n/ * a/
W
3 = 5ax, a/3 1 ; t xCaK
r
3 = a5x6/3 * aHF " /
E
3
5a 1 A35x, /3 = 05a 1 A3x " 5a 1 A3/3
. 5ax 1 A* , a/ 1 A/3
* tax" a/3 * 5Ax, A/3
= a5x, /P 1 B5.P! , /3
a5A5*, /33 = a5Ax pA/3
= 55a%Q" atA/33 = 5UaA3x
, 5aA3/3
l .;*, /3 . H.*, l " /3 . H" /3
6or veri* ;+arae loa B axiomas de espa+io ve+tori al se sigue que
5 X B
Y
, 1, . S3 = )apa+io ve+tori al real
h 1"(* )n el +onK unto = : x : se de*inen l as siguiente opera+iones :
Suma ,*, Z i x , / 3 1 [ / F " / F 3 = 0x 1 x F , / 1 / F 3
6rodu+to " B : a5x, /3 = Ua9, -3
)studiar si l a terna 54 , 1,.:3 es un espa+io ve+torial " - $ % & # S :
ES )l par 5:!, 13 ea un grupo %#uWilH%ati vo .
1) $a propiedad aso+iati va ea +onse+uen+ia de serlo l a suma de n?meros rea.l ee"
2) )$ el emento neutro es el par 50, -3
3) )l el emento opuesto del par ;Ri /3 es el par ;.n, ./3
4) $a +onmutati vidad es +onse+uen+i a de serlo l a suma de n?meros real es"
2) $a opera+iJn externa veri* i+a l as siguientes propiedadeai
5) a;5xP/3 1 #;F " /F 33 . 5* 1 xF " / 1 /F 3
; a;x 1 x
W
3 , 03 = 5ax
1 axO, 03
= 5ax, 0\ 1 5axO, 03
a5xP/P 1 =0*F , /F 3
6) 0e 1 A35*" /3 , 55a 1 A3x , 0\
5ax 1 Ax , 03
5ax , 03 * 5Ax , 03
a5x, /3 * A0*, /3
7) a5A5x, /33 = a5Ax " 03
5a5tra3 ,E4
5UaA3x , 03
5aA35xp/3
*t3 l " *+*" /3 . 5l , x , 03 = 5x, 03 & * 0x, /3
)l axioma VB" de los espa+ios ve+torial es no se veri* i+a, l uego l a terna 5: ,*, " :3 no es un espa+io ve+torial ,
E3 t**itese que el +onK unto +on l as opera+iones indi+adas +umpl e l oa siete primeros a.xi amaa del eapa+io ve+torial "
)sto demuestra que el axioma V]" ea independiente de l os densa"
%onviene se^al ar eato /a que en l oa +asoa ordinarios de espa+ios ve+toria _ les el aK tioma V]" pare+e tri vial , I
no ae ve, a; no pra*undiTamos, su ne+eai .dad en l a axiom>ti+a de esta estru+tura"
$oa parea ` < " /3 pueden ll amarse aBora +on K usti+i a
B,
ve+torea numDri+oaO"