The Dubovitski\uı-Sard Theorem in Sobolev Spaces
The Sard theorem from 1942 requires that a mapping f:Rn→Rm is of class Ck, k>max(n−m,0). In 1957 Duvovitski\uı generalized Sard's theorem to the case of Ck mappings for all k. Namely he proved that, for almost all y∈Rm, Hℓ(Cf∩f−1(y))=0 where ℓ=max(n−m−k+1,0), Hℓ denotes the Hausdorff measure, and Cf is the set of critical points of f. In 2001 De Pascale proved that the Sard theorem holds true for Sobolev mappings of the class Wlock,p(Rn,Rm), k>max(n−m,0) and p>n. We will show that also Dubovitski\uı's theorem can be generalized to the case of Wlock,p(Rn,Rm) mappings for all k∈N and p>n.