Geodesically complete spaces with an upper curvature bound (Q1734001)

Let $X$ be a separable locally compact metric space. Assume that $X$ has curvature bounded from above. There is then local uniqueness of geodesics. Assume that $X$ has (local) geodesic completeness, i.e. that any compact geodesic can be extended as a local geodesic beyond its endpoints. The authors show: Theorem 1.1. The topological dimension of $X$ coincides with the Hausdorff dimension and equals the supremum of dimensions of open subsets of $X$ homeomorphic to Euclidean balls. Theorem 1.2. A point $x$ is contained in the $k$-dimensional part of $X$, $X^k$, if and only if all sufficiently small balls around $x$ have dimension $k$. The Hausdorff measure $\mathcal{H}^k$ is locally finite and locally positive on $X^k$. A number of other geometric and topological properties of these spaces are derived.