凸度/集合的直径

如果任何两点 d(A,B) 之间的距离测量值在一个空间中定义，并且 X 是此空间中的一个集合，那么直径 D(X) 就是所有 X 中的点 A 和 B 上 d(A,B) 的最小值。

定理：在欧几里德空间中，D(H(X)) = D(X)。