📍 Teorema del Punto Fijo de Brouwer

La analogía clásica es remover una taza de café: si remueves continuamente (una aplicación continua) según cualquier patrón y el café permanece dentro de la taza (la aplicación lleva la región compacta convexa a sí misma), entonces al menos una molécula de café acaba en el mismo lugar tras remover que antes — es un punto fijo. La analogía es vívida pero algo imprecisa: las moléculas reales de café sufren difusión térmica y la taza es tridimensional, pero el argumento topológico se cumple en cualquier dimensión.

Sí — el teorema de Brouwer se cumple para cualquier aplicación continua de un subconjunto compacto convexo de ℝⁿ en sí mismo, para cualquier dimensión n. En 3D se aplica a bolas sólidas; en n dimensiones, a la n-bola. También existe una generalización llamada Teorema del Punto Fijo de Kakutani (1941) para funciones multivaluadas, que John Nash usó en su demostración de la existencia de equilibrios de Nash en teoría de juegos, lo que le valió el Premio en Ciencias Económicas en memoria de Alfred Nobel en 1994.

La demostración de John Nash de 1950 de que todo juego finito tiene un equilibrio de Nash en estrategias mixtas se basa en el teorema del punto fijo de Kakutani, una extensión multivaluada del teorema de Brouwer. La «correspondencia de mejor respuesta» — que asigna a cada perfil de estrategias el conjunto de mejores respuestas — cumple las condiciones de Kakutani, por lo que debe tener un punto fijo, y ese punto fijo es un equilibrio de Nash. Este fundamento matemático transformó la economía y se ha aplicado al diseño de subastas, la biología evolutiva y la teoría del comercio internacional.

La demostración original usaba topología algebraica (concretamente, la inexistencia de una retracción continua del disco a su circunferencia frontera — equivalente al hecho de que el grupo fundamental de la circunferencia no es trivial). En 1978, Hirsch dio una demostración elemental basada en cálculo para funciones suaves usando el teorema del valor intermedio en dimensiones superiores. Las demostraciones combinatorias mediante el lema de Sperner (un argumento de triangulación coloreada) también son totalmente elementales y a menudo se enseñan como primera introducción a la teoría topológica del punto fijo.

El lema de Sperner afirma que cualquier 3-coloración «propia» de un triángulo triangulado (donde los vértices de la frontera se colorean según reglas específicas) debe contener al menos un pequeño triángulo «arcoíris» con los tres colores. Este hecho puramente combinatorio implica el teorema de Brouwer en 2D: tomando triangulaciones cada vez más finas y aplicando el lema de Sperner, se construye una sucesión de puntos casi fijos que converge a un punto fijo real. La demostración solo requiere compacidad y el teorema del valor intermedio, lo que la hace accesible a estudiantes universitarios.

Si f no es continua, el teorema puede fallar. Un ejemplo simple: la función que lleva cada punto del disco excepto el centro a sí mismo, y lleva el centro a otro punto, es discontinua solo en el centro pero no tiene punto fijo en algunas construcciones. Más dramáticamente, el disco con un agujero no es compacto (o no es simplemente conexo), y una rotación del anillo no tiene punto fijo. La continuidad es crucial porque impide que la aplicación «salte por encima» del punto fijo.

El teorema del punto fijo de Banach (1922) es un resultado más fuerte y constructivo que se aplica a aplicaciones contractivas en espacios métricos completos: si f es una contracción (es decir, |f(x)−f(y)| ≤ k|x−y| para algún k < 1), entonces f tiene un único punto fijo, y la iteración de f desde cualquier punto inicial converge a él geométricamente. A diferencia del teorema de Brouwer, el teorema de Banach proporciona el punto fijo explícitamente mediante iteración y garantiza la unicidad. Es la base matemática del método de Newton, la compresión de imágenes fractal y el teorema de existencia de Picard para EDOs.