<p>We study <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1136_Article_IEq1.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {u}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">u</mi> </math></EquationSource> </InlineEquation>O-convergence on infinitely distributive lattices, extending key properties known from Riesz spaces. We show that order continuity of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1136_Article_IEq1.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {u}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">u</mi> </math></EquationSource> </InlineEquation>O-convergence characterizes infinite distributivity. We examine O-adherence and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1136_Article_IEq1.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {u}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">u</mi> </math></EquationSource> </InlineEquation>O-adherence of sublattices and ideals, proving that the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1136_Article_IEq1.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {u}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">u</mi> </math></EquationSource> </InlineEquation>O- and O-closures of a sublattice coincide and form a sublattice, and that the first <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1136_Article_IEq1.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {u}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">u</mi> </math></EquationSource> </InlineEquation>O-adherence of an ideal is an O-closed ideal. We also analyze the Dedekind-MacNeille completion of a sublattice <i>Y</i> within that of a lattice <i>L</i>, identifying conditions (A) and (B) under which the completion of <i>Y</i> embeds regularly in that of <i>L</i>. In this case, we show that the first <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11117_2025_1136_Article_IEq1.gif" Format="GIF" Height="11" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {u}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">u</mi> </math></EquationSource> </InlineEquation>O-adherence of <i>Y</i> covers its O-closure.</p>

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

Unbounded order convergence on infinitely distributive lattices

  • Kevin Abela,
  • Emmanuel Chetcuti

摘要

We study \({\mathfrak {u}}\) u O-convergence on infinitely distributive lattices, extending key properties known from Riesz spaces. We show that order continuity of \({\mathfrak {u}}\) u O-convergence characterizes infinite distributivity. We examine O-adherence and \({\mathfrak {u}}\) u O-adherence of sublattices and ideals, proving that the \({\mathfrak {u}}\) u O- and O-closures of a sublattice coincide and form a sublattice, and that the first \({\mathfrak {u}}\) u O-adherence of an ideal is an O-closed ideal. We also analyze the Dedekind-MacNeille completion of a sublattice Y within that of a lattice L, identifying conditions (A) and (B) under which the completion of Y embeds regularly in that of L. In this case, we show that the first \({\mathfrak {u}}\) u O-adherence of Y covers its O-closure.