Subespacios Vectoriales

Subespacios Vectoriales: Universos de bolsillo y la condición del origen

En el capítulo anterior descubrimos que un Espacio Vectorial es el lienzo completo donde transcurre la física. Pero, ¿qué ocurre si no necesitamos todo el universo tridimensional para describir un fenómeno, sino solo una parte restringida de él? Imagina una partícula confinada a moverse a lo largo de un riel recto o un electrón atrapado en una película bidimensional de grafeno.

En estos casos, el fenómeno físico vive en un Subespacio Vectorial: un subconjunto del espacio grande que se comporta como un "universo de bolsillo" autónomo. Para ser un subespacio, no basta con ser un trozo de espacio; el subconjunto debe ser capaz de cumplir las leyes del espacio vectorial por sí mismo, sin apoyarse en el exterior.

1. El Criterio del Subespacio Vectorial

Sea V un espacio vectorial sobre un cuerpo K. Un subconjunto no vacío S ⊂ V se denomina Subespacio Vectorial si S conserva en su interior la estructura de espacio vectorial con las mismas operaciones de suma y producto por escalar.

Afortunadamente, para comprobar si un subconjunto S es un subespacio válido, no hace falta verificar los 8 axiomas completos. Basta con comprobar el **Criterio de Caracterización de Subespacios**:

Estas dos reglas de clausura se pueden resumir en una sola fórmula compacta y superelegante: S es un subespacio si y solo si para cualquier par de escalares α, β ∈ K y cualquier par de vectores u, v ∈ S, la combinación lineal αu + βv ∈ S.

2. Por qué desplazar un plano 1 mm rompe la física

Llegamos al núcleo conceptual de este tema. En el espacio tridimensional ℝ³, visualicemos una superficie plana. ¿Por qué un plano que pasa exactamente por el origen es un subespacio vectorial perfecto, mientras que un plano paralelo desplazado tan solo un milímetro deja de serlo por completo?

A. El Plano que pasa por el Origen (x + y + z = 0)

Analicemos la ecuación del plano centrado en el origen:

• Vector Cero: Si evaluamos (0,0,0) en la ecuación: 0 + 0 + 0 = 0. El origen pertenece al plano.
• Clausura del Escalar: Toma un vector del plano, por ejemplo v = (1, -1, 0). Si lo multiplicas por cualquier escalar α = 5, obtienes (5, -5, 0). Al comprobar la ecuación: 5 + (-5) + 0 = 0. ¡Sigue estando en el plano! Invertir el sentido (α = -1) o encogerlo a cero (α = 0) nunca saca al vector de la superficie.
• Clausura de la Suma: Si sumas dos vectores que están dentro del plano, la suma permanece 100% sobre la superficie.

B. El Plano Desplazado (x + y + z = 1)

Imagina que elevamos el plano verticalmente un milímetro, cambiando la ecuación a x + y + z = 1. Observa el colapso en cadena de las matemáticas:

Físicamente, los espacios desplazados (llamados **Variedades Afines**) no son subespacios vectoriales porque representan sistemas con una fuerza o un desplazamiento de fondo constante. No son cerrados respecto a las fluctuaciones puras o el reposo.

3. Los Únicos Subespacios Posibles en ℝ³

Esta restricción inquebrantable del origen nos permite catalogar de forma exhaustiva los únicos subespacios vectoriales que existen en nuestro espacio tridimensional ordinario ℝ³:

1. Dimensión 0 (El Subespacio Trivial): El conjunto formado exclusivamente por el vector cero, { (0,0,0) }. Es el punto único, la singularidad de reposo absoluto.
2. Dimensión 1 (Rectas por el Origen): Todas las rectas infinitas que pasan por el punto (0,0,0). Si te mueves a lo largo de la recta, sumas o escalas, jamás abandonas la recta.
3. Dimensión 2 (Planos por el Origen): Todos los planos infinitos que pasan por el punto (0,0,0).
4. Dimensión 3 (El Espacio Total): Todo el espacio ℝ³ completo.

Cualquier otra figura geométrica en 3D —una esfera, un cubo, una recta que no pasa por el centro o una parábola— NO es un subespacio vectorial porque rompe la clausura de la suma o del producto escalar.

4. La Conexión con los Sistemas de Ecuaciones

Este concepto conecta directamente con lo que aprendimos en el Módulo II sobre Sistemas Lineales:

• El Conjunto Solución de un Sistema Homogéneo (A · X = 0): Como está igualado a cero, el vector X = 0 siempre es solución. Si sumas dos soluciones o las escalas, siguen dando cero (A(u+v) = Au + Av = 0 + 0 = 0). Por tanto, las soluciones de un sistema homogéneo forman SIEMPRE un subespacio vectorial (llamado el Núcleo o Kernel de la matriz A).
• El Conjunto Solución de un Sistema No Homogéneo (A · X = B con B ≠ 0): El vector cero no es solución (A · 0 = 0 ≠ B). Por lo tanto, las soluciones de un sistema no homogéneo JAMÁS forman un subespacio vectorial.

Con esta lección cerramos el estudio del tejido del espacio. Comprendemos qué es un espacio vectorial, la importancia vital del vector cero y la geometría estricta de los subespacios. En la siguiente fase exploraremos cómo se construye el espacio desde dentro: **Combinaciones Lineales y la Envolvente (Span)**.