Related papers: Morse-Sard theorem for d.c. curves

In the first part Busemann concavity as non-negative curvature is introduced and a bi-Lipschitz splitting theorem is shown. Furthermore, if the Hausdorff measure of a Busemann concave space is non-trivial then the space is doubling and…

The paper provides an elementary proof establishing a sharp universal bound on the $(d-1)$-Hausdorff measure of the zeros of any nontrivial multivariable polynomial $p:\mathbb{R}^d\to\mathbb{R}$ within a $d$-dimensional cube of size $r$.…

The paper introduces the concept of quasimeasure of noncompactness. Motivated by the Arzel\`a-Ascoli theorem for $C^b(X,E)$, where $X$ is an Euclidean space and $E$ an arbitrary Banach space, we construct a quasimeasure for this space and…

Let C be two times continuously differentiable curve in R^2 with at least one point at which the curvature is non-zero. For any i,j > 0 with i+j =1, let Bad(i,j) denote the set of points (x,y) in R^2 for which max {||qx ||^{1/i},…

In this note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question…

This paper proves an atomic decomposition of the space of $1$-dimensional metric currents without boundary, in which the atoms are specified by closed Lipschitz curves with uniform control on their Morrey norms. Our argument relies on a…

We characterize measure spaces such that the canonical map $L_\infty \to L_1^*$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the…

The Morse-Sard theorem requires that a mapping $v:R^n \to R^m$ is of class $C^k$, $k>n-m$. In 1957 Dubovitski\u{\i} generalized this result by proving that almost all level sets for a $C^k$ mapping have $H^s$-negligible intersection with…

We define the total curvature of a semialgebraic embedding of a graph in the 3-dimensional Euclidean space. We prove that it satisfies a Chern-Lashof type inequality and we describe when the equality holds. We also prove a generalization of…

We consider a family of variational problems on a Hilbert manifold parameterized by an open subset of a Banach manifold, and we discuss the genericity of the nondegeneracy condition for the critical points. Based on an idea of B. White, we…

A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y) < c d(x,z) for all x<y<z in X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It…

For any open orientable surface $M$ and convex domain $\Omega\subset \mathbb{C}^3,$ there exists a Riemann surface $N$ homeomorphic to $M$ and a complete proper null curve $F:N\to\Omega.$ This result follows from a general existence theorem…

The Besicovitch projection theorem states that if a subset $E$ of the plane has finite length in the sense of Hausdorff measure and is purely unrectifiable (so its intersection with any Lipschitz graph has zero length), then almost every…

The classical Cantor's intersection theorem states that in a complete metric space $X$, intersection of every decreasing sequence of nonempty closed bounded subsets, with diameter approaches zero, has exactly one point. In this article, we…

Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces:…

Ten years ago, Beresnevich-Dickinson-Velani initiated a project that develops the general Hausdorff measure theory of dual approximation on non-degenerate manifolds. In particular, they established the divergence part of the theory based on…

Davies and Rogers constructed a Hausdorff measure satisfying the following property: every Borel subset of the space has measure either $\infty$ or $0$. In this paper, we examine cardinal invariants of their measure.

It is shown that two Banach spaces are linearly isometric if and only if the Gromov--Hausdorff distance between them is finite, in particular, zero. The proof is compilative and relies on results obtained by many researchers on the…

A divide is a relative generic immersion of a finite union of copies of the unit interval in the unit disk. A divide defines a classical link in the 3- sphere, which is a fibered link if the image of the immersion is connected. We prove in…

Let $\cal C$ be a non--degenerate planar curve and for a real, positive decreasing function $\psi$ let $\cal C(\psi)$ denote the set of simultaneously $\psi$--approximable points lying on $\cal C$. We show that $\cal C$ is of Khintchine…