Espacios Vectoriales y Subespacios

Un espacio vectorial es un conjunto de elementos (vectores) con dos operaciones: suma y multiplicación por escalares, que cumplen diez axiomas fundamentales. Estos axiomas garantizan que podemos manipular vectores de forma algebraica.

Los subespacios vectoriales son subconjuntos no vacíos de un espacio vectorial que también son espacios vectoriales. Para verificar si un conjunto H es un subespacio, basta comprobar que es cerrado bajo la suma y la multiplicación por escalares. Es decir, si x y y están en H, entonces x+y debe estar en H, y si x está en H, entonces αx también debe estar en H para cualquier escalar α.

Existen diferentes tipos de subespacios: el subespacio trivial {0} que contiene solo al vector cero, el subespacio impropio que es el espacio completo, y los subespacios propios que son distintos a los anteriores. Un ejemplo importante es el espacio nulo de una matriz, formado por todas las soluciones del sistema homogéneo Ax=0.

⚠️ Recuerda que todo subespacio debe contener al vector cero. Si un conjunto no contiene al cero, definitivamente no es un subespacio.

La combinación lineal de vectores nos permite expresar un vector como suma de múltiplos de otros vectores. El conjunto generador es un grupo de vectores que pueden expresar cualquier vector del espacio como su combinación lineal. El espacio generado por un conjunto de vectores es el subespacio que contiene todas sus posibles combinaciones lineales.

Independencia Lineal y Bases

La independencia lineal es un concepto crucial en espacios vectoriales. Un conjunto de vectores {v₁, v₂, ..., vₙ} es linealmente independiente si la ecuación c₁v₁ + c₂v₂ + ... + cₙvₙ = 0 se cumple únicamente cuando todos los coeficientes c₁, c₂, ..., cₙ son ceros.

Si un vector del conjunto puede escribirse como combinación lineal de los demás, entonces el conjunto es linealmente dependiente. Un resultado importante es que cualquier conjunto de n vectores en ℝᵐ será linealmente dependiente si n > m (más vectores que dimensiones).

Para verificar la independencia lineal, podemos usar determinantes (si es cuadrada) o resolver el sistema homogéneo asociado. Si el sistema tiene solución única (la trivial), los vectores son linealmente independientes.

Una base de un espacio vectorial es un conjunto de vectores que:

1. Es linealmente independiente
2. Genera todo el espacio

La dimensión de un espacio vectorial es el número de vectores en cualquier base del espacio. Por ejemplo, ℝ³ tiene dimensión 3, y cualquier base tendrá exactamente 3 vectores.

💡 Cuando tienes n vectores linealmente independientes en un espacio de dimensión n, automáticamente forman una base para ese espacio.

Los conceptos de rango y nulidad de una matriz están relacionados con bases: el rango es la dimensión del espacio de columnas (o filas), mientras que la nulidad es la dimensión del espacio nulo. El Teorema de la Dimensión establece que para una matriz A de n columnas: rango(A) + nulidad(A) = n.

Rango, Nulidad y Espacios de Matrices

El rango de una matriz A (P(A)) es la dimensión del espacio generado por sus columnas, mientras que la nulidad (N(A)) es la dimensión del espacio nulo. Estos conceptos son fundamentales para entender las propiedades de las matrices y los sistemas de ecuaciones.

Para una matriz A de nxn, existen varios espacios importantes asociados:

• Espacio nulo: N(A) = {x ∈ ℝⁿ | Ax = 0}, formado por todas las soluciones al sistema homogéneo.
• Imagen de A: Im(A) = {y ∈ ℝᵐ | Ax = y para algún x ∈ ℝⁿ}, representa los posibles resultados de la matriz.
• Espacio de renglones: R(A), generado por las filas de la matriz.
• Espacio de columnas: C(A), generado por las columnas, que coincide con Im(A).

Un resultado crucial es el Teorema de la Dimensión: P(A) + N(A) = n, donde n es el número de columnas de A. Esto nos dice que existe una relación directa entre la cantidad de soluciones de un sistema y el rango de la matriz.

🔍 El rango de una matriz es igual al número de pivotes en su forma escalonada por renglones.

