Related papers: A bridge between Dubovitskii - Federer theorems an…

The classical Morse--Sard theorem claims that for a mapping $v:\mathbb R^n\to\mathbb R^{m+1}$ of class $C^k$ the measure of critical values $v(Z_{v,m})$ is zero under condition $k\ge n-m$. Here the critical set, or $m$-critical set is…

The Sard theorem from 1942 requires that a mapping $f:\mathbb{R}^n \to \mathbb{R}^m$ is of class $C^k$, $k > \max (n-m,0)$. In 1957 Duvovitski\u{\i} generalized Sard's theorem to the case of $C^k$ mappings for all $k$. Namely he proved…

For a regular (in a sense) mapping $v:\mathbb{R}^n \to \mathbb{R}^d$ we study the following problem: {\sl let $S$ be a subset of $m$-critical a set $\tilde Z_{v,m}=\{{\rm rank} \nabla v\le m\}$ and the equality $\mathcal{H}^\tau(S)=0$ (or…

Let $n, m, k$ be positive integers with $k=n-m+1$. We establish an abstract Morse-Sard-type theorem which allows us to deduce, on the one hand, a previous result of De Pascale's for Sobolev $W^{k,p}_{\textrm{loc}}(\mathbb{R}^n,…

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

The following theorem is proved: Let M be a locally Lipschitz hypersurface in C^n with one-sided extension property at each point (e.g., without analytic discs). Let S be a closed subset of M and f : M \ S ---> C^m \ E is a CR-mapping of…

If $F$ is a set-valued mapping from $\R^n$ into $\R^m$ with closed graph, then $y\in \R^m$ is a critical value of $F$ if for some $x$ with $y\in F(x)$, $F$ is not metrically regular at $(x,y)$. We prove that the set of critical values of a…

We prove a new Morse-Sard type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for $C^2$ mappings. We show the equivalence of three different types of regularity conditions which…

We extend Federer's coarea formula to mappings $f$ belonging to the Sobolev class $W^{1,p}(R^n;R^m)$, $1 \le m < n$, $p>m$, and more generally, to mappings with gradient in the Lorentz space $L^{m,1}(R^n)$. This is accomplished by showing…

We establish Luzin N and Morse--Sard properties for functions from the Sobolev space $W^{n,1}({\mathbb R}^{n})$. Using these results we prove that almost all level sets are finite disjoint unions of $C^1$--smooth compact manifolds of…

Siran constructed infinite families of k-crossing-critical graphs for every k > 2 and Kochol constructed such families of simple graphs for every k > 1. Richter and Thomassen argued that, for any given k > 0 and r > 5, there are only…

The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact,…

Let $D\subset\subset\mathbb{C}^n$ be a complex manifold of dimension $p\geq 2$ with $\C^2$ boundary in $\mathbb{C}^n$. Let $f$ be a $\C^1$ function on $bD$ and $V$ a generic and large enough family of complex $(n-p+1)$-planes. Let suppose…

Let $f:I\to X$ be a d.c. mapping, where $I\subset \R$ is an open interval and $X$ a Banach space. Let $C_f$ be the set of critical points of $f$. We prove that $f(C_f)$ has zero 1/2-dimensional Hausdorff measure.

Siran constructed infinite families of k-crossing-critical graphs for every k=>3 and Kochol constructed such families of simple graphs for every k=>2. Richter and Thomassen argued that, for any given k>=1 and r>=6, there are only finitely…

Necessary and sufficient condition is given for a set $A\subset R^1$ to be a subset of the critical values set for a $C^k$ function $f:R^m \to R^1$.

We present a surprisingly new connection between two well-studied combinatorial classes: rooted connected chord diagrams on one hand, and rooted bridgeless combinatorial maps on the other hand. We describe a bijection between these two…

We study the problem of Minimum $k$-Critical Bipartite Graph of order $(n,m)$ - M$k$CBG-$(n,m)$: to find a bipartite $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical bipartite, and the tuple $(|E|, \Delta_U,…

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…

We develop Morse theory for manifolds with boundary. Besides standard and expected facts like the handle cancellation theorem and the Morse lemma for manifolds with boundary, we prove that, under a topological assumption, a critical point…