A logical analysis of fixpoint theorems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Cahiers de topologie et géométrie différentielle catégoriques Année : 2023

A logical analysis of fixpoint theorems

Résumé

We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially lower-semicontinuous. Sufficient conditions for the uniqueness of the fixpoint are established. Examples include known and new fixpoint theorems for metric spaces, fuzzy metric spaces, and probabilistic metric spaces.
Nous démontrons un théorème du point fixe pour des contractions sur des catégories Cauchy-complètes enrichies dans un quantale. Il est valable pour tout quantale dont le treillis sous-jacent est continu, et s’applique à des contractions dont la fonction de contrôle est séquentiellement semicontinue inférieurement. Des conditions suffisantes pour l’unicité du point fixe sont établies. Les exemples comprennent des théorèmes du point fixe connus et nouveaux pour les espaces métriques, les ordres flous, et les espaces métriques aléatoires.

Dates et versions

hal-04025858 , version 1 (13-03-2023)

Identifiants

Citer

Arij Benkhadra, Isar Stubbe. A logical analysis of fixpoint theorems. Cahiers de topologie et géométrie différentielle catégoriques, 2023, LXIV (1), pp.97-121. ⟨hal-04025858⟩
23 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More