The set of critical values of a sufficiently smooth function between manifolds has measure zero, meaning almost every value is a regular value. Proved by Arthur Sard, it is a foundational tool of differential topology, underlying transversality arguments and degree theory.
Facts
StatementThe set of critical values of a sufficiently smooth function between Euclidean spaces or manifolds has Lebesgue measure zero, so almost every point in the target is a regular value. 1 Proof YearThe one-dimensional special case (target dimension m=1) was proven by Anthony P. Morse in 1939; Arthur Sard proved the general case in 1942. Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Sources
1. Sard's Theorem (Wikipedia)
Wikimedia FoundationStatement sectionQuote, Statement section
...was proven by Anthony P. Morse in 1939, and the general case by Arthur Sard in 1942.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.