Unidad 4 Espacios vectoriales.

4.1 Definicion de espacio vectorial. Un espacio vectorial es un espacio de numerosos vectores diseminadas en todas las direcciones en las dos operaciones bsicas que es la adicin y multiplicacin escalar, que puede realizarse con el cumplimiento de las siguientes propiedades: Considere un espacio vectorial V formado por los vectores x, y, z, a continuacin, tenemos las siguientes propiedades como verdaderas: Propiedades de la suma ! Propiedad de operacin interna: "i el vector x es parte del espacio vectorial y el vector y es parte del espacio vectorial, y el vector resultante de la suma de estos dos vectores, el cual es el vector x # y es tambi$n una parte del espacio vectorial mismo! %! Propiedad conmutativa: "i el vector x es parte del espacio vectorial, el vector y es parte del espacio vectorial, y tenemos un vector resultante de la suma de estos dos vectores, entonces el vector x # y es igual al vector y # x ! &! Propiedad asociativa: "i el vector x es parte del espacio vectorial, el vector y es parte del espacio vectorial y el vector z es parte del espacio vectorial, y tenemos un vector resultante de la adicin de estos tres vectores entonces el vector x # 'y # z( es igual al vector 'x # y( # z! )! *dentidad aditiva: todo espacio vectorial contiene un vector nulo que es un vector cero, lo que se denomina como la identidad aditiva, de tal manera que su suma con cualquiera de los vectores en el espacio vectorial, no cambia el vector real, que es + # x , x! -! *nverso aditivo: Para todos los vectores de un espacio vectorial determinado, existe un vector inversa disponible en el mismo espacio de tal manera que la suma de los dos vectores nos da un vector cero, en consecuencia si tenemos un vector x en el espacio vectorial entonces debemos tambi$n tener un vector .x del mismo vector en el espacio! Propiedades escalares de la multiplicacin: Una multiplicacin escalar es aquella en la que se multiplica un vector con cualquier cantidad escalar, que consiste en multiplicar la cantidad que contiene una direccin con una cantidad sin direccin! ! Propiedad de operacin interna: "i tenemos un vector x en un espacio vectorial dado y un n/mero real, entonces decimos que el vector resultante de la multiplicacin escalar de estas dos cantidades, debe existir tambi$n dentro del mismo espacio vectorial! %! Propiedad distributiva: "i se tiene los vectores x y y en un espacio vectorial V y un n/mero real, entonces la operacin de a! 'x # y( es equivalente a ax # ay! &! Propiedad distributiva: "i 0ay un vector x en un espacio vectorial V y un n/mero real a y b, la operacin 'a # b( x es equivalente a ax # bx! )! Propiedad asociativa: "i 0ay un vector x en un espacio vectorial V dado y un n/mero real a y b, entonces la operacin a! 'bx( es equivalente a 'ab( x! -! Propiedad unitaria: 1a multiplicacin de cada vector en un espacio vectorial dado con

una cantidad de unidas escalar dar como resultado al vector actual!