El Teorema de Rouche-Frobenius nos ayuda a determinar la compatibilidad de sistemas de ecuaciones:

• Si P(A) ≠ P(A|b), el sistema es incompatible (no tiene solución)
• Si P(A) = P(A|b), el sistema es compatible:
  • Si P(A) = n (número de incógnitas), el sistema tiene solución única
  • Si P(A) < n, el sistema tiene infinitas soluciones

Para matrices cuadradas, A es invertible si y solo si P(A) = n, lo que equivale a que N(A) = 0.

Cambio de Base

El cambio de base nos permite expresar un mismo vector en diferentes sistemas de referencia. Cuando trabajamos en el plano ℝ², estamos acostumbrados a usar la base canónica {i, j}, pero podemos elegir otras bases, como {w₁, w₂}, siempre que sean linealmente independientes y generen el espacio.

Supongamos que tenemos un vector v expresado en términos de una base B₁ = {w₁, w₂} como v = 2w₁ + 3w₂. Si queremos escribirlo respecto a la base canónica, debemos encontrar sus componentes sustituyendo las expresiones de w₁ y w₂.

La matriz de cambio de base P nos permite transformar las coordenadas de forma más eficiente: [v]B₂ = P[v]B₁

Donde:

• [v]B₁ son las coordenadas de v respecto a B₁
• [v]B₂ son las coordenadas de v respecto a B₂
• P es la matriz cuyas columnas son las coordenadas de los vectores de B₁ expresados en la base B₂

🧮 Para cambiar de una base B₁ a la base canónica, simplemente multiplica el vector de coordenadas por la matriz cuyos columnas son los vectores de B₁ expresados en coordenadas canónicas.

Si quieres cambiar directamente entre dos bases no canónicas B₁ y B₂, puedes hacerlo de dos maneras:

1. Encontrar P escribiendo cada vector de B₁ como combinación lineal de los vectores de B₂
2. Ir primero a la base canónica y luego a la base destino: [v]B₂ = Q⁻¹P[v]B₁

El cambio de base es una herramienta poderosa que nos permite resolver problemas en el sistema de coordenadas más conveniente.

Cambio de Base y Métodos de Cálculo

Existen varios métodos para calcular la matriz de cambio de base entre dos bases diferentes. Si queremos cambiar de la base B₁ a la base B₂, necesitamos expresar los vectores de B₁ en términos de los vectores de B₂.

Método directo: Expresamos cada vector de B₁ como combinación lineal de los vectores de B₂. Si B₁ = {v₁, v₂} y B₂ = {w₁, w₂}, buscamos coeficientes α₁, β₁, α₂, β₂ tales que: v₁ = α₁w₁ + β₁w₂ v₂ = α₂w₁ + β₂w₂

La matriz de cambio de base P es entonces: P = $\begin{pmatrix} \alpha_1 & \alpha_2 \ \beta_1 & \beta_2 \end{pmatrix}$

Método de la matriz aumentada: Podemos resolver ambas ecuaciones simultáneamente construyendo una matriz aumentada con los vectores de B₂ como columnas y los vectores de B₁ como términos independientes. Al reducir a forma escalonada, obtenemos directamente la matriz P.

Método a través de la base canónica: Si conocemos las matrices de cambio PB₁C (de B₁ a la canónica) y PB₂C (de B₂ a la canónica), podemos calcular: PB₁B₂ = (PB₂C)⁻¹PB₁C

💡 La matriz inversa de una matriz de cambio de base P que va de B₁ a B₂ es precisamente la matriz de cambio de base que va de B₂ a B₁.

Las matrices de cambio de base tienen aplicaciones importantes en transformaciones lineales, ya que nos permiten expresar una misma transformación respecto a diferentes bases.

Producto Interno y Vectores Ortogonales

El producto interno en espacios vectoriales es una generalización del producto punto en ℝⁿ. Para dos vectores u y v, el producto interno (u,v) cumple ciertas propiedades:

1. (u,v) ≥ 0, con igualdad si y solo si v=0
2. $u+v,w$ = (u,w) + (v,w)
3. (αu,v) = α(u,v)
4. (u,v) = (v,u)

