an:03922716
Zbl 0577.06005
Dreesen, B.; Poguntke, W.; Winkler, P.
Comparability invariance of the fixed point property
EN
Order 2, 269-274 (1985).
00150432
1985
j
06A06 05C99
comparability graph; ordered sets; fixed point property; order-preserving mapping; finite ordered sets; comparability invariant
The comparability graph of an ordered set P is the undirected graph whose vertex set is P and in which two vertices x,y are adjacent if and only if \(x<y\) or \(x>y\). A property of an ordered set is called comparability invariant, if two arbitrary ordered sets with isomorphic comparability graphs either both have this property, or both have not. If P, Q are ordered sets and \(a\in P\), then P(a,Q) is the ordered set obtained from P by replacing a by Q. An ordered set P is said to have the fixed point property, if every order-preserving mapping from P to P has at least one fixed point.
Three theorems are proved. The first of them has an auxiliary character; the further ones are the following. Theorem 2. Let P and Q be finite ordered sets with \(a\in P\). Then P(a,Q) has the fixed point property if and only if either (i) P and Q both have the fixed point property; or (ii) P has the fixed point property, Q does not, and there is no order- preserving map \(f: P\to P\) which fixes only a and sends no element above or below a to a. Theorem 3. The fixed point property is comparability invariant for finite ordered sets.
B.Zelinka