Related papers: Smooth extensions of functions on separable Banach…

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…

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…

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 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…

Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $\omega$ easily imply extension theorems for $C^{1,\omega}$-smooth functions on super-reflexive…

In this erratum, we recover the results from an earlier paper of the author's which contained a gap. Specifically, we prove that if X is a Banach space with an unconditional basis and admits a C^{p}-smooth, Lipschitz bump function, and Y is…

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}$…

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…

Let $X$ be a separable Banach space and $u{:} X\to\Bbb{R}$ locally upper bounded. We show that there are a Banach space $Z$ and a holomorphic function $h{:} X\to Z$ with $u(x)<\|h(x)\|$ for $x\in X$. As a consequence we find that the sheaf…

Let us consider a Riemannian manifold $M$ (either separable or non-separable). We prove that, for every $\epsilon>0$, every Lipschitz function $f:M\rightarrow\mathbb R$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$…

The present note is a corrigendum to the paper "On Smooth extensions of vector-valued functions defined on closed subsets of Banach spaces" [Math. Ann. (2013) 355: 1201--1219].

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 $X$ be a real separable normed space $X$ admitting a separating polynomial. We prove that each continuous function from a subset $A$ of $X$ to a real Banach space can be uniformly approximated by restrictions to $A$ of functions which…

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 $C$ be a compact convex subset of $\mathbb{R}^n$, $f:C\to\mathbb{R}$ be a convex function, and $m\in\{1, 2, ..., \infty\}$. Assume that, along with $f$, we are given a family of polynomials satisfying Whitney's extension condition for…

Let $E$ be an arbitrary subset of a Banach space $X$, $f: E \rightarrow \mathbb{R}$ be a function, and $G:E \rightrightarrows X^*$ be a set-valued mapping. We give necessary and sufficient conditions on $f, G$ for the existence of a…

We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…

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…

Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive…

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…