<p>The lower box dimension<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq1.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">$ \underline{\dim}_{B} $</EquationSource> </InlineEquation>of a&#xa0;metric compactum<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">$ (X,\rho) $</EquationSource> </InlineEquation>appeared originally in 1932in the work of Pontryagin and Schnirelmann,who proved that<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq3.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">$ \underline{\dim}_{B}X $</EquationSource> </InlineEquation>is always greater than or equal tothe topological dimension<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">$ \dim X $</EquationSource> </InlineEquation>and each metrizable compactum admits a&#xa0;metricwith <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">$ \underline{\dim}_{B}X=\dim X $</EquationSource> </InlineEquation>.The present article shows that,given an&#xa0;infinite metrizable compactum&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">$ X $</EquationSource> </InlineEquation>and a&#xa0;real&#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">$ b $</EquationSource> </InlineEquation>satisfying<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="118" /> </InlineMediaObject> <EquationSource Format="TEX">$ \dim X\leq b\leq\infty $</EquationSource> </InlineEquation>,there exists a&#xa0;metric on&#xa0;<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">$ X $</EquationSource> </InlineEquation>compatible with the topologysuch that<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1516_Article_IEq10.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">$ \underline{\dim}_{B}X=b $</EquationSource> </InlineEquation>.</p>

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

Supplement to the Pontryagin–Schnirelmann Theorem

  • A. V. Ivanov

摘要

The lower box dimension $ \underline{\dim}_{B} $ of a metric compactum $ (X,\rho) $ appeared originally in 1932in the work of Pontryagin and Schnirelmann,who proved that $ \underline{\dim}_{B}X $ is always greater than or equal tothe topological dimension $ \dim X $ and each metrizable compactum admits a metricwith $ \underline{\dim}_{B}X=\dim X $ .The present article shows that,given an infinite metrizable compactum  $ X $ and a real  $ b $ satisfying $ \dim X\leq b\leq\infty $ ,there exists a metric on  $ X $ compatible with the topologysuch that $ \underline{\dim}_{B}X=b $ .