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

In this paper, the authors extend the notion of a compact normal structure to binary relational systems. They prove that for involutive and reflexive binary relational systems, every commuting family of relational homomorphisms has a common fixed point. They also show that a result in the paper extends the well-known Tarski fixed point theorem to graphs which are retracts of reflexive oriented zigzags of bounded length. They illustrate the fact that the study of binary relational systems and of generalized metric spaces are equivalent. This paper with different theoretical results and applications will be very interesting for researchers working in the area of fixed point theory.