<p>In this paper, we study the approximation relations derived by directed sets on <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9699_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-spaces. It is shown that the approximation relation can be regarded as a suitable generalization of the classical way below relation <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9699_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ll \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>≪</mo> </math></EquationSource> </InlineEquation> and Erné’s relation <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9699_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ll _{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mo>≪</mo> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> on posets to the more general setting of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9699_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-spaces. Using the approximation relation, we introduce and investigate approximation spaces on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9699_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-spaces and give some characterizations of approximation spaces by the MD-open sets. It is proved that a <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9699_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-space <i>X</i> is a <i>d</i>-space iff its MD-space is a <i>d</i>-space, and <i>X</i> is an approximation space iff its MD-space is a c-space. Therefore, <i>X</i> is a c-space iff <i>X</i> is both an approximation space and an MD-space iff <i>X</i> is a locally hypercompact approximation space. So approximation spaces can be seen as a generalization of continuous spaces and both concepts are united in an MD-space.</p>

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

Approximation Spaces Defined by Directed Sets

  • Xiaoyuan Zhang,
  • Xiaoquan Xu

摘要

In this paper, we study the approximation relations derived by directed sets on \(T_{0}\) T 0 -spaces. It is shown that the approximation relation can be regarded as a suitable generalization of the classical way below relation \(\ll \) and Erné’s relation \(\ll _{2}\) 2 on posets to the more general setting of \(T_0\) T 0 -spaces. Using the approximation relation, we introduce and investigate approximation spaces on \(T_0\) T 0 -spaces and give some characterizations of approximation spaces by the MD-open sets. It is proved that a \(T_0\) T 0 -space X is a d-space iff its MD-space is a d-space, and X is an approximation space iff its MD-space is a c-space. Therefore, X is a c-space iff X is both an approximation space and an MD-space iff X is a locally hypercompact approximation space. So approximation spaces can be seen as a generalization of continuous spaces and both concepts are united in an MD-space.