Clase 22: Espacios y Subespacios Vectoriales
📚 Introducción
En esta clase damos el salto conceptual más importante del álgebra lineal: pasamos de trabajar con a trabajar con espacios vectoriales abstractos. Este es un momento crucial en tu formación matemática, ya que veremos que las estructuras y propiedades que hemos estudiado hasta ahora son ejemplos particulares de una teoría mucho más general y poderosa.
El concepto de espacio vectorial nos permite unificar bajo un mismo marco teórico objetos tan diversos como vectores en , matrices, polinomios, funciones continuas y muchos más. Esta abstracción es la que le da al álgebra lineal su verdadero poder y versatilidad.
Objetivos de la Clase
- Comprender la definición axiomática de espacio vectorial
 - Identificar ejemplos y no ejemplos de espacios vectoriales
 - Definir y reconocer subespacios vectoriales
 - Estudiar subespacios generados por conjuntos de vectores
 - Desarrollar intuición sobre estructuras algebraicas abstractas
 
1. Espacios Vectoriales
1.1 Motivación: Generalizando
Hasta ahora hemos trabajado extensamente con vectores en . Hemos observado que estos vectores se pueden sumar y multiplicar por escalares, y que estas operaciones satisfacen ciertas propiedades fundamentales como la conmutatividad, asociatividad y distributividad.
Pero si lo piensas bien, hay muchos otros objetos matemáticos que también se pueden “sumar” y “escalar” de maneras similares. Por ejemplo:
- Las matrices se pueden sumar y multiplicar por escalares
 - Los polinomios se pueden sumar y multiplicar por escalares
 - Las funciones continuas se pueden sumar y multiplicar por escalares
 
Pregunta para Reflexionar
¿Qué tienen en común todas estas estructuras? ¿Podemos capturar su esencia común en una definición abstracta?
La respuesta es sí, y eso es precisamente lo que hace la definición de espacio vectorial.
1.2 Definición Formal de Espacio Vectorial
Definición - Espacio Vectorial
Un espacio vectorial es un conjunto de objetos (llamados vectores) junto con dos operaciones:
- Suma de vectores: para todo
 - Multiplicación por escalar: para todo y todo escalar
 Estas operaciones deben satisfacer los siguientes 10 axiomas para todo y todos los escalares :
Los 10 Axiomas de Espacio Vectorial
Axiomas de la Suma:
- (Conmutatividad)
 - (Asociatividad)
 - Existe un vector cero tal que para todo
 - Para cada existe un vector opuesto tal que
 Axiomas de la Multiplicación por Escalar: 5. (Distributividad respecto a la suma de vectores) 6. (Distributividad respecto a la suma de escalares) 7. (Asociatividad mixta) 8. (Identidad multiplicativa)
Axiomas de Cierre: 9. Si , entonces (Cierre bajo la suma) 10. Si y es un escalar, entonces (Cierre bajo multiplicación por escalar)
1.3 Interpretación de los Axiomas
Estos axiomas pueden parecer abstractos al principio, pero cada uno tiene un significado intuitivo importante:
Entendiendo los Axiomas
- Axiomas 1-2: La suma se comporta “naturalmente” sin importar el orden
 - Axiomas 3-4: Siempre podemos “volver al origen” y “restar”
 - Axiomas 5-6: Los escalares se distribuyen correctamente
 - Axioma 7: Multiplicar por dos escalares consecutivos es lo mismo que multiplicar por su producto
 - Axioma 8: Multiplicar por 1 no cambia el vector
 - Axiomas 9-10: Las operaciones no nos sacan del espacio vectorial
 
1.4 Ejemplos Fundamentales de Espacios Vectoriales
Ejemplo 1
El Espacio
El espacio con las operaciones usuales de suma y multiplicación por escalar es un espacio vectorial. Este es el ejemplo fundamental que hemos estado estudiando.
- Vector cero:
 - Vector opuesto: si
 Podemos verificar que todos los 10 axiomas se satisfacen con estas definiciones.
