In this paper we describe the structure of surjective isometries of the spaces of all absolutely continuous, singular, or discrete probability distribution functions on R equipped with the Kolmogorov-Smirnov metric. We also study the structure of affine automorphisms of the space of all distribution functions.

Let X,Y be Banach spaces, f: X → Y be an isometry with f(0) = 0, and $T:\overline{span}\left(f\left(X\right)\right)\to X$ be the Figiel operator with $T\circ f=I{d}_X$ and ||T|| = 1. We present a sufficient and necessary condition for the Figiel operator T to admit a linear isometric right inverse. We also prove that such a right inverse exists when $\overline{span}\left(f\left(X\right)\right)$ is weakly nearly strictly convex.

We consider the problem of isometric embedding of metric spaces into Banach spaces, and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space has this property. We give a criterion of linear rigidity of a metric space, which allows us to give a...

We study the local dual spaces of a Banach space X, which can be described as the subspaces of X* that have the properties that the principle of local reflexivity attributes to X as a subspace of X**. We give several characterizations of local dual spaces, which allow us to show many examples. Moreover, every separable space X has a separable local dual Z, and we can choose Z with the metric approximation property if X has it. We also show that a separable space containing no...

We show for $2\le p<\infty$ and subspaces $X$ of quotients of $L_p$ with a $1$-unconditional finite-dimensional Schauder decomposition that $K(X,{\ell }_p)$ is an $M$-ideal in $L(X,{\ell }_p)$.

We study the position of compact operators in the space of all continuous linear operators and its subspaces in terms of ideals. One of our main results states that for Banach spaces $X$ and $Y$ the subspace of all compact operators $𝒦(X,Y)$ is an $M(r_1{r}_2,s_1{s}_2)$-ideal in the space of all continuous linear operators $ℒ(X,Y)$ whenever $𝒦(X,X)$ and $𝒦(Y,Y)$ are $M(r_1,s_1)$- and $M(r_2,s_2)$-ideals in $ℒ(X,X)$ and $ℒ(Y,Y)$, respectively, with $r_1+s_1/2>1$ and $r_2+s_2/2>1$. We also prove that the $M(r,s)$-ideal $𝒦(X,Y)$ in $ℒ(X,Y)$ is separably determined. Among others, our results complete and improve some well-known results...

The Mazur-Ulam theorem [15] has been formulated as two registrations: cluster bijective isometric -> midpoints-preserving Function of E, F; and cluster isometric midpoints-preserving -> Affine Function of E, F; A proof given by Jussi Väisälä [23] has been formalized.

We prove, among other things, that the space C[0,ω₂] has no countably norming Markushevich basis. This answers a question asked by G. Alexandrov and A. Plichko.

We investigate several aspects of almost 1-unconditionality. We characterize the metric unconditional approximation property (umap) in terms of “block unconditionality”. Then we focus on translation invariant subspaces $L_E^p\left(\right)$ and $C_E\left(\right)$ of functions on the circle and express block unconditionality as arithmetical conditions on E. Our work shows that the spaces $p_E\left(\right)$, p an even integer, have a singular behaviour from the almost isometric point of view: property (umap) does not interpolate between $L_E^p\left(\right)$ and $L_E^{p+2}\left(\right)$. These...

We study the problem of whether ${}_w\left(ⁿE\right)$, the space of n-homogeneous polynomials which are weakly continuous on bounded sets, is an M-ideal in the space (ⁿE) of continuous n-homogeneous polynomials. We obtain conditions that ensure this fact and present some examples. We prove that if ${}_w\left(ⁿE\right)$ is an M-ideal in (ⁿE), then ${}_w\left(ⁿE\right)$ coincides with ${}_{w0}\left(ⁿE\right)$ (n-homogeneous polynomials that are weakly continuous on bounded sets at 0). We introduce a polynomial version of property (M) and derive that if ${}_w\left(ⁿE\right){=}_{w0}\left(ⁿE\right)$ and (E) is an M-ideal in...

We show that T is a surjective multiplicative (but not necessarily linear) isometry from the Smirnov class on the open unit disk, the ball, or the polydisk onto itself, if and only if there exists a holomorphic automorphism Φ such that T(f)=f ○ Φ for every class element f or T(f) = $\overline{f^{\circ }\overline{\varphi }}$ for every class element f, where the automorphism Φ is a unitary transformation in the case of the ball and Φ(z 1, ..., z n) = $({\lambda }_1{z}_{i_1},...,{\lambda }_n{z}_{i_n})$ for |λ j| = 1, 1 ≤ j ≤ n, and (i 1; ..., i n)is some permutation of the integers from...

Narrow operators are those operators defined on function spaces which are "small" at signs, i.e., at {-1,0,1}-valued functions. We summarize here some results and problems on them. One of the most interesting things is that if E has an unconditional basis then each operator on E is a sum of two narrow operators, while the sum of two narrow operators on L₁ is narrow. Recently this notion was generalized to vector lattices. This generalization explained the phenomena of sums: the set of all regular...

Let X be a Banach space. We introduce a formal approach which seems to be useful in the study of those properties of operators on X which depend only on the norms of the images of elements. This approach is applied to the Daugavet equation for norms of operators; in particular we develop a general theory of narrow operators and rich subspaces of spaces X with the Daugavet property previously studied in the context of the classical spaces C(K) and L₁(μ).

We prove that if 𝓒 is a family of separable Banach spaces which is analytic with respect to the Effros Borel structure and no X ∈ 𝓒 is isometrically universal for all separable Banach spaces, then there exists a separable Banach space with a monotone Schauder basis which is isometrically universal for 𝓒 but not for all separable Banach spaces. We also establish an analogous result for the class of strictly convex spaces.

By using D. Preiss' approach to a construction from a paper by J. Matoušek and E. Matoušková, and some results of E. Matoušková, we prove that we can decompose a separable Banach space with modulus of convexity of power type p as a union of a ball small set (in a rather strong symmetric sense) and a set which is Aronszajn null. This improves an earlier unpublished result of E. Matoušková. As a corollary, in each separable Banach space with modulus of convexity of power type p, there exists a closed...