0708-1300/Class notes for Tuesday, October 16
Dror's Computer Program for C+ C
Our handout today is a printout of a Mathematica notebook that computes the measure of the projection of in a direction (where is the standard Cantor set). Here's the, and here's a version. Also, here's the main picture on that notebook:
Typed Class Notes - First Hour
Proof of Sard's Theorem. That is, for being smooth, the measure (critical values of f) = 0.
Comments regarding last class
1) In our counterexample to Sard's Theorem for the case of functions it was emphasized that there are functions f from a Cantor set C' to the Cantor set C. We then let and hence the critical values are as was shown last time. The sketch of such an f was the same as last class.
Furthermore, in general we can find a such function where we make the "bumps" in f smoother as needed and so where is a "very thin" Cantor set. But now let which will have an image of an interval.
2) The code, and what the program does, for Dror's program (above) was described. It is impractical to describe it here in detail and so I will only comment that it computes the measure of for various alpha and that the methodology relied on the 2nd method of proof regarding C+C done last class.
Proof of Sard's Theorem
Firstly, it is enough to argue locally.
Further, the technical assumption about manifolds that until now has been largely ignored is that our M must be second countable. Recall that this means that there is a countable basis for the topology on M.
As a counterexample to Sard's Theorem when M is NOT second countable consider the real line with the discrete topology, a zero dimensional manifold, mapping via the identity onto the real line with the normal topology. Every point in the real line is thus a critical point and the real line has non zero measure.
We can restrict our neighborhoods so that we can assume and
The general idea here is that if we consider a function g=f' that is nonzero at p but that f is zero at p, the inverse image is (in some chart) a straight line (a manifold). As such, we will inductively reduce the dimension from m down to zero. For m=0 there is nothing to prove. Hence we assume true for m-1.
Now, set all partial derivities of f of order for
Set is not onto }. This is just the critical points.
We will show by backwards induction that
We have not actually defined the measure . We use it merely to denote that has measure zero, a concept that we DID define.
has measure 0.
W.L.O.G (without loss of generality) we can assume n=1. Intuitively this is reasonable as in lower dimensions the theorem is harder to prove; indeed, a set of size in 1D becomes a smaller set of size in 2D etc. More precisely, for , . Applying the proposition that if A is of measure zero in then is measure zero in we now see that assuming n=1 is justified.
Taylor's Theorem: for smooth enough and some then for some t between x and .
For all but the last term vanishes and so we can conclude that f(x) is bounded by a constant times .
Now let us consider a box B in containing a section of . We divide B into boxes of side .
By Taylor's Theorem, of an interval of length where the constant is determined by Taylor's Theorem. Call this interval
But which tends to zero as tends to infinity.
Q.E.D for Claim 1
has measure zero for . We just proved this for k=m.
Now, W.L.O.G. is the empty set. If not, just consider which is still a manifold as is closed (as it is determined by the "closed" condition that a determinant equals zero)
So, there is some kth derivative g of f such that .
So but is at least locally a manifold of dimension 1 less. So, which has measure zero due to our induction hypothesis.
Q.E.D for Claim 2
is of measure zero.
Recall is defined differently from the and so requires a different technique to prove.
W.L.O.G. lets assume that is the empty set. So, some derivative of f is not zero. W.L.O.G. is non zero near some point p. We can simply move to a coordinate system where this is true.
The idea here is to prove that the intersection with any "slice" has measure zero where we will then invoke a theorem that will claim everything has measure zero.
So, let U be an open neighborhood of a point . Consider and let be onto. Using our previous theorem for the local structure of such a submersion W.L.O.G. let us assume via . That is, .
Our differential df then is just the matrix whose first row consists of . Then df is onto if the submatrix consisting of all but the first row and first column is invertible.
For notational convenience let us say .
Now define Also lets denote "critical points of f by CP(f) and "critical values of f" by CV(f)
But has measure zero by our induction.
If is closed and has then .
Note: We prove this significantly differently then in Bredon
If for an open U cover for a closed A then such that
Indeed, let be then d is a continuous function of a compact set and so obtains a minimum and since d>0 then . But this works for the claim. Q.E.D
The rest of the proof of Lemma 1, and of Sard's Theorem will be left until next class