AI 中文总结
本文证明了上曲率有界度量空间的覆盖维数等于几何维数，无需可分性假设，解决了Kleiner提出的源于Gromov工作的猜想。
AI 中文摘要
我们证明了，在不假设可分性的情况下，具有上曲率有界的度量空间的覆盖维数等于其几何维数。这解决了Kleiner提出的一个猜想，该猜想可追溯到Gromov的工作。
英文摘要
We prove that the covering dimension of a metric space with curvature bounded above equals its geometric dimension, without a separability assumption. This resolves a conjecture formulated by Kleiner that goes back to Gromov's work.
