Espacio vectorial real

Un espacio vectorial real V es un conjunto de objetos, denominados vectores,

junto con dos operaciones binarias llamadas suma y multiplicacin por un
escalar, y que satisfacen los diez axiomas enumerados en el siguiente recuadro.
Axiomas de un espacio vectorial
Nota. Los primeros cinco axiomas se utilizan para definir a un grupo abeliano, y
los axiomas vi) al x) describen la interaccion de los escalares y los vectores
mediante la operacion binaria de un escalar y un vector.
i) Si x P V y y P V, entonces x 1 y P V (cerradura bajo la suma).
ii) Para todo x, y y z en V, (x 1 y) 1 z 5 x 1 (y 1 z)
(ley asociativa de la suma de vectores).
Espacios vectoriales
Definicin y propiedades bsicas
iii) Existe un vector 0 P V tal que para todo x P V, x 1 0 5 0 1 x 5 x
(el 0 se llama vector cero o idntico aditivo).
iv) Si x P V, existe un vector 2x en P V tal que x 1 (2x) 5 0
(2x se llama inverso aditivo de x).
v) Si x y y estan en V, entonces x 1 y 5 y 1 x
(ley conmutativa de la suma de vectores).
vi) Si x P V y a es un escalar, entonces ax P V
(cerradura bajo la multiplicacin por un escalar).
vii) Si x y y estan en V y a es un escalar, entonces a(x 1 y) 5 ax 1 ay
(primera ley distributiva).
viii) Si x P V y a y b son escalares, entonces (a 1 b) x 5 ax 1 bx
(segunda ley distributiva).
ix) Si x P V y a y b son escalares, entonces a(bx) 5 (ab)x
(ley asociativa de la multiplicacin por escalares).
x) Para cada vector x P V, 1x 5

Espacio vectorial trivial

Sea V 5 {0}. Es decir, V consiste solo en el numero 0. Como 0 1 0 5 1 ? 0 5 0 1 (0
1 0) 5
(0 1 0) 1 0 5 0, se ve que V es un espacio vectorial. Con frecuencia se le otorga el
nombre de espacio vectorial trivial
Conjunto que no es un espacio vectorial
Sea V 5 {l}. Es decir, V consiste nicamente del numero 1. Este no es un espacio
Vectorial ya que viola el axioma i) el axioma de cerradura. Para verlo con
ms claridad, basta con observar que 1 1 1 5 2 F V. Tambin viola otros axiomas;
sin embargo, con solo demostrar que viola al menos uno de los diez axiomas
queda probado que V no es un espacio vectorial.
El conjunto de puntos en R2 que se encuentran en una recta que
Pasa por el origen constituye un espacio vectorial
Sea V 5 {(x, y): y 5 mx, donde m es un numero real fijo y x es un numero real
arbitrario}.
Es decir, V consiste en todos los puntos que estan sobre la recta y 5 mx que pasa
por el origen y tiene pendiente m. Para demostrar que V es un espacio vectorial,
se puede verificar que se cumple cada uno de los axiomas.
Observe que los vectores en R2 se han escrito como renglones
en lugar de columnas, lo que en esencia es lo mismo.
i) Suponga que x 5 (x1, y1) y y 5 (x2, y2) estan en V. Entonces y1 5 mx1, y2 5
mx2, y
x 1 y 5 (x1, y1) 1 (x2, y2) 5 (x1, mx1) 1 (x2, mx2) 5 (x1 1 x2, mx1 1 mx2)
5 (x1 1 x2, m(x1 1 x2)) P V
Por lo tanto se cumple el axioma i).
ii) Suponga que (x, y) P V. Entonces y 5 mx y 2(x, y) 5 2(x, mx) 5 (2x, m(2x)), de
manera
que 2(x, y) tambien pertenece a V y (x, mx) 1 (2x, m(2x)) 5 (x 2 x, m(x 2 x)) 5
(0, 0).
Todo vector en V es un vector en R2, y R2 es un espacio vectorial, como se
muestra en el ejemplo
5.1.1. Como (0, 0) 5 0 esta en V (explique por que), todas las demas propiedades
se deducen del ejemplo 5.1.1. Entonces V es un espacio vectorial.

