Espacios Vectoriales

Departamento de Matemáticas, CSI/ITESM

17 de junio de 2008

Índice
15.1. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
15.2. Motivación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
15.3. Abstracción y Generalización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
15.4. Generalización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
15.5. El concepto de operación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
15.6. Espacio Vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
15.7. Teoremas sobre espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
15.8. Ejemplos de EV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
15.9. Subespacio Vectorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

15.1. Objetivos
En esta lectura se introduce el concepto de espacio vectorial. Este concepto generaliza los vectores n y las
matrices m × n. El concepto es abstracto y por tanto tiene alguna dificultad natural; se le pide al estudiante
un esfuerzo extra para pensar las cosas desde un punto de vista general.

15.2. Motivación
Veamos un ejemplo para introducir el concepto de las ideas invariantes en la solución a un sistema de
ecuaciones lineales.
Ejemplo 15.1
Considere el sistema homogéneo:
x + 2y + w + 2t = 0
2x + 4y − z + w + 5t = 0
x + 2y + z + 2w + t = 0
z+w−t = 0
Si utilizamos el orden x → y → z → w → t la matriz aumentada reducida queda:
   
1 2 0 1 2 0 1 2 0 1 2 0
 2 4 −1 1 5 0   0 0 1 1 −1 0 
 → 
 1 2 1 2 1 0   0 0 0 0 0 0 
0 0 1 1 −1 0 0 0 0 0 0 0
De donde la fórmula para las soluciones son:
       
x −2 −1 −2
 y   1   0   0 
       
 z =y 
   0 +w


 −1 +t


 1 

 w   0   1   0 
t 0 0 1
Si utilizamos el orden x → y → w → z → t la matriz aumentada reducida queda:
   
1 2 1 0 2 0 1 2 0 −1 3 0
 2 4
 1 −1 5 0 → 0 0 1
 1 −1 0  
 1 2 2 1 1 0   0 0 0 0 0 0 
0 0 1 1 −1 0 0 0 0 0 0 0
De donde la fórmula para las soluciones son:
       
x −2 1 −3
 y   1   0   0 
       
 z =y  0 +z  1 +t  0 
       
 w   0   −1   1 
t 0 0 1
Si utilizamos el orden x → y → t → z → w la matriz aumentada reducida queda:
   
1 2 2 0 1 0 1 2 0 2 3 0
 2 4
 5 −1 1 0   →  0 0 1 −1 −1 0 
 
 1 2 1 1 2 0   0 0 0 0 0 0 
0 0 −1 1 1 0 0 0 0 0 0 0
De donde la fórmula para las soluciones son:
       
x −2 −2 −3
 y   1   0   0 
       
 z =y  0 +z  1 +w  0 
       
 w   0   0   1 
t 0 −1 1
Si utilizamos el orden y → x → z → w → t la matriz aumentada reducida queda:
   1 1 
2 1 0 1 2 0 1 0 1 0
 4 2 −1 1 5 0 
 2 2 
 → 0 0 1 1 −1 0 
 2 1 1 2 1 0 

 0 0

0 0 0 0 
0 0 1 1 −1 0 0 0 0 0 0 0
De donde la fórmula para las soluciones son:
       
x 1 0 0
 y 
 

 −1/2 


 −1/2 


 −1 

 z =x
 

 0 +w


 −1 +t


 1 

 w   0   1   0 
t 0 0 1
Todas las soluciones previas aparentant ser diferentes, sin embargo, todas representan el mismo conjunto
solución. Necesitamos una teorı́a que nos dé confianza en los resultados obtenidos; qué nos indique las co-
sas que permanecen y las cosas que pueden cambiar en las múltiples respuestas válidas en Rn que podemos
obtener. Además de los conjuntos solución en Rn , existen otras áreas de la ingenierı́a que requieren un
apoyo matemático: las matrices tienen su importancia y uso en ingenierı́a industrial y en control; las series
trigonométricas en procesamiento de señales; los conjuntos de polinomios y las series de potencias para los
IFIs, etc..
¿Cómo desarrollar una teorı́a comodı́n que se pueda aplicar a diferentes contextos sin ningún cambio impor-
tante?