La longitud o norma de un vector v se define como ||v|| = √(v,v). En ℝⁿ, corresponde a la raíz cuadrada de la suma de los cuadrados de sus componentes.

Un conjunto de vectores {u₁, u₂, ..., uₙ} es ortogonal si (uᵢ,uⱼ) = 0 para todo i≠j. Si además cada vector tiene norma 1 $||uᵢ|| = 1$, el conjunto es ortonormal.

⚡ Los conjuntos ortonormales son siempre linealmente independientes, lo que los hace excelentes candidatos para formar bases.

La proyección ortogonal de un vector v sobre un subespacio H con base ortonormal {u₁, u₂, ..., uₖ} se calcula como: proyₕv = (v·u₁)u₁ + (v·u₂)u₂ + ... + (v·uₖ)uₖ

Esta fórmula nos permite descomponer cualquier vector en sus componentes a lo largo de los vectores de la base ortonormal, lo que tiene múltiples aplicaciones en física, geometría y análisis de datos.

Cualquier conjunto ortogonal de vectores no nulos es linealmente independiente, lo que facilita la construcción de bases para espacios vectoriales.

Proceso de Ortonormalización de Gram-Schmidt

El proceso de Gram-Schmidt es un método para convertir cualquier conjunto de vectores linealmente independientes en una base ortonormal. Este proceso es fundamental en muchas aplicaciones matemáticas y tiene tres pasos principales:

Paso 1: Se elige el primer vector y se normaliza (se divide por su norma): u₁ = v₁/||v₁||

Paso 2: Para el segundo vector, se resta su proyección sobre u₁ y luego se normaliza: u₂ = $v₂ - (v₂·u₁)u₁$/||v₂ - (v₂·u₁)u₁||

Paso 3: Para cada vector subsiguiente, se resta su proyección sobre todos los vectores ortonormales previos y luego se normaliza: u₃ = $v₃ - (v₃·u₁)u₁ - (v₃·u₂)u₂$/||v₃ - (v₃·u₁)u₁ - (v₃·u₂)u₂||

Y así sucesivamente para todos los vectores restantes.

🧩 El proceso de Gram-Schmidt es como "limpiar" cada vector de sus componentes en las direcciones ya establecidas, para obtener vectores perfectamente perpendiculares entre sí.

Este proceso garantiza que los vectores resultantes {u₁, u₂, ..., uₙ} formen una base ortonormal para el mismo subespacio generado por los vectores originales {v₁, v₂, ..., vₙ}.

Las bases ortonormales son especialmente útiles porque simplifican muchos cálculos. Por ejemplo, si {u₁, u₂, ..., uₙ} es una base ortonormal, entonces para cualquier vector v: v = (v·u₁)u₁ + (v·u₂)u₂ + ... + (v·uₙ)uₙ

Esta expresión nos permite descomponer cualquier vector en componentes ortogonales de manera directa.

Axiomas de los Espacios Vectoriales

Un espacio vectorial real V es un conjunto de objetos llamados vectores, junto con dos operaciones fundamentales: suma y multiplicación por escalares. Para que V sea un espacio vectorial, debe cumplir con diez axiomas esenciales.

Los elementos del espacio vectorial pueden ser diversos: vectores geométricos, matrices, polinomios o incluso funciones continuas. Lo importante es que cumplan con los axiomas que definen el comportamiento de las operaciones.

Los axiomas fundamentales incluyen:

1. Cierre bajo suma: Si x,y ∈ V, entonces x+y ∈ V
2. Cierre bajo multiplicación escalar: Si x ∈ V y λ ∈ ℝ, entonces λx ∈ V
3. Asociatividad de la suma: $x+y$+z = x+$y+z$
4. Existencia del elemento neutro: Existe 0 ∈ V tal que x+0 = x para todo x ∈ V
5. Existencia del inverso aditivo: Para cada x ∈ V, existe -x ∈ V tal que x+$-x$ = 0

📌 No todos los conjuntos con operaciones de suma y multiplicación por escalar son espacios vectoriales. Siempre verifica los diez axiomas antes de afirmar que algo es un espacio vectorial.

