Sard's theorem

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo smooth functions
differentiable maps
gptkbp:category differential geometry
real analysis
gptkbp:field mathematical analysis
differential topology
gptkbp:firstPublished 1942
gptkbp:generalizes implicit function theorem
rank theorem
https://www.w3.org/2000/01/rdf-schema#label Sard's theorem
gptkbp:namedAfter gptkb:Arthur_Sard
gptkbp:publishedIn gptkb:Bulletin_of_the_American_Mathematical_Society
gptkbp:relatedTo gptkb:Morse_lemma
regular value theorem
gptkbp:sentence The set of critical values of a smooth map has measure zero.
gptkbp:usedIn gptkb:Morse_theory
singularity theory
transversality theory
gptkbp:bfsParent gptkb:Differential_Topology
gptkbp:bfsLayer 6