Whitney extension and counterexample to Sard’s theorem
by Willie Wong
In a first course in differential geometry/topology we are often taught the following version of Sard’s theorem:
Theorem (Sard, smooth case)
Let and be (finite dimensional) smooth manifolds, and let be a smooth (infinitely differentiable) map. Let be the set of critical values, that is, for every there exists such that is not surjective. Then has measure zero.
It turns out that Sard in his 1942 paper proved something stronger.
Let be a mapping of class (all partial derivatives up to order exists and are continuous) for . Let be defined as above. And if either
- ; or
- and ,
then has measure 0.
Over at MathOverflow, Sergei Ivanov has shown that in the case , the statement can be modified so that is not necessary.
In this post, we will describe counterexamples in the case if the condition on is not satisfied. We will also sketch a natural generalisation of Ivanov’s argument for higher dimensions.
Extremely degenerate critical points
The argument given by Ivanov was implicitly contained in Sard’s original 1942 paper. It contains the following observation based on Taylor’s Theorem:
Let be a function such that . If $latex $f$ is -times differentiable at the origin with the first derivatives vanishing, we have for as .
In particular, for each there exists a -neighborhood of the origin such that
Now we prove
Let be a function where the domain is open and has finite measure. Let be such that for every in , there exists such that the first derivatives of exists and vanishes at , where . Then has measure 0.
Proof: By the observation above, given we have that for every there exists a ball such each has measure at most one and the measure . Applying Vitali covering lemma we can find a countable subcollection such that and that the are pairwise disjoint. This implies
where in the 4th inequality we used that and and in the last inequality we used that are disjoint subsets of . Taking we get the desired conclusion. Q.E.D.
Ivanov’s argument is the special case . Note that we did not assume that is ; we merely assumed times differentiability (and the vanishing of the top derivatives at the “critical” points.
Low regularity counterexample
The counterexample to Sard’s theorem when is too small was already constructed by Hassler Whitney 7 years prior. It is an interesting application of the Whitney extension theorem.
Theorem (Whitney extension)
Let be a closed set. Let be a family of functions for every multi-index for some natural number , such that the are compatible as possible Taylor expansions of some function (see the Wikipedia entry for a more precise formulation), then there exists a function that is class (and in fact real analytic outside of ) such that it and its derivatives up to order coincide with on the set .
In view of the extension theorem, to construct a counterexample to Sard’s theorem in dimensions it suffices to construct a closed subset of on which is non-constant but is compatible with having vanishing partial derivatives everywhere. (That this is possible is due to the fact that along non-rectifiable curves, the value of at two points cannot necessarily be represented by “an integral of the derivative”.)
To be more precise, it suffices that we construct a set and a function such that
- is closed
- has positive measure
- for we have that
The third condition ensures that the function is compatible with having vanishing derivatives everywhere along . Note that the Whitney extension of such a function would necessarily have the set containing , which has positive measure.
As with often the case, the construction of and relies on a self-similar procedure that is familiar from fractal constructions. Indeed, a self-similar construction allows for and to scale differently, which is also behind such constructions as the Cantor staircase.
We start by taking the unit square and removing four smaller squares from it, each of the four squares have side length . On the remaining set we draw line segments connecting the midpoints of the squares as shown in red below. This gives our construction at step 1. We iterate now inside each of the small squares by taking a copy of the step 1 construction, scaling it by , and pasting it inside so the path connects. We show the procedure for one of the small squares in blue.
The set will consist of the closure of the union of the red paths with all of its scaled copies. It is clear that this is a closed, connected set that is topologically identical to the closed unit interval. We explicitly parametrise the set as follows: divide the unit interval into nine equal portions. The odd numbered portions correspond to the red parts in the image above. The even numbered portions correspond to the portions within the small squares. Each of the even numbered portions we divide into nine parts and repeat. In other words, we use a construction similar to the Cantor staircase. Express the numbers in the interval in base 9. Let be the function that assigns to a number the position (after the “decimal” point) in base nine of the first appearance of a even “digit”. So , and . Then we can conclude that belongs to one of the line segments added at the th step of the construction if is finite. The points where are infinite are the limit points added during the closure.
To define on , we do as follows. First we send and . For , we consider its base-9 expansion and truncate it after the first even digit. So . Now that the remaining digits are all odd except the last, we replace them by the rule ; the last digit we replace by . So that . This last number we interpret in base-4 (where by convention), which we regard as the value of . So as a function on , the construction of is exactly analogous to the Cantor staircase function, and is uniformly continuous but not absolutely continuous. It is almost everywhere constant and not differentiable at the “limit points” when considered as a function on . On the other hand, its differentiability property improves when considered as a function on , because of the change of scale built into the construction.
We see immediately on each of the line segments is constant. Furthermore, a bit more reflection shows that if and are two line segments of which tough each other, we have that . This implies that if are such that , either (a) at least one of has that is infinite, or (b) there is some between them with . This implies that if in base-9 expansion differs at the th digit, the difference of their base-9 expansions must be strictly greater than . Or, in other words, after the th stage of the construction of , the two points must be separated by one whole step. This means that the planar distance scales like . On the other hand the difference scales like , hence we have that . So if is chosen to be , we would have that as desired. (In Whitney’s original paper, is chosen to be exactly a third.)
Note that the “path length” of the set is precisely where is the total length of the red segments in the image above. We see that when the path length is finite. This means that represents a rectifiable path and is hence we can expression as an integral of its derivatives along , and hence the desired property is not possible. (Or, in other words, we cannot “cancel” the singularity in the Cantor staircase with singularities in the embedding [as there are none].) When we see that “path length” diverges strongly. This non-rectifiability is what allows us to finish this construction.
Lastly, as a sanity check, we can make sure that cannot be extended to a function with first derivative vanishing everywhere along . Were that to be possible we need . From the construction above we see that this requires . But to fit four identical squares into a bigger one we need necessarily , and so is not possible, in agreement with Sard's theorem.
- Whitney’s original paper can be found here