I.S.F.D. “Dr. Juan G.

Pujol”
Bienvenidos a la clase 3 de Geometría II

En esta clase vamos a trabajar con Subespacios vectoriales.

Los objetivos son:

 Caracterizar a los subespacios vectoriales.

 Determinar si un subconjunto no vacío, de un espacio vectorial, es
subespacio vectorial.

En la clase 2 trabajaron con espacios vectoriales, pudieron analizar en profundidad la

estructura (𝑉, +, 𝐾, . ).
Han demostrado que (ℝ𝑛 , +, ℝ, . ) es un espacio vectorial para cualquier n natural que
se considere, por lo que podemos afirmar que:
- (ℝ, +, ℝ, . ) es un espacio vectorial o bien que ℝ es un espacio vectorial.
- (ℝ2 , +, ℝ, . ) es un espacio vectorial o bien que ℝ2 es un espacio vectorial.
- (ℝ3 , +, ℝ, . ) es un espacio vectorial o bien que ℝ3 es un espacio vectorial.
- Y así en general para cualquier valor de n.
En esta clase nos centraremos en el estudio de subespacios vectoriales. El problema
de estudio es el siguiente: Dado (𝑉, +, 𝐾, . ) un espacio vectorial y un subconjunto no
vacío de 𝑉, ¿tiene estructura de espacio vectorial considerando las misma operación
suma y el mismo producto escalar sobre 𝐾?
Planteemos este problema en un caso específico:

Ya sabemos que (ℝ2 , +, ℝ, . ) es un espacio vectorial. Consideremos el conjunto

𝑆 = {(𝑥, 𝑦) ∈ ℝ2 /𝑦 = 2𝑥}, ¿Es (𝑆, +, ℝ, . ) un espacio vectorial?

Observemos que los elementos del conjunto S son elementos de ℝ2 , o sea pares
ordenados, que verifican que la segunda componente del par es el doble de la
primera. Por ejemplo: (1,2), (2,4), (9,18)
Si representamos estos puntos en el plano, podemos ver que determinan una recta
(Más adelante tendremos herramientas algebraicas para justificar por qué es una
recta).

Para determinar si se trata o no de un espacio vectorial, deberíamos analizar si se

cumplen o no los diez postulados que enunciamos en la definición de espacio
vectorial. Vamos a analizarlos uno por uno:
A1. Sean v=(a,b), w=(c,d) dos vectores de S. Como pertenecen a S verifican que la
segunda componente es el doble de la primera:
b=2a y d=2c
Sumando miembro a miembro tenemos que:
b+d=2a+2c
Por propiedad distributiva de la suma respecto del producto de números reales:
b+d=2(a+c)

1
 Luego, podemos afirmar que el par ordenado, (a+c, b+d) es un elemento de S,
pues verifica que la segunda componente es el doble de la primera.
(a+c, b+d) es la suma de v y w, por lo que v+w es un vector de S.
Se verifica A1.

A2. Sabiendo que la suma es asociativa para todos los elementos de ℝ2 , lo será en
particular también para los elementos de S. Se verifica A2 para S.

A3. Sabemos que el elemento neutro de ℝ2 es (0,0). Si además probáramos que (0,0)
es un elemento de S tendríamos que se verifica este axioma en S.
Dado que 0 es el doble de cero, podemos afirmar que (0,0) es un elemento de
S, y por ser el neutro de ℝ2 , se cumplirá que dado cualquier elemento v de S,
v+(0,0)=(0,0)+v=v.

A4. Se debe probar que dado un elemento cualquiera de S, existe otro de modo que al
sumarlos, en cualquier orden, obtenemos (0,0).
Sea v=(a,b) un elemento de S. Sabemos que b=2a, como sus opuestos deben
ser iguales también, tenemos que: -b=-(2a)
Como -(2a)=2(-a) podemos decir que -b=2(-a) y afirmar en consecuencia que
(-a,-b) es un elemento de S.
Por ser (-a,-b) el inverso aditivo de (ℝ2 , +, ℝ, . ) se tiene que para cualquier
elemento (a,b) de S, (a,b)+ (-a,-b)= (-a,-b)+ (a,b)=(0,0)

