En general, el teorema del punto fijo de Brouwer y el teorema del punto fijo de Kakutani no son constructivos. Hay algún documento establecido que demuestre que existen pruebas constructivas que hagan exactamente lo que hacen estos teoremas?
Respuesta
¿Demasiados anuncios?
Sí, hay pruebas constructivas para los teoremas de punto fijo, incluyendo Brouwer . Además, el demostración del teorema del punto fijo de Banach con el que estoy más familiarizado es constructivo. De hecho, aquí hay un artículo sobre métodos constructivos para teoremas de punto fijo:
- Hendtlass, Matthew. Teoremas de punto fijo en matemáticas constructivas . Revista de Lógica y Análisis 4:10 (2012) 1-20. ISSN 1759-9008.