Además, los axiomas incluyen la conmutatividad de la suma, las leyes distributivas y las propiedades asociativas de la multiplicación por escalares. Estos axiomas garantizan que podamos manipular vectores de manera algebraica consistente.

Es importante destacar que un conjunto de puntos en ℝ² que están en una recta que no pasa por el origen no constituye un espacio vectorial, mientras que una recta que pasa por el origen sí lo hace.

Propiedades Adicionales de Espacios Vectoriales

Un espacio vectorial tiene varias propiedades importantes que se derivan de los axiomas. Estos resultados nos ayudan a trabajar más eficientemente con los espacios vectoriales.

Entre los resultados importantes tenemos:

• Para todo escalar α: α·0 = 0
• Para todo vector x: 0·x = 0
• Si αx = 0, entonces α = 0 o x = 0 (o ambos)
• (-1)·x = -x para todo vector x

Para verificar si un conjunto es un espacio vectorial, debemos comprobar que satisface todos los axiomas. Esto puede ser un proceso detallado, pero a veces podemos usar atajos.

Por ejemplo, consideremos el conjunto ℝ⁺ (los números reales positivos) con operaciones redefinidas:

• x⊕y = xy (producto usual)
• λ◊x = x^λ (potencia)

Para verificar si es un espacio vectorial, comprobamos:

1. Cierre bajo suma: x⊕y = xy > 0 ✓
2. Cierre bajo producto escalar: λ◊x = x^λ > 0 ✓
3. Asociatividad: (x⊕y)⊕z = xy·z = x·yz = x⊕(y⊕z) ✓

🔄 Cuando redefinimos las operaciones de suma y producto escalar, debemos ser cuidadosos y verificar todos los axiomas con estas nuevas definiciones.

Aunque es tedioso verificar todos los axiomas, es un proceso necesario para establecer que un conjunto con ciertas operaciones forma un espacio vectorial.

Ejemplos y Contraejemplos de Espacios Vectoriales

Para comprender mejor qué conjuntos forman espacios vectoriales, analicemos algunos ejemplos y contraejemplos específicos.

Ejemplo 1: El conjunto de matrices 2×2 invertibles con la suma convencional A⊕B=A+B y la multiplicación escalar estándar.

• Comprobamos el cierre bajo suma: Si A y B son invertibles, ¿es A+B siempre invertible? No necesariamente, ya que podrían sumar y dar una matriz no invertible.
• Por lo tanto, este conjunto no es un espacio vectorial.

Ejemplo 2: El conjunto de puntos en ℝ² que están en una recta que no pasa por el origen, como y = 2x + 1.

• Si tomamos dos puntos x₁ = $x₁, 2x₁+1$ y x₂ = $x₂, 2x₂+1$ de esta recta:
• Su suma es $x₁+x₂, 2x₁+1+2x₂+1$ = $x₁+x₂, 2(x₁+x₂)+2$
• Pero para estar en la recta, el punto debería ser $x₁+x₂, 2(x₁+x₂)+1$
• Como 2$x₁+x₂$+2 ≠ 2$x₁+x₂$+1, la suma no pertenece a la recta.
• Por lo tanto, no es un espacio vectorial.

🚫 Las rectas o planos que no pasan por el origen nunca forman espacios vectoriales, porque fallan en el cierre bajo multiplicación escalar.

Ejemplo 3: El conjunto de puntos en ℝ² que están en una recta que pasa por el origen, como y = mx.

• Para cualquier dos puntos (x₁, mx₁) y (x₂, mx₂) en esta recta:
• Su suma $x₁+x₂, mx₁+mx₂$ = $x₁+x₂, m(x₁+x₂)$ permanece en la recta.
• Para cualquier escalar α, α(x, mx) = (αx, αmx) = (αx, m(αx)) también permanece en la recta.
• Este conjunto sí forma un espacio vectorial.

Este análisis nos muestra que las estructuras geométricas solo forman espacios vectoriales cuando pasan por el origen, lo que garantiza que el elemento cero pertenezca al conjunto.