<p>A weak relative pseudocomplementation on a poset is a partial operation <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo mathvariant="bold">∗</mo> </mrow> </math></EquationSource> </InlineEquation> which associates with every pair <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{(x,y)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">,</mo> <mi mathvariant="bold-italic">y</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of elements such that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{x \ge y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold">≥</mo> <mi mathvariant="bold-italic">y</mi> </mrow> </math></EquationSource> </InlineEquation> the greatest <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{u}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">u</mi> </mrow> </math></EquationSource> </InlineEquation> for which <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{(u] \cap (x] = (y]}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">u</mi> <mo mathvariant="bold" stretchy="false">]</mo> <mo mathvariant="bold">∩</mo> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">x</mi> <mo mathvariant="bold" stretchy="false">]</mo> <mo mathvariant="bold">=</mo> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">y</mi> <mo mathvariant="bold" stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. By an extension of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo mathvariant="bold">∗</mo> </mrow> </math></EquationSource> </InlineEquation> is meant any total operation <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9705_Article_IEq7.gif" Format="GIF" Height="7" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\rightarrow }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo mathvariant="bold">→</mo> </mrow> </math></EquationSource> </InlineEquation> extending it; a relative pseudocomplementation, when it exists, is an example. Such partial operations and their extensions have already been studied on meet semilattices. We reveal basic properties of extended weak relative pseudocomplementations on arbitrary posets and discuss in some detail five particular classes of posets equipped with an operation of this kind. Two of them are new; the three others, actually defined in other ways in the literature, have not earlier been associated with weak relative pseudocomplementation.</p>

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

On Some Extensions of Weak Relative Pseudocomplementation in Posets

  • Jānis Cīrulis

摘要

A weak relative pseudocomplementation on a poset is a partial operation \(\varvec{*}\) which associates with every pair \(\varvec{(x,y)}\) ( x , y ) of elements such that \(\varvec{x \ge y}\) x y the greatest \(\varvec{u}\) u for which \(\varvec{(u] \cap (x] = (y]}\) ( u ] ( x ] = ( y ] . By an extension of \(\varvec{*}\) is meant any total operation \(\varvec{\rightarrow }\) extending it; a relative pseudocomplementation, when it exists, is an example. Such partial operations and their extensions have already been studied on meet semilattices. We reveal basic properties of extended weak relative pseudocomplementations on arbitrary posets and discuss in some detail five particular classes of posets equipped with an operation of this kind. Two of them are new; the three others, actually defined in other ways in the literature, have not earlier been associated with weak relative pseudocomplementation.