Ejemplo 2
El Espacio de Matrices
El conjunto de todas las matrices de forma un espacio vectorial bajo:
- Suma de matrices:
 - Multiplicación por escalar:
 Vector cero: La matriz cero de Vector opuesto: es la matriz donde cada entrada es
Ejemplo 3
El Espacio de Polinomios
El conjunto de todos los polinomios de grado menor o igual a es un espacio vectorial:
Si y , entonces:
- Suma:
 - Multiplicación por escalar:
 Vector cero: El polinomio cero Vector opuesto:
Ejemplo 4
El Espacio de Funciones Continuas
El conjunto de todas las funciones continuas en el intervalo es un espacio vectorial:
- Suma:
 - Multiplicación por escalar:
 Este espacio es infinito-dimensional y tiene aplicaciones importantes en análisis y física.
Ejemplo 5
El Espacio de Señales Discretas
El espacio de todas las secuencias doblemente infinitas de números reales:
Este espacio aparece en:
- Procesamiento digital de señales
 - Sistemas de control
 - Análisis de series temporales
 Las operaciones son componente a componente, similar a pero con infinitas componentes.
1.5 Ejemplo de un No-Espacio Vectorial
Es instructivo ver también ejemplos de conjuntos que NO son espacios vectoriales:
Ejemplo 6 - Un No-Espacio Vectorial
Consideremos el conjunto de todos los puntos en de la forma donde es cualquier número real.
Geométricamente, este es una recta en el plano que no pasa por el origen.
¿Por qué NO es un espacio vectorial?
El vector cero debe estar en , pero no es de la forma para ningún valor de , ya que la segunda componente siempre sería 2, no 0.
Por lo tanto, viola el Axioma 3 (existencia del vector cero) y no puede ser un espacio vectorial.
2. Subespacios Vectoriales
2.1 Motivación y Definición
Dentro de un espacio vectorial grande, a menudo nos interesan subconjuntos especiales que son “espacios vectoriales por derecho propio”. Estos son los subespacios vectoriales.
La idea clave es que un subespacio debe ser cerrado bajo las operaciones del espacio mayor, de modo que al sumar vectores del subespacio o multiplicarlos por escalares, nunca salgamos del subespacio.
Definición - Subespacio Vectorial
Un subespacio de un espacio vectorial es un subconjunto de que tiene tres propiedades:
- El vector cero de está en
 - es cerrado bajo la suma de vectores: Si , entonces
 - es cerrado bajo multiplicación por escalar: Si y es cualquier escalar, entonces
 
Teorema - Subespacios son Espacios Vectoriales
Si es un subespacio de un espacio vectorial , entonces es en sí mismo un espacio vectorial bajo las mismas operaciones definidas en .
Idea de la demostración: Las propiedades 1, 2 y 3 garantizan que los Axiomas 3, 9 y 10 se cumplen en . Los otros axiomas (1, 2, 4-8) se heredan automáticamente de porque se refieren a cómo se comportan las operaciones, no a si los resultados están en .
2.2 Verificación de Subespacios
Estrategia para Verificar Subespacios
Para demostrar que es un subespacio de , solo necesitas verificar tres condiciones:
- para todo
 - para todo y todo escalar
 ¡Esto es mucho más fácil que verificar los 10 axiomas!
2.3 Ejemplos de Subespacios
Ejemplo 7 - Subespacios Triviales
En cualquier espacio vectorial :
- El conjunto que contiene solo el vector cero es un subespacio (el subespacio cero)
 - Todo el espacio es un subespacio de sí mismo
 Estos se llaman subespacios triviales.
