Creo que la simplicidad en las matemáticas es un subproducto de la calidad más fundamental de la conectividad. Gran parte del trabajo matemático consiste en vincular campos de estudio separados, con la esperanza de poder utilizar las herramientas de uno para aprender más sobre el otro. El notable poder humano de la abstracción nos permite quitar la información de una situación de forma controlada, para permitir deducciones más fáciles con respecto a esa situación. Este proceso no solo facilita nuestra carga de trabajo, sino que también revela conexiones entre cosas que antes eran difíciles de comparar.
Por ejemplo, tome un círculo (no el disco bidimensional que limita, sino el límite unidimensional de este disco). Al elegir un punto base arbitrario, podemos preguntar acerca de los bucles en el círculo que comienzan y terminan en ese punto base. Con un poco de trabajo, podemos demostrar que puede concatenar estos bucles para obtener nuevos bucles (solo trace un bucle seguido del segundo), por lo que, en cierto sentido, podemos agregar bucles juntos. Sin embargo, surgen algunos problemas: una de las propiedades muy agradables de la suma (y muchos otros operadores binarios) es la asociatividad: a + (b + c) = (a + b) + c, para todos a, b, c . (Supongamos que estamos tratando con números enteros). Significa que no tenemos que preocuparnos por el orden en que juntamos los términos que están uno al lado del otro en una suma.
Trágicamente, la concatenación de bucles en nuestro círculo no es asociativa (la razón se debe a la necesaria reparametrización de los bucles después de la concatenación). Aquí es donde debemos aplicar nuestras facultades de abstracción: en lugar de mirar bucles específicos, nos fijamos en las clases de bucles de homotopía . Aproximadamente, esto significa que consideramos dos bucles equivalentes si se pueden deformar entre sí mientras permanecen en nuestro círculo, pero sin golpear ningún obstáculo, como agujeros en el espacio.
Hasta la homotopía, ya no se puede distinguir entre un bucle que no va a ninguna parte, sentado trivialmente en el punto base, y un bucle que sigue un camino y luego retrocede al punto base. Imagine tirar de ese bucle a lo largo de sí mismo hasta que lo haya deformado en el bucle constante.
- ¿Cómo podemos diferenciar cos (x) 777 veces?
- ¿Cuáles son las oportunidades profesionales en matemáticas puras, ciencias actuariales y matemáticas aplicadas en Beloit College?
- ¿Puede una persona común alcanzar el nivel matemático de alguien como Paul Erdos o Terence Tao?
- ¿Puede un informático convertirse en matemático?
- ¿Cómo se puede saber cuándo un sistema lineal tiene infinitas soluciones?
Sin embargo, este pequeño truco nos brinda algo más que asociatividad para nuestros bucles: ahora podemos restar bucles utilizando el método de retroceso descrito anteriormente. Si me das un bucle, puedo “desconectarlo” y obtener un bucle trivial.
Entonces, espera … tenemos asociatividad para nuestros bucles, y cada bucle tiene un inverso? ¡Eso suena muchísimo como un grupo! De hecho, acabamos de construir el grupo fundamental, una herramienta ampliamente utilizada en topología algebraica. Pero entienda esto: ¡los bucles en el círculo (hasta la homotopía) se comportan exactamente de la misma manera que los enteros! Cada número entero corresponde a un bucle que se enrolla tantas veces alrededor del círculo, y cuando concatena bucles, el resultado es el mismo que agregar la cantidad de veces que se enrollan.
Esta pequeña correspondencia ha sido llevada al extremo, algo llamado la correspondencia Dold-Kan. Resulta que no puedes distinguir a un grupo aparte de un cierto tipo de espacio si solo lo miras hasta la homotopía. ¡El poder de la abstracción nos ha dado un nuevo puente entre la topología y el álgebra! Algunos, incluido yo mismo, descubrimos que este puente simplifica el estudio de los espacios. Herramientas como esta hacen que sea casi trivial probar algunos teoremas muy difíciles en otros campos de las matemáticas. Si bien no se crearon teniendo en cuenta la simplicidad (más bien, se desarrollaron para las nuevas conexiones ), el resultado final es una teoría elegante y hermosa.
¡La simplicidad es lo que obtienes cuando abstraes, y la abstracción es una parte importante de hacer matemáticas!
(Si desea leer más sobre los grupos fundamentales y lo que nos dicen sobre los espacios, ¡analice la teoría de la homotopía!)