Comparability invariance of the fixed point property (Q1065836): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Werner Poguntke / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Peter M. Winkler / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Bohdan Zelinka / rank | |||
Normal rank |
Revision as of 12:01, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Comparability invariance of the fixed point property |
scientific article |
Statements
Comparability invariance of the fixed point property (English)
0 references
1985
0 references
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.
0 references
comparability graph
0 references
ordered sets
0 references
fixed point property
0 references
order-preserving mapping
0 references
finite ordered sets
0 references
comparability invariant
0 references