2
15.3. Abstracción y Generalización
Si se hace una encuesta entre los matemáticos sobre que palabras describen a las matemáticas se notará que
la mayorı́a responde al menos dos palabras claves: abstracción y generalización. La abstracción tiene que ver
con representar cantidades por medio de sı́mbolos ,y la generalización tiene que ver con la construcción de
estructuras o teorı́as que engloban ciertas cosas o hechos conocidos. La que nos interesa más para abrir este
tema es el aspecto de la generalización. La generalización también tiene que ver con la economia del trabajo
realizado para investigar, y con determinar cuáles son los elementos mı́nimos responsables de que ciertos re-
sultados ocurran.

15.4. Generalización
Para entender como ocurre la generalización en nuestra materia recordemos algunos conceptos hemos visto
en diferentes cursos de matemáticas:
1. vectores en el espacio n dimensional (Rn ),

2. matrices con entradas reales (Mn×m ),

3. polinomios reales,

4. series de pontencias,

5. series trigonométricas, y

6. soluciones a ecuaciones diferenciales lineales homogéneas

entre otros elementos.
El objetivo que se persigue en el presente tema consiste en introducir aquella estructura abstracta que engloba
las anteriores construcciones, y qué resultados se pueden obtener en lo general sin importar a cual de las
estructuras especı́ficas se haga referencia.

15.5. El concepto de operación

Antes que el concepto de espacio vectorial está el concepto de operación. Veamos algunos ejemplos de
operaciones para ir entendiendo que las operaciones de suma o de multiplicación por escalares podrı́an ser
diferentes de las que conocemos.
Lo que es importante recordar es el uso de los paréntesis : sirven para indicar un orden en las operaciones.
Ejemplo 15.2
Suponga que V = R2 y que se define la operación:

(x, y) ⊕ (z, w) = (5 x + z, 2 w + 2 y)

Si
a = (−2, −3) , b = (−1, 3) , c = (−1, −1)
Calcule:
1. a ⊕ b
= (5 · (x = −2) + (z = −1), 2 · (w = 3) + 2 · (y = −3)) = (−11, 0)

2. b ⊕ a
= (5 · (−1) + (−2), 2 · (−3) + 2 · (−1)) = (−7, 0)

3
 3. (a ⊕ b) ⊕ c
= (−11, −0) ⊕ (−1, −1) = (5 · (−11) + (−1), 2 · (−1) + 2 · (0)) = (−56, −2)
4. a ⊕ (b ⊕ c)
= (−2, −3) ⊕ (−6, 4) = (−16, 2)
Ejemplo 15.3
Suponga que V = R2 y que se definen las operaciones:
(x, y) ⊕ (z, w) = (2 x, 3 w + y)
y
t ⊙ (x, y) = (2 t x, 3 t y)
Si
a = (1, 0) , c1 = 1, c2 = −4
Calcule:
1. (c1 + c2 ) ⊙ a = −3 ⊙ (1, 0) = (2(−3)(1), 3(−3)(0)) = (−6, 0)
2. (c1 ⊙ a) ⊕ (c2 ⊙ a) = (2, 0) ⊕ (−8, 0) = (4, 0)
3. (c1 · c2 ) ⊙ a = −4 ⊙ (1, 0) = (−8, 0)
4. c1 ⊙ (c2 ⊙ a) = 1 ⊙ (−8, 0) = (−16, 0)

15.6. Espacio Vectorial

Definición 15.1
Sea V un conjunto no vacı́o sobre el cual existen dos operaciones. Una llamada suma de vectores y otra
llamada mulitplicación de un escalar por un vector. La suma de vectores, o simplemente suma, es una regla o
función que asocia a dos vectores, digamos u y v un tercer vector, a este se le representará como u ⊕ v. La
multiplicación es una regla que asocia a un escalar y a un vector, digamos c y u un segundo vector representado
por c ⊙ u. Diremos que el conjunto V se llama espacio vectorial si cumple todos y cada uno de los siguientes
axiomas:
(A1) Para cualquiera dos vectores u y v en V
u⊕v ∈V (1)
Este axioma se conoce como el axioma de cerradura bajo la suma:
La suma de dos elementos del conjunto debe dar como resultado también un elemento del
conjunto.

(A2) Para cualquiera dos vectores u y v en V

u⊕v =v⊕u (2)

Este axioma se conoce como el axioma de la conmutatividad de la suma:
El orden de los sumandos no altera el resultado de la suma.

