C^r for finite r

edit

Actually, F doesn't need to be smooth, C^r suffices as soon as r>max(0,n-m). (check this bound)

You need r-1 > max(0,n-m). Otherwise you are right. siℓℓy rabbit (talk) 15:23, 13 June 2008 (UTC)Reply
edit

Note, the definition of critical point used in Sard's theorem does not agree with the definition in critical point (mathematics). It's not clear to me that critical point (mathematics) needs to be changed as the definition is pretty flexible. Rybu (talk) 00:09, 21 September 2008 (UTC)Reply

I think it is more of a problem with the schizophrenic article Critical point (mathematics), rather than this one. This article is very specific about what it means to be a critical point. siℓℓy rabbit (talk) 00:46, 21 September 2008 (UTC)Reply