(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)
Introducción
En esta entrada estudiaremos el concepto de subespacio de . Veremos que un subespacio de es un conjunto de vectores que satisface ciertas propiedades y forma una estructura algebraica dentro del espacio vectorial . De manera más precisa definiremos subespacio de como un conjunto de vectores contenido en que tiene al neutro aditivo, es cerrado bajo la adición de vectores y bajo la multiplicación por escalares.
Definición
Sea un subconjunto de . Decimos que es un subespacio de si:
i) .
ii) .
iii) .
Notación
denotará que es un subespacio de .
Ejemplos
1. .
2. .
Se deja al lector verificar que los conjuntos de y son subespacios de
3. Sea . .
Demostración
4. Sean , . Notamos que, por las propiedades de la entrada previa, . Además, si sabemos que y con . Así, con , por lo tanto . Finalmente, si y sabemos que para algún por lo cual con y así, .
Concluimos entonces que es un subespacio vectorial de .
Geométricamente, es una una línea recta que pasa por el origen, formada por todos los vectores que se obtienen multiplicando por escalares reales.
5. .
Se deja la demostración al lector.
Notemos que el conjunto del ejemplo 5 es geométricamente un plano que pasa por el origen, el plano . De forma más general, los planos por el origen en son subespacios de .
Usa el siguiente recurso que elaboré en Geogebra para obtener planos por el origen a partir de dos vectores. Prueba moviendo los puntos y de los vectores en rojo y verde, el vector en color negro representa un vector cualquiera en el plano obtenido a partir de y .
5. .
Demostración de 5
Tenemos que probar que el conjunto satisface las tres condiciones de la definición de subespacio.
satisface la propiedad pues , ya que: .
Veamos que satisface también la propiedad , es decir que .
Sean , con y Por ser y elementos de cumplen que:
Sumando estas expresiones obtenemos , haciendo evidente que el vector , pero . Por lo tanto .
Veamos que satisface la propiedad , es decir que es un conjunto cerrado bajo producto por escalares.
Sean .
Por demostrar que .
Como entonces:
Multiplicando por obtenemos:
y entonces:
.
Esto nos muestra que el vector , y como concluimos que .
Nota que las condiciones para ver que un conjunto es un subespacio vectorial se pueden reescribir:
Observación
Sea . si y sólo si se cumplen:
I)
II) .
La demostración queda como tarea moral.
Proposición
La intersección de dos subespacios de es un subespacio de .
Demostración
Sean subespacios de .
Por demostrar que es un subespacio de . Usaremos para ello la observación anterior.
Como y son subespacios, y , por lo tanto .
Sean , , por demostrar que .
Como y , por ser y subespacios tenemos que:
y
Así, .
Como se cumplieron las propiedades I y II tenemos, por la observación anterior, que .
Tarea Moral
Demostrar la observación de la nota.
Sea un subconjunto de . Para que sea un subespacio de ¿basta verificar las condiciones ii y iii de la definición de subespacio, es decir es necesario pedir que o se puede deducir de que es cerrado bajo producto escalar?
Sea un subconjunto de . Prueba o da un contraejemplo para las siguientes afirmaciones:
a) Si es cerrado bajo la suma y , entonces es un subespacio de .
b) Si es cerrado bajo producto por escalares y , entonces es un subespacio de .
c) Si es cerrado bajo la suma, bajo inversos aditivos y ademas , entonces es un subespacio de .
Determina cuáles de los siguientes subconjuntos son subespacios de los correspondientes .
i) .
ii) .
iii) .
iv) .
v) .
Más adelante
En la siguiente nota veremos el concepto de combinaciones lineales.
Enlaces relacionados
Página principal del curso.
Nota anterior.Nota 26. Propiedades de .
Nota siguiente. Nota 28. Combinaciones lineales.