(A3) Para cualquiera tres vectores u, v y w en V

u ⊕ (v ⊕ w) = (u ⊕ v) ⊕ w (3)

Este axioma se conoce como axioma de la asociatividad de la suma:

4
 En una suma de vectores, no importa el orden cómo asocien la sumas entre dos; el resultado
será siempre el mismo.

(A4) Existe un único vector en V que se simbolizará por 0 y que se llamará el vector cero tal que para cualquier
vector u ∈ V se cumple
u⊕0=0⊕u=u (4)
Este axioma se conoce como el axioma de la existencia del elemento neutro:

Existe en el conjunto un elemento distinguido que sumado con cualquier elemento da el mismo
segundo elemento.

(A5) Para cualquier vector u ∈ V existe un único vector también en V y simbolizado por −u que cumple

u ⊕ (−u) = (−u) ⊕ u = 0 (5)

Este axioma se conoce como axioma de la existencia de inversos aditivos:

Cada elemento del conjunto posee un inverso aditivo; un elemento del conjunto que sumado
con él da el neutro aditivo.

(M1) Para cualquier vector u ∈ V y para cualquier escalar c ∈ R se cumple

c⊙u∈V (6)

Este axioma se conoce como el axioma de cerradura bajo la multiplicación por escalares:

El resultado del producto entre cualquier escalar por cualquier elemento del conjunto debe dar
como resultado también un elemento del conjunto.

(M2) Para cualquiera dos vectores u y v en V , y para cualquier escalar c en R se cumple

c ⊙ (u ⊕ v) = (c ⊙ u) ⊕ (c ⊙ v) (7)

Este axioma se conoce como la propiedad distributiva del producto (por escalares) sobre la suma (de
vectores):

En un producto de un escalar por una suma de vectores, da lo mismo realizar la suma de los
vectores y el resultado multiplicarlo por el vector que individualmente multiplicar cada vector
por el escalar y después sumar los resultados.

(M3) Para cualquier vector u ∈ V y para cualquiera dos escalares a y b en R se cumple

(a + b) ⊙ u = (a ⊙ u) ⊕ (b ⊙ u) (8)

Este axioma se conoce como la propiedad distributiva del producto por escalares sobre la suma escalares.

(M4) Para cualquier vector u ∈ V y para cualquiera dos escalares a y b en R se cumple

a ⊙ (b ⊙ u) = (a b) ⊙ u (9)

Esta propiedad se conoce como la ley asociativa del producto entre escalares y el producto de escalar
con vector. Lo llamaremos simplemente como la propiedad asociativa del producto.

5
(M5) Para cualquier vector u ∈ V se cumple
1⊙u=u (10)

Cuando se elabora una argumentación en algún cálculo o demostración uno debe hacer referencia a los axiomas.
Por ellos es que es conveniente y elegante llamarlos por su descripción. Se le pide al alumno que entienda
la lógica de cada uno de ellos y memorice sus descripciones.

Ejemplo 15.4
Indique cual opción enuncia la propiedad distributiva de la suma de escalares sobre el producto.

1.- (c + k) ⊙ x = (c ⊙ x) ⊕ (k ⊙ x) ← Respuesta

2.- x ⊕ 0 = 0 ⊕ x = x

3.- x ⊕ y = y ⊕ x ← Conmutatividad

4.- c ⊙ x es vector ← Cerradura

5.- x ⊕ (−x) = (−x) ⊕ x = 0

6.- x ⊕ y es vector ← Cerradura 

Ejemplo 15.5
Indique cual opción describe la propiedad:

x⊕0=0⊕x=x

1.- Cerradura del producto por escalares.

2.- Existencia del neutro de la suma. ← Respuesta

3.- Distributividad del producto sobre la suma de vectores.

4.- Distributividad de la suma de escalares sobre el producto.

5.- Asociatividad del producto por escalares.

6.- Existencia del inverso aditivo 

Ejemplo 15.6
Apesar que nuestro interés no es hacer demostraciones matemáticas si es conveniente entender cómo se cons-
truyen. El siguiente argumento prueba que el vector cero es único. Es decir, que si hay otro vector que cumple
la propiedad que define al neutro debe ser el mismo neutro. Justifique los pasos.
Suponga que
x+y =x
Entonces por (a) existe (−x) que al sumarlo en ambos miembros da

