加载中…
A first-order expansion of the -vector space structure on does not define every compact subset of every if and only if topological and Hausdorff dimension coincide on all closed definable sets. Equivalently, if is closed and the Hausdorff dimension of exceeds the topological dimension of , then every compact subset of every can be constructed from using finitely many boolean operations, cartesian products, and linear operations. The same statement fails when Hausdorff dimension is replaced by packing dimension.

生成讲解博客的中文版本

生成AI智能校验的中文版本