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.