Related papers: Hadamard differentiability via G\^ ateaux differen…

Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ an arbitrary mapping. Then the following implication holds at each point $x \in X$ except a $\sigma$-directionally porous set: If the one-sided Hadamard directional…

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our…

Let $S$ be a closed subset of a Banach space $X$. Assuming that $S$ is epi-Lipschitzian at $\bar{x}$ in the boundary $ \bd S$ of $S$, we show that $S$ is strictly Hadamard differentiable at $\bar{x}$ IFF the Clarke tangent cone $T(S,…

A well-known open question is whether every countable collection of Lipschitz functions on a Banach space X with separable dual has a common point of Frechet differentiability. We show that the answer is positive for some…

We investigate the differentiability properties of real-valued quasiconvex functions f defined on a separable Banach space X. Continuity is only assumed to hold at the points of a dense subset. If so, this subset is automatically residual.…

Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $\sigma$-porous set. At…

We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $\mu=\sum_n \lambda_n \frac{\delta_{x_n}-\delta_{y_n}}{d(x_n,y_n)}$ such that $\|\mu\|=\sum_n |\lambda_n |$. We characterise these elements in terms…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

We show that any non-zero Banach space with a separable dual contains a totally disconnected, closed and bounded subset S of Hausdorff dimension 1 such that every Lipschitz function on the space is Fr\'echet differentiable somewhere in S.

Let $n, m$ be positive integers, $n\geq m$. We make several remarks on the relationship between approximate differentiability of higher order and Morse-Sard properties. For instance, among other things we show that if a function…

We investigate the connection between maximal directional derivatives and differentiability for Lipschitz functions defined on Laakso space. We show that maximality of a directional derivative for a Lipschitz function implies…

Let n>2 and X be a Banach space of dimension strictly greater than n. We show there exists a directionally porous set P in X for which the set of C^1 surfaces of dimension n meeting P in positive measure is not meager. If X is separable…

We use a method involving elementary submodels and a partial converse of Foran lemma to prove separable reduction theorems concerning Suslin sigma-P-porous sets where "P" can be from a rather wide class of porosity-like relations in…

We use porosity to study differentiability of Lipschitz maps on Carnot groups. Our first result states that directional derivatives of a Lipschitz function act linearly outside a $\sigma$-porous set. The second result states that irregular…

We show that any Carnot group contains a closed nowhere dense set which has measure zero but is not $\sigma$-porous with respect to the Carnot-Carath\'eodory (CC) distance. In the first Heisenberg group we observe that there exist sets…

For any non-trivial convex and bounded subset $C$ of a Banach space, we show that outside of a $\sigma$-porous subset of the space of non-expansive mappings $C\to C$, all mappings have the maximal Lipschitz constant one witnessed locally at…

Let $A$ be Banach algebra over commutative ring $D$. The map $f:A\rightarrow A\ $ is called differentiable in the Gateaux sense, if $$f(x+a)-f(x)=\partial f(x)\circ a+o(a)$$ where the Gateaux derivative $\partial f(x)$ of map $f$ is linear…

This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups…

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…