Is there a general theory of Sard measures? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T21:23:28Z http://mathoverflow.net/feeds/question/102500 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/102500/is-there-a-general-theory-of-sard-measures Is there a general theory of Sard measures? Francis Snapper 2012-07-17T23:05:14Z 2012-07-17T23:05:14Z <p>Let $f:M \to N$ be a smooth map of smooth (second countable) manifolds. The set $C_f \subset M$ of <em>critical points</em> of $f$ is defined to be the set of all $m \in M$ such that the differential $df : T_{m} M \to T_{f(m)}N$ does not have full rank. Then, <a href="http://en.wikipedia.org/wiki/Sard%27s_theorem" rel="nofollow">Sard's theorem</a> states that $f(C_f) \subset N$ has Lebesgue measure $0$. </p> <p>This is the starting point for both Morse theory as well as the differential approach to topological degree theory. After establishing genericity of the desired type of functions, Sard's theorem is not used again in either Morse or degree theory to the best of my knowledge: it is just a starting point.</p> <p>Now let $\lambda$ be any measure on $\mathbb{R}$ that is (say) absolutely continuous with respect to Lebesgue measure. This $\lambda$ (using the product measure on $\mathbb{R}^{\dim(N)}$ and a partition of unity) induces a measure $\Lambda$ on $N$. Clearly, the conclusion of Sard's theorem immediately applies to $\Lambda$ as well: $\Lambda[f(C_f)] = 0$ for any smooth $f$ mapping into $N$, by definition of absolute continuity of measures.</p> <p>It seems that one could attempt to reformulate degree theory or Morse theory for the new measure $\lambda$ instead of the usual Lebesgue measure. I'm not sure what one can conclude from such theories, but I am curious to see if someone has developed a general notion of "Sard measure" which starts with a definition equivalent to:</p> <blockquote> <p>A measure $\lambda$ in $\mathbb{R}$ is a <em>Sard measure</em> if for any smooth $f:M \to \mathbb{R}$ we have $\lambda[f(C_f)] = 0$.</p> </blockquote> <p>All measures absolutely continuous with respect to Lebesgue measure are "Sard" by the preceding observation, but:</p> <blockquote> <p>Are there other examples of non-trivial Sard measures, and is there a generalization of Morse and degree theories for arbitrary Sard measures?</p> </blockquote> <p>Any pointers to the literature, or an explanation of why such a theory would be completely useless are most welcome. </p>