Las matemáticas son hechas por humanos, y los humanos entienden intuitivamente la idea de cambiar de forma de manera continua, porque interactuamos con muchos objetos de la vida real que se comportan de esa manera. Este es un globo:
Esto también es un globo:
- ¿El retroceso en la teoría de categorías generaliza el retroceso encontrado en otras áreas de las matemáticas?
- ¿Qué es 3 menos 1/3?
- ¿Qué son los números de Fibonacci?
- ¿Cómo puedo encontrar [math] z [/ math] que satisfaga [math] (z + 1) ^ 5 = \ frac {1} {2} - \ frac {\ sqrt {3}} {2} i [/ math ] y [matemáticas] (z-1) ^ 3 = 3 \ sqrt {3} i [/ matemáticas]?
- ¿Qué significa el concepto de "cierre" de Kuratowski?
Esto ya no es un globo:
Aunque el globo cambia de forma dramáticamente, lo reconocemos como el mismo tipo de objeto hasta que cambia de forma de manera discontinua. Doblamos, estiramos y cosimos tela, e instintivamente entendemos que la tela rasgada es de alguna manera diferente. Nuestros cuerpos cambian de forma a medida que respiramos o nos movemos. Obviamente, también estamos teniendo en cuenta la geometría cuando reconocemos objetos, pero reconocemos inmediata e instintivamente los cambios discontinuos.
Encontrar una manera de reconocer una idea matemática abstracta como un espacio topológico le permite al matemático humano usar su experiencia sobre cómo funcionan los globos, la tela y los lindos gatitos blandos para obtener un acceso intuitivo a esta idea. No puedes visualizar los ideales principales de un anillo, pero si sabes cómo forman un espacio topológico, de repente puedes hacerlo. Además, el matemático ahora tiene acceso a una cantidad sustancial de terminología y conocimiento sobre espacios topológicos. Al pensar en los espacios topológicos, la declaración compleja “Una secuencia de funciones que está limitada con respecto a la norma [matemática] L ^ 2_1 [/ matemática] tiene una subsecuencia que converge en la norma [matemática] L ^ 2 [/ matemática] “puede ser reemplazado por la declaración más simple” Bajo el mapa continuo [matemático] L ^ 2_1 \ hookrightarrow L ^ 2 [/ matemático], la imagen de la bola de la unidad es compacta “. Las declaraciones más simples son más fáciles de construir.
Hay una gran cantidad de intuición y conocimiento por el pequeño “dinero” de encontrar una estructura que satisfaga los tres axiomas simples de un espacio topológico, por lo que no sorprende que los matemáticos terminen haciéndolo con tanta frecuencia.