(−x) + (x + y) = (−x) + x

Por la propiedad (b) se deduce entonces

((−x) + x) + y = (−x) + x

Por la propiedad (c) se tiene entonces

0+y =0

6
Finalmente, por la propiedad (d) se tiene
y = 0.
1: la propiedad del inverso aditivo, 2: asociativa, 3: del neutro
Respuesta: la correspondencia es (a)=1,(b)=2,(c)=1,(d)=3 

15.7. Teoremas sobre espacios vectoriales

Resultados generales sobre espacios generales:

Sea V es un espacio vectorial, y sean u ∈ V y c ∈ R, entonces:

1. 0 u = 0 (El escalar 0 por cualquier vector da el vector cero)

2. c 0 = 0 (Cualquier escalar por el vector cero da el vector cero)
3. c u = 0 implica c = 0 ó u = 0 (Cuando el producto de un escalar por un vector da el vector
cero, o el escalar es cero o el vector es el vector cero)
4. (−c) u = − (c u) (Multiplicar por un escalar negativo implica obtener el inverso aditivo del
producto del escalar sin el signo por el vector)

15.8. Ejemplos de EV
Veamos algunos de los espacios vectoriales que utilizaremos.
Ejemplo EV 1
Sea V = R+ con las operaciones: x ⊕ y = x · y y c ⊙ x = xc , veamos que V con tal operaciones cumple los
axiomas de espacio vectorial:
Axioma A1: x ⊕ y ∈ V
Efectivamente, pues si x, y ∈ V entonces x, y > 0 y por tanto x ⊕ y = x · y > 0, probando que x ⊕ y ∈ V .
Axioma A2: x ⊕ y = y ⊕ x
Efectivamente, pues x ⊕ y = x · y = y · x = y ⊕ x. Esto se tiene por la propiedad conmutativa del producto de
números reales.
Axioma A3: x ⊕ (y ⊕ z) = (x ⊕ y) ⊕ z
Efectivamente, pues x ⊕ (y ⊕ z) = x ⊕ (y · z) = x · (y · z) = (x · y) · z = (x · y) ⊕ z = (x ⊕ y) ⊕ z. Esto se tiene
por la propiedad asociativa del producto de números reales.
Axioma A4: Existe en V un neutro para ⊕
Efectivamente, el número 1 de V = R cumple la propiedad requerida pues 1 ⊕ x = 1 · x = x = x · 1 = x ⊕ 1.
Axioma A5: Todo elemento de V posee un inverso aditivo en V
Efectivamente, si x ∈ V es número, 1/x también está en V = R (Pues si x > 0, también se cumple 1/x > 0)
y cumple la propiedad requerida pues x ⊕ 1/x = x · 1/x = 1 = 1/x · x = 1/x ⊕ x.
Axioma M1: c ⊙ x ∈ V
Efectivamente, pues si x ∈ V entonces x > 0 y c ⊙ x = xc > 0 para cualquier número c. (Recuerde que para
x > 0, xc = ec ln(x) > 0)
Axioma M2: c ⊙ (x ⊕ y) = (c ⊙ x) ⊕ (c ⊙ y)
Efectivamente, c ⊙ (x ⊕ y) = c ⊙ (x · y) = (x · y)c = xc · y c = (xc ) ⊕ (y c ) = (c ⊙ x) ⊕ (c ⊙ y). Y esto vale por la
ley de los exponentes con bases positivas.
Axioma M3: (c1 + c2 ) ⊙ x = (c1 ⊙ x) ⊕ (c2 ⊙ x)
Efectivamente, (c1 + c2 ) ⊙ x = xc1 +c2 = xc1 · xc2 = (xc1 ) ⊕ (xc2 ) = (c1 ⊙ x) ⊕ (c2 ⊙ x). Esto vale por la ley de
los exponentes con bases positivas.
Axioma M4: (c1 · c2 ) ⊙ x = c1 ⊙ (c2 ⊙ x)
Efectivamente, (c1 · c2 ) ⊙ x = xc1 ·c2 = (xc2 )c1 = c1 ⊙ (xc2 ) = c1 ⊙ (c2 ⊙ x). Esto vale por la ley de los exponentes

