A Fixed Point Theorem
in a Category of Compact Metric Spaces

Fabio Alessi, Paolo Baldan, Gianna Bellè
Dipartimento di Matematica e Informatica,
via Zanon 6, 33100 Udine (Italy)
 

Abstract:

Various results appear in the literature for deriving existence and uniqueness of fixed points for endofunctors on categories of complete metric spaces. All these results are proved for contracting functors which satisfy some further requirements, depending on the category in question.
Following a new kind of approach, based on the notion of eta-isometry, we show that the sole hypothesis of contractivity is enough for proving existence and uniqueness of fixed points for endofunctors on the category of compact metric spaces and embedding-projection pairs.