For a bounded set on the plane (or in any Euclidean space) one can define the circumcenter and circumradius as follows: is the smallest radius of a closed disk containing , and is the center of such a disk. (Other terms in use: Chebyshev center and Chebyshev radius.)
The fact that is well-defined may not be obvious: what if there are multiple disks of radius that contain ? To investigate, introduce the farthest distance function . By definition, is where attains its minimum. The function is convex, being the supremum of a family of convex functions. However, that does not guarantee the uniqueness of its minimum. We have two issues here:
- is not strictly convex
- the supremum of an infinite family of strictly convex functions can fail to be strictly convex (like on the interval ).
The first issue is resolved by squaring . Indeed, attains its minimum at the same place where does, and where each term is strictly convex.
Also, we don’t want to lose strict convexity when taking the supremum over . For this purpose, we must replace strict inequality by something more robust. The appropriate substitute is strong convexity: a function is strongly convex if there is such that is convex. Let’s say that is -convex in this case.
Since is a convex (in fact linear) function of , we see that is -convex. This property passes to supremum: subtracting from the supremum is the same as subtracting it from each term. Strong convexity implies strict convexity and with it, the uniqueness of the minimum point. So, , the minimum of , is uniquely defined. (Finding it in practice may be difficult. The spherical version of this problem is considered in Covering points with caps).
Having established uniqueness, it is natural to ask about stability, or more precisely, the continuity of and with respect to . Introduce the Hausdorff distance on the set of bounded subsets. By definition, if is contained in -neighborhood of , and is contained in -neighborhood of . It is easy to see that , and therefore
In words, the circumradius is a -Lipschitz function of the set.
What about the circumcenter? If the set is shifted by units in some direction, the circumcenter moves by the same amount. So it may appear that it should also be a -Lipschitz function of . But this is false.
Observe (or recall from middle-school geometry) that the circumcenter of a right triangle is the midpoint of its hypotenuse:
Consider two right triangles:
- Vertices . The right angle is at , and the circumvcenter is the midpoint of opposite side: .
- Vertices . The right angle is at
and the circumcenter is at .
The Hausdorff distance between these two triangles is merely , yet the distance between their circumcenters is . So, Lipschitz continuity fails, and the most we can hope for is Hölder continuity with exponent .
And indeed, the circumcenter is locally -Hölder continuous. To prove this, suppose . The -convexity of implies that
On the other hand, since everywhere,
Putting things together,
Thus, as long as remains bounded above, we have an inequality of the form , which is exactly -Hölder continuity.
Remark. The proof uses no information about other than the -convexity of the squared distance function. As such, it applies to every CAT(0) space.