Abstract:The classical Morse-Sard theorem claims that for a mapping v : R-n -> Rm+1 of class C-k the measure of critical values v(Z(v,m)) is zero under condition k >= n - m. Here the critical set, or m-critical set is defined as Z(v,m) = {x is an element of R-n : rank del v(x) <= m}. Further Dubovitskii in 1957 and independently Federer and Dubovitskii in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C-k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R-n -> R-d belongs to the Holder class C-k,C-alpha, 0 <= alpha < 1, then for every q> m the identity H-mu (Z(v,m) boolean AND v(-1) (y)) = 0 holds for H-q-almost all y is an element of R-d, where mu = n - m - (k + alpha) (q - m). Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C-k-case (when alpha = 0); similar result is established for the Sobolev classes of mappings W-p(k)(R-n,R-d) with minimal integrability assumptions p = max(1, n/k), i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools). (C) 2020 Elsevier Masson SAS. All rights reserved.

Flexible versions of the Stone-Weierstrass Theorem in General and Applications to Probability Theory

Probability Versions of Li-Yau Type Inequalities and Applications

Strong Limit Theorems for Random Sets and Fuzzy Random Sets with Slowly Varying Weights.

Three Series Theorem for Independent Random Variables under Sub-linear Expectations with Applications

Proof mining and probability theory

A note on a stochastic approach to Caffarelli-Silvestre Theorem

New proofs to measurable, predictable and optional section theorems

Stone-Weierstrass approximation revisited

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma

Borel-Cantelli, zero-one laws and inhomogeneous Duffin-Schaeffer

A general Banach-Stone type theorem and applications

On Uncertainty Principle for the Morse - Sard Theorem

Lower Bounds for Possibly Divergent Probabilistic Programs.

Formalization of a Stochastic Approximation Theorem

On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem

On semi-continuity and continuity of the smallest and largest minimizing point of real convex functions with applications in probability and statistics

Classical and Almost Sure Local Limit Theorems

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales

Variant fountain theorems and their applications

On Some Universal Morse–Sard Type Theorems

Stone's theorem for distributional regression in Wasserstein distance