<p>For a finite non-empty set <i>X</i>, let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({{{\,\textrm{Ext}\,}}(X)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Ext</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denote the set of all posets with carrier <i>X</i>, ordered by inclusion of their partial order relations. We investigate properties of posets <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(P \in {{{\,\textrm{Ext}\,}}(X)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>∈</mo> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Ext</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for which no lower cover or no upper cover in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({{{\,\textrm{Ext}\,}}(X)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>Ext</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has the fixed point property. We derive two conditions, one of them sufficient for no lower cover of <i>P</i> having the fixed point property, the other one sufficient for no upper cover of <i>P</i> having the fixed point property. If <i>P</i> itself has the fixed point property, the conditions are even equivalent to the respective total lack of lower or upper covers with the fixed point property. We use the results to confirm a conjecture of Schröder.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

About Posets for Which no Lower Cover or no Upper Cover has the Fixed Point Property

  • Frank a Campo

摘要

For a finite non-empty set X, let \({{{\,\textrm{Ext}\,}}(X)}\) Ext ( X ) denote the set of all posets with carrier X, ordered by inclusion of their partial order relations. We investigate properties of posets \(P \in {{{\,\textrm{Ext}\,}}(X)}\) P Ext ( X ) for which no lower cover or no upper cover in \({{{\,\textrm{Ext}\,}}(X)}\) Ext ( X ) has the fixed point property. We derive two conditions, one of them sufficient for no lower cover of P having the fixed point property, the other one sufficient for no upper cover of P having the fixed point property. If P itself has the fixed point property, the conditions are even equivalent to the respective total lack of lower or upper covers with the fixed point property. We use the results to confirm a conjecture of Schröder.