Álgebra lineal es la primera introducción a dos conceptos para estudiantes:
- multiplicación que no necesariamente puede ser conmutativa
- tomando muchas variables / dimensiones / bases y tratándolas como un todo
En ese sentido, el álgebra lineal es otro paso en la escalera, pero es el punto de ramificación perfecto para cosas como la teoría de categorías, la teoría de grupos, las estadísticas, las matemáticas aplicadas (especialmente en el ámbito de la física y la ingeniería) y la topología.
Ahora, CADA UNO de esos temas se puede aprender sin Álgebra Lineal, pero son difíciles de aprender con intuiciones incorrectas, y como los números (que son conmutativos) son nuestras primeras intuiciones de matemáticas, entonces Álgebra Lineal hace un buen lugar para comenzar a aprender sobre los muchos tipos de objetos que existen en las matemáticas, y para comenzar a observar algunas estructuras grandes y complicadas, y encontrar formas de pensar sobre ellas de manera más abstracta.
Ahora, en mi humilde opinión, yo (y otros) pensamos que hay formas de introducir algunos conceptos antes de lo que lo hacemos en la educación matemática, pero debido a que hay un gran enfoque en las matemáticas aplicadas durante la educación temprana, se hace difícil introducir los tipos de conceptos que ayudarían.
- Cómo probar para ver si un conjunto es un campo en álgebra lineal
- ¿Por qué es imposible definir un producto bilineal no trivial en un espacio vectorial general para que el resultado permanezca en el mismo espacio vectorial?
- ¿Cuál es la diferencia entre los diferentes tipos de enfoques de factorización matricial? ¿Cuándo se debe usar cada uno?
- ¿Aproximadamente cuánto tiempo se debe esperar que un estudiante de matemáticas de tiempo completo pase en cálculo introductorio de variable única y álgebra lineal?
- ¿Por qué el paso hacia atrás en una red neuronal recurrente es lineal?
Sin embargo, el álgebra lineal no es “la clave” para todos los campos matemáticos. La matemática fundamental es “la clave” de todos los campos matemáticos. Con el Univalence Axiom, podemos tener un medio para codificar casi todas las estructuras matemáticas, ya sea axiomáticamente, y muchas de ellas de manera constructiva. Lo bueno de esto es la unificación de la lógica, la informática, la teoría de categorías, las matemáticas fundamentales y la topología como si fueran el mismo tema de estudio.
Sin embargo, por hermoso que sea … el trabajo sobre los Fundamentos de las Matemáticas está lejos de ser completo. Hay sistemas lógicos más fundamentales que HoTT, y posiblemente un número infinito de ellos.