<p>Given an infinite cardinal <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>, we say that a space <i>X</i> has <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>-accessible boundaries of its open sets if <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\overline{U} = \bigcup \{\overline{A}: A\in [U]^{\le \kappa }\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>U</mi> <mo>¯</mo> </mover> <mo>=</mo> <mo>⋃</mo> <mrow> <mo stretchy="false">{</mo> <mover> <mi>A</mi> <mo>¯</mo> </mover> <mo>:</mo> <mi>A</mi> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mi>U</mi> <mo stretchy="false">]</mo> </mrow> <mrow> <mo>≤</mo> <mi>κ</mi> </mrow> </msup> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for every open set <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(U\subset X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>⊂</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>. If <i>X</i> has the above-mentioned property for <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\kappa =\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>=</mo> <mi>ω</mi> </mrow> </math></EquationSource> </InlineEquation>, then <i>X</i> is said to have accessible boundaries of open sets. We show that all spaces <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(C_p(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> have accessible boundaries of open sets. A GO space <i>X</i> has <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>-accessible boundaries of open sets if and only if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\chi (X) \le \kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mi>κ</mi> </mrow> </math></EquationSource> </InlineEquation>. A product <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\prod _{t\in T} X_t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∏</mo> <mrow> <mi>t</mi> <mo>∈</mo> <mi>T</mi> </mrow> </msub> <msub> <mi>X</mi> <mi>t</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> has <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation>-accessible boundaries of open sets if and only if the same is true for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\prod _{t\in A} X_t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∏</mo> <mrow> <mi>t</mi> <mo>∈</mo> <mi>A</mi> </mrow> </msub> <msub> <mi>X</mi> <mi>t</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> for any <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(A\in [T]^{\le \kappa }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> <mrow> <mo>≤</mo> <mi>κ</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, all products of separable spaces as well as all products of compact spaces of countable tightness have accessible boundaries of open sets.</p>

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

Spaces with accessible boundaries of open sets

  • V. V. Tkachuk

摘要

Given an infinite cardinal \(\kappa \) κ , we say that a space X has \(\kappa \) κ -accessible boundaries of its open sets if \(\overline{U} = \bigcup \{\overline{A}: A\in [U]^{\le \kappa }\}\) U ¯ = { A ¯ : A [ U ] κ } for every open set \(U\subset X\) U X . If X has the above-mentioned property for \(\kappa =\omega \) κ = ω , then X is said to have accessible boundaries of open sets. We show that all spaces \(C_p(X)\) C p ( X ) have accessible boundaries of open sets. A GO space X has \(\kappa \) κ -accessible boundaries of open sets if and only if \(\chi (X) \le \kappa \) χ ( X ) κ . A product \(\prod _{t\in T} X_t\) t T X t has \(\kappa \) κ -accessible boundaries of open sets if and only if the same is true for \(\prod _{t\in A} X_t\) t A X t for any \(A\in [T]^{\le \kappa }\) A [ T ] κ . As a consequence, all products of separable spaces as well as all products of compact spaces of countable tightness have accessible boundaries of open sets.