Compactness and subsets of ordered sets that meet all maximal chains

From MaRDI portal





The space \({\mathcal M}(P)\) of maximal chains of a chain complete ordered set P is studied. By \(P_ 1\) and \(P_ 2\) are denoted two particular ordered sets. A characterization of compactness of \({\mathcal M}(P)\) is as follows: \({\mathcal M}(P)\) is compact iff every nonempty open interval of P has a finite cutset and P contains no subset isomorphic to either of the ordered sets \(P_ 1\) or \(P_ 2\). It is proved that the space \({\mathcal M}(P)\) is compact if P satisfies any of the following conditions: (1) P contains no copy of \(P_ 1\) or \(P_ 2\) and for every \(x\in P\) there is a finite subset F of P which is coinitial above x. (2) P contains no proper N and for every \(x\in P\) there is a finite maximal antichain which contains x. (3) P contains no copy of \(P_ 1\) or its dual and all antichains in P are finite.











This page was built for publication: Compactness and subsets of ordered sets that meet all maximal chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q760448)