Recopilado por Ing.

Aura Marina Juárez UNAH 2do PAC 2022

SUBESPACIOS
Para tener claro el concepto de subespacio, primero debemos tener claro el concepto de
subconjunto.

El siguiente dibujo muestra que el conjunto B es un subconjunto del conjunto A, y, a su vez,

el conjunto A pertenece al universo U:

es.wikipedia.org

Vemos que algunos elementos de A pertenecen a B, y otros no, por otra parte, todos los
elementos de B pertenecen al conjunto A. Esto es porque B está contenido en A, pero no es
igual al conjunto A, lo cual se representa así: B ⊂ A lo que se lee “B está contenido en A”.

Todo conjunto se considera subconjunto de sí mismo. También al conjunto vacío se le

considera subconjunto de cualquier conjunto. A estos dos casos se les llama
SUBCONJUNTOS IMPROPIOS.

Solo estamos interesados en los subconjuntos propios, que son aquellos que contienen al
menos un elemento del conjunto, pero que no contienen a todos los elementos del
conjunto. Por ejemplo, El conjunto B puede considerarse un subconjunto propio de A.

Ejemplos de subconjuntos:

El “conjunto de todos los hombres” es un subconjunto del “conjunto de todas las personas”.

El “conjunto de las vocales” es un subconjunto del “conjunto de todas las letras”.

El “conjunto de los números naturales” es un subconjunto del “conjunto de los números

enteros”.

Los elementos de un conjunto suelen tener algunas características en común, por eso se
agrupan en un conjunto.

Cuando se selecciona un subconjunto propio, algunos elementos del conjunto original han
quedado por fuera, y este subconjunto ha perdido algunas propiedades que tiene el
conjunto original como un todo. Por ejemplo, dado el “conjunto de todas las letras” con el
cual podemos escribir todas las palabras, no hay ningún subconjunto propio que serviría
para seguir escribiendo todas las palabras de nuestro idioma, porque han quedado algunas
letras por fuera.
 Recopilado por Ing. Aura Marina Juárez UNAH 2do PAC 2022

Si de un espacio vectorial se puede seleccionar un subconjunto propio, es decir, que no sea

el mismo espacio, y ese subconjunto, con las mismas operaciones del espacio vectorial,
sigue cumpliendo los 10 axiomas, ese subconjunto es en sí mismo un espacio vectorial.

DEFINICION DE SUBESPACIO

Sea V un espacio vectorial y W un subconjunto no vacío de V. Se considera a W un

subespacio de V, si W es en sí mismo un espacio vectorial, con las mismas operaciones
definidas en V.

Hay algunos axiomas que todo subconjunto los “hereda automáticamente” del espacio, y no
será necesario verificarlos. Por ejemplo, si la suma en un espacio vectorial, cumple la
propiedad conmutativa, esta propiedad se va a seguir cumpliendo en cualquier subconjunto
de dicho espacio.

Solamente hay unos pocos axiomas que se cumplen en el espacio, pero que puede que no
se cumplan en todos los subconjuntos de dicho espacio, y, por lo tanto, hay que verificarlos.
Esto lo plantea el siguiente teorema.

TEOREMA

Sea W un subconjunto no vacío de un espacio vectorial real V. Se considera a W un

subespacio de V, si y solo si se cumplen las siguientes condiciones:

i) El idéntico aditivo de V pertenece a W

ii) Para todo u, v ∈ W: u + v ∈ W
iii) Para todo u ∈ W y todo 𝛼 ∈ : 𝛼 ∙ u ∈ W

El teorema nos dice que, para determinar si un subconjunto de un espacio vectorial, es un

subespacio, es decir, si el subconjunto es por sí mismo un espacio vectorial, se debe (es
necesario), y con eso basta (es suficiente) verificar únicamente tres axiomas: que el
subconjunto W contenga al idéntico aditivo (al “cero”), y, que se cumplan las propiedades
de cerradura de las dos operaciones definidas para el espacio vectorial.

El teorema garantiza que, si un subconjunto de un espacio vectorial es un subespacio, se

cumplen esos tres axiomas, y, de igual manera, garantiza que, si se cumplen esos tres
axiomas, el subconjunto es un subespacio.

Recuerde que con un axioma que no se cumpla, ya el conjunto no es un espacio vectorial, si

estamos determinando que un conjunto es un espacio vectorial, debemos verificar los 10
axiomas, pero si lo que queremos determinar es si un subconjunto de dicho espacio es un
subespacio, ya solamente es necesario verificar los tres axiomas que dice el teorema.
 Recopilado por Ing. Aura Marina Juárez UNAH 2do PAC 2022

SUBESPACIOS TRIVIALES

Sea V un espacio vectorial. Los subespacios triviales de V son, V mismo y, el conjunto cuyo
único elemento es el idéntico aditivo de V.

