Un teorema que afirma que toda aplicación continua desde una bola cerrada en el espacio euclidiano n en sí misma tiene al menos un punto fijo; equivalentemente, toda función continua f : D^n → D^n satisface f(x)=x para algún x en D^n.

Principio

La continuidad en un dominio compacto y convexo obliga a que la imagen interseque el dominio de manera que una autoaplicación continua no pueda evitar puntos fijos; argumentos de grado topológico o homología certifican la existencia inevitable de un punto fijo.

Demostración

Para el disco unidad D^2, cualquier mapa continuo que trate de desplazar estrictamente todos los puntos hacia dentro o hacia fuera conduce a una contradicción con la teoría del grado o con la inexistencia de una retracción continua del disco a su frontera S^1; concretamente, una rotación continua solo tiene puntos fijos si el ángulo es cero, mientras que cualquier perturbación continua de la identidad en D^2 debe fijar algún punto según el argumento de Brouwer.

Aplicación incorrecta

Asumir que el teorema se aplica a dominios no compactos (bolas abiertas) o prescindir de la continuidad; por ejemplo, una aplicación continua de la bola abierta en sí misma puede no tener punto fijo, y los mapas discontinuos pueden evadirlos fácilmente. También falla su aplicación directa en espacios de Banach de dimensión infinita sin compacidad.

Consecuencia

Tiene consecuencias de gran alcance: garantiza equilibrios en muchos modelos, implica que no existe una retracción continua de la bola cerrada a su frontera, y subyace a métodos de punto fijo en ecuaciones diferenciales y teoría de juegos (resultados de existencia), aunque proporciona existencia sin unicidad ni localización constructiva.

Inversión

La ausencia de punto fijo para una autoaplicación continua de una bola cerrada contradiría invariantes topológicos; invertir el enunciado conduce a afirmaciones sobre la imposibilidad de ciertas deformaciones continuas (p. ej. no hay retracción del disco a la esfera frontera).

Límite

Se aplica a autoaplicaciones continuas de bolas cerradas en dimensión finita (o más generalmente a subconjuntos convexos compactos del espacio euclidiano); no garantiza puntos fijos para mapas en dominios abiertos ni en contextos infinitodimensionales sin compacidad (los teoremas de Schauder y Banach ofrecen generalizaciones bajo hipótesis diferentes).

Tensión semántica

A menudo se contrasta con el teorema del punto fijo de Banach (que da unicidad y procedimiento constructivo bajo condiciones de contracción) y con el teorema de Schauder (que generaliza la existencia a ciertos mapas en espacios infinitodimensionales compactos); la tensión está entre mera existencia (Brouwer) y resultados más fuertes y constructivos.

Síntesis

El Teorema del Punto Fijo de Brouwer afirma que toda autoaplicación continua de una bola cerrada en R^n debe fijar algún punto, una inevitabilidad topológica basada en la teoría del grado y la compacidad que ofrece existencia no constructiva de equilibrios e impide ciertas deformaciones continuas.