<p>For a Tychonoff space <i>X</i> by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> we denote the space of continuous real valued functions on <i>X</i> endowed with the pointwise topology, and <i>C</i>(<i>X</i>) denotes the Banach space endowed with the uniform topology provided <i>X</i> is compact. The classical two results characterizing compact scattered spaces in terms of <i>C</i>(<i>X</i>) and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> assert that a compact space <i>X</i> is scattered if and only if <i>C</i>(<i>X</i>) is an Asplund space (Namioka-Phelps) if and only if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> is a Fréchet–Urysohn space (Gerlits, Pytkeev). We provide another result of this type by showing the following Theorem: An infinite compact space <i>X</i> is scattered if and only if <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> contains no closed <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-compact infinite-dimensional vector subspace if and only if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> contains no infinite-dimensional vector subspace admitting a fundamental sequence of bounded sets if and only if every vector subspace of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> is bornological. The above Theorem fails if <i>X</i> is nondiscrete scattered and noncompact. On the other hand, if <i>X</i> is a countable metric space which is not scattered, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> contains a closed infinite-dimensional <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-compact subspace. Moreover, if <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(X=F\times [1,\omega ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>=</mo> <mi>F</mi> <mo>×</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>F</i> is discrete with <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\( |F| \ge \mathfrak {d}, \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>F</mi> <mo stretchy="false">|</mo> <mo>≥</mo> <mi mathvariant="fraktur">d</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq14.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {d}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">d</mi> </math></EquationSource> </InlineEquation> is the dominating cardinal, then <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> contains a closed infinite-dimensional <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq16.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-compact subspace, but if <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="107" /> </InlineMediaObject> <EquationSource Format="TEX">\(X=\mathbb {N}\times [1,\omega ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>=</mo> <mi mathvariant="double-struck">N</mi> <mo>×</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> the corresponding space <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq18.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> does not contain such subspaces. A variant of Theorem is also obtained characterizing infinite Tychonoff spaces <i>X</i> for which all compact subsets are scattered. These results are also motivated by a remarkable theorem of Velichko stating that for an infinite Tychonoff space <i>X</i> the space <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq19.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <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> is not <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq20.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-compact. Several illustrating examples involving spaces <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq21.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>c</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ℓ</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> and the space <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13398_2025_1700_Article_IEq23.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(Lip_0(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mi>i</mi> <msub> <mi>p</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with the pointwise topology are provided and discussed.</p>

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

A new characterization of compact scattered spaces X in terms of spaces \(C_p(X)\)

  • Jerzy Kkol,
  • Ondřej Kurka

摘要

For a Tychonoff space X by \(C_p(X)\) C p ( X ) we denote the space of continuous real valued functions on X endowed with the pointwise topology, and C(X) denotes the Banach space endowed with the uniform topology provided X is compact. The classical two results characterizing compact scattered spaces in terms of C(X) and \(C_p(X)\) C p ( X ) assert that a compact space X is scattered if and only if C(X) is an Asplund space (Namioka-Phelps) if and only if \(C_p(X)\) C p ( X ) is a Fréchet–Urysohn space (Gerlits, Pytkeev). We provide another result of this type by showing the following Theorem: An infinite compact space X is scattered if and only if \(C_p(X)\) C p ( X ) contains no closed \(\sigma \) σ -compact infinite-dimensional vector subspace if and only if \(C_p(X)\) C p ( X ) contains no infinite-dimensional vector subspace admitting a fundamental sequence of bounded sets if and only if every vector subspace of \(C_p(X)\) C p ( X ) is bornological. The above Theorem fails if X is nondiscrete scattered and noncompact. On the other hand, if X is a countable metric space which is not scattered, \(C_p(X)\) C p ( X ) contains a closed infinite-dimensional \(\sigma \) σ -compact subspace. Moreover, if \(X=F\times [1,\omega ]\) X = F × [ 1 , ω ] and F is discrete with \( |F| \ge \mathfrak {d}, \) | F | d , where \(\mathfrak {d}\) d is the dominating cardinal, then \(C_p(X)\) C p ( X ) contains a closed infinite-dimensional \(\sigma \) σ -compact subspace, but if \(X=\mathbb {N}\times [1,\omega ]\) X = N × [ 1 , ω ] the corresponding space \(C_p(X)\) C p ( X ) does not contain such subspaces. A variant of Theorem is also obtained characterizing infinite Tychonoff spaces X for which all compact subsets are scattered. These results are also motivated by a remarkable theorem of Velichko stating that for an infinite Tychonoff space X the space \(C_p(X)\) C p ( X ) is not \(\sigma \) σ -compact. Several illustrating examples involving spaces \(c_0\) c 0 , \(\ell _{\infty }\) and the space \(Lip_0(M)\) L i p 0 ( M ) with the pointwise topology are provided and discussed.