We investigate surjective solutions of the functional equation

$$\begin{eqnarray}\displaystyle \{\Vert f(x)+f(y)\Vert ,\Vert f(x)-f(y)\Vert \}=\{\Vert x+y\Vert ,\Vert x-y\Vert \}\quad (x,y\in X), & & \displaystyle \nonumber\end{eqnarray}$$

$f:X\rightarrow Y$

${\mathcal{L}}^{\infty }(\unicode[STIX]{x1D6E4})$

${\mathcal{L}}^{\infty }(\unicode[STIX]{x1D6E4})$

Let A and B be arbitrary C*-algebras, we prove that the existence of a Hilbert A–B-bimodule of finite index ensures that the WEP, QWEP, and LLP along with other finite-dimensional approximation properties such as CBAP and (S)OAP are shared by A and B. For this, we first study the stability of the WEP, QWEP, and LLP under Morita equivalence of C*-algebras. We present examples of Hilbert A–B-bimodules, which are not of finite index, while such properties are shared between A and B. To this end, we study twisted crossed products by amenable discrete groups.

In this paper, we study the bounded approximation property for the weighted space $\mathcal{HV}$(U) of holomorphic mappings defined on a balanced open subset U of a Banach space E and its predual $\mathcal{GV}$(U), where $\mathcal{V}$ is a countable family of weights. After obtaining an $\mathcal{S}$-absolute decomposition for the space $\mathcal{GV}$(U), we show that E has the bounded approximation property if and only if $\mathcal{GV}$(U) has. In case $\mathcal{V}$ consists of a single weight v, an analogous characterization for the metric approximation property for a Banach space E has been obtained in terms of the metric approximation property for the space $\mathcal{G}_v$(U).

We study uniform and coarse embeddings between Banach spaces and topological groups. A particular focus is put on equivariant embeddings, that is, continuous cocycles associated to continuous affine isometric actions of topological groups on separable Banach spaces with varying geometry.

We extend the results of Schu [‘Iterative construction of fixed points of asymptotically nonexpansive mappings’, J. Math. Anal. Appl.158 (1991), 407–413] to monotone asymptotically nonexpansive mappings by means of the Fibonacci–Mann iteration process

$$\begin{eqnarray}x_{n+1}=t_{n}T^{f(n)}(x_{n})+(1-t_{n})x_{n},\quad n\in \mathbb{N},\end{eqnarray}$$

$T$

$\{f(n)\}$

$L_{p}([0,1])$

$1<p<+\infty$

For a normed infinite-dimensional space, we prove that the family of all locally convex topologies which are compatible with the original norm topology has cardinality greater or equal to  $\mathfrak{c}$ .

In this short note, we correct and reformulate Theorem 3.1 in the paper published in Proceedings of the Edinburgh Mathematical Society58(3) (2015), 617–629.

Answering a question of Füredi and Loeb [On the best constant for the Besicovitch covering theorem. Proc. Amer. Math. Soc.121(4) (1994), 1063–1073], we show that the maximum number of pairwise intersecting homothets of a $d$ -dimensional centrally symmetric convex body  $K$ , none of which contains the center of another in its interior, is at most $O(3^{d}d\log d)$ . If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced by $O(3^{d}\binom{2d}{d}d\log d)$ . We establish analogous results for the case where the center is defined as an arbitrary point in the interior of $K$ . We also show that, in the latter case, one can always find families of at least $\unicode[STIX]{x1D6FA}((2/\sqrt{3})^{d})$ translates of $K$ with the above property.

Let $E$ be a finite-dimensional normed space and $\unicode[STIX]{x1D6FA}$ a non-empty convex open set in $E$ . We show that the Lipschitz-free space of $\unicode[STIX]{x1D6FA}$ is canonically isometric to the quotient of $L^{1}(\unicode[STIX]{x1D6FA},E)$ by the subspace consisting of vector fields with zero divergence in the sense of distributions on $E$ .

We provide new quantitative versions of Helly’s theorem. For example, we show that for every family $\{P_{i}:i\in I\}$ of closed half-spaces in $\mathbb{R}^{n}$ such that $P=\bigcap _{i\in I}P_{i}$ has positive volume, there exist $s\leqslant \unicode[STIX]{x1D6FC}n$ and $i_{1},\ldots ,i_{s}\in I$ such that

$$\begin{eqnarray}\operatorname{vol}_{n}(P_{i_{1}}\cap \cdots \cap P_{i_{s}})\leqslant (Cn)^{n}\operatorname{vol}_{n}(P),\end{eqnarray}$$

$\unicode[STIX]{x1D6FC},C>0$

The Birkhoff orthogonality has been recently intensively studied in connection with the geometry of Banach spaces and operator theory. The main aim of this paper is to characterize the Birkhoff orthogonality in ${\mathcal{L}}(X;Y)$ under the assumption that ${\mathcal{K}}(X;Y)$ is an $M$ -ideal in ${\mathcal{L}}(X;Y)$ . Moreover, we survey the known results, as well as giving some new and more general ones. Furthermore, we characterize an approximate Birkhoff orthogonality in ${\mathcal{K}}(X;Y)$ .

