Fixed points of inequality-preserving maps in complete lattices (Q4515348)

Let \(L\) be a complete lattice and \(T\) a map of \(L\) into \(L\). An element \(x\in L\) is said to be a fixed point of \(T\) if \(x=Tx\) holds. The paper presents some conditions sufficient for the existence of a fixed point of \(T\). Let \(p,k\) be positive integers, \(m\) their greatest common divisor. If \(x,y\) are arbitrary elements in \(L\) and \(x\leq y\) implies \(T^p x \leq T^k y\), then \(T^m\) has a fixed point. Similarly, if \(x\leq Ty\) implies \(T^px\leq T^p(Ty)\) and \(Tx \leq y\) implies \(T^k (Tx) \leq T^ky\), then \(T^m\) has a fixed point. If \(F\) is a commuting family of maps on \(L\) such that \(x\leq Sy\) implies \(Tx \leq T(Sy)\) and \(Sx \leq y\) implies \(T(Sx) \leq Ty\) for any \(S,T \in F\), then all maps in \(F\) have a common fixed point. Let LIM be a map assigning an element in \(L\) to any sequence of elements in \(L\). If this map has some natural properties, it is called a lower Banach limit. The paper contains some conditions sufficient for the existence of a fixed point of LIM \(T^n\) where \(T\) is a map of \(L\) into \(L\); furthermore, conditions containing the operator LIM and sufficient for the existence of a fixed point of \(T\) are formulated. A map \(T\) is said to satisfy Fatou's Condition if \(T(\text{LIM} \;x_n)\leq \text{LIM} \;Tx_n\) holds for any sequence \(\{x_n\}\). The author proves the following theorem. Let \(T\) be a map of \(L\) into \(L\). Suppose that the following conditions are satisfied. (i) \(T\) satisfies Fatou's Condition. (ii) If \(x, y \in L\), \(x\leq y\), there exists \(N =N(x,y)\) such that \(n\geq N\) implies \(T^n x\leq T^ny\). Then \(T\) has a fixed point. If \(L\) is a complete chain and (ii) holds, then \(T\) has a fixed point.