A logical analysis of the generalized Banach contractions principle - Archive ouverte HAL
Article Dans Une Revue Journal of Logic and Analysis Année : 2012

A logical analysis of the generalized Banach contractions principle

Résumé

Let (X,d) be a complete metric space, m a natural number, and w a real with 0<= w < 1. A g-contraction is a mapping T: X->X such that for all x,y in X there is an i in [1,m] with d(T^ix, T^iy) < w^i d(x,y)$. The generalized Banach contractions principle states that each g-contraction has a fixed point. We show that this principle is a consequence of Ramsey's theorem for pairs over, roughly, RCA_0 + \Sigma^0_2-IA.

Dates et versions

hal-00776756 , version 1 (16-01-2013)

Identifiants

Citer

Alexander P. Kreuzer. A logical analysis of the generalized Banach contractions principle. Journal of Logic and Analysis, 2012, 4, 17, p. 1-16. ⟨10.4115/jla.2012.4.17⟩. ⟨hal-00776756⟩
83 Consultations
0 Téléchargements

Altmetric

Partager

More