Related papers: Smooth surjections and surjective restrictions

Let $E$, $F$ be separable Hilbert spaces, and assume that $E$ is infinite-dimensional. We show that for every continuous mapping $f:E\to F$ and every continuous function $\varepsilon: E\to (0, \infty)$ there exists a $C^{\infty}$ mapping…

Let $E$ be an infinite-dimensional separable Hilbert space. We show that for every $C^1$ function $f:E\to\mathbb{R}^d$, every open set $U$ with $C_f:=\{x\in E:\,Df(x)\; \text{is not surjective}\}\subset U$ and every continuous function…

We employ the theory of elementary submodels to improve a recent result by Aron, Jaramillo and Le Donne (Ann. Acad. Sci. Fenn. Math., to appear) concerning restricting uniformly open, continuous surjections to smaller subspaces where they…

Let $X$ be a Banach space with a separable dual $X^{*}$. Let $Y\subset X$ be a closed subspace, and $f:Y\to\mathbb{R}$ a $C^{1}$-smooth function. Then we show there is a $C^{1}$ extension of $f$ to $X$.

In this note we obtain the surjectivity of smooth maps into Euclidean spaces under mild conditions. As application we give a new proof of the Fundamental Theorem of Algebra. We also observe that any $C^1$-map from a compact manifold into…

Let $f:M^m\to N^n$ be a smooth map between two differential manifolds with $N$ connected, $f(M)$ closed and $f(M)\neq N$. In this short note, we show that either all the points of $M$ are critical points of $f$ or the dimension the…

In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear…

We find conditions for a smooth nonlinear map $f:U\rightarrow V$ between open subsets of Hilbert or Banach spaces to be locally convex in the sense that for some $c$ and each positive $\varepsilon<c$ the image $% f(B_\varepsilon(x))$ of…

We show that norms on certain Banach spaces $X$ can be approximated uniformly, and with arbitrary precision, on bounded subsets of $X$ by $C^{\infty}$ smooth norms and polyhedral norms. In particular, we show that this holds for any…

Let us consider a Banach space $X$ with the property that every real-valued Lipschitz function $f$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$ with $\Lip(g)\le C \Lip(f)$ (with $C$ depending only on the space…

We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping…

We characterize the class of separable Banach spaces $X$ such that for every continuous function $f:X\to\mathbb{R}$ and for every continuous function $\epsilon:X\to\mathbb(0,+\infty)$ there exists a $C^1$ smooth function $g:X\to\mathbb{R}$…

Let $X$ and $Z$ be Banach spaces, $A$ a closed subset of $X$ and a mapping $f:A \to Z$. We give necessary and sufficient conditions to obtain a $C^1$ smooth mapping $F:X \to Z$ such that $F_{\mid_A}=f$, when either (i) $X$ and $Z$ are…

Let X be a separable real Banach space having a k-times continuously Fr\'{e}chet differentiable (i.e. C^k-smooth) norm where k=1,...,\infty. We show that any equivalent norm on X can be approximated uniformly on bounded sets by C^k-smooth…

Let $\mathcal{X}$ be a Banach space with a fundamental biorthogonal system and let $\mathcal{Y}$ be the dense subspace spanned by the vectors of the system. We prove that $\mathcal{Y}$ admits a $C^\infty$-smooth norm that locally depends on…

If a separable Banach space contains an isometric copy of every separable reflexive Fr\'echet smooth Banach space, then it contains an isometric copy of every separable Banach space. The same conclusion holds if we consider separable Banach…

Let $\mathbb{S}^{d-1}$ denote the unit sphere in Euclidean space $\mathbb{R}^d$, $d\geq 2$, equipped with surface measure $\sigma_{d-1}$. An instance of our main result concerns the regularity of solutions of the convolution equation \[…

In this paper we prove that if $f$ is a self-mapping of a nonempty subset $K$ of a normed space $X$ that satisfies some mild conditions, then the minimal displacement of large iterations $f^n$ always dominates that of $f$ along certain…

Let $(M,\rho)$ be a metric space and let $Y$ be a Banach space. Given a positive integer $m$, let $F$ be a set-valued mapping from $M$ into the family of all compact convex subsets of $Y$ of dimension at most $m$. In this paper we prove a…

Fr\'echet means are indispensable for nonparametric statistics on non-Euclidean spaces. For suitable random variables, in some sense, they "sense" topological and geometric structure. In particular, smeariness seems to indicate the presence…