Profesor: Rubn Vega Cano

Espacio vectorial
En matemticas un espacio vectorial es una estructura algebraica creada a partir de
un conjunto no vaco con una operacin interna suma de vectores y una operacin
externa producto, entre dicho conjunto y un cuerpo, cumpliendo una serie de propiedades
o requisitos iniciales.
A los elementos de un espacio vectorial se les llamar vectores y a los elementos del
cuerpo se les llamar escalares.
A los elementos de un espacio vectorial se les llamar vectores y a los elementos del
cuerpo se les llamar escalares.
Sea

un espacio vectorial sobre un cuerpo

Los elementos:

se llaman vectores.
Los vectores se representan en negrita en los textos impresos, siendo esta la tendencia
actual, si bien en bibliografa antigua o en escritos a mano, se suelen representar bajo una
lnea continua, en textos de matemticas:

Si el texto es de fsica suelen representarse bajo una flecha:

Estos tipos de notaciones pueden verse al consultar bibliografa.

Los elementos:

se llaman escalares.
Y se representan en letra cursiva.
Sea cual sea la forma de representar los vectores, en ningn caso, deben confundirse
vectores y escalares, dada la diferencia entre estos dos conceptos, y las distintas
operaciones que se realizan entre ellos.

Los espacios vectoriales satisfacen los axiomas siguientes:

Notacin: Si x y y estn en V y si es un nmero real, entonces la suma se escribe

como x + y y el producto escalar de y x como x.
Axiomas de un espacio vectorial
Nota: Los primeros cinco axiomas se utilizan para definir a un grupo abeliano, y los
axiomas 6 al 10 describen la interaccin de los escalares y los vectores mediante la
operacin binaria de un escalar y un vector.
Los 10 axiomas de un espacio vectorial
1) Si x V y y V, entonces x + y V (cerradura bajo la suma).
2) Para todo x; y y z en V, (x + y) + z = x + (y + z) (ley asociativa de la suma de vectores).
3) Existe un vector 0 V tal que para todo x V; x + 0 = 0 + x = x (el cero se llama
vector cero o idntico aditivo).
4) Si x V; existe un vector x en V tal que x + (-x) = 0 (-x se llama inverso aditivo de
x).
5) Si x y y estn en V; entonces x + y = y + x (ley conmutativa de la suma de vectores).
6. Si x V y es un escalar entonces x V (cerradura bajo la multiplicacin por un
escalar).

7) Si x y y estn en V y es un escalar, entonces (x + y) = x +y (primera ley

distributiva).
8) Si x V y y , son escalares, entonces (+) x = x + x (segunda ley distributiva).
9) Si x V y y , son escalares, entonces (x) = () x (ley asociativa de la
multiplicacin por escalares.
10. Para cada vector x V, 1x = x
Los escalares tienen una estructura denominada campo, la cual consiste en un conjunto
de elementos y dos operaciones binarias (por ejemplo, los nmeros reales y las
operaciones de adicin y multiplicacin). Los nmeros reales con la operacin de suma
cumplen con los axiomas del grupo abeliano. Adems, la multiplicacin es asociativa y
distributiva por la derecha e izquierda.
Existe =un elemento neutro llamado unidad, y todo nmero real diferente de cero tiene un
nmero inverso.
Ejemplos de espacios vectoriales:
a) Espacio vectorial trivial
Sea V = (0). Es decir, V consiste solo en el nmero 0. Como 0+0 = 1 *0 =0 + (0+0)= (0+0)
+0=0, se ve que V es un espacio vectorial. Con frecuencia se le otorga el nombre de
espacio vectorial trivial.
b) Conjunto que no es un espacio vectorial
Sea V= (1). Es decir, V consiste nicamente del nmero 1. ste 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= 2 V. Tambin viola otros axiomas, sim embargo, con solo demostrar
que viola al menos uno de los diez axiomas queda probado que V no es un espacio
vectorial.
c) El conjunto de puntos R2 que se encuentran en una recta que pasa por el origen
constituye un espacio vectorial
Sea V= ((x ,y): y=mx, donde m es un nmero real fijo y x es un nmero real arbitrario)

