Related papers: Smooth surjections and surjective restrictions

If $(X,d)$ is a metric space then the map $f\colon X\to X$ is defined to be a weak contraction if $d(f(x),f(y))<d(x,y)$ for all $x,y\in X$, $x\neq y$. We determine the simplest non-closed sets $X\subseteq \mathbb{R}^n$ in the sense of…

Our note is a complement to recent articles \cite{JS1} (2011) and \cite{JS2} (2013) by M. Jim\'enez-Sevilla and L. S\'anchez-Gonz\'alez which generalise (the basic statement of) the classical Whitney extension theorem for $C^1$-smooth real…

Let $(M^{n+1},g,e^{-f}d\mu)$ be a complete smooth metric measure space with $2\leq n\leq 6$ and Bakry-\'{E}mery Ricci curvature bounded below by a positive constant. We prove a smooth compactness theorem for the space of complete embedded…

We investigate necessary and sufficient conditions for a nonexpansive map $f$ on a Banach space $X$ to have surjective displacement, that is, for $f - \mathrm{id}$ to map onto $X$. In particular, we give a computable necessary and…

A strong submeasure on a compact metric space X is a sub-linear and bounded operator on the space of continuous functions on X. A strong submeasure is positive if it is non-decreasing. By Hahn-Banach theorem, a positive strong submeasure is…

Smooth Equations of the form G[z]=0 are investigated in Banach spaces with the aim of continuing the basic solution G[0]=0 to a solution curve of G[z]=0 with the implicit function theorem. If the linearization is surjective, then the…

The rigidity of the Positive Mass Theorem states that the only complete asymptotically flat manifold of nonnegative scalar curvature and zero mass is Euclidean space. We study the stability of this statement for spaces that can be realized…

We prove that the positive mass theorem applies to Lipschitz metrics as long as the singular set is low-dimensional, with no other conditions on the singular set. More precisely, let $g$ be an asymptotically flat Lipschitz metric on a…

Let $A+B$ be the pointwise (Minkowski) sum of two convex subsets $A$ and $B$ of a Banach space. Is it true that every continuous mapping $h:X \to A+B$ splits into a sum $h=f+g$ of continuous mappings $f:X \to A$ and $g:X \to B$? We study…

We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak…

Whitney's extension problem asks the following: Given a compact set $E\subset\mathbb{R}^n$ and a function $f:E\to \mathbb{R}$, how can we tell whether there exists $F\in C^m(\mathbb{R}^n)$ such that $F=f$ on $E$? A 2006 theorem of Charles…

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most…

Let $X$ be a WCG Banach space admitting a $C^k$-Fr\' echet smooth norm. Then $X$ admits an equivalent norm which is simultaneously $C^1$-Fr\' echet smooth, LUR, and a uniform limit of $C^k$-Fr\' echet smooth norms. If $X=C([0,\alpha])$,…

Let $X$ be a real or complex Banach space. Let $S(X)$ denote the unit sphere of $X$. For $x\in S(X)$, let $S_{x}=\{x^*\in S(X^*):x^*(x)=1\}$. A lot of Banach space geometry can be determined by the `quantum' of the state space $S_{x}$. In…

In this note we review some results on the transversality conditions for a smooth Fredholm map $f: X \times (0,T) \to Y$ between two Banach spaces $X,Y$. These conditions are well-known in the realm of bifurcation theory and commonly…

We prove two theorems about differentiable functions on the Banach space C(K), where K is compact. (i) If C(K) admits a non-trivial function of class C^m and of bounded support, then all continuous real-valued functions on C(K) may be…

This paper studies the estimation of smooth functionals $f(\theta)$ of a mean parameter $\theta = \mathbb{E}_P[W]$ for a distribution $P$ on a general Banach space. We propose a cross-fitted estimator based on a single sample splitting and…

A remarkable theorem of R. C. James is the following: suppose that $X$ is a Banach space and $C \subseteq X$ is a norm bounded, closed and convex set such that every linear functional $x^* \in X^*$ attains its supremum on $C$; then $C$ is a…

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…

Let $R$ be a constant. Let $\mathcal{M}^R_\gamma$ be the space of smooth metrics $g$ on a given compact manifold $\Omega^n$ ($n\ge 3$) with smooth boundary $\Sigma $ such that $g$ has constant scalar curvature $R$ and $g|_{\Sigma}$ is a…