- Open Access
A note on the relationship between the isotone assumption of the Abian-Brown fixed point theorem and Abian’s most basic fixed point theorem
© Luckraz; licensee Springer. 2014
- Received: 7 February 2014
- Accepted: 22 May 2014
- Published: 29 May 2014
In a recent paper Xie et al. (Fixed Point Theory Appl. 2013:192, 2013) gave several extensions and some applications of the Abian-Brown (AB) fixed point theorem. While the AB fixed point theorem and its extensions (as well as other related fixed point theorems) assume that the mapping is isotone, this note shows that for single-valued finite maps this condition relates to the acyclicity of the map, which in turn relates to Abian’s (Nieuw Arch. Wiskd. XVI:184-185, 1968) most basic fixed point theorem for finite sets.
MSC:46B42, 47H10, 58J20, 91A06, 91A10.
- Point Theorem
- Binary Relation
- Fixed Point Theorem
- Periodic Point
- Initial Segment
Fixed point theorems play an important part in equilibrium analysis in mathematical sciences. Recently, Li (2014) , Xie et al. (2013)  and Xie et al. (2013)  extended the celebrated Abian-Brown (AB) fixed point theorem and applied it to some well-known problems in game theory. Since the AB theorem and its extensions have powerful applications, it is important to understand and assess the assumptions behind these theorems. This note looks at one crucial assumption, namely that the mapping is isotone and shows that this assumption is related to another fixed point theorem of Abian (1968)  for finite sets.
Li’s  generalized a whole class of fixed point theorems. Indeed, the first result in this class was given by Knaster and Tarski (1928)  and extended by Tarski (1955) , Abian and Brown (1961) , Fujimoto (1984)  and Xie et al. (2013) . All these results are based on some isotone-like assumption.a Although in some cases this assumption is replaced by some order reversing assumption as in Abian (1979) , the monotonicity of the mapping is still crucial to obtain a fixed point. In this note, we attempt to assess this assumption more carefully.
While the existence or lack of existence of fixed points in dynamic systems often depend on the topological or set-theoretic order structure of the mapping, Abian (1968)  proved a fixed point theorem for finite sets that does not rely on any such structure.b This note relates this theorem of Abian with the assumption of isotone mappings. In order to do so, we first show the connection between isotone mappings and acyclic mappings before showing the relationship between fixed points and the cyclicity of the mapping. In fact, we prove the negation of this relationship by showing a link between the lack of existence of a fixed point and the cyclicity of the mapping.
The finite version of Abian’s  fixed point theorem states that given a function from a finite set into itself, the set cannot be partitioned into three sets so that the intersection of each of these sets with their image is empty iff the mapping has a fixed point.c The main result of this note shows that if the mapping has no fixed point, then all elements of the set are either periodic or eventually periodic with an even prime period iff the set can be partitioned into two sets so that the intersection of each of these sets with their image is empty.
In Section 2, we formally show the connection between cycles and the isotone assumption as well as the link between cycles and a no-fixed point condition. In Section 3 we give the main result of the paper showing that Abian’s theorem for finite sets is equivalent the cyclicity of the mapping and in Section 4 we conclude.
Throughout this paper we shall only consider finite sets with at least two elements. Let D be a finite set and let be a function.
Definition 1 The element is said to be periodic if and there exists a positive integer so that .
Definition 2 is called the prime period of if d is periodic and m is the least so that .
Definition 3 For any , the sequence (with the convention that ) is said to be the orbit of d.
Definition 4 is said to be eventually periodic if it not periodic itself, but some term in its orbit is periodic.
The following lemma demonstrates the link between the isotone assumption of the AB theorem and the cyclicity of the mapping for the finite case. In the lemma we will assume that the set is partially ordered and that the mapping is isotone. Moreover, we also assume that each point is comparable to its image through the binary relation. These assumptions and the lemma will not be used anywhere else in the note. Its only purpose is to relate the cyclicity of the map to the isotone assumption used in the AB class of fixed point theorems. At this stage, it is important to draw the attention of the reader on the distinction between the partial order as a binary relation and the mapping as a binary relation. In this note, when we refer to cycles, we refer to the cyclicity of the mapping.d
Lemma 1 Let D be a finite set that is partially ordered by ⪯ and let be an isotone mapping, that is, for any , implies . Moreover, assume that for each either or . Then D does not contain any periodic element.
Proof We prove by contradiction. Suppose there exists such an element d and consider the orbit of d given by . Then s has an initial segment given by , where and n is the prime period of d. Since d relates to through the binary relation, one can assume without loss of generality that . Then by the isotone assumption, we have . Using this argument, it can be shown by induction that for , where is a component of s. By the transitivity of ⪯ we obtain . By the anti-symmetry of ⪯, we then obtain , which contradicts the fact that d is a periodic point. □
Lemma 2 Let D be a finite set and let be a mapping that has no fixed point, then there exists some such that d is periodic.
Proof We prove by contradiction. We first observe that if there exists no periodic d in D, then no elements of D can be eventually periodic under mapping f. Now, using this observation together the fact that f has no fixed point, we conclude that each has an orbit of the following form , where . Thus, we have for some , where . But since this argument holds for any , cannot be finite, which gives a contradiction. □
Lemma 3 Let D be a finite set and let be a mapping that has no fixed point. Suppose that is not a periodic element, then it is eventually periodic.
Proof We prove by contradiction. Suppose some is neither periodic nor eventually periodic. Then d has an orbit of the following form: , where . Thus, we have for some , where . But since this argument holds for any , cannot be finite, which gives a contradiction. □
Definition 5 We say that orbit s is permutation isomorphic to orbit iff is an order-preserving (in the natural order) permutation of s.
Lemma 4 Let D be a finite set and let be a mapping that has no fixed point. Suppose that the mapping has k distinct non-permutation isomorphic orbits. Then there exists a partition of D into k cells such that each cell contains all periodic points of exactly one orbit and the eventually periodic points that lead to that orbit.
Proof See the Appendix. □
Theorem 1 (Abian (1968) )
Let D be a finite set and let be a mapping. Then f has a fixed point iff so that collection is a partition of D and .
Proof See . □
D can be partitioned into two sets A and B so that .
Each is either a periodic element with an even prime period or an eventually periodic element that leads to a periodic element whose prime period is even.
Proof See the Appendix. □
D cannot be partitioned into two sets A and B so that but can be partitioned into three sets A, B and C so that collection is a partition of D and .
Each is either a periodic element or an eventually periodic element whose prime period is odd.
The proof is omitted as it is similar to the proof of Theorem 2.
Corollary 2 Let D be a finite set and let be a mapping. Then f has a fixed point iff D contains at least one element that is neither periodic nor eventually periodic under f.
Proof The (if) part follows from Lemma 3 and the (only if) part follows from the fact that if x is a fixed point of f, then it is not periodic by Definition 1. □
We have shown in Theorem 2 that Abian’s theorem relates to the idea of cycles and in Lemma 1 we have demonstrated that for finite maps acyclicity is implied by the isotone assumption as long each element relates to its image via the binary relation. Therefore, we have shown how the isotone assumption relates to the idea of cycles and hence to fixed point theorems through the finite version of Abian’s theorem. Corollary 1 has shown that Abian theorem can be broken into two cases: (i) All periodic points have even prime periods and (ii) the negation of (i). Corollary 2 has shown that in order to find the fixed point of a finite set, it suffices to look for an element that it not periodic. These results can help researchers in the mathematical sciences who are trying to understand the assumptions underpinning this class of fixed point theorems and apply them to a broader class of problems.
Proof of Lemma 4 Since from Lemma 3 we know that if some is not periodic, then it is eventually periodic, we need to consider only two types of elements of D; the periodic elements and the eventually periodic elements.
Let d be a periodic element such that and let be its orbit, with the convention that . First, observe that by Definition 1, for each , is also a periodic element. Therefore, for some m. Let , be the orbit of . Then using Definition 1 again, we can infer that must be a permutation of . Hence, for each i, the orbit of traverses each term of the orbit of d and vice versa (that is, the orbit of d traverses each term of the orbit of ). We now claim that if so that and e is a periodic element satisfying for some p, with orbit , then either is a permutation of or the two orbits have no terms in common. To see this, suppose has a term x in and also a term y that is not in , then there will exist some i, such that the orbit of does not traverse each term of the orbit of d, which would contradict the previous argument. Therefore if the mapping f induces k orbits on D, then each of these k orbits will have initial segments that can be represented as k disjoint subsets of D. A similar argument can be used to show that if d is an eventually periodic element and some is either periodic or eventually periodic then either the two orbits have no terms in common or they share all periodic points in common.e Hence, each eventually periodic element either leads to the same or to a different orbit. As a result, the k orbits of D in addition to their eventually periodic elements can still be represented as k disjoint subsets of D. But since D contains only periodic and eventually periodic elements, the collection of such subsets will form a partition of D. □
where . Hence, is in A iff is odd and is in B iff is even. We now show that if n is even, then . Note that for any adjacent terms x, y (where y succeeds x in the sequence ordering) in , . Therefore since the mapping has no fixed point we must have . Thus, for to be true, we need the following condition. x, y are adjacent in iff and or and . Therefore, since is in B we only need to make sure that . But this is true since being odd guarantees that .
Hence, the set of all elements of an orbit can be partitioned into A and B such that as long as n is even.
where for some k and for some . Observe that the set of all terms of p can still be partitioned into the same two sets A and B such that as long for any adjacent terms x, y in p, either and or and . Since h is eventually periodic we have . Therefore, as long as n is even the same sets A and B that were chosen to partition the set of all terms of the orbit of d can be used to partition the set of all terms of p.
Now from Lemma 3, we know that all elements of D under mapping f are either periodic or eventually periodic and from Lemma 4 we know that D can be partitioned in such a way that each cell contains all the periodic and eventually periodic elements of an orbit. Therefore if each orbit (together with its eventually periodic elements) can be partitioned into two sets satisfying the desired conditions, the whole set D can also be partitioned into two sets satisfying the desired condition. From the previous arguments we know that this is possible if n is even.
Note that for any adjacent terms x, y in , . Therefore either and or and . Now since , d and cannot be in the same set. Also, and cannot be in the same set for all . Hence, d and can be separated iff is even, which implies that n cannot be odd. □
a For set-valued maps, the corresponding assumption is that the map is order-increasing upward.
b In fact, Abian (1968)  also gave the necessary and sufficient conditions for a fixed point to exist without any finiteness or countability assumption. In this note we only use the finite version of Abian’s theorem to demonstrate how the cyclicity of the map relates to the isotone assumption.
c While it may not always be easy to verify the latter condition, one question that one might ask is under what conditions would two sets be enough to guarantee no fixed point. This note also gives an answer to this question.
d It can also be verified that extending our definition of cycles to the partial order, the binary relation will be acyclical.
e If the orbit of d reached some periodic point which is not encountered by the orbit of e and yet the orbits of d and e shared some point x in common, then since is reachable from x, by the definition of a function must be encountered by the orbit of e, which will lead to a contradiction.
f From Lemma 3 we know that since the mapping has no fixed point, each element of d is either periodic or eventually periodic. Therefore we only need to prove that n is even.
The author would like to thank Jeff Kline for introducing him to this topic.
- Li J: Several extensions of the Abian-Brown fixed point theorem and their applications to extended and generalized Nash equilibria on chain-complete posets. J. Math. Anal. Appl. 2014, 409: 1084–1092. 10.1016/j.jmaa.2013.07.070View ArticleMathSciNetGoogle Scholar
- Xie L, Li J, Yang W: Order-clustered fixed point theorems on chain-complete preordered sets and their applications to extended and generalized Nash equilibria. Fixed Point Theory Appl. 2013., 2013: Article ID 192Google Scholar
- Xie L, Li J, Wen C-F: Applications of fixed point theory to extended Nash equilibriums of nonmonetized noncooperative games on posets. Fixed Point Theory Appl. 2013., 2013: Article ID 235Google Scholar
- Abian A: A fixed point theorem. Nieuw Arch. Wiskd. 1968, XVI: 184–185.MathSciNetGoogle Scholar
- Knaster B, Tarski A: Un théorème sur les fonctions d’ensembles. Ann. Soc. Pol. Math. 1928, 6: 133–134.Google Scholar
- Tarski A: A lattice-theoretical fixed-point theorem and its applications. Pac. J. Math. 1955, 5: 285–309. 10.2140/pjm.1955.5.285View ArticleMathSciNetGoogle Scholar
- Abian A, Brown AB: A theorem on partially ordered sets with applications to fixed point theorems. Can. J. Math. 1961, 13: 78–82. 10.4153/CJM-1961-007-5View ArticleMathSciNetGoogle Scholar
- Fujimoto T: An extension of Tarski’s fixed point theorem and its application to isotone complementarity problems. Math. Program. 1984, 28: 116–118. 10.1007/BF02612716View ArticleMathSciNetGoogle Scholar
- Abian A: A fixed point theorem for image-intersecting mappings. Proc. Am. Math. Soc. 1979, 73(3):300–302. 10.1090/S0002-9939-1979-0518508-6View ArticleMathSciNetGoogle Scholar
- Abian A: A fixed point theorem for mappings. J. Math. Anal. Appl. 1968, 24: 146–148. 10.1016/0022-247X(68)90053-XView ArticleMathSciNetGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.