1
Teoremi a punto fisso per spazi metrici costruttivi?
Il teorema del punto fisso di Banach dice che se abbiamo uno spazio metrico completo non vuoto AAA , allora qualsiasi funzione uniformemente contrattiva f:A→Af:A→Af : A \to A ha un punto fisso univoco μ(f)μ(f)\mu(f) . Tuttavia, la dimostrazione di questo teorema richiede l'assioma della scelta - dobbiamo scegliere un …