Deje que %-%-% sea un espacio métrico. El teorema de puntos fijos de Banach indica que si se ha completado %-%-%, cada mapa de contracción %-%-% tiene un punto fijo único. Un mapa de contracción es un mapa continuo para el que hay un número real de %-%-% de modo que %-%-% se mantiene para todo %-%-%.
Supongamos que %-%-% es un espacio métrico de modo que cada mapa de contracción %-%-% tiene un punto fijo único. ¿Está completado %-%-%?