## [Teorema del Punto Fijo de Brouwer](/es/node/62221) Definición 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 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 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 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 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 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 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 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 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.