Está en la página 1de 4

ESPACIOS VECTORIALES El concepto de espacio vectorial aparece en muchas aplicaciones de matemticas, ciencias e ingeniera.

Dicho concepto no es ms que una generalizacin cuidadosamente elaborada de Rn. Al estudiar las propiedades y la estructura de un espacio vectorial, podemos examinar no solo Rn en particular, sino tambin muchos otros espacios vectoriales importantes. ESPACIO VECTORIAL REAL Un espacio vectorial real es una terna formada por un conjunto V y dos operaciones + y que satisfacen las siguientes propiedades: ) Si u y v son elementos cualesquiera de V, entonces u + v esta en V (es decir, V es cerrado bajo la operacin +) . a) u + v = v + u, para u y v en V. b) u + (v + w) = (u + v) + w, para u, v y w en V. c) Existe un elemento 0 en V, tal que u + 0= 0 + u= u, para toda u en V. d) Para cada u en V existe un elemento u en V, tal que u + -u = 0 ) Si u es cualquier elemento de V y c es cualquier nmero real, entonces c u est en V (es decir, V es cerrado bajo la operacin ). e) f) g) h) c (u + v) = c u + c v, para todo nmero real c y toda u y v en V. (c+d) u = c u + d u, para todo nmero real c y d y toda u en V. c (d u)= (cd) u, para todo nmero real c y d y toda u en V. 1 u= u, para toda u en V.

Los elementos de V se llaman vectores; los nmeros reales se llaman escalares. La operacin + es la suma vectorial ; la operacin es la multiplicacin por un escalar. El vector 0 en la propiedad (c) es el vector cero, y el vector u en la propiedad (d) es el negativo de u. La propiedad () se denomina propieadad de cerradura para +, y la propiedad (b) se llama propiedad de cerradura para . Tambin decimos que V es cerrado bajao las operaciones de suma de vectores, + y multiplicacin por escalares . Si permitimos que los escalares mencionados sean nmeros complejos, obtenemos un espacio vectorial complejo. De manera ms general, los escalares pueden ser elementos de un campo F, con lo que obtenemos un espacio vectorial sobre F. Tales espacios son importantes en muchas aplicaciones de matemticas y ciencias fsicas.

EJEMPLO: Considere el conjunto V de todas las ternas ordenadas de nmeros reales de la forma (x,y,0), y defina las operaciones + y como: (x,y,0) + (x,y,0) = (x + x, y + y, 0) c (x,y,0) = (cx, cy, 0). A partir de lo anterior resulta fcil demostrar que V es un espacio vectorial, ya que satisface todas las propiedades de la definicin. Otra de las fuentes de ejemplos de espacios vectoriales que analizaremos ser los conjuntos de polinomios. Un polinomio (en t) es una funcin que puede expresarse como: p(t) = antn + an-1tn-1 ++ a1t + ao, EJEMPLO: Si p(t) = antn + an-1tn-1 ++ a1t + ao, Y q(t) = bntn + bn-1tn-1 ++ b1t + bo, Definimos p(t) + q(t) como: p(t) + q(t)= (an+bn )tn + (an-1 + bn-1 )tn-1 ++ (a1+ b1 )t + (ao + bo ) (Es decir, sumamos los coeficientes de trminos de potencias iguales). Si c es un escalar, definimos c p(t) como c p(t) = (can )tn + (can-1 )tn-1 ++ (ca1 )t + (cao) (es decir, multiplicamos cada coeficiente por c). Enseguida demostraremos que Pn es un espacio vectorial. Sean p(t) y q(t), definidos como antes, elementos de Pn ; es decir, polinomios de grado n o el polinomio cero. Las operaciones ya definidas + y muestran que p(t) + q(t) y c p(t) , para cualquier escalar c, son polinomios de grado n o el polinomio cero. Es decir, p(t) + q(t) y c p(t) estn en Pn , de modo que se cumplen () y (). Para verificar la propiedad (a), observamos que q(t) + p(t) = (bn + an)tn + (bn-1+an-1)tn-1 ++ (b1+ a1)t + ( bo + ao) y como ai + bi = bi + ai se cumple para los nmeros reales, concluimos que p(t) + q(t)= q(t) + p(t) . Verificamos la propiedad (b) de manera similar. El polinomio cero es el elemento 0 requerido en la propiedad (c). si p(t) es el polinomio definido antes, su negativo, -p(t) , es -antn - an-1tn-1 -- a1t - ao,

Comprobaremos a continuacin la propiedad (f) (c+d) p(t) = (c+d)antn + (c+d)an-1tn-1 ++ (c+d)a1t + (c+d)ao = cantn + dantn + can-1tn-1+ dan-1tn-1 ++ ca1t + da1t + cao +dao = c (antn + an-1tn-1 ++ a1t + ao) + d(antn + an-1tn-1 ++ a1t + ao) = c p(t) + d p(t) Ejemplo: Sea V el conjunto de los nmeros reales, con las operaciones u v ( resta ordinaria) y c u= cu ( multiplicacin ordinaria). Es V un espacio vectorial? Si u y v estn en V y c es un escalar entonces u v y c u estn en V, de modo que se cumplen () y (). Sin embargo la propiedad (a) no se cumple, como se advierte por ejemplo al considerar, u=2 y v=3 u v = 2 3= -1 v u = 3 2= 1 Tampoco se cumplen las propiedades (b), (c) y (d). las propiedades (e), (g) y (h) se cumplen, pero la propiedad (f) no, como vemos al considerar c=2, d=3 y u=4 (c+d) u = (2+3) 4 = 20 c u + d u = 2 4 + 3 4= -4 En consecuencia V no es un espacio vectorial.

Para verificar que un conjunto dado V con dos operaciones + y es un espacio vectorial real, debemos mostrar que satisface todas las propiedades. Primero debemos establecer si se cumplen () y () puesto que si alguna de las propiedades de cerradura falla, V no es un espacio vectorial. Si se cumplen () y () , es recomendable verificar a continacin la propiedad (c), es decir, establecer si existe el elemento cero (o elemento neutro). Naturalmente, si (c) no se cumple, V no es un espacio vectorial y no tiene sentido verificar las propiedades restantes. Con frecuencia diremos simplemente espacio vectorial, para referirnos a un espacio vectorial real. Tambin escribiremos simplemente c u como cu. El teorema siguiente presenta varias propiedades tiles, comunes a todos, los espacios vectoriales. Si V es un espacio vectorial, entonces (a) 0u=0, para cada u en V. (b) c0=0, para cada escalar c.

(c) Si cu=0, entonces c=0 o u=0. (d) (-1)u= -u, para cada u en V. DEMOSTRACION: (a) Tenemos 0u= (0+0)u = 0u + 0u, segn la parte (f)de la definicin. Al sumar -0u a ambos lados, se obtiene por (b), (c) y (d) de la definicin, 0= 0u + (-0u) = ( 0u + 0u) + (-0u) =0u + [0u+(-0u)]= 0u+0 = 0u (b) c0=0 ; 10=0 ; 20=0 (c) Suponga que cu=0 y que c0. Tenemos u= 1u= [(1/c) c]u = (1/c) cu = (1/c)0 = 0 De acuerdo con la parte (b) de este teorema y con las propiedades (g) y (h). (d) (-1) u +u = (-1)u + (1)u = (-1+1)u = 0u = 0. como u es nico, se concluye que (-1)u= -u.