Related papers: Smooth extensions of functions on separable Banach…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…

Let ${T_1,...,T_l}$ be a collection of differential operators with constant coefficients on the torus $\mathbb{T}^n$. Consider the Banach space $X$ of functions $f$ on the torus for which all functions $T_j f$, $j=1,...,l$, are continuous.…

The question of extension of locally defined maps to the entire space arises in many problems of analysis (e.g., local linearization of functional equations). A known classical method of extension of smooth local maps on Banach spaces uses…

In 1973 J. C. Wells showed that a variant of the Whitney extension theorem holds for $C^{1,1}$-smooth real-valued functions on Hilbert spaces. In 2021 D. Azagra and C. Mudarra generalised this result to $C^{1,\omega}$-smooth functions on…

Let X be a separable Banach space which admits a separating polynomial; in particular X a separable Hilbert space. Let $f:X \rightarrow R$ be bounded, Lipschitz, and $C^1$ with uniformly continuous derivative. Then for each {\epsilon}>0,…

We prove that in every separable Banach space $X$ with a Schauder basis and a $C^k$-smooth norm it is possible to approximate, uniformly on bounded sets, every equivalent norm with a $C^k$-smooth one in a way that the approximation is…

A Banach space $X$ has the $Mazur$-$Ulam$ $property$ if any isometry from the unit sphere of $X$ onto the unit sphere of any other Banach space $Y$ extends to a linear isometry of the Banach spaces $X,Y$. A Banach space $X$ is called…

We make some remarks on the global shape of continuous convex functions defined on a Banach space $Z$. Among other results we prove that if $Z$ is separable then for every continuous convex function $f:Z\to\mathbb{R}$ there exist a unique…

A mathematical smooth function means that the function has continuous derivatives to a certain degree C(k). We call it a k-smooth function or a smooth function if k can grow infinitively. Based on quantum physics, there is no such smooth…

We construct infinitely differentiable norms and partitions of unity for a class of Banach spaces which includes all spaces $\C(K)$ with $K$ a countable compact space, and all spaces $\C_0[0,\Omega )$ with $\Omega $ an ordinal.

We present an example of an infinite dimensional separable space of affine continuous functions on a Choquet simplex that does not contain a subspace linearly isometric to $c$. This example disproves a result stated in M. Zippin. On some…

Let $\mathbb{H}$ be a Hilbert space, $E \subset \mathbb{H}$ be an arbitrary subset and $f: E \rightarrow \mathbb{R}, \: G: E \rightarrow \mathbb{H}$ be two functions. We give a necessary and sufficient condition on the pair $(f,G)$ for the…

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 known classical method of extension of smooth local maps of Banach spaces uses smooth bump functions. However, such functions are absent in the majority of infinite-dimensional Banach spaces. This is an obstacle in the development of…

The following result was announced in the earlier version(s) of this paper: On weakly compactly generated Banach spaces which admit a Lipschitz, C^{p} smooth bump function, one can uniformly approximate uniformly continuous, bounded,…

We characterize the Banach spaces X such that Ext(X, C(K))=0 for every compact space.

We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $\epsilon:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$…

We focus on the presence of almost automorphy in strongly monotone skew-product semiflows on Banach spaces. Under the $C^1$-smoothness assumption, it is shown that any linearly stable minimal set must be almost automorphic. This extends the…

It is shown that there exist Banach spaces $X,Y$, a $1$-net $\mathscr{N}$ of $X$ and a Lipschitz function $f:\mathscr{N}\to Y$ such that every $F:X\to Y$ that extends $f$ is not uniformly continuous.

It is known that smooth bump functions are absent in the majority of infinite-dimensional Banach spaces. This is an obstacle in the development of local analysis, in particular in the questions of extending local maps onto the whole space.…