7
con bases positivas.
Axioma M5: 1 ⊙ x = x
Efectivamente, 1 ⊙ x = x1 = x.
Habiéndose cumplido los 10 axiomas, concluimos que V con las operaciones

x⊕y =x·y y

c ⊙ x = xc

sı́ es un espacio vectorial 

Ejemplo EV 2: Rn
El conjunto de todas las n-adas con componentes reales Rn :
operaciones:

La suma: La suma de dos vectores con n componentes es un vector también con n componentes cuya
componente i-ésima es la suma de las componentes i-ésimas de los vectores que se están sumando:

(xi ) + (yi ) = (xi + yi )

El producto por escalares: El producto de un escalar por un vector de n componentes se también un

vector de n componetes cuya componente i-ésima es el producto del escalar por la i−ésima componente
del vector que se multiplica:
c · (xi ) = (c · xi )

Axiomas A1 y M1: x + y ∈ Rn y c · x ∈ Rn
De la misma definición de la suma y producto por escalares.
Axioma A2 : x + y = y + x
Los vectores son iguales pues tienen la misma dimensión y al comparar las componente i se tiene

xi + yi = yi + xi

Axioma A3: x + (y + z) = (x + y) + z
Los vectores son iguales pues tienen la misma dimensión y al comparar las componente i se tiene

xi + (yi + zi ) = (xi + yi ) + zi

Axioma A4: Existe el vector neutro bajo la adición:

Este vector es el vector con todas sus componentes cero 0 = (0) y cumple 0 + x = x + 0 = x pues al comparar
las i-ésimas componentes se cumple:
0 + xi = xi + 0 = xi
Axioma A5: Cada vector de tiene su inverso aditivo:
Para cada vector x = (xi ) el vector −x = (−xi ) cumple x + (−x) = (−x) + x = 0 pues al comparar las i-ésimas
componentes se cumple:
−xi + xi = 0 = xi + −xi
Axioma M2: c(x + y) = c x + c y: Los vectores son iguales pues tienen la misma dimensión y al comparar las
componentes i se tiene
c(xi + yi ) = c xi + c yi

8
 Axioma M3: (c1 + c2 )x = c1 x + c2 x: Los vectores son iguales pues tienen la misma dimensión y al comparar
las componentes i se tiene
(c1 + c2 )xi = c1 xi + c2 xi
Axioma M4: (c1 · c2 )x = c1 (c2 x): Los vectores son iguales pues tienen la misma dimensión y al comparar
las componentes i se tiene
(c1 · c2 )xi = c1 (c2 xi )
Axioma M5: 1 · (xi ) = (1 · xi ) = (xi )
Habiéndose cumplido los 10 axiomas, concluimos que Rn con las operaciones

(xi ) + (yi ) = (xi + yi ) y

c(xi ) = (c xi )

sı́ es un espacio vectorial 

Ejemplo EV 3: Mm×n
El conjunto de todas las matrices m × n con componentes reales Mm×n :
operaciones:

La suma: La suma de dos matrices m × n es una matriz también m × n cuyo elemento (i, j) es la suma
de los elementos (i, j) de las matrices que se están sumando:

(aij ) + (bij ) = (aij + bij )

El producto por escalares: El producto de un escalar por una matriz m × n es también una matriz m × n
cuyo elemento (i, j) es el producto del escalar por el elemento (i, j) de la matriz que se multiplica:

c · (aij ) = (c · aij )

Axiomas A1 y M1: A + B ∈ Mm×n y c · A ∈ Mm×n : De la misma definición de la suma de matrices y

producto por escalares.
Axioma A2 ; A + B = B + A: Las matrices son iguales pues tienen la misma dimensión y al comparar los
elementos (i, j) se tiene
aij + bij = bij + aij
Axioma A3: A + (B + C) = (A + B) + C: Las matrices son iguales pues tienen la misma dimensión y al
comparar los elementos (i, j) se tiene

aij + (bij + cij ) = (aij + bij ) + cij

Axioma A4, Existe una matriz neutra bajo la adición: Esta matriz es la matriz con todas sus componentes
cero 0 = (0) y cumple 0 + A = A + 0 = A, pues al comparar los elementos (i, j) componentes se cumple:

0 + aij = aij + 0 = aij

