3.1.

1 Definicin de espacio
vectorial y sus propiedades
Supongamos que tenemos un conjunto de elementosV con ciertas caractersticas
especficas, y definimos una operacin entre estos elementos a la que le llamamos
suma (+), y otra operacin entre los elementos del conjunto y un campo que en nuestro
curso ser el de los nmeros reales a la que se le denominar producto escalar ().

Tomemos en cuenta que estas operaciones dependen de los objetos con los cuales
estemos trabajando y que no necesariamente son las operaciones de suma y producto
que conocemos de los nmeros reales.

Nos interesan aquellos conjuntos en los cuales una vez definidas sus operaciones,
cumplen con las siguientes propiedades o axiomas:

1. Cerradura bajo la suma. Si v1,v2V entonces v1+v2V.

2. Conmutatividad de la suma. Si dos elementos v1,v2V entonces v1+v2=v2+v1.
3. Asociatividad de la suma. Para todo elemento v1,v2,v3V se cumple
que (v1+v2)+v3=v1+(v2+v3)
4. Existencia del elemento neutro. Existe un elemento 0VV tal que para
todo vV,v+0V=0V+v=v
5. Existencia del elemento inverso aditivo. Si un elemento vV, entonces existe otro
elemento denominado -vV tal que v+(-v)=0V.
6. Cerradura bajo el producto. Si tenemos vV y k es un nmero real, entonces kvV
7. Distributividad sobre los elementos de V. Si v1,v2V y k es un nmero real,
entonces k(v1+v2)=kv1+kv2
8. Distributividad sobre los elementos reales. Si vV adems k1,k2 son nmeros
reales, entonces (k1+k2)v=k1v+k2v
9. Asociatividad del producto. Si vV y k1,k2 son escalares
entonces k1(k2v)=(k1k2)v
10. Existencia del neutro de los reales. Para cada vector vV existe un
elemento 1R tal que 1,v=v.
Para evitar confusiones, siempre que nos refiramos al vector cero de un espacio
vectorial V lo denotaremos como 0V.

Tomando en cuenta las propiedades anteriores asi como las operaciones con que
se verifican, estamos en condiciones de enunciar la siguiente definicin.
Definicin 3.1: Espacio vectorial
Un espacio vectorial sobre un cuerpo K (en este caso, el de los nmeros
reales) es un conjunto V no vaco, dotado de las operaciones de suma y
producto por un escalar, que cumple las diez propiedades anteriores.
Pasos necesarios para verificar las 10
propiedades de un espacio vectorial
1. realizar una simulacin geomtrica de la forma que tiene el espacio vectorial.
2. Identificar claramente los elementos que componen al espacio vectorial, y
determinar la forma que tiene un elemento en su forma general.
3. tener muy claro como es la operacin de suma entre sus elementos y el
producto por un escalar, cuando no se menciona nada en el ejercicio se supone
que son las operaciones que se realizan normalmente entre esos elementos,
aunque tambin se pueden definir al momento de plantear el problema.

Ejemplo 3.1: El espacio vectorial trivial

Verificar que el conjunto formado por el nmero cero V={0}, con la suma
y producto definidas en los nmeros reales, es un espacio vectorial.

Solucin:

El nico elemento de este conjunto es el cero real (0V=0), veamos que

cumple las nueve propiedades:

1. El nico elemento es cero y ste cumple que 0V+0V=0VV.

2. Para el elemento 0VV se cumple que (0V+0V)+0V=0V+(0V+0V).
3. El elemento neutro o cero de este conjunto es el propio 0VV.
4. El inverso aditivo del 0V es el propio 0V.
5. Cumple directamente.
6. Notemos que k0V=0V.
7. Claramente se cumple que k(0V+0V)=k0V+k0V.
8. Nuevamente tenemos la igualdad obvia (k1+k2)0V=k10V+k20V.
9. De igual forma k1(k20V)=(k1k2)0V.

Por lo tanto, se trata de un espacio vectorial.

 El vector cero de cada conjunto forma por si solo un espacio vectorial,
conocido como espacio vectorial trivial por su sencillez, y es el nico con una
cantidad finita de elementos que manejaremos en este curso.

Ejemplo 3.2:Una recta en R2

Mostrar que el conjunto de puntos en R2 que estn en una recta L que pasa
por el origen, constituyen un espacio vectorial, con las operaciones de suma y
producto definidas para coordenadas cartesianas.

Solucin:

La ecuacin de una recta que pasa por el origen es y=cx donde c es una
constante arbitraria pero que queda fija una vez elegida. Entonces los
elementos de este conjunto tienen la forma (x,cx); adems veamos que cumple
las propiedades

1. Tomemos dos elementos (x1,cx1) y (x2,cx2). Al realizar la suma

