(Part of) a proof of Sard’s Theorem

I have always wanted to prove Sard’s Theorem. Now I shall stumble my way into proving a deeply unsatisfying special case of it, after a whole day of dead ends and red herrings. Consider first the special case of a smooth function . At first, I thought that the number of critical points of suchContinue reading “(Part of) a proof of Sard’s Theorem”