EJEMPLOS
𝟐
1. Dado que con las operaciones usuales es un espacio vectorial, determinar si el
𝟐 𝟐 𝟐
subconjunto de , 𝑾 = {(𝒙, 𝒚) ∈ : 𝒙𝒚 = 𝟎} , es un subespacio de .
2
El conjunto es el conjunto de todas las parejas (𝑥, 𝑦) donde 𝑥, 𝑦 pueden ser cualquier
número real, el subconjunto 𝑊 son todas las parejas de números reales donde, al menos
uno, o los dos números, es cero, ya que la descripción del conjunto dice que el producto de
ambos es cero.

Se sugiere comenzar verificando si el idéntico aditivo está en el subconjunto, porque si no

2
está, de inmediato se concluye que no es subespacio. El idéntico aditivo de con las
operaciones usuales, es (0,0), vemos que este elemento pertenece a 𝑊, ya que sus
componentes cumplen la descripción 𝑥𝑦 = 0.

Para verificar la cerradura de la suma, se debe demostrar que al sumar cualquier par de
elementos que pertenecen a 𝑊, (parejas donde una componente es 0), el resultado de la
suma también va a cumplir que al menos uno de las componentes sea cero.

Así, para dos parejas que la primera componente sea 0, al sumarlas con la suma usual, en el
resultado la primera componente será 0; si se suman dos parejas con la segunda
componente igual a 0, en el resultado la segunda componente será 0, pero, si se suma una
pareja donde la primera componente es 0, con otra en la que la segunda componente es 0,
el resultado no tendrá ningún 0:

(1,0) + (0,1) = (1,1), y vemos que (1)(1) ≠ 0

Esto es “un contraejemplo”, ya que consiste en mostrar un ejemplo que contradice lo que
supuestamente se quería demostrar. Para demostrar algo, no es válido tomar un ejemplo,
se debe demostrar en general, pero, para negar algo, basta con un ejemplo (contraejemplo).
Al no cumplirse el axioma de cerradura de la suma para este subconjunto, no es necesario
revisar el otro axioma, se concluye que no es un subespacio. A continuación, se presenta la
interpretación gráfica del subconjunto 𝑊: la unión de los ejes del plano cartesiano (el
espacio vectorial es todo el plano cartesiano):

geogebra.com
 Recopilado por Ing. Aura Marina Juárez UNAH 2do PAC 2022

𝟑
2. Determine si el conjunto 𝑾 = {(𝒙, 𝒚, 𝒛) ∈ : 𝟐𝒙 + 𝟑𝒚 − 𝒛 = 𝟎} es un subespacio.

Primero, si no se mencionan las operaciones del espacio vectorial del cual se ha

seleccionado el subconjunto, asuma que son las usuales.

Para estar claros cual es el espacio vectorial del cual se está hablando, solo vea la
3
pertenencia de los elementos: “∈ ”.

Después de los dos puntos, “:”, o la barrita vertical, “l”, se escribe la descripción de los
elementos del subconjunto, estos símbolos se leen “tal que”. Esta descripción indica que no
se trata de todos los elementos del espacio vectorial, sino solamente de aquellos que
cumplen o satisfacen esa condición. La condición es que los valores de 𝑥, 𝑦, 𝑧, satisfagan la
ecuación, lo cual también puede expresarse como 𝑧 = 2𝑥 + 3𝑦, o sea, que la tercera
componente debe ser igual a la suma del doble de la primera, más el triple de la segunda.
3
¿El idéntico aditivo de pertenece a 𝑊?
3
El idéntico aditivo de es (0,0,0). Probamos si satisface la ecuación:

2(0) + 3(0) − 0 = 0

0=0

Sí se satisface, entonces el idéntico aditivo sí pertenece a 𝑊.

¿Se cumple la cerradura de la suma en 𝑊?

NO USE NUMEROS PARTICULARES, la demostración es en general.

Tomamos dos elementos de 𝑊, los cuales usted debe establecer que satisfacen la ecuación
dada:

(𝑥1 , 𝑦1 , 𝑧1 ) tal que 2𝑥1 + 3𝑦1 − 𝑧1 = 0, o , 𝑧1 = 2𝑥1 + 3𝑦1

(𝑥2 , 𝑦2 , 𝑧2 ) tal que 2𝑥2 + 3𝑦2 − 𝑧2 = 0, o , 𝑧2 = 2𝑥2 + 3𝑦2

Sumando:

(𝑥1 , 𝑦1 , 𝑧1 ) + (𝑥2 , 𝑦2 , 𝑧2 ) = (𝑥1 + 𝑥2 , 𝑦1 + 𝑦2 , 𝑧1 + 𝑧2 )

= (𝑥1 + 𝑥2 , 𝑦1 + 𝑦2 , 2𝑥1 + 3𝑦1 + 2𝑥2 + 3𝑦2 )

La pregunta que debe hacerse es, si este resultado satisface la condición 𝑧 = 2𝑥 + 3𝑦.