We show that any mapping between two real $p$ -normed spaces, which preserves the unit distance and the midpoint of segments with distance $2^{p}$ , is an isometry. Making use of it, we provide an alternative proof of some known results on the Aleksandrov question in normed spaces and also generalise these known results to $p$ -normed spaces.

Motivated by the local theory of Banach spaces, we introduce a notion of finite representability for metric spaces. This allows us to develop a new technique for comparing the generalised roundness of metric spaces. We illustrate this technique by applying it to Banach spaces and metric trees. In the realm of Banach spaces we obtain results such as the following: (1) if ${\mathcal{U}}$ is any ultrafilter and $X$ is any Banach space, then the second dual $X^{\ast \ast }$ and the ultrapower $(X)_{{\mathcal{U}}}$ have the same generalised roundness as $X$ , and (2) no Banach space of positive generalised roundness is uniformly homeomorphic to $c_{0}$ or $\ell _{p}$ , $2<p<\infty$ . For metric trees, we give the first examples of metric trees of generalised roundness one that have finite diameter. In addition, we show that metric trees of generalised roundness one possess special Euclidean embedding properties that distinguish them from all other metric trees.

We say that a Banach space $X$ is ‘nice’ if every extreme operator from any Banach space into $X$ is a nice operator (that is, its adjoint preserves extreme points). We prove that if $X$ is a nice almost $CL$ -space, then $X$ is isometrically isomorphic to $c_{0}(I)$ for some set $I$ . We also show that if $X$ is a nice Banach space whose closed unit ball has the Krein–Milman property, then $X$ is $l_{\infty }^{n}$ for some $n\in \mathbb{N}$ . The proof of our results relies on the structure topology.

In this paper we provide an elementary proof of James’ characterisation of weak compactness for Banach spaces whose dual ball is weak∗ sequentially compact.

We introduce some new refinements of numerical radius inequalities for Hilbert space invertible operators. More precisely, we prove that if $T\in {\mathcal{B}}({\mathcal{H}})$ is an invertible operator, then $\Vert T\Vert \leq \sqrt{2}\unicode[STIX]{x1D714}(T)$ .

There are two main aims of the paper. The first is to extend the criterion for the precompactness of sets in Banach function spaces to the setting of quasi-Banach function spaces. The second is to extend the criterion for the precompactness of sets in the Lebesgue spaces Lp (ℝn ), 1 ⩽ p < ∞, to the so-called power quasi-Banach function spaces. These criteria are applied to establish compact embeddings of abstract Besov spaces into quasi-Banach function spaces. The results are illustrated on embeddings of Besov spaces , into Lorentz-type spaces.

We prove that an operator system is (min, ess)-nuclear if its $C^{\ast }$ -envelope is nuclear. This allows us to deduce that an operator system associated to a generating set of a countable discrete group by Farenick et al. [‘Operator systems from discrete groups’, Comm. Math. Phys.329(1) (2014), 207–238] is (min, ess)-nuclear if and only if the group is amenable. We also make a detailed comparison between ess and other operator system tensor products and show that an operator system associated to a minimal generating set of a finitely generated discrete group (respectively, a finite graph) is (min, max)-nuclear if and only if the group is of order less than or equal to three (respectively, every component of the graph is complete).

We give an alternative proof of the theorem of Alikakos and Fusco concerning existence of heteroclinic solutions U : ℝ → ℝN to the system

Here a± are local minima of a potential W ∈ C2(ℝN) with W(a±) = 0. This system arises in the theory of phase transitions. Our method is variational but differs from the original artificial constraint method of Alikakos and Fusco and establishes existence by analysing the loss of compactness in minimizing sequences of the action in the appropriate functional space. Our assumptions are slightly different from those considered previously and also imply a priori estimates for the solution.

For every $p\in (0,\infty )$ we associate to every metric space $(X,d_{X})$ a numerical invariant $\mathfrak{X}_{p}(X)\in [0,\infty ]$ such that if $\mathfrak{X}_{p}(X)<\infty$ and a metric space $(Y,d_{Y})$ admits a bi-Lipschitz embedding into $X$ then also $\mathfrak{X}_{p}(Y)<\infty$ . We prove that if $p,q\in (2,\infty )$ satisfy $q<p$ then $\mathfrak{X}_{p}(L_{p})<\infty$ yet $\mathfrak{X}_{p}(L_{q})=\infty$ . Thus, our new bi-Lipschitz invariant certifies that $L_{q}$ does not admit a bi-Lipschitz embedding into $L_{p}$ when $2<q<p<\infty$ . This completes the long-standing search for bi-Lipschitz invariants that serve as an obstruction to the embeddability of $L_{p}$ spaces into each other, the previously understood cases of which were metric notions of type and cotype, which however fail to certify the nonembeddability of $L_{q}$ into $L_{p}$ when $2<q<p<\infty$ . Among the consequences of our results are new quantitative restrictions on the bi-Lipschitz embeddability into $L_{p}$ of snowflakes of $L_{q}$ and integer grids in $\ell _{q}^{n}$ , for $2<q<p<\infty$ . As a byproduct of our investigations, we also obtain results on the geometry of the Schatten $p$ trace class $S_{p}$ that are new even in the linear setting.