Sard teoremi
Matematiğin bir alt dalı olan analiz ve diferansiyel geometride Sard teoremi (bazen Sard önsavı) ya da Morse-Sard teoremi, bir Öklid uzayı veya manifolddan yine başka bir Öklid uzayı ya da manifolda tanımlanan pürüzsüz bir fonksiyonun kritik değerler kümesinin (yani, kritik noktaların görüntü kümesinin) sıfır Lebesgue ölçüsüne sahip olduğunu ifade eder. Teorem, Anthony Morse ve Arthur Sard'ın adlarını taşımaktadır. n\text{ ve }m pozitif tam sayı ve k\geq \max\{n-m+1, 1\} olmak üzere, f\colon \mathbb{R}^n \rightarrow \mathbb{R}^m fonksiyonu C^k olsun; yani, f, k kere sürekli türevlenebilen bir fonksiyon olsun.