Two versions of the Jung theorem in metric spaces of curvature bounded above (Q1924938)

The classical Jung theorem gives in essence a lower bound for the diameter of a compact set \(X\) in \(E^n\) in terms of the dimension \(n\) and the circumradius \(R\) of \(X\). This result is extended to compact sets in a class of metric spaces introduced by A. D. Alexandrov. This class includes Riemannian manifolds with curvature bounded above.