En análisis matemático el teorema del punto fijo de Banach (también llamado teorema de la aplicación contractiva) es una de las herramientas más importantes para demostrar la existencia de soluciones de numerosos problemas matemáticos. El teorema garantiza la existencia y unicidad de puntos fijos de ciertas funciones definidas sobre espacios métricos y proporciona un método para encontrarlos. Debe su nombre a Stefan Banach (1892–1945), quien fue el primero en enunciarlo en 1922[cita requerida].
Intuitivamente, el teorema enuncia que toda función que haga que un espacio se contraiga tiene un punto fijo: aquel hacia el que el espacio se contrae cuando se aplica la transformación repetidas veces. Para esto, sin embargo, hace falta que el espacio sea completo. Para ver la necesidad, en , por ejemplo, que no es completo, podemos contraer hacia el agujero (el 0) por una aplicación como y no tendríamos punto fijo.
