Álgebra lineal hecha correctamente

1. Espacios Vectoriales: La Base del Álgebra Lineal

El álgebra lineal estudia las aplicaciones lineales en espacios vectoriales de dimensión finita.

Definición de Espacios Vectoriales. Los espacios vectoriales son las estructuras fundamentales del álgebra lineal, que generalizan los conceptos familiares de R² (el plano) y R³ (el espacio ordinario). Un espacio vectorial consta de un conjunto V, equipado con operaciones de suma y multiplicación por escalares que cumplen ciertos axiomas, como la conmutatividad, la asociatividad, la existencia de un elemento neutro aditivo y de inversos, así como propiedades distributivas. Estos axiomas garantizan que los espacios vectoriales se comporten de manera predecible y coherente, permitiendo manipulaciones algebraicas poderosas.

Ejemplos de Espacios Vectoriales. Aunque Fⁿ (listas de escalares) son los ejemplos más comunes, los espacios vectoriales pueden ser más abstractos. El conjunto de todos los polinomios con coeficientes en F, denotado P(F), forma un espacio vectorial bajo la suma estándar de polinomios y la multiplicación por escalares. De igual modo, F^∞, el conjunto de todas las sucesiones de elementos de F, es un espacio vectorial. Estos ejemplos muestran que los espacios vectoriales pueden abarcar una amplia variedad de objetos matemáticos más allá de simples listas de números.

Subespacios: Espacios Vectoriales dentro de Espacios Vectoriales. Un subespacio es un subconjunto de un espacio vectorial que, a su vez, es un espacio vectorial, heredando las operaciones de suma y multiplicación por escalares del espacio padre. Para verificar que un subconjunto U de V es un subespacio, basta comprobar que U contiene el vector cero, que es cerrado bajo la suma (si u, v ∈ U, entonces u + v ∈ U) y que es cerrado bajo la multiplicación por escalares (si a ∈ F y u ∈ U, entonces au ∈ U). Los subespacios son esenciales para comprender la estructura de los espacios vectoriales y el comportamiento de las aplicaciones lineales.

2. Espacios Vectoriales de Dimensión Finita: Generación, Independencia, Base y Dimensión

En un espacio vectorial de dimensión finita, la longitud de toda lista linealmente independiente de vectores es menor o igual que la longitud de toda lista que genera el espacio.

Generación y Combinaciones Lineales. Una combinación lineal de vectores es una suma de múltiplos escalares de esos vectores. El conjunto generado por una lista de vectores es el conjunto de todas las combinaciones lineales posibles que pueden formarse con ellos. Si el conjunto generado por una lista coincide con todo el espacio vectorial, se dice que la lista genera el espacio.

Independencia y Dependencia Lineal. Una lista de vectores es linealmente independiente si la única forma de obtener el vector cero como combinación lineal de ellos es asignando cero a todos los escalares. De lo contrario, la lista es linealmente dependiente. La independencia lineal asegura que cada vector en la lista aporta algo único a la generación del espacio.

Base y Dimensión. Una base de un espacio vectorial es una lista de vectores que es a la vez linealmente independiente y genera el espacio. Todas las bases de un espacio vectorial de dimensión finita tienen la misma longitud, que se define como la dimensión del espacio. La dimensión es una propiedad fundamental que caracteriza el "tamaño" del espacio. Por ejemplo:

• La base estándar de Fⁿ es ((1, 0, ..., 0), (0, 1, 0, ..., 0), ..., (0, ..., 0, 1)), y dim(Fⁿ) = n.
• La base de Pₘ(F) es (1, z, ..., z^m), y dim(Pₘ(F)) = m + 1.

3. Aplicaciones Lineales: Transformando Espacios Vectoriales

El resultado clave aquí es que para una aplicación lineal T, la dimensión del espacio nulo de T más la dimensión de la imagen de T es igual a la dimensión del dominio de T.

Definición de Aplicaciones Lineales. Una aplicación lineal (o transformación lineal) es una función T: V → W entre dos espacios vectoriales que preserva la estructura lineal. Esto significa que T(u + v) = T(u) + T(v) para todos u, v ∈ V (aditividad) y T(av) = aT(v) para todo a ∈ F y v ∈ V (homogeneidad). Las aplicaciones lineales son los objetos centrales de estudio en álgebra lineal, pues describen cómo se pueden transformar los espacios vectoriales manteniendo sus propiedades esenciales.

Espacio Nulo e Imagen. El espacio nulo (o núcleo) de una aplicación lineal T es el conjunto de todos los vectores en V que se mapean al vector cero en W. La imagen (o rango) de T es el conjunto de todos los vectores en W que pueden obtenerse como salida de T para algún vector de entrada en V. El espacio nulo y la imagen son subespacios de V y W, respectivamente, y proporcionan información importante sobre el comportamiento de T.