A5. La conmutatividad de la suma se verifica para cualesquiera dos elementos de R2,

por lo que también se verifica para los elementos de S.

A6. Sea (a,b) un elemento de S y n un número real cualquiera. Como (a,b) es un

elemento de S, se verifica que b=2a. Multiplicando por n en ambos de la igualdad, se
tiene que nb=n(2a).
Por propiedad conmutativa y asociativa del producto de números reales,
n(2a)=2(na).
Por lo tanto, nb=2(na).
Por lo tanto el par (na, nb) es un elemento de S. Por definición de producto
escalar, (na, nb)=n(a,b) y n(a,b) es un elemento de S.
Es decir que dado un elemento de S y un escalar n, n(a,b) es un elemento de
S.

A7, A8, A9, A10 se verifican por ser los elementos de S también elementos de ℝ2 y ya
se ha probado que se verifican para todos los elementos de ℝ2
Luego de verificar que se cumplen los 10 axiomas de definición de espacio vectorial,
podemos afirmar que (𝑆, +, ℝ, . ) es un espacio vectorial.
En el siguiente applet se representa al conjunto S y a los vectores v (en azul), w (en
rojo), v+w en amarillo y un escalar a por v (en violeta). Constaten con esos vectores
que la suma y el producto son cerrados y que los elementos neutro e inverso aditivos
son elementos de S.

2
<iframe src="https://www.geogebra.org/graphing/twwzd8vt?embed" width="800"
height="600" allowfullscreen style="border: 1px solid #e4e4e4;border-radius: 4px;"
frameborder="0"></iframe>

Sabiendo que (𝑉, +, 𝐾, . ) es un espacio vectorial podemos pensar si siempre que

tomemos un subconjunto S de V, se cumplirá que (𝑆, +, 𝐾, . ) es también un espacio
vectorial.
Consideremos los siguientes conjuntos:

- El subconjunto S de ℝ2 definido 𝑆 = {(𝑥, 𝑦) ∈ ℝ2 /𝑦 = 3},

- El subconjunto T de ℝ3 definido T={(1,2,3), (−1,4,1), (4,0,1), (0,0,0)}

(S,+,R,.) no es un espacio vectorial. Como todas las segundas componentes valen 3,

no se verificará que:
- Exista elemento neutro, pues (0,0) no verifica que su tercer componente sea 3,
por lo que no pertenece a S.
- Cierre de la suma: si sumamos dos elementos de S, el vector suma tendrá
como segunda componente a 6, por lo que no pertenece a S. (1,3)+(2,3)=(3,6)
- Cierre del producto. Si realizamos el producto entre 4 y (1,3) obtendremos
(4,12) que no pertenece a S, pues la segunda componente no es 3.
(T, +, R, .) no es un espacio vectorial. Como sólo tiene cuatro elementos, habrán
sumas de elementos de T que no sean elementos de T y productos de números reales
y elementos de T que no sean elementos de T. Tampoco se verifica que dado un
elemento cualquiera de T su inverso aditivo sea un elemento de T.
Queda como tarea de ustedes proponer los contraejemplos.
Hemos visto que no todo subconjunto de un espacio vectorial es un espacio vectorial.
A continuación veremos una definición formal que nos ayudará a precisar esta idea y
un teorema que nos dará una condición suficiente para determinar estos casos.
Los invitamos a leer las páginas del libro Algebra II de Armando Rojo, adjuntas como
material de lectura.
La definición de subespacios caracteriza a los conjuntos que veníamos estudiando y la
condición suficiente nos da las condiciones mínimas para que un subconjunto de un
espacio vectorial sea un subespacio.

3
ACTIVIDADES: