Tag: diameter

When does a map admit a lower “anti-continuity” bound like for some function and for all ? The answer is easy: must be injective and its inverse must be uniformly continuous. End of story.

But recalling what happened with diameters of connected sets last time, let’s focus on the inequality for connected subsets . If such exists, the map f has the LOB property, for “lower oscillation bound” (oscillation being the diameter of image). The LOB property does not require to be injective. On the real line, satisfies it with : since it simply folds the line, the worst that can happen to the diameter of an interval is to be halved. Similarly, admits a lower oscillation bound . This one decays faster than linear at 0, indicating some amount of squeezing going on. One may check that every polynomial has the LOB property as well.

On the other hand, the exponential function does not have the LOB property, since tends to as . No surprise there; we know from the relation of continuity and uniform continuity that things like that happen on a non-compact domain.

Also, a function that is constant on some nontrivial connected set will obviously fail LOB. In topology, a mapping is called light if the preimage of every point is totally disconnected, which is exactly the same as not being constant on any nontrivial connected set. So, lightness is necessary for LOB, but not sufficient as shows.

Proof. Suppose not. Then there exists and a sequence of connected subsets such that and . We can assume compact, otherwise replace it with its closure which we can because .

The space of nonempty compact subsets of is called the hyperspace of ; when equipped with the Hausdorff metric, it becomes a compact metric space itself. Pass to a convergent subsequence, still denoted . Its limit has diameter at least , because diameter is a continuous function on the hyperspace. Finally, using the uniform continuity of we get , contradicting the lightness of .

A homeomorphism lacking LOB

Here is another example to demonstrate the importance of compactness (not just boundedness) and continuity: on the domain define . This is a homeomorphism, the inverse being . Yet it fails LOB because the image of line segment has diameter , which can be arbitrarily close to 0. So, the lack of compactness hurts. Extending to the closed square in a discontinuous way, say by letting it be the identity map on the boundary, we see that continuity is also needed, although it’s slightly non-intuitive that one needs continuity (essentially an upper oscillation bound) to estimate oscillation from below.

All that said, on a bounded interval of real line we need neither compactness nor continuity.

Theorem 2: If is a bounded interval, then every light map admits a lower oscillation bound.

Proof. Following the proof of Theorem 1, consider a sequence of intervals such that and . There is no loss of generality in considering open intervals, since it can only make the diameter of the image smaller. Also WLOG, suppose and ; this uses the boundedness of . Consider a nontrivial closed interval . For all sufficiently large we have , which implies . Thus is constant on , a contradiction.

The property that distinguishes real line here is that nontrivial connected sets have nonempty interior. The same works on the circle and various tree-like spaces, but fails for spaces that don’t look one-dimensional.

The definition of uniform continuity (if it’s done right) can be phrased as: is uniformly continuous if there exists a function , with , such that for every set . Indeed, when is a two-point set this is the same as , the modulus of continuity. Allowing general sets does not change anything, since the diameter is determined by two-point subsets.

Does it make a difference if we ask for only for connected sets ? For functions defined on the real line, or on an interval of the line, there is no difference: we can just consider the intervals and obtain

as before.

However, the situation does change for maps defined on a non-convex domain. Consider the principal branch of square root, , defined on the slit plane .

Conformal map of a slit domain is not uniformly continuous

This function is continuous on but not uniformly continuous, since as . Yet, it satisfies for connected subsets , where one can take . I won’t do the estimates; let’s just note that although the points are close to each other, any connected subset of containing both of them has diameter greater than 1.

These points are far apart with respect to the inner diameter metric

In a way, this is still uniform continuity, just with respect to a different metric. Given a metric space , one can define inner diameter metric on by letting be the infimum of diameters of connected sets that contain both and . This is indeed a metric if the space is reasonable enough (i.e., any two points are contained in some bounded connected set). On a convex subset of , the inner diameter metric coincides with the Euclidean metric .

One might think that the equality should imply that the domain is convex, but this is not so. Indeed, consider the union of three quadrants on a plane, say . Any two points of can be connected by going up from whichever is lower, and then moving horizontally. The diameter of a right triangle is equal to its hypotenuse, which is the Euclidean distance between the points we started with.