Axioma A5: Cada matriz de tiene su invero aditivo:

Para cada matriz A = (aij ), la matriz −A = (−aij ) cumple A + (−A) = (−A) + A = 0, pues al comparar los
elementos (i, j) se cumple:
−aij + aij = 0 = aij + −aij

9
Axioma M2: c(A + B) = c A + c B: Las matrices son iguales pues tienen la misma dimensión y al comparar
los elementos (i, j) se tiene
c(aij + bij ) = c aij + c bij
Axioma M3: (c1 +c2 )A = c1 A+c2 A: Las matrices son iguales pues tienen la misma dimensión y al comparar
los elementos (i, j) se tiene
(c1 + c2 )aij = c1 aij + c2 aij
Axioma M4: (c1 · c2 )A = c1 (c2 A): Las matrices son iguales pues tienen la misma dimensión y al comparar
los elementos (i, j) se tiene
(c1 · c2 )aij = c1 (c2 aij )
Axioma M5: 1 · (aij ) = (1 · aij ) = (aij )
Habiéndose cumplido los 10 axiomas, concluimos que Mm×n con las operaciones

(aij ) + (bij ) = (aij + bij ) y

c(bij ) = (c aij )

sı́ es un espacio vectorial 

Ejemplo EV 4: P
De todos los polinomios con coeficientes reales en la variable x con las operaciones:

Suma: Cuando son dos polinomios, esta operación se lleva a cabo sumando los coeficientes de las mismas
potencias de x de los polinomios.

a0 + a1 x + · · · + am xm
+
b0 + b1 x + · · · + bm xm
=
(a0 + b0 ) + (a1 + b1 ) x + · · · + (am + bm ) xm

(Alguno de los polinomios se completa hasta el grado mayor de los dos con coeficientes cero)

Multiplicación: La multiplicación por escalar es la multiplicación de todo el polinomio por una cons-
tante:
c(a0 + a1 x + a2 x2 + · · · + am xm )
=
c a0 + c a1 x + · · · + c am xm

Axiomas A1 y M1: p(x) + q(x) ∈ P y c · p(x) ∈ P: De la misma definición de la suma de polinomios y

producto por escalares.
Axioma A2 ; p(x) + q(x) = q(x) + q(x): Los polinomios son iguales pues están en la misma variable y
comparando los coeficientes de xi se tiene:

pi + qi = pi + qi

Axioma A3: p(x) + (q(x) + r(x)) = (p(x) + q(x)) + r(x): Los polinomios son iguales pues están en la misma
variable y comparando los coeficientes de xi se tiene:

pi + (qi + ri ) = (pi + qi ) + ri

10
Axioma A4, Existe un polinomio neutro bajo la adición: Este polinomio es el polinomio con todos sus
coeficientes cero: 0 = 0 = 0 + 0 x y cumple 0 + p(x) = p(x) + 0 = p(x), pues al comparar los coeficientes de xi
se tiene:
0 + pi = pi + 0 = pi
Axioma A5: Cada polinomio de tiene su invero aditivo: Para cada plinomio p(x) = p0 + p1 x + c . . . , el
polinomio −p(x) = (−p0 ) + (−p1 ) x + (−p2 )x2 + · · · cumple p(x) + (−p(x)) = (−p(x)) + p(x) = 0, pues al
comparar los coeficientes de xi se tiene:
(−pi ) + pi = 0
Axioma M2: c(p(x) + q(x)) = c p(x) + c q(x): Los polinomios son iguales pues están en la misma variable y
comparando los coeficientes de xi se tiene:

c(pi + qi ) = c pi + c qi

Axioma M3: (c1 + c2 )p(x) = c1 p(x) + c2 p(x): Los polinomios son iguales pues están en la misma variable y
comparando los coeficientes de xi se tiene:

(c1 + c2 )pi = c1 pi + c2 pi

Axioma M4: (c1 · c2 )p(x) = c1 (c2 p(x)): Los polinomios son iguales pues están en la misma variable y
comparando los coeficientes de xi se tiene:

(c1 · c2 )pi = c1 (c2 pi )

Axioma M5: 1 · p(x) = p(x)

Habiéndose cumplido los 10 axiomas, concluimos que P con las operaciones suma de polinomios y producto
de un escalar por un polinomio conocidas sı́ es un espacio vectorial 