Teorema de la Dimensión. Un resultado fundamental en álgebra lineal es el teorema de la dimensión, que establece que para una aplicación lineal T: V → W, dim(V) = dim(nulo T) + dim(imagen T). Este teorema conecta las dimensiones del dominio, el espacio nulo y la imagen, ofreciendo una herramienta poderosa para analizar aplicaciones lineales. Implica que si el dominio es "más grande" que el espacio objetivo, la aplicación lineal no puede ser inyectiva, y si el dominio es "más pequeño" que el espacio objetivo, la aplicación lineal no puede ser suprayectiva.

4. Polinomios: Herramientas Algebraicas para el Álgebra Lineal

Aunque tus estudiantes ya hayan visto parte del material en los primeros capítulos, puede que no estén acostumbrados a resolver ejercicios como los presentados aquí, la mayoría de los cuales requieren comprensión de demostraciones.

Polinomios como Funciones. Los polinomios son funciones de la forma p(z) = a₀ + a₁z + a₂z² + ... + a_mz^m, donde los a_i son escalares de F y z es una variable. El grado de un polinomio es la mayor potencia de z con coeficiente distinto de cero. Los polinomios son herramientas esenciales en álgebra lineal, especialmente al estudiar operadores.

Raíces de Polinomios. Una raíz de un polinomio p es un escalar λ tal que p(λ) = 0. Las raíces juegan un papel crucial en la factorización de polinomios y en la comprensión de su comportamiento. Un resultado clave es que λ es raíz de p si y solo si p(z) = (z - λ)q(z) para algún polinomio q.

Teorema Fundamental del Álgebra. Pilar del análisis complejo, el Teorema Fundamental del Álgebra afirma que todo polinomio no constante con coeficientes complejos tiene al menos una raíz compleja. Este teorema tiene profundas implicaciones para la estructura de los polinomios y sus factorizaciones. Permite expresar cualquier polinomio complejo como producto de factores lineales.

5. Valores y Vectores Propios: Revelando la Estructura de los Operadores

Una vez que los determinantes se relegan al final del libro, se abre un nuevo camino hacia el objetivo principal del álgebra lineal: entender la estructura de los operadores lineales.

Subespacios Invariantes. Un subespacio U de V es invariante bajo un operador T ∈ L(V) si T(u) ∈ U para todo u ∈ U. Los subespacios invariantes son fundamentales para comprender la estructura de los operadores, pues permiten descomponer el operador en partes más simples. Los subespacios invariantes no triviales más sencillos son de dimensión uno.

Valores y Vectores Propios. Un escalar λ ∈ F es un valor propio de T si existe un vector no nulo v ∈ V tal que T(v) = λv. El vector v se llama vector propio de T correspondiente a λ. Los valores y vectores propios revelan propiedades fundamentales de los operadores lineales, indicando direcciones en las que el operador simplemente escala los vectores.

Independencia Lineal de Vectores Propios. Los vectores propios correspondientes a valores propios distintos son linealmente independientes. Este teorema es clave para diagonalizar operadores. Si un operador tiene suficientes vectores propios linealmente independientes para formar una base, entonces puede representarse mediante una matriz diagonal respecto a esa base.

6. Espacios con Producto Interno: Añadiendo Geometría a los Espacios Vectoriales

Incluso en un libro tan breve como este, no se puede esperar cubrirlo todo.

Productos Internos: Generalizando el Producto Escalar. Un producto interno en un espacio vectorial V es una función que toma dos vectores y devuelve un escalar, cumpliendo positividad, definitud, aditividad, homogeneidad y simetría conjugada. Los productos internos generalizan el producto escalar en Rⁿ, permitiendo definir nociones de longitud, ángulo y ortogonalidad en espacios vectoriales abstractos.

Normas y Ortogonalidad. La norma de un vector se define como la raíz cuadrada de su producto interno consigo mismo, proporcionando una medida de su longitud. Dos vectores son ortogonales si su producto interno es cero, generalizando el concepto de perpendicularidad. El teorema de Pitágoras se cumple en espacios con producto interno: si u y v son ortogonales, entonces ||u + v||² = ||u||² + ||v||².

Bases Ortogonales y el Procedimiento de Gram-Schmidt. Una base ortonormal es una base formada por vectores mutuamente ortogonales y de norma 1. Las bases ortonormales simplifican muchos cálculos en espacios con producto interno. El procedimiento de Gram-Schmidt ofrece un algoritmo para construir una base ortonormal a partir de cualquier lista linealmente independiente de vectores.

7. Operadores en Espacios con Producto Interno: Transformaciones Auto-adjuntas y Normales