Ejemplo 8 - Una Recta por el Origen
Un plano en que NO pasa por el origen NO es un subespacio de , porque no contiene el vector cero.
Del mismo modo, una recta en que NO pasa por el origen NO es un subespacio de .
Sin embargo, una recta que SÍ pasa por el origen ES un subespacio (siempre que sea una recta, no solo un punto).
Ejemplo 9 - Demostración Detallada de un Subespacio
Sea el conjunto de todos los vectores de la forma donde y son escalares arbitrarios.
Demostrar que es un subespacio de .
Solución:
Representemos los vectores en como vectores columna. Un vector arbitrario en tiene la forma:
Esto muestra que donde:
Por lo tanto, es un subespacio de de acuerdo con el Teorema 1 (ver siguiente sección).
2.4 Ejemplos de No-Subespacios
Ejemplo 10 - El Primer Cuadrante NO es un Subespacio
Sea el conjunto de todos los puntos en de la forma donde .
¿Es un subespacio de ?
No, porque no es cerrado bajo la multiplicación por escalar. Por ejemplo:
- El vector está en (cuando )
 - Pero NO está en
 Por lo tanto, viola la propiedad 3 y no es un subespacio.
Ejemplo 11 - La Unión de Dos Subespacios
Sea la unión del primer y tercer cuadrantes en el plano . Es decir:
¿Es un subespacio de ?
No, porque no es cerrado bajo la suma. Por ejemplo:
- está en (primer cuadrante)
 - está en (tercer cuadrante)
 - Pero está en … espera, ¡sí está!
 Intentemos con otros vectores:
- está en
 - está en
 - está en el eje negativo, que SÍ está en
 De hecho, necesitamos encontrar un contraejemplo mejor. Si y tomamos , entonces que SÍ está en .
El problema viene con vectores como en el eje positivo y en el eje positivo, cuya suma está en el primer cuadrante… que también está en .
Corrección: Tomemos (en el eje positivo, parte de ) y un escalar como (número imaginario). Pero esto no funciona si estamos en con escalares reales.
El verdadero contraejemplo: Si consideramos que el eje positivo es parte del primer cuadrante y el eje negativo es parte del tercer cuadrante, entonces no hay problema. PERO, si definimos los cuadrantes estrictamente (sin los ejes), entonces el vector cero NO estaría en , violando la propiedad 1.
3. Subespacios Generados por Conjuntos
3.1 Definición y Teorema Fundamental
Ya conocemos el concepto de “conjunto generado” (Gen) de la clase de combinaciones lineales. Ahora conectamos este concepto con subespacios:
Definición - Conjunto Generado
Si están en un espacio vectorial , entonces denota el conjunto de todas las combinaciones lineales de :
Teorema 1 - El Conjunto Generado es un Subespacio
Si están en un espacio vectorial , entonces es un subespacio de .
Demostración: Necesitamos verificar las tres propiedades de un subespacio.
Vector cero: , por lo que
Cierre bajo suma: Sean y vectores arbitrarios en :
Por los Axiomas 2, 3 y 5 para el espacio vectorial :
Esto muestra que está en .
Cierre bajo multiplicación por escalar: Si está en y es cualquier escalar:
Por los Axiomas 6 y 7, esto muestra que está en .
3.2 Conjunto Generador Mínimo
Cuando un subespacio es igual a , decimos que los vectores generan a . Este conjunto de vectores actúa como una especie de “esqueleto” o “base constructiva” para todo el subespacio.
Técnica Útil para Expresar Subespacios
Si un subespacio , podemos pensar en los vectores del conjunto generador como “bloques de construcción” que nos permiten armar todo el subespacio .
Cálculos con un número infinito de vectores en se reducen frecuentemente a operaciones con un número finito de vectores en el conjunto generador.
Ejemplo 12 - Problema de Práctica (Ejercicio del Libro)
Determine qué valor(es) de harán que sea un subespacio de generado por , si:
Solución:
Esta pregunta es el problema de práctica 2 en la sección 1.3, que aquí se modificó utilizando el término subespacio en vez de Gen. La solución obtenida ahí muestra que está en Gen si y solo si .
🚨 Conceptos Clave para Recordar
Ideas Centrales
Espacios vectoriales abstractos: Conjuntos con operaciones de suma y multiplicación por escalar que satisfacen 10 axiomas fundamentales
Ejemplos diversos: , matrices, polinomios, funciones continuas y secuencias son todos espacios vectoriales
Subespacios: Subconjuntos cerrados bajo las operaciones que contienen el vector cero
Tres condiciones para subespacios: Verificar solo (1) contiene , (2) cerrado bajo suma, (3) cerrado bajo multiplicación por escalar
Conjunto generado: Gen es siempre un subespacio
Intuición geométrica: Los subespacios en son líneas, planos, hiperplanos que pasan por el origen
✅ Checklist de Estudio
Lista de Verificación
- Puedo enunciar los 10 axiomas de un espacio vectorial
 - Puedo verificar si un conjunto con operaciones dadas es un espacio vectorial
 - Entiendo la diferencia entre un espacio vectorial y
 - Puedo determinar si un subconjunto es un subespacio verificando las 3 condiciones
 - Reconozco subespacios de y geométricamente
 - Puedo demostrar que Gen es un subespacio
 - Comprendo por qué los subespacios deben pasar por el origen
 - Puedo expresar subespacios como conjuntos generados
 - Entiendo los subespacios triviales ( y )
 - Puedo aplicar el Teorema 1 a problemas concretos
 