Es decir, V consiste en todos los puntos que estn sobre la recta y=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 R 2 se han
escrito como renglones en lugar de columnas, lo que en esencia es lo mismo.
d) 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= ((x,y): y=2x+1, x R). Es decir, V es el conjunto de puntos que estn sobre la
recta y= 2x+1. V no es un espacio vectorial porque no se cumple la cerradura bajo la
suma. Para ver esto suponga que (x1,y1) y (x2,y2) estn en V. Entonces,
(x1,y1) + (x2,y2) = (x1,+x2, y1+ y2)
Si el vector del lado derecho estuviera en V, se tendra
y1+ y2 = 2(x1,+x2) + 1=2 x1,+2x2+1
Por lo tanto se concluye que
(x1,+x2, y1+ y2) V si (x1,y1) V y (x2,y2) V
Por ejemplo, (0,1) y (3,7) estn en V, pero (0,1) + (3,7) = (3,8) no est en V porque 8 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 02*0+1. No es difcil demostrar que el
conjunto de punto en R2 que est sobre cualquier recta que no pasa por (0,0) no
constituye un espacio vectorial.
e) El espacio vectorial Mmn
Si V= Mmn denota el conjunto de matrices de m x n con componentes reales, entonces con
la suma de matrices y multiplicacin por un escalar usuales se puede verificar que M mn es
un espacio vectorial cuyo neutro aditivo es la matriz de ceros de dimensiones m x n.
f) El espacio Cn
g) Sea V= Cn = ((c1, c2,c3); ci es un numero complejo para i= 1,2,, n) y el
conjunto de escalares es el conjunto de nmeros complejos. No es difcil verificar
que Cn tambin es un espacio vectorial.

Subespacios vectoriales
Definicin: Se dice que H es un subespacio vectorial de V si H es un subconjunto no
vaco de V, y H es un espacio vectorial, junto con las operaciones de suma entre vectores
y multiplicacin por un escalar definidas para V.
Un subconjunto no vaco H de un espacio vectorial H de un espacio vectorial V es un
subespacio de V si se cumplen las dos reglas de herradura.
Reglas de cerradura para ver si un subconjunto no vaco es un subespacio
1) Si x H y y H, entonces x + y H.
2) Si x H, entonces x H para todo escalar .
Este teorema demuestra que para probar si H es o no un subespacio de V, es suficiente
verificar que
x + y y x estn en H cuando x y y estn en H y es un escalar.
La prueba anterior contiene un hecho que por su importancia merece ser mencionado de
forma explcita:
Todo subespacio de un espacio vectorial V contiene al 0.
Este hecho con frecuencia facilitara la averiguacin de si un subconjunto de V en
particular no es un subespacio de V. Es decir, si un subconjunto no contiene al 0,
entonces no es un subespacio. Note que el vector cero en H, un subespacio de V, es el
mismo que el vector cero en V.

Transformaciones lineales
Sean V y W espacios vectoriales reales. Una tranformacin lineal T de V en W es una
funcin que asigna a cada vector v V un vector nico Tv W y que satisface, para
cada u y v en V y cada escalar . Ejemplos tpicos son la derivada y la integral, al igual
que las proyecciones.
T(u + v) =Tu + Tv
T(v) = Tv

Ejemplo:

Sea X un espacio fsico tridimensional y Y un plano en ste. La proyeccin de X sobre

plano Y es una transformacin lineal.
A una transformacin lineal f: V W podemos asociarle un subespacio de V, llamado su
Ncleo, que de alguna manera mide el tamao de la pre-imagen por f de un elemento de
su imagen. En particular, conocer este subespacio nos permitir determinar si f es
inyectiva.
Sean V y W dos K-espacios vectoriales, y sea f : V W una transformacin lineal. Se
llama ncleo de f al conjunto Nu(f) = {v V / f(v) = 0} = f1 ({0}).