Skip to main content
4 of 8
added 4 characters in body

Can all contours of a function on a disk be made arbitrarily small?

Denote $D=\{x^2+y^2\le1\}\subset\mathbb R^2$ a disk.

Let $f:D\to\mathbb R$ be a function on it. I am interested in restrictions of simple Morse functions on $\mathbb R^2$, but I suspect the answer is the same for any continuous or any smooth function.

A contour of $f$ is a connected component of the preimage of a point, $f^{-1}(\mathrm{const})$.

The diameter of a set is the maximum distance between its points.

Can the diameter of each contour be made arbitrarily small by a suitable choice of $f$?

I suspect that no; namely, I suspect that at least one contour of $f$ will have diameter greater than, say, the radius of the disk, but I can't prove it.

For example, consider a Y-shaped figure formed by three radii with angles of $2\pi/3$ between them, and $f$ being the distance from this figure. Then the largest contour is the Y figure, with diameter greater than the radius of the disk but smaller than its diameter.