<p>For a uniform space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_\mu X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>μ</mi> </msub> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> denotes the well-known Samuel compactification of <i>X</i>. We say that a realcompactification <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> of <i>X</i> is a <i>uniform realcompactification</i> whenever it is a topological subspace of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_\mu X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>μ</mi> </msub> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, i.e., <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\subset \alpha X\subset s_\mu X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>⊂</mo> <mi>α</mi> <mi>X</mi> <mo>⊂</mo> <msub> <mi>s</mi> <mi>μ</mi> </msub> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>. In this paper we are mainly concerned with the following equation: <Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_Equ1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="167" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \alpha (X\times Y)=\alpha X\times \alpha Y \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>α</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>×</mo> <mi>Y</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>α</mi> <mi>X</mi> <mo>×</mo> <mi>α</mi> <mi>Y</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for three specific uniform realcompactifications: the Samuel realcompactification <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(H(U_\mu (X))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo stretchy="false">(</mo> <msub> <mi>U</mi> <mi>μ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>δ</mi> </msub> </math></EquationSource> </InlineEquation>-realcompactification <i>K</i>(<i>X</i>), and the countable-modification realcompactification <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(e_\mu X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>e</mi> <mi>μ</mi> </msub> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>. For each of these, we provide necessary and sufficient conditions for the corresponding equality to hold. Moreover, we give a characterization of those uniform realcompactifications of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> that are, in addition, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>δ</mi> </msub> </math></EquationSource> </InlineEquation>-closed in <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1787_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_\mu X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>s</mi> <mi>μ</mi> </msub> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

The product of two uniform realcompactifications

  • M. Isabel Garrido,
  • Ana S. Meroño

摘要

For a uniform space \((X,\mu )\) ( X , μ ) , \(s_\mu X\) s μ X denotes the well-known Samuel compactification of X. We say that a realcompactification \(\alpha X\) α X of X is a uniform realcompactification whenever it is a topological subspace of \(s_\mu X\) s μ X , i.e., \(X\subset \alpha X\subset s_\mu X\) X α X s μ X . In this paper we are mainly concerned with the following equation: \(\begin{aligned} \alpha (X\times Y)=\alpha X\times \alpha Y \end{aligned}\) α ( X × Y ) = α X × α Y for three specific uniform realcompactifications: the Samuel realcompactification \(H(U_\mu (X))\) H ( U μ ( X ) ) , the \(G_\delta \) G δ -realcompactification K(X), and the countable-modification realcompactification \(e_\mu X\) e μ X . For each of these, we provide necessary and sufficient conditions for the corresponding equality to hold. Moreover, we give a characterization of those uniform realcompactifications of \((X,\mu )\) ( X , μ ) that are, in addition, \(G_\delta \) G δ -closed in \(s_\mu X\) s μ X .