Veamos:

2𝑥1 + 3𝑦1 + 2𝑥2 + 3𝑦2 = 2(𝑥1 + 𝑥2 ) + 3(𝑦1 + 𝑦2 )

 Recopilado por Ing. Aura Marina Juárez UNAH 2do PAC 2022

2𝑥1 + 2𝑥2 + 3𝑦1 + 3𝑦2 = 2𝑥1 + 2𝑥2 + 3𝑦1 + 3𝑦2

Vemos que ambos lados son iguales, entonces se cumple la cerradura de la suma.

¿Se cumple la cerradura de la multiplicación por un escalar en 𝑊?

Sea (𝑥1 , 𝑦1 , 𝑧1 ) tal que 2𝑥1 + 3𝑦1 − 𝑧1 = 0, o , 𝑧1 = 2𝑥1 + 3𝑦1

Sea 𝛼 ∈

α ∙ (𝑥1 , 𝑦1 , 𝑧1 ) = (𝛼𝑥1 , 𝛼𝑦1 , 𝛼𝑧1 ) = (𝛼𝑥1 , 𝛼𝑦1 , 𝛼(2𝑥1 + 3𝑦1 ))

Veamos si se cumple que 𝑧 = 2𝑥 + 3𝑦:

𝛼(2𝑥1 + 3𝑦1 ) = 2(𝛼𝑥1 ) + 3(𝛼𝑦1 )

2𝛼𝑥1 + 3𝛼𝑦1 = 2𝛼𝑥1 + 3𝛼𝑦1

Vemos que ambos lados son iguales, entonces se cumple la cerradura de la multiplicación
por un escalar. Conclusión: el subconjunto es un subespacio.

La gráfica de este subconjunto es un plano que pasa por el origen del sistema de
3
coordenadas de .

𝒂 𝟎
3. Determine si el conjunto 𝑾 = {[ ] ∈ 𝑴𝟐𝒙𝟐 ∶ 𝒂, 𝒃 ∈ } es un subespacio
𝟎 𝒃
𝑎1 0 𝑎 0
Sean 𝐴 = [ ] ,𝐵 = [ 2 ] dos elementos de 𝑊
0 𝑏1 0 𝑏2

0 0
El idéntico aditivo de 𝑀2𝑥2 (conjunto de matrices de 2 x 2) es [ ], el cual vemos que
0 0
pertenece al subconjunto 𝑊, ya que la condición es que los elementos en la diagonal
secundaria sean 0 y, los de la diagonal principal pueden ser cualquier número real.

Cerradura de la suma:

𝑎1 0 𝑎 0 𝑎 + 𝑎2 0
[ ]+[ 2 ]=[ 1 ] Cumple la condición.
0 𝑏1 0 𝑏2 0 𝑏1 + 𝑏2
 Recopilado por Ing. Aura Marina Juárez UNAH 2do PAC 2022

Cerradura de la multiplicación por un escalar:

Sea 𝛼 ∈

𝑎1 0 𝛼𝑎 0
𝛼∙[ ]=[ 1 ] Cumple la condición.
0 𝑏1 0 𝛼𝑏1

Por lo tanto, el subconjunto es un subespacio.

4. Determine si 𝑾 = {𝒑 ∈ 𝑷𝟐 : 𝒑(𝟎) = 𝟎} es un subespacio.

Este ejemplo trata de polinomios, “𝑝” es un polinomio arbitrario, “𝑃2 ” es el espacio vectorial
que consiste en el conjunto de todos los polinomios de grado ≤ 2. La condición del
subconjunto es que sean polinomios tales que, tienen a 0 como raíz, es decir, que, si se
evalúa 0 en el polinomio, el resultado es 0.

Sean 𝑝1 y 𝑝2 dos polinomios que pertenecen a 𝑊: 𝑝1 (0) = 0 , 𝑝2 (0) = 0

El idéntico aditivo de 𝑃2 es el polinomio 0𝑥 2 + 0𝑥 + 0, en el que todos los coeficientes son

0.

Evaluando 0 en este polinomio:

0(0)2 + 0(0) + 0 = 0

0=0

Pertenece a 𝑊.

Cerradura de la suma:

(𝑝1 + 𝑝2 )(0) = 0

¿Al sumar los dos polinomios, se obtiene un polinomio cuya raíz es cero?

La suma de polinomios cumple con la propiedad de la suma de funciones (temas de

MM110):

(𝑝1 + 𝑝2 )(0) = 𝑝1 (0) + 𝑝2 (0) = 0 + 0 = 0 Se cumple.

Cerradura de la multiplicación por un escalar

Sea 𝛼 ∈

Al multiplicar un escalar por un polinomio, podemos sacar el escalar.

(𝛼𝑝1 )(0) = 𝛼 ∙ (𝑝1 (0)) = 𝛼(0) = 0 Se cumple.

Conclusión: es un subespacio.