tenemos ((x1+x2),c(x1+x2))V.
2. Sean (x1,cx1), (x2,cx2) y (x3,cx3)V,
entonces [(x1,cx1)+(x2,cx2)]+(x3,cx3) =((x2+x1+x3),c(x2+x1+x3)) =(x1,cx
1)+[(x2,cx2)+(x3,cx3)].
3. El elemento neutro es 0V=(0,0)V.
4. El inverso aditivo de un elemento (x,cx) es (-x,-cx).
5. Dados dos vectores (x1,cx1) y (x2,cx2) tenemos
que (x1,cx1)+(x2,cx2) =((x1+x2),c(x1+x2)) =((x2+x1),c(x2+x1)) =(x2,cx2)+
(x1,cx1)
6. Notemos que k(x,cx)=(kx,c(kx)).
7. Claramente se cumple que k((x1,cx1)+(x2,cx2))=k(x1,cx1)+k(x2,cx2).
8. Nuevamente tenemos la igualdad (k+k2)(x,cx)=k(x,cx)+k2(x,cx).
9. De igual forma k1(k2(v,cv))=(k1k2)(v,cv).

Por lo tanto, es un espacio vectorial.

En el siguiente Applet se podr comprobar que el conjunto formado por

polinomios es un espacio vectorial, es decir cumple los diez axiomas, con la suma y
producto por un escalar de polinomios.
 Recuerde que los polinomios tienen la
forma P(x)=anxn+an1xn1+...+a1x+a0. y el grado del polinomio es igual
a m si m es el mayor exponente de todos los trminos del polinomio y adems am0.
Se puede comprobar que si a ste conjunto, P3, se le permite que contenga a los
polinomios de grado menor o igual a 3, entonces si es un espacio vectorial.
Ejemplo 3.3:Funciones continuas
Determinar si el conjunto de funciones f:RR continuas, con las
operaciones definidas para funciones, es un espacio vectorial.

Solucin:

Veamos si cumple las nueve propiedades:

1. Si f(x),g(x) son funciones continuas, entonces f(x)+g(x) sigue siendo una

funcin continua pues al sumar no se agrega ningn punto de discontinuidad.
2. Si f(x),g(x) son funciones continuas, entonces es claro
que f(x)+g(x)=g(x)+f(x).
3. Sean f(x),g(x),h(x) funciones continuas, entonces podemos
asociar [f(x)+(g(x)]+h(x)=(f+g)(x)+h(x)=(f+g+h)(x)=f(x)+(g+h)(x)=f(x)+[g(
x)+h(x)].
4. El elemento neutro o cero de este conjunto es f(x)=0.
5. El inverso aditivo de una funcin f(x) es f(x).
6. Si k es un real y f(x) es una funcin continua, entonces kf(x) sigue siendo una
funcin continua pues al multiplicar no se agrega ningn punto de
discontinuidad.
7. Sean k1,k2 elementos reales y f(x) es una funcin continua,
entonces (k1+k2)f(x)=k1f(x)+k2f(x).
8. Sean k un nmero real y f(x),g(x) funciones continuas, entonces por linealidad
de las funciones k(f(x)+g(x))=kf(x)+kg(x).
9. Sean k1,k2 elementos reales y f(x) es una funcin continua, entonces por
propiedades de los reales (k1k2)f(x)=k1(k2f(x)).

Por lo tanto, se trata de un espacio vectorial.

El conjunto de matrices de orden nM constituyen un espacio vectorial, sin

embargo cuando se imponen algunas condiciones en la forma de los elementos
que la componen, stas pueden dejar de ser espacios vectoriales.
Ejemplo 3.4: Matrices no cuadradas
 Determinar si el conjunto formado por todas las matrices de orden 32,
donde el elemento cuya posicin se encuentra en el rengln 2 columna 2 es un
nmero racional, y con las operaciones definidas para matrices, forman un
espacio vectorial.

Solucin:

Llamemos Mr al conjunto de matrices que cumplen esta caractristica

1. Se cumple, pues al sumar dos matrices de 32, el resultado sigue siendo una
matriz de 32, adems la suma de racionales sigue siendo racional.
2. Se sabe que la suma de matrices es conmutativa.
3. Sean M1,M2,M3 tres matrices de 32 que pertenecen a Mr, nuevamente las
propiedades de matrices nos dicen que podemos asociar la suma de distintas
formas y el resultado es el mismo.
4. El elemento neutro o cero es la matriz de ceros, es parte del conjunto de
matrices Mr, pues el cero es numero racional.
5. El inverso aditivo de una matriz M es M, notemos que si r es racional,
entonces r tambin es racional.
6. Esta propiedad falla pues si tenemos una matriz M de 32 con nmero racional
en la posicin rengln 2 columna 2 y k es un irracional, entonces kM no
contiene un racional en la posicin indicada.

Por lo tanto, no es espacio vectorial.