Related papers: Smooth maps on convex sets

We first provide an approach to the recent conjecture of Bierstone-Milman-Pawlucki on Whitney's old problem on smooth extendability of functions defined on a closed subset of a Euclidean space, using higher order paratangent bundle they…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…

We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be…

We provide a complete characterization of closed sets with empty interior and positive reach in $\mathbb{R}^2$. As a consequence, we characterize open bounded domains in $\mathbb{R}^2$ whose high ridge and cut locus agree, and hence $C^1$…

Round fold maps are smooth maps on closed manifolds which are locally represented as the product maps of Morse functions and identity maps on open disks and whose singularity is realized as concentrically embedded spheres. The author…

As a generalization of geodesic function, in the present paper, we introduce the notion of geodesic $\varphi$-convex function and deduce some basic properties of $\varphi$-convex function and geodesic $\varphi$-convex function. We also…

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is…

Nearly convex sets play important roles in convex analysis, optimization and theory of monotone operators. We give a systematic study of nearly convex sets, and construct examples of subdifferentials of lower semicontinuous convex functions…

Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve with positive self-intersection. We prove that if there exists a non-constant meromorphic function on $F$, then the…

We introduce the notions of strong asymptotic uniform smoothness and convexity. We show that the injective tensor product of strongly asymptotically uniformly smooth spaces is asymptotically uniformly smooth. This applies in particular to…

A condensed set is a sheaf on the site of Stone spaces and continuous maps. We prove that condensed sets are equivalent to sheaves on the site of compact Hausdorff spaces and continuous maps. As an application, we show that there exists a…

A compactness of the Revuz map is established in the sense that the locally uniform convergence of a sequence of positive continuous additive functionals is derived in terms of their smooth measures. To this end, we first introduce a metric…

In this paper, we derive new sharp weighted Alexandrov-Fenchel and Minkowski inequalities for smooth, closed hypersurfaces under various convexity assumptions in Euclidean, spherical, and hyperbolic spaces. These inequalities extend…

We study dentable maps from a closed convex subset of a Banach space into a metric space as an attempt of generalize the Radon-Nikod\'ym property to a "less linear" frame. We note that a certain part of the theory can be developed in rather…

We show that on certain diffeological spaces there exist linear derivations that satisfy the Leibniz rule but are not smooth with respect to the given diffeology. This reveals that the notion of tangent space defined via all such…

For certain weighted locally convex spaces $X$ and $Y$ of one real variable smooth functions, we characterize the smooth functions $\varphi: \mathbb{R} \to \mathbb{R}$ for which the composition operator $C_\varphi: X \to Y, \, f \mapsto f…

There is a concept in digital topology of a shy map. We define an analogous concept for topological spaces: We say a function is shy if it is continuous and the inverse image of every path-connected subset of its image is path-connected.…

Reeb spaces of smooth functions are fundamental and strong tools in understanding manifolds via smooth functions with mild critical points. They are defined as the natural spaces of all connected components of level sets. They are also…

Given $n$ distinct points $\mathbf{x}_1, \ldots, \mathbf{x}_n$ in $\mathbb{R}^d$, let $K$ denote their convex hull, which we assume to be $d$-dimensional, and $B = \partial K $ its $(d-1)$-dimensional boundary. We construct an explicit…