El teorema espectral, que caracteriza los operadores lineales para los cuales existe una base ortonormal formada por vectores propios, es el punto culminante del capítulo 7.

Operadores Auto-adjuntos. Un operador T es auto-adjunto si T = T*, donde T* es el adjunto de T. Los operadores auto-adjuntos desempeñan un papel análogo al de los números reales en el contexto de los números complejos. Todo valor propio de un operador auto-adjunto es real.

Operadores Normales. Un operador T es normal si conmuta con su adjunto, es decir, TT* = T*T. Los operadores normales generalizan a los auto-adjuntos y poseen importantes propiedades espectrales. En espacios con producto interno complejos, el Teorema Espectral afirma que un operador es normal si y solo si existe una base ortonormal formada por vectores propios del operador.

Teorema Espectral. El Teorema Espectral es un resultado central en la teoría de operadores en espacios con producto interno. Establece que un operador lineal T en un espacio complejo de dimensión finita tiene una base ortonormal de vectores propios si y solo si T es normal. Este teorema proporciona una herramienta poderosa para analizar la estructura de operadores normales.

8. Espacios Vectoriales Complejos: Vectores Propios Generalizados y Forma de Jordan

El polinomio minimal, el polinomio característico y los vectores propios generalizados se introducen en el capítulo 8.

Vectores Propios Generalizados. Un vector propio generalizado de un operador T correspondiente a un valor propio λ es un vector v tal que (T - λI)^j(v) = 0 para algún entero positivo j. Los vectores propios generalizados extienden el concepto de vectores propios y son cruciales para entender la estructura de operadores que no son diagonalizables.

Operadores Nilpotentes. Un operador N es nilpotente si N^j = 0 para algún entero positivo j. Los operadores nilpotentes juegan un papel clave en la descomposición de operadores en espacios vectoriales complejos. Todo operador puede descomponerse en una parte diagonalizable y una parte nilpotente.

Forma de Jordan. El Teorema de la Forma de Jordan establece que para cualquier operador lineal T en un espacio vectorial complejo de dimensión finita V, existe una base de V tal que la matriz de T respecto a esta base está en forma de Jordan. Esta forma consiste en bloques en la diagonal, donde cada bloque es una matriz triangular superior con el valor propio en la diagonal y unos justo encima de la diagonal.

9. Espacios Vectoriales Reales: Subespacios Invariantes y Formas Triangulares por Bloques

Los operadores lineales en espacios vectoriales reales ocupan un lugar central en el capítulo 9.

Subespacios Invariantes de Dos Dimensiones. Todo operador en un espacio vectorial real de dimensión finita y no nulo tiene un subespacio invariante de dimensión 1 o 2. Este resultado es crucial porque los espacios vectoriales reales pueden no tener valores propios, y por tanto, pueden no tener subespacios invariantes de dimensión uno.

Matrices Triangulares Superiores por Bloques. Todo operador en un espacio vectorial real tiene una matriz triangular superior por bloques respecto a alguna base, donde cada bloque es una matriz 1×1 o 2×2 sin valores propios. Este resultado es análogo al hecho de que todo operador en un espacio vectorial complejo tiene una matriz triangular superior respecto a alguna base.

Teorema Espectral Real. El Teorema Espectral Real afirma que un operador lineal T en un espacio real con producto interno de dimensión finita tiene una base ortonormal de vectores propios si y solo si T es auto-adjunto. Este teorema es análogo al Teorema Espectral Complejo, pero se aplica únicamente a operadores auto-adjuntos en espacios vectoriales reales.

10. Traza y Determinante: Resúmenes Numéricos de Transformaciones Lineales

Una vez que los determinantes se relegan al final del libro, se abre un nuevo camino hacia el objetivo principal del álgebra lineal: entender la estructura de los operadores lineales.

Traza de un Operador. La traza de un operador T se define como la suma de las entradas diagonales de su matriz respecto a cualquier base. La traza es independiente de la base elegida y ofrece un resumen numérico del operador. La traza de un operador es igual a la suma de sus valores propios, contando multiplicidades.

Determinante de un Operador. El determinante de un operador T se define como (-1)^dim(V) multiplicado por el término constante del polinomio característico de T. El determinante es independiente de la base y proporciona otro resumen numérico del operador. El determinante de un operador es igual al producto de sus valores propios, contando multiplicidades.

Propiedades de la Traza y el Determinante. La traza y el determinante cumplen varias propiedades importantes. Por ejemplo, traza(ST) = traza(TS) y det(ST) = det(S)det(T). Un operador es invertible si y solo si su determinante es distinto de cero. Estas propiedades hacen de la traza y el determinante herramientas poderosas para analizar operadores lineales.