Ejemplo EV 5: Pn
Todos los polinomios con coeficientes reales en la variable x de grado menor o igual que n (n es entero mayor
o igual que cero):

1 operaciones:Sea x la variable independiente de los polinomios.

a) Suma: Misma que en P.

b) Multiplicación por escalares: Misma que en P.

2 el cero: El polinomio 0, es áquel cuya totalidad de coeficientes es cero.

3 inversos aditivos: El inverso de −p de un polinomio p tiene por coeficientes los opuestos de los coefi-
cientes de p 

Ejemplo EV 6: F (R)
El conjunto de todas las funciones de valor real definidas en R:

1 operaciones: Sean f y g dos funciones de valor real con dominio R y sea c cualquier escalar.

11
 a) Suma: Se define la suma de f + g de f y g como la función cuyos valores están expresados por:

(f + g)(x) = f (x) + g(x) para toda x ∈ R

b) producto por escalares: Igualmente, el producto por escalar cf se define como sigue:

(c f )(x) = c f (x) para toda x ∈ R

2 el cero: La función cero, 0 es aquella cuyos valores son todos ceros: 0(x)= 0 para toda x ∈ R.

3 inversos aditivos: La inversa de −f de f es la función (-1)f .

4 axiomas: La comprobación de los axiomas se deja como ejercicio.

De manera más general, el conjunto F (X) de todas las funciones de valor real definidas en un conjuno X es
un espacio vectorial. Las operaciones, el cero y el negativo se definen en la misma forma. La única diferencia
es que x se en encuentra en el conjunto X, en lugar de estar en R.

15.9. Subespacio Vectorial

Como se ha visto probar que un conjunto es un espacio vectorial es un trabajo arduo. Sin embargo, hay
situaciones en las que la prueba se reduce considerablemente: Cuando el conjunto está contenido en un con-
junto mayor que ya es un espacio vectorial. En este caso, como todas las propiedades de los axiomas hacen
referencia a elementos del conjunto y por tanto a elementos al conjunto mayor que ya es espacio vectorial y
por consiguiente se verifican. Salvo posiblemente los axiomas A1 y M1 que hacen referencia a la cerradura.

Definición 15.2

Sea V = (V, +, ·) un espacio vectorial. Un subconjuto U de V (U ⊆ V ) que no es vacı́o se dice

subespacio vectorial o simplemente subespacio de V si U con las mismas operaciones de suma y
multiplicación por escalares que están definidas en V , pero restringidas a vectores de U , es un
espacio vectorial.

Apesar que en la definción de subespacio está implicita la verificación de los axiomas, el siguiente resultado da
la clave para la verificación de que un conjunto se subespacio.
Teorema

Un subconjunto no vacı́o U de un espacio vectorial V es subespacio de V si cumple las siguientes

condiciones:

El conjunto U es cerrado bajo la suma;

Cualquiera dos elementos de U sumados dan como resultado un elemento que también está en
U.
El conjunto U es cerrado bajo la multiplicación por escalares;
Cualquier elemento de U multiplicado por cualquier escalar da como resultado un elemento
que también está en U .

Observe que realmente el resultado anterior hace referencia a tres condiciones: La que está en el enunciado:
que el conjunto no sea vacı́o, y las dos explı́citamente citadas.

12
 trans=R,toc=Ejemplo
Ejemplo 15.7
El subconjuto W de P2 formado por sólo polinomios de la forma

p(x) = a x + 3 a x2

donde a es un número real, ¿es un subespacio vectorial?

Solución
Requisito 0: Se debe probar que el conjunto posee al menos un elemento: Debemos dar un ejemplo concreto
de un polinomio que corresponde a este formato: Por ejemplo

p(x) = 2 x + 6 x2

el coeficiente de x2 , 6, es justo el doble del coeficiente de x, que es 2. Por tanto, W 6= ∅.

Requisito 1: Debemos probar que si se suman dos elementos cualquiera del conjunto, el resultado también
está en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar un valor numérico de a;
debemos utilizar letras. Sean p(x) = a1 x + 3 a1 x2 y q(x) = a2 x + 3 a2 x2 dos elementos de W , veamos si
p(x) + q(x) ∈ W :

