The Knaster-Tarski theorem versus monotonne nonexpansive mappings

Let X be a partially ordered set with the property that each family of order intervals of the form [a, b], [a,→) with the finite intersection property has a nonempty intersection. We show that every directed subset of X has a supremum. Then we apply the above result to prove that if X is a topological space with a partial order ⪯ for which the order intervals are compact, F is a nonempty commutative family of monotone maps from X into X and there exists c ∈ X such that c ⪯ Tc for every T ∈ F, then the set of common fixed points of F is nonempty and has a maximal element. The result, specialized to the case of Banach spaces, gives a general fixed point theorem for monotone mappings that drops many assumptions from several recent results in this area. An application to the theory of integral equations of Urysohn’s type is also given.

---

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).