Related papers: On Gateaux differentiability of pointwise Lipschit…

Let $1<p<\infty$ and let $n\geq 1$. It is proved that a function $f:{\mathbb R}\to {\mathbb C}$ is $n$-times Fr\'echet differentiable on ${\mathcal S}^p$ at every self-adjoint operator if and only if $f$ is $n$-times differentiable,…

We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of…

We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped…

The isometric universality of the spaces $C(K)$ for $K$ a non scattered Hausdorff compact does not take into account the ``quality'' of the representation. Indeed, the existence of an isometric copy of a separable Banach space $X$ into…

A group G is representable in a Banach space X if G is isomorphic to the group of isometries on X in some equivalent norm. We prove that a countable group G is representable in a separable real Banach space X in several general cases,…

It is known that a Lipschitz continuous map from the Euclidean domain to a metric space is metrically differentiable almost everywhere. When the metric space is a Banach space dual to separable, the metric differential has its linear…

For a space $X$ denote by $C_b(X)$ the Banach algebra of all continuous bounded scalar-valued functions on $X$ and denote by $C_0(X)$ the set of all elements in $C_b(X)$ which vanish at infinity. We prove that certain Banach subalgebras $H$…

Let ${\mathfrak M}=({\mathcal M},\rho)$ be a metric space and let $X$ be a Banach space. Let $F$ be a set-valued mapping from ${\mathcal M}$ into the family ${\mathcal K}_m(X)$ of all compact convex subsets of $X$ of dimension at most $m$.…

We give a sufficient criterion, which we call stability, for a coarse Lipschitz map $f$ from a complete manifold $X$ with Ricci curvature bounded below to a proper Hadamard space $Y$ to be within bounded distance of a harmonic map. We prove…

A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,...,…

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…

We show that every model filiform group $\mathbb{E}_{n}$ contains a measure zero set $N$ such that every Lipschitz map $f\colon \mathbb{E}_{n}\to \mathbb{R}$ is differentiable at some point of $N$. Model filiform groups are a class of…

For a Banach space $X$ we demonstrate the equivalence of the following two properties: (1) $X$ is B-convex (that is, possesses a nontrivial infratype), and (2) if ${F: [0,1] \to 2^{X} \setminus \{\varnothing\}}$ is a {multifunction},…

In this paper, we unify and improve existing results on characterizing strict and almost stricty convex functions via subdifferential mapping, Moreau envelope, and proximal mappings. In particular, it is shown that if a convex function is…

We establish a Fenchel-Moreau type theorem for proper convex functions $f\colon X\to \bar{L}^0$, where $(X, Y, \langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\bar L^0$ is the space of all extended real-valued functions…

We prove, using a fixed point theorem in a Banach algebra, an existence result for a fractional functional differential equation in the Riemann-Liouville sense. Dependence of solutions with respect to initial data and an uniqueness result…

Suppose $f(x,y) + \frac{\kappa}{2} \|x\|^2 - \frac{\sigma}{2}\|y\|^2$ is convex where $\sigma>0$, and the argmin function $\gamma(x) = \{ \gamma : \inf_y f(x,y) = f(x,\gamma)\}$ exists and is single valued. We will prove $\gamma$ is…

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…

We prove that if X is an infinite-dimensional Banach space with C^p smooth partitions of unity, then X and X\K are C^p diffeomorphic, for every weakly compact subset K of X.

A Banach space is said to have the Lebesgue property if every Riemann-integrable function $f:[0,1]\to X$ is Lebesgue almost everywhere continuous. We give a characterization of the Lebesgue property in terms of a new sequential asymptotic…