El conjunto de puntos en R2 que se encuentran sobre una recta

que no pasa por el origen no constituye un espacio vectorial
Sea V 5 {(x, y): y 5 2x 1 1, x P R}. Es decir, V es el conjunto de puntos que estan
sobre la recta y 5 2x 1 1. V no es un espacio vectorial porque no se cumple la
cerradura bajo la suma, como sucede en el ejemplo 5.1.3. Para ver esto, suponga
que (x1, y1) y (x2, y2) estan enV. Entonces,
(x1, y1) 1 (x2, y2) 5 (x1 1 x2, y1 1 y2)
Si el vector del lado derecho estuviera en V, se tendria
y1 1 y2 5 2(x1 1 x2) 1 1 5 2x1 1 2x2 1 1
Pero y1 5 2x1 1 1 y y2 5 2x2 1 1, de manera que
y1 1 y2 5 (2x1 1 1) 1 (2x2 1 1) 5 2x1 1 2x2 1 2
Por lo tanto, se concluye que
(x1 1 x2, y1 1 y2) F V si (x1, y1) H V y (x2, y2) P V
Por ejemplo, (0,1) y (3, 7) estn en V, pero (0, 1) 1 (3, 7) 5 (3, 8) no esta en V
porque 8 Z 2 ? 3 + 1.
Una forma ms sencilla de comprobar que V no es un espacio vectorial es
observar que 0 = (0, 0) no se encuentra en V porque 0 2 .0 + 1. No es dificil
demostrar que el conjunto de puntos en R2 que esta sobre cualquier recta que no
pasa por (0, 0) no constituye un espacio vectorial.
El conjunto de puntos en R3 que se encuentran en un plano que
pasa por el origen constituye un espacio vectorial

Sea V = {(x, y, z): ax + by + cz = 0}. Esto es, V es el conjunto de puntos en R3 que

esta en el plano con vector normal (a, b, c) y que pasa por el origen. Al igual que
en el ejemplo 5.1.4, los vectores se escriben como renglones en lugar de
columnas.
Suponga que (x1, y1, z1) y (x2, y2, z2) estn en V. Entonces (x1. y1. z1) + (x2. y2.
z2) = (x1+ x2, y1 + y2, z1 + z2) V porque
a(x1 + x2) + b(y1 + y2) + c(z1 + z2) = (ax1 + by1 + cz1) + (ax2 + by2 + cz2) =
0+0=0

Por lo tanto, el axioma i) se cumple. Los otros axiomas se verifican fcilmente. De

este modo, el conjunto de puntos que se encuentra en un plano en R3 que pasa
por el origen constituye un espacio vectorial.
El espacio vectorial Pn
Sea V = Pn el conjunto de polinomios con coeficientes reales de grado menor o
igual a n. Si p Pn, entonces
p(x) = anx^n + an-1x^n-1 + . . . + a1x + a0
donde cada ai es real. La suma de p(x) 1 q(x) esta definida de la manera usual: si
q(x) 5 bnxn 1 bn21xn21 1 . . . 1 b1x 1 b0, entonces
p(x) 1 q(x) 5 (an 1 bn)xn 1 (an21 1 bn21)xn21 1 . . . 1 (a1 1 b1)x 1 (a0 1 b0)
Es obvio que la suma de dos polinomios de grado menor o igual a n es otro
polinomio de grado
menor o igual a n, por lo que se cumple el axioma i). Las propiedades ii) y v) a x)
son claras. Si
se define el polinomio 0 5 0xn 1 0xn21 1 . . . 1 0x 1 0, entonces 0 P Pn y el axioma
iii) se cumple.
Por ultimo, sea 2p(x) 5 2anxn 2 an21xn21 2 . . . 2 a1x 2 a0; se ve que el axioma iv)
se cumple, con lo que Pn es un espacio vectorial real.