Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Implementing Sard's theorem.

  1. Aug 1, 2008 #1


    User Avatar
    Gold Member

    I want to use the theorem that states that if C is the set of critical points in N of a smooth function f:N->M (where N and M are manifolds), then f(C) is of measure zero in M.
    in solving the next statement:
    "if N is a submanifold of M, with dim(N)<dim(M), then N has measure zero in M".

    Now let's look at: f(x)=x for f:N->M, this function is smooth, but because the differential of f, df isn't onto the tangent space of M, each value of N is critical, thus f(C)=N, so N is of measure zero in M by sard's theorem.

    The book I'm using asks to prove this without sard's theorem which looks a bit hard, although I think I can assume wlog, that M=R^m and N=R^n, and n<m, but then I'm not sure how to prove that R^n has measure zero in R^m, without using the fact that R^n is diffeoemorphic to {(x1,...,xn,0,....,0) in R^m}.
    any hints?
    thanks in advance.
  2. jcsd
  3. Aug 2, 2008 #2
    Can you prove that R has measure zero in R^2?
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Implementing Sard's theorem Date
A Stokes' theorem on a torus? Apr 27, 2017
I Proof of Stokes' theorem Apr 8, 2017
I Generalisation of Pythagoras theorem Jul 12, 2016
A Non-Abelian Stokes theorem and variation of the EL action May 31, 2016
Sard's theorem's vector space Jul 5, 2012