Théorèmes de point fixe pour les espaces métriques constructifs?
Le théorème du point fixe de Banach dit que si nous avons un espace métrique complet non vide , alors toute fonction uniformément contractive a un point fixe unique . Cependant, la preuve de ce théorème nécessite l'axiome de choix - nous devons choisir un élément arbitraire a \ dans A pour...