A fixed point theorem for commuting families of relational homomorphisms. Application to metric spaces, oriented graphs and ordered sets

arXiv1805.02594MaRDI QIDQ6301278FDOQ6301278

Publication date: 7 May 2018

Abstract: We extend to binary relational systems the notion of compact and normal structure, introduced by J.P.Penot for metric spaces, and we prove that for the involutive and reflexive ones, every commuting family of relational homomorphisms has a common fixed point. The proof is based upon the clever argument that J.B.Baillon discovered in order to show that a similar conclusion holds for bounded hyperconvex metric spaces and then refined by the first author to metric spaces with a compact and normal structure. Since the non-expansive mappings are relational homomorphisms, our result includes those of T.C.Lim, J.B.Baillon and the first author. We show that it extends the Tarski's fixed point theorem to graphs which are retracts of reflexive oriented zigzags of bounded length. Doing so, we illustrate the fact that the consideration of binary relational systems or of generalized metric spaces are equivalent.

Mathematics Subject Classification ID

Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics (37C25) Combinatorics (05-XX) General algebraic systems (08-XX) Order, lattices, ordered algebraic structures (06-XX)

This page was built for publication: A fixed point theorem for commuting families of relational homomorphisms. Application to metric spaces, oriented graphs and ordered sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6301278)