1 ESPACIOS VECTORIALES ESTRUCTURA 1.1. pemostrar que el axioma V8 es equivalente al axioma si- guiente + vee: ax=0 * a=06 x=0 ,para todo a € K, xEV. sOLUCTION: a) ve > vee Ea efecto, en todo espacio vectorial se verifica que + © Ox =0 ya que ax = (a+ Ox = ax + Ox de donde ox +0 © 20 =0 ya que ax = a(x +0) = ax + 20 de donde ao=0 Por tanto, a= 0 6 x= 0 implica ax=0 © Reciprocamente, ox=0 implica a0 5 x=0 © Sia=0 ye esté demostrado © Sia#O entonces (a ta)x~ alo , es decir, x= 0 b>) VBR + VB Ahora los axfonas que se verifican son V1,...,VB",veamos que se cumple tan bien va. Sea Ix = x"; si x= x" ya est& denostrado. Six # x" entonces se tiene: lnex! © Ine dx! © Ie- x1) =0 y como x -x' #0, se sigue por V8* que 1 = 0 ,contradiccién.Espacios vectoriares: M4 nes: “En el conjunto R? = RxR se definen las siguientes opera suma + + (x,y) + (x'yy') (x + x'ry + ¥") Producto .R : k(x,y) = (kx,ky) udiar si la terna (R’,+,.R) es un espacio vectorial. DLUCTON CHOY EGE) = Gay? + Oct sy tty" Got Oct) svt Gt") (Oem 90 Orr ty") Geb yty") # Oey! Cay) + Gy Gey) Guy) + Gay) © O04 xy yD Ge" + xy" + y) Gey) + Guy) El elemento neut¥o es el vector (0,0) ya que (x,y) + (0,0) = (x.y) El elemento opuesto de (x,y) es (-x,-¥) ya que (x,y) + (x,+y) = (0,0. aCGr,y) + Getsy!}) = abe tx! gy + yt) = (atx + x') say + y')) = (ax + ax’ , ay + ay') (ax,ay) + (ax' yay") = a(x,y) + a(x'yy') (a+ DOL) (Ca + b)x (a + b)¥) = (ax + bx , ay + by) (ax,ay) + (bx,by) atx,y) + boxy) 0 atbtx.y)) = aCbx by) (aloe) abby)? (ab)x., Cab)y) (ab) .y) 1.G,y) = (Lx, 1.y) = Gey) Por verificarse los 8 axiomas de espacio vectorial se sigue que -R) = Espacio vectorial real Los pares (x,y) pueden llamarse ahora con justicia "vectores numéricos", \1.3. En el conjunto R? = R*R se definen las siguiente opera- ciones : Suma + + Gry) + (at ey') (e+ etry + y") Producto .R: a(x,y) = (ax,0) Bstudiar si la terna (R’,+,.R) es un espacio vectorial. SOLUCTON: » 2 3) EL par (R?,4) es un grupo conmutativo, 1) La propiedad asociativa es consecuencia de serlo la suma de nfimeros rea- les. 2) El elemento neutro es el par (0,0) 3) El elemento opuesto del par (x,y) es el par (-x,-y) 4) La conmutatividad es consecuencia de serlo 1a suma de nfimeros reales. La operacién externa verifica las siguientes propiedades: 5) a(Gay) + Gt yy) = eG ta yy ty") = (ax tx") , 0) = (ax +ax', 0) = (ax,0) + (ax', 0) = a(x.y) + adx', y!) (a+ dx, 0) = (ax + dx, 0) = (ax 0) + (x , 0) =aGyy) + dGx,y) 6) (a + d) Gy) 7) aby) a(bx , 0) (a(bx)_,0) ((ab)x , 0) (ab) (x,y) 8) 1.(x,y) (Lx 0) = (x,0) # (x,y) El axioma ¥8. de los espacios vectoriales no se verifica, luego la terna (?,#,.R) no es un espacio vectorial. Né6tese que el conjunto R” con las operaciones indicadas cumple los siete primeros axionas del espacio vectorial. Esto dequestra que €1 axioma VB. © independiente de los denis. Conviene sefialar esto ya que en los casos ordinarios de espacios vectoria ~ les el axioma V8. parece trivial,y no se ve,si no profundizamos,su necesi - dad en 1a axiomftica de esta estructura.1. bre un cuerpo K,la condici6n de conmutatividad del grupo aditivo Demostrar que,en 1a axiomtica usual de espacio vectorial redundante. lOoLUuCcCTON: efecto,sea Vel espacio vectorial,y sean x,y © V , entences etytetysLiety) +L G@ty) a+DG+y G+De +a+by sc xtetyty mplificande por la derecha y por la izquierda la anterior relacién resulta: yee sn xty 1. nen la operacién interan Gay) + Gy) = Get ety + yt) la operaci6n externa con escalares reales k(x, = Okx,y) tudiar las propiedades de espacio vectorial que se verifican. Sea Rel cuerpo de los nfmeros reales.En R” = RxR se de OLUCTION: EL par (R7,+) es un grupo conmutative como ya hemos visto en otros ejerci- cios anteriores. Veanos qué propiedades de 1a operacién externa se verifican. V5. kCGey) + (ey) = ROE ERY Hy) (k(x #2"), ty) (lac + kext yy ty") (hay y) + (kx" yy") Kony) +O!) Luege se verifica v5. . Vo. (ke +N) Gy) = (Ok + h)x,y) = (ee + bx,y) 4 (ex,y) + (hey) = k(x,y) + hGey) , luego NO se verifica V6. V7. k(h(x,y)) = Che, y) = Che, y) = (kh) (x,y), Iuego se verifica v7. de donde se sigue v7. VB. 1(x,y) = (x,y) = (ey) , luego se verifica V8. 1.6. sea R ©1 cuerpo de los nfmeros reales.En R? = RxR se de finen la operacién interna iE (ty) + Ge'yy") = Ge + xtyy ty") y 1a operacién externa con escalares reales, k (x,y) = (x,y) Bstudiay si la terna (R’,+,.R) es un espacio vectorial. SOLUCTON: 1) BL pac (R,+) es un grupo conmutative como ya hemes visto en otros ejerci- cios anteriores, 2) Veamos si se verifican las propiedades de la operacidn externa. VB. kCOny) + Geta") = kOe + x'yy + y!) = Ort xtsy ty!) = Gay) + Gy!) = kGssy) + k(x" y") Yspor tanto, se verifica el axioma V5, Vo. (k + A) Gay) = Gay) # (xy) + Gey) = Gey) + Oe, 9) Yspor tanto, no se verifica el axioma V6. Vie key) = keCx,y) = Gy) (ch) (x, 9) luego se verifica el axioma V7. V8. Loy) = Gc.) Luego se verifica también el axioma V8. De lo anterior se sigue que e+.) no es un espacio vectorial. 1.7. sea v un espacio vectorial no nulo sobre un cuerpo K de infindtos elementos; demostrar que V tiene también infinitos ele- mentos. SOLUCTON Puesto que V es distinto de {0} ,existe al menos un elemento x # 0. Los vectares ax con a ©K son tados distintos ya que si ax = bx , a,b ©K entonces ax = bx + ax-bx= 0 7 (a-b)x=0 a=b= 0 de donde a = b , contradiccién Por tanto, V tiene al menos tantos elementos,es decir, vecteres come elementos tiene K,