A non-convex domain where inner diameter metric is the same as Euclidean

Inner diameter metric comes up (often implicitly) in complex analysis. By the Riemann mapping theorem, every simply connected domain , other than itself, admits a conformal map onto the unit disk . This map need not be uniformly continuous in the Euclidean metric (the slit plane is one example), but it is uniformly continuous with respect to the inner diameter metric on .

Furthermore, by normalizing the situation in a natural way (say, and ), one can obtain a uniform modulus of continuity for all conformal maps onto the unit disk, whatever the domain is. This uniform modulus of continuity can be taken of the form for some universal constant . Informally speaking, this means that a slit domain is the worst that can happen to the continuity of a conformal map. This fact isn’t often mentioned in complex analysis books. A proof can be found in the book Conformally Invariant Processes in the Plane by Gregory Lawler, Proposition 3.85. A more elementary proof, with a rougher estimate for the modulus of continuity, is on page 15 of lecture notes by Mario Bonk.

But this particular box, with dimensions 7.147 by 6.021 by 4.095, took me the better part of an hour to figure out.

It was a part of a numerical methods assignment: find the dimensions of a box with given volume , surface area , and diameter (i.e., space diagonal). Algebraic approach leads to pretty ugly expressions, which is the motivation for a numerical method. Specifically, the task was to apply the Newton-Raphson method to the map

Of course, I understood that not every triple is attainable. Also realized that the Jacobian of is degenerate when two of the coordinates coincide, which is a problem for the method. So I thought: let’s generate some random values that are not too close to one another, and give students the resulting parameters .

With , , and the parameters are , , and . Sure, a little rounding can’t hurt when numbers are of this size and we are quite far from the critical points of . So I put , and in one of the versions of the assignment.

But the Newton-Raphson method would not converge… because no such box exists! The rounding did hurt after all.

This motivated me to describe all attainable triples explicitly, which ended up being less of a chore than I expected. It helps to realize that , which reduces the search to the intersection of the sphere with the plane . This is a circle (called below), and the allowed range for is between the minimum and maximum of on .

This goes into Calculus 3 territory. Using Lagrange multipliers with two constraints looks like a tedious job. Instead, I decided to parametrize . Its center is where . The radius is . We also need an orthonormal basis of the subspace : the vectors

do the job.

So, the circle is parametrized by

This is not as bad as it looks: the product simplifies to

which tells us right away that the volume lies within

In terms of the original data the bounds for take the form

(And of course, cannot be negative even if the lower bound is.) It is easy to see that with equality only for a cube; however can be relatively small even when the box does not look very cube-ish. For the box pictured above, the tolerance is approximately ; after rounding and this drops to , and the desired volume of is way out of the allowable range .

Yes, the set of attainable triples is quite thin. Parallelepipeds are fragile objects: handle them with care.

Mathematicians and engineers are disinclined to agree about anything in public: should the area of a circle be described using the neat formula or in terms of the more easily measured diameter as , for example?
— J. Bryant and C. Sangwin, How Round is Your Circle?

I will argue on behalf of the diameter but from a mathematician’s perspective. The diameter of a nonempty set is

Whether should be or I’ll leave for you to decide. The radius of can be defined as

For a circle — whether this word means or — these definitions indeed agree with the diameter and radius. The example of shows that in the definition of the radius we should not require .

The problem of determining the radius of a given set was posed in 1857 by J.J.Sylvester in Quarterly Journal of Pure and Applied Mathematics. Thanks to Google Books, I can reproduce his article in its entirety:

77 letters, 119 citations on Google Scholar

Suppose that is a map of that is nonexpanding/short/metric/1-Lipschitz or whatyoucallit: for all . Clearly, the diameter does not increase: . What happens to the radius is not nearly as obvious…

It turns out that the radius does not increase either. Indeed, by Kirszbraun’s theorem can be extended to a 1-Lipschitz map of the entire plane, and the extended map tells us where the center of a bounding circle should go. Kirszbraun’s theorem is valid in for every , as well as in a Hilbert space. Hence, nonexpanding maps do not increase the radius of any subset of a Hilbert space.