<p>In this paper, we introduce the concepts of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-determined spaces and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-determined posets. We show that every <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-determined space is homeomorphic to the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-spectrum of its Smyth hyperspace with the Scott topology. Similarly, every <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-determined poset is order isomorphic to the <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-spectrum of its Smyth powerdomain. So for any two <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-determined spaces or <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">Q</mi> </mrow> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-determined posets <i>X</i>,&#xa0;<i>Y</i> with the Scott topology, <i>X</i> is homeomorphic to <i>Y</i> if and only if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq9.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}}X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Q</mi> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is order isomorphic to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11083_2025_9692_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {Q}}Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Q</mi> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation>. Moreover, based on the Hofmann-Mislove Theorem, we propose a counterexample for the following problem posed in&#xa0;Gierz et al. (<CitationRef CitationID="CR9">2003</CitationRef>): Is <i>OFilt</i>(<i>S</i>), the semilattice of all open filters of <i>S</i>, distributive for a distributive continuous semilattice <i>S</i>?</p>

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

Spaces Determined by their Smyth Hyperspaces with the Scott Topology

  • Ao Shen,
  • Qingguo Li

摘要

In this paper, we introduce the concepts of \({\mathcal {Q}^*}\) Q -determined spaces and \({\mathcal {Q}^*}\) Q -determined posets. We show that every \({\mathcal {Q}^*}\) Q -determined space is homeomorphic to the \({\mathcal {Q}^*}\) Q -spectrum of its Smyth hyperspace with the Scott topology. Similarly, every \({\mathcal {Q}^*}\) Q -determined poset is order isomorphic to the \({\mathcal {Q}^*}\) Q -spectrum of its Smyth powerdomain. So for any two \({\mathcal {Q}^*}\) Q -determined spaces or \({\mathcal {Q}^*}\) Q -determined posets XY with the Scott topology, X is homeomorphic to Y if and only if \({\mathcal {Q}}X\) Q X is order isomorphic to \({\mathcal {Q}}Y\) Q Y . Moreover, based on the Hofmann-Mislove Theorem, we propose a counterexample for the following problem posed in Gierz et al. (2003): Is OFilt(S), the semilattice of all open filters of S, distributive for a distributive continuous semilattice S?