Un espacio vectorial 'o espacio lineal( es el ob2eto bsico de estudio en la rama de la matemtica llamada lgebra lineal! 3 los elementos de los espacios vectoriales se les llama vectores! "obre los vectores pueden realizarse dos operaciones: escalarse 'multiplicarlos por un escalar( y sumarse! 4stas dos operaciones se tienen que ce5ir a un con2unto de axiomas que generalizan las propiedades comunes de las tuplas de n/meros reales as6 como de los vectores en el espacio eucl6deo! Un concepto importante es el de dimensin!

7istricamente, las primeras ideas que condu2eron a los espacios vectoriales modernos se remontan al siglo 8V**: geometr6a anal6tica, matrices ysistemas de ecuaciones lineales! 1a primera formulacin moderna y axiomtica se debe a 9iuseppe Peano, a finales del siglo 8*8! 1os siguientes avances en la teor6a de espacios vectoriales provienen del anlisis funcional, principalmente de los espacios de funciones! 1os problemas de 3nlisis funcional requer6an resolver problemas sobre la convergencia! 4sto se 0izo dotando a los espacios vectoriales de una adecuada topolog6a, permitiendo tener en cuenta cuestiones de proximidad y continuidad! 4stos espacios vectoriales topolgicos, en particular los espacios de :anac0 y los espacios de 7ilbert tienen una teor6a ms rica y complicada!

1os espacios vectoriales tienen aplicaciones en otras ramas de la matemtica, la ciencia y la ingenier6a! "e utilizan en m$todos como las series de ;ourier, que se utiliza en las rutinas modernas de compresin de imgenes y sonido, o proporcionan el marco para resolver ecuaciones en derivadas parciales! 3dems, los espacios vectoriales proporcionan una forma abstracta libre de coordenadas de tratar con ob2etos geom$tricos y f6sicos, tales como tensores, que a su vez permiten estudiar las propiedades locales de variedades mediante t$cnicas de linealizacin!

Propiedades del espacio vectorial.

7ay una serie de propiedades que se demuestran fcilmente a partir de los axiomas del espacio vectorial! 3lgunas de ellas se derivan de la teor6a elemental de grupos, aplicada al grupo 'aditivo( de vectores: por e2emplo, el vector nulo + < V, y el opuesto .v de un vector v son /nicos! =tras propiedades se pueden derivar de la propiedad distributiva, por e2emplo, la multiplicacin por el escalar cero da el vector nulo y ning/n otro escalar multiplicado por un vector da cero:

Propiedad Unicidad del vector nulo Unicidad del opuesto de un vector Producto por el escalar cero Producto de un escalar por el vector nulo =puesto del producto de un vector por un escalar

"ignificado

+ v , +! 4l + es el /nico escalar que cumple esta propiedad! a+,+ . 'a v( , '.a( v , a '.v(

4.2 Definicion de subespacio vectorial

y sus propiedades.

"ea V un espacio vectorial arbitrario sobre un campo ;! Un subcon2unto no vac6o > de V es llamado subespacio lineal de V, o simplemente un subespacio, siempre que se cumplan dos condiciones: 'i( a # b % > siempre a, b % >, y 'ii( ra % > siempre que r % ;! 4st claro que todo subespacio de un espacio vectorial contiene el vector cero, +! ?e 0ec0o, @+A es un subespacio propio, llamado subespacio trivial! Consideremos, por e2emplo, una ecuacin lineal a, b, c, d % ;! "i d B, +, entonces su con2unto de soluciones no puede ser un sub.espacio de ;& ya que x , y , z , + no ser una solucin, y por lo tanto los con2unto de soluciones no contienen + , '+, +, +(C ! Por otro lado, como se se5ala a continuacin, el con2unto solucin de un sistema arbitrario 0omog$neo ax # by # cz , + es un subespacio de ;&! Un subespacio > de V es un espacio vectorial sobre ; por derec0o propio! "abemos por supuesto que > es un subcon2unto no vac6o de V, el cual es cerrado ba2o la suma y la multiplicacin escalar! Pero entonces > contiene +, ya que +> , + para cualquier D % >, y cada elemento D de > tiene su inverso aditivo .D en >, ya que .D , 'E ( D! Pero el resto de los axiomas de espacio vectorial estn en >, puesto que ya lo estn en V! Por lo tanto, mantienen todos los axiomas del espacio vectorial en >!

Un 0ec0o muy interesante sobre el espacio vectorial es que para cada espacio vectorial tenemos en realidad dos subespacios! Uno de ellos es el espacio vectorial propio, mientras que el otro es el subespacio cero, es decir, > , @+A! Veamos un e2emplo de subespacio! Calcula si el con2unto de entrada viene siendo el subespacio del espacio vectorial dado! Cenemos D como un con2unto de puntos de F% donde el valor de cada elemento del con2unto debe ser mayor que cero! G"e est formando un subespacio de F%H Para probar esto simplemente tenemos que confirmar si el con2unto de entrada se a2usta a la propiedad de cierre de la multiplicacin y suma escalares! Comando la primera propiedad de clausura ba2o la adicin 'xI I, yI I( # 'xI%I, yI%I( , 'xI I # xI%I, yI I # yI%I( 30ora, ya se 0a dic0o que el valor de cada elemento en el con2unto es mayor que cero! Por lo tanto, tenemos xI I y xI%I es mayor que cero, esto significa que su suma tambi$n debe ser mayor que cero! "imilar es el caso de yI I y yI%I! 4sto significa que la propiedad de clausura ba2o la adicin es cierta! Comando la segunda propiedad de la multiplicacin escalar, Para demostrar esta propiedad tomamos una cantidad escalar negativa c! 4ntonces su multiplicacin con cualquier elemento del con2unto ser, c'x, y( , 'cx, cy( Como el valor de c es negativo su multiplicacin con cualquier cantidad positiva produce un t$rmino negativo! 4n consecuencia, la propiedad de cierre de la multiplicacin escalar no es verdadera lo cual significa que no forma parte del espacio vectorial dado! "ean 'V,#,J,K( un espacio vectorial y " un subcon2unto de V! " es subespacio vectorial de V si '",#,J,K( es espacio vectorial en s6 mismo, siendo # y K las mismas operaciones definidas en V! Criterio de subespacio 4l criterio para la verificacin de que " es subespacio de V, es que ambas operaciones '# entre elementos del con2unto " y K con escalares del cuerpo J( sean cerradas, es decir, den como resultado elementos que tambi$n pertenezcan a "! Propiedades Un espacio vectorial es un con2unto no vac6o que cumple con estas tres condiciones: ( 4l Punto =rigen pertenece al con2unto! 42: '+,+,+(! %( "ea J un n/mero real y @vA un vector que pertenece al con2unto entonces J!v tambi$n pertenece al con2unto! &( "ean @uA y @vA dos vectores que pertenecen al con2unto entonces u#v tambi$n pertenece al con2unto!

"i estos tres axiomas se cumplen entonces el con2unto es un subespacio!