Multifunctions and the fixed point property for products of ordered sets (Q1074606): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fixed points in partially ordered sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A characterization of complete lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a fixed point theorem for partially ordered sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Problem of Fixed Points in Ordered Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fixed Points of Order Preserving Multifunctions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Isotone relations and the fixed point property for posets / rank | |||
Normal rank |
Revision as of 13:45, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multifunctions and the fixed point property for products of ordered sets |
scientific article |
Statements
Multifunctions and the fixed point property for products of ordered sets (English)
0 references
1985
0 references
\textit{J. M. Walker} [Discrete Math. 48, 275-288 (1984; Zbl 0546.06003)] attached to every ordered set (1) (E,\(\leq)\) a quasi-order (2) \((P(E,\leq),\leq_ W)\) of the power set PE of E be defining \(A\leq_ WB\) iff \(A\subset ideal B \& B\subset filter A\), for any A,B\(\subset E\). The present author says that a multifunction F: (1)\(\to (M,\leq_ M)\) \((:=any\) ordered set) is order-preserving or increasing iff \(x\leq y\) implies \(Fx\leq_ WFy\) [cf. \textit{R. E. Smithson}, Proc. Am. Math. Soc. 28, 304-310 (1971; Zbl 0238.06003)] and (1) has GFPP \((:=general\) fixed point property) iff (2) has FPP. The main aim of the author was to improve Theorem 7.4 of Walker, loc. cit., by removing the property of chain completeness of factors and proving Theorem 1: If one of the ordered sets A,B has GFPP and the other one has FPP, then their product \(A\times B\) has FPP; Theorem 2: (1) is chain complete and for every increasing multifunction F: (1)\(\to (M,\leq_ M)\) there are comparable points \(e_ 0,e_ 1\in (1)\) such that \(e_ 1\in Fe_ 0\), then FPP of \((M,\leq_ M)\) implies the FPP of the product \(E\times M\).
0 references
ordered set
0 references
quasi-order
0 references
power set
0 references
multifunction
0 references
general fixed point property
0 references
chain completeness
0 references
product
0 references