📝 Ejercicios y Problemas
Ejercicios Básicos
Ejercicios de Práctica
Ejercicio 1: Determine si los siguientes conjuntos con las operaciones usuales son espacios vectoriales:
a) El conjunto de todos los polinomios de grado exactamente 3
b) El conjunto de todas las matrices de con determinante cero
c) El conjunto de todas las funciones continuas tales que
Ejercicio 2: Demuestre que el conjunto de todos los puntos en de la forma NO es un espacio vectorial. Identifique específicamente qué axioma(s) falla(n).
Ejercicios sobre Subespacios
Problemas de Subespacios
Ejercicio 3: Determine si los siguientes subconjuntos de son subespacios:
a)
b)
c)
d)
Ejercicio 4: Sea el primer cuadrante en el plano . Es decir:
a) Si y están en , ¿está en ? ¿Por qué?
b) Encuentre un vector específico en y un escalar tal que NO esté en .
c) ¿Es un subespacio de ? Explique.
Problemas sobre Conjuntos Generados
Ejercicios Avanzados
Ejercicio 5: Sea donde:
a) Demuestre que es un subespacio de usando el Teorema 1
b) Determine si el vector está en
c) ¿Qué representa geométricamente en ?
Ejercicio 6: Sea el conjunto de todas las matrices de de la forma: donde y son números reales cualesquiera.
a) Demuestre que es un subespacio del espacio vectorial
b) Encuentre un conjunto de vectores que generen
🔗 Conexiones con Otros Temas
Vínculos Conceptuales
Clases anteriores:
- 5) Introducción a Sistemas de Ecuaciones LinealesAi - Conjuntos solución de sistemas lineales
 - 12) Independencia Lineal - Independencia lineal
 Próxima clase:
- 23) Bases Independencia lineal: Conjuntos linealmente independientes y bases
 Conceptos relacionados:
- Combinacion-Lineal - Fundamento de conjuntos generados
 - Sistema-Homogeneo - Su conjunto solución es un subespacio
 - Bases-Dimension - Próximo concepto fundamental
 
📚 Referencias
Lectura Principal
- Lay, D. Álgebra Lineal y sus Aplicaciones. Sección 4.1, págs. 190-195
 
🏷️ Tags
algebra-lineal espacios-vectoriales subespacios axiomas conjunto-generado estructura-algebraica abstraccion clase-22 capitulo-04
Próxima Clase
En la Clase 23, estudiaremos los conceptos de conjuntos linealmente independientes y bases para subespacios, que nos permitirán describir subespacios de manera única y eficiente mediante el menor número posible de vectores generadores.