Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces |
scientific article |
Statements
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (English)
0 references
28 January 2010
0 references
Summary: This paper provides a fixed-point theorem for asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces as well as new effective results on the Krasnosel'skiĭ-Mann iterations of such mappings. The latter were found using methods from logic and the paper continues a case study in the general program of extracting effective data from prima-facie ineffective proofs in the fixed-point theory of such mappings.
0 references
proof mining
0 references
functionals of finite type
0 references
metric fixed-point theory
0 references
asymptotically nonexpansive mappings
0 references
uniformly convex hyperbolic spaces
0 references
CAT(0)-spaces
0 references
Krasnosel'skiĭ-Mann iterations
0 references