p(x) + q(x) = a1 x + 3 a1 x2 + a2 x + 3 a2 x2 = (a1 + a2 ) x + 3 (a1 + a2 ) x2

de donde vemos que el coeficiente de x2 es el de x multiplicado por 3. Por tanto, p(x) + q(x) ∈ W . Por tanto,
W es cerrado bajo la suma.
Requisito 2: Debemos probar que si se multiplica un escalar cualquiera por un elemento cualquiera del
conjunto, el resultado también está en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar
un valor numérico de a; debemos utilizar letras. Sea p(x) = a1 x + 3 a1 x2 un elemento cualquiera de W y c
un escalar cualquiera, veamos si c p(x) ∈ W :

c p(x) = c (a1 x + 3 a1 x2 ) = (c a1 ) x + 3 (c a1 ) x2

de donde vemos que el coeficiente de x2 es el de x multiplicado por 3. Por tanto, c p(x) ∈ W . Por tanto, W
es cerrado bajo el producto por escalares.
Como hemos probado los tres requisitos, W es un subespacio vectorial de P2 .

Ejemplo 15.8
El conjunto W de todas las matrices 2 × 2 de la forma:
 
a 0
0 b

donde a y b son números reales que cumplen a b ≤ 0, ¿es un subespacio vectorial de M2×2 ?
Solución
Requisto 0: Como la matriz
 
1 0
A=
0 −1
tiene el patrón de las matrices de W para a = 1 y b = −1 y se cumple a b = −1 ≤ 0, A ∈ W . Por tanto,
W 6= ∅.
Requisito 1: Debemos probar que si se suman dos elementos cualquiera del conjunto, el resultado también
está en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar valores numéricos; debemos
utilizar letras. Sean    
a1 0 a2 0
A= yB=
0 b1 0 b2

13
dos elementos de W , que cumplan a1 b1 ≤ 0 y a2 b2 ≤ 0 veamos si A + B ∈ W :
 
a1 + a2 0
A+B =
0 b1 + b2

Ahora apliquemos la prueba última para ver si pertenece a W

(a1 + a2 ) (b1 + b2 )) = a1 b1 + a2 b1 + a1 b1 + a2 b2 ≤ 0?

Observe que lo que es cierto es que a1 b1 ≤ 0 y que a2 b2 ≤ 0. Pero el término a2 b1 + a1 b2 puede cambiar la
desigualdad. De hecho los valores a = 1, b1 = −5, a2 = −3, y b2 = 1 cumplen

a1 b1 = (1)(−5) = −5 ≤ 0 y a2 b2 = (−3)(1) = −3

Pero
(a1 + a2 )(b1 + b2 ) = (1 + −3)(−5 + 1) = (−2)(−4) = 8 > 0
Estos números nos dan las matrices
   
1 0 −3 0
Ao = y Bo =
0 −5 0 1

que sı́ están en W , pero cuya suma no está en W . A estos ejemplos conctretos que prueban que una cierta
afirmación no se cumpla se le llama contra ejemplo. El anterior contra ejemplo hace que W no sea cerrado
bajo la suma. Fallando un requisito como ahora, W no es un subespacio. Sin embargo, como nos interesa
ver la opción que se ajusta a W deberemos revisar el otro requisito.
Requisito 2: Debemos probar que si se multiplica un escalar cualquiera por un elemento cualquiera del
conjunto, el resultado también está en el conjunto. Para abarcar cualquier elemento de W no podemos utilizar
un valor numérico de a; debemos utilizar letras. Sea
 
a1 0
A=
0 b1

un elemento cualquiera de W (y por tanto a1 b1 ≤ 0) y c un escalar cualquiera, veamos si c A ∈ W :

 
c a1 0
cA =
0 c b1

Ahora apliquemos la prueba última para ver si pertenece a W

(c a1 ) (c b1 ) ≤ 0?

Como
(c a1 ) (c b1 ) = c2 (a1 b1 )
y c2 ≥ 0 y a1 b1 ≤ 0 entonces
(c a1 ) (c b1 ) = c2 (a1 b1 ) ≤ 0
Por tanto, c A ∈ W . Por tanto, W es cerrado bajo el producto por escalares.
Resumiendo, W no es espacio vectorial: sı́ es cerrado bajo el producto por escalares pero no es cerrado bajo
la suma.

14