We construct an example of a real Banach space whose group of surjective isometries has no uniformly continuous one-parameter semigroups, but the group of surjective isometries of its dual contains infinitely many of them. Other examples concerning numerical index, hermitian operators and dissipative operators are also shown.
In this survey, we present several results related to characterizing the surjective isometries on Banach sequence spaces. Our survey includes full proofs of these characterizations for the classical spaces as well as more recent results for combinatorial Banach spaces and Tsirelson-type spaces. Along the way, we pose many open problems related to the structure of the group of surjective isometries and characterizations of the group of surjective isometries for various Banach spaces.
We prove that an onto isometry between unit spheres of finite-dimensional polyhedral Banach spaces extends to a linear isometry of the corresponding spaces.
In this paper, we prove that the existence of an $\varepsilon$-isometry from a separable Banach space $X$ into $Y$ (the James space or a reflexive space) implies the existence of a linear isometry from $X$ into $Y$. Then we present a set valued mapping version lemma on non-surjective $\varepsilon$-isometries of Banach spaces. Using the above results, we also discuss the rotundity and smoothness of Banach spaces under the perturbation by $\varepsilon$-isometries.
We propose a unified approach to the study of isometries on algebras of vector-valued Lipschitz maps and those of continuously differentiable maps by means of the notion of admissible quadruples. We describe isometries on function spaces of some admissible quadruples that take values in unital commutative $C^*$-algebras. As a consequence we confirm the statement of \cite[Example 8]{jp} on Lipschitz algebras and show that isometries on such algebras indeed take the canonical form.
We propose a unified approach to the study of isometries on algebras of vector-valued Lipschitz maps and those of continuously differentiable maps by means of the notion of natural $C(Y)$-valuezations that take values in unital commutative $C^*$-algebras. A precise proof of a theorem of Jarosz \cite{ja} is exhibited.
We prove that every isometry between two combinatorial spaces is determined by a permutation of the canonical unit basis combined with a change of signs. As a consequence, we show that in the case of Schreier spaces, all the isometries are given by a change of signs of the elements of the basis. Our results hold for both the real and the complex cases.
We show that if $T$ is an isometry (as metric spaces) from an open subgroup of the group of the invertible elements in a unital semisimple commutative Banach algebra onto an open subgroup of the group of the invertible elements in a unital Banach algebra, then $T(1)^{-1}T$ is an isometrical group isomorphism. In particular, $T(1)^{-1}T$ is extended to an isometrical real algebra isomorphism from $A$ onto $B$.
Let $H(\mathbb{D})$ be the linear space of all analytic functions on the open unit disc $\mathbb{D}$ and $H^p(\mathbb{D})$ the Hardy space on $\mathbb{D}$. The characterization of complex linear isometries on $\mathcal{S}^p=\{f\in H(\mathbb{D}):f'\in H^p(\mathbb{D})\}$ was given for $1\leq p<\infty$ by Novinger and Oberlin in 1985. Here, we characterize surjective, not necessarily linear, isometries on $\mathcal{S}^\infty$.
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, including when $G=\{-1,1\} \times H$, H finite and $\dim X \geq |H|$, or when G contains a normal subgroup with two elements and X is of the form c_0(Y) or $\ell_p(Y)$, $1 \leq p <+\infty$. This is a consequence of a result inspired by methods of S. Bellenot and stating that under rather general conditions on a separable real Banach space X and a countable bounde…
We prove a very general theorem concerning the estimation of the expression $\|T(\frac{a+b}{2}) - \frac{Ta+Tb}{2}\|$ for different kinds of maps $T$ satisfying some general perurbated isometry condition. It can be seen as a quantitative generalization of the classical Mazur-Ulam theorem. The estimates improve the existing ones for bi-Lipschitz maps. As a consequence we also obtain a very simple proof of the result of Gevirtz which answers the Hyers-Ulam problem and we prove a non-linear generalization of the Banach-Stone theorem which improves the results of Jarosz and more recent results of D…
We study Banach spaces whose group of isometries acts micro-transitively on the unit sphere. We introduce a weaker property, which one-complemented subspaces inherit, that we call uniform micro-semitransitivity. We prove a number of results about both micro-transitive and uniformly micro-semitransitive spaces, including that they are uniformly convex and uniformly smooth, and that they form a self-dual class. To this end, we relate the fact that the group of isometries acts micro-transitively with a property of operators called the pointwise Bishop-Phelps-Bollobás property and use some known r…
Given a separable Banach space $E$, we construct an extremely non-complex Banach space (i.e. a space satisfying that $\|Id + T^2\|=1+\|T^2\|$ for every bounded linear operator $T$ on it) whose dual contains $E^*$ as an $L$-summand. We also study surjective isometries on extremely non-complex Banach spaces and construct an example of a real Banach space whose group of surjective isometries reduces to $\pm Id$, but the group of surjective isometries of its dual contains the group of isometries of a separable infinite-dimensional Hilbert space as a subgroup.
Let C be an axiomatizable class of order continuous real or complex Banach lattices, that is, this class is closed under isometric vector lattice isomorphisms and ultraproducts, and the complementary class is closed under ultrapowers. We show that if linear isometric embeddings of members of C in their ultrapowers preserve disjointness, the class C^B of Banach spaces obtained by forgetting the Banach lattice structure is still axiomatizable. Moreover if C coincides with its "script class" SC, so does C^B with SC^B. This allows us to give new examples of axiomatizable classes of Banach spaces, …
We show that if $T$ is an isometry (as metric spaces) from an open subgroup of the invertible group $A^{-1}$ of a unital Banach algebra $A$ onto an open subgroup of the invertible group $B^{-1}$ of a unital Banach algebra $B$, then $T$ is extended to a real-linear isometry up to translation between these Banach algebras. We consider multiplicativity or unti-multiplicativity of the isometry. Note that a unital linear isometry between unital semisimple commutative Banach algebra need be multiplicative. On the other hand, we show that if $A$ is commutative and $A$ or $B$ are semisimple, then $(T(…
Under the right conditions on a compact metric space $X$ and on a Banach space $E$, we give a description of the $2$-local (standard) isometries on the Banach space $\hbox{Lip}(X,E)$ of vector-valued Lipschitz functions from $X$ to $E$ in terms of a generalized composition operator, and we study when every $2$-local (standard) isometry on $\hbox{Lip}(X,E)$ is both linear and surjective.
We study multiplication operators on the weighted Banach spaces of an infinite tree. We characterize the bounded and the compact operators, as well as determine the operator norm. In addition, we determine the spectrum of the bounded multiplication operators and characterize the isometries. Finally, we study the multiplication operators between the weighted Banach spaces and the Lipschitz space by characterizing the bounded and the compact operators, determine estimates on the operator norm, and show there are no isometries.
Given a category of objects, it is both useful and important to know if all the objects in the category may be realised as sub-objects -- via morphisms in the given category -- of a single object in that category enjoying some nice properties. In the category of separable Banach spaces with morphisms consisting of linear isometries, such an example of (a universal) object is provided by the well-known Banach Mazur theorem: the space C[0,1] of continuous functions on the unit interval contains each separable Banach spaces as a closed subspace via a linear isometry. Here the question also arises…
The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.
Let $X$, $Y$ be two real Banach spaces and $\varepsilon>0$. A standard $\varepsilon$-isometry $f:X\rightarrow Y$ is said to be $(α,γ)$-stable (with respect to $T:L(f)\equiv\overline{\rm span}f(X)\rightarrow X$ for some $α, γ>0$) if $T$ is a linear operator with $\|T\|\leqα$ so that $Tf-Id$ is uniformly bounded by $γ\varepsilon$ on $X$. The pair $(X,Y)$ is said to be stable if every standard $\varepsilon$-isometry $f:X\rightarrow Y$ is $(α,γ)$-stable for some $α,γ>0$. $X (Y)$ is said to be universally left (right)-stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show tha…
In this paper we describe the surjective linear isometries on a vector valued little Bloch space with range space a strictly convex and smooth complex Banach space. We also describe the hermitian operators and the generalized bi-circular projections supported by these spaces.
We present the current results in the study of weighted composition operators on weighted Banach spaces of an unbounded, locally finite metric space. Specifically, we determine characterizations of bounded and compact weighted composition operators, including the operator and essential norms. In addition, we characterize the weighted composition operators that are injective, are bounded below, have closed range, and have bounded inverse. We characterize the isometries and surjective isometries among the weighted composition operators, as well as those that satisfy the Fredholm condition. Lastl…
We prove that every JBW$^*$-triple $M$ with rank one or rank bigger than or equal to three satisfies the Mazur--Ulam property, that is, every surjective isometry from the unit sphere of $M$ onto the unit sphere of another Banach space $Y$ extends to a surjective real linear isometry from $M$ onto $Y$. We also show that the same conclusion holds if $M$ is not a JBW$^*$-triple factor, or more generally, if the atomic part of $M^{**}$ is not a rank two Cartan factor.
We study several notions of boundedness for operators. It is known that any power bounded operator is absolutely Cesàro bounded and strong Kreiss bounded (in particular, uniformly Kreiss bounded). The converses do not hold in general. In this note, we give examples of topologically mixing absolutely Cesàro bounded operators on $\ell^p(\mathbb{N})$, $1\le p < \infty$, which are not power bounded, and provide examples of uniformly Kreiss bounded operators which are not absolutely Cesàro bounded. These results complement very limited number of known examples (see \cite{Shi} and \cite{AS}). In \ci…
According to the fundamental work of Yu.V. Prokhorov, the general theory of stochastic processes can be regarded as the theory of probability measures in complete separable metric spaces. Since stochastic processes depending upon a continuous parameter are basically probability measures on certain subspaces of the space of all functions of a real variable, a particularly important case of this theory is when the underlying metric space has a linear structure. Prokhorov also provided a concrete metrisation of the topology of weak convergence today known as the L{é}vy-Prokhorov distance. Motivat…
We show that any separable stable Banach space can be represented as a group of isometries on a separable reflexive Banach space, which extends a result of S. Guerre and M. Levy. As a consequence, we can then represent homeomorphically its space of types.
We prove that if the group of isometries of C(X,E) is algebraically reflexive, then the group of n-isometries is also algebraically reflexive. Here, X is a compact Hausdorff space and E is a Banach space. As a corollary to this, we establish the algebraic reflexivity of the set of generalized bi-circular projections on C(X,E).
Let $E$ be a real Banach space. For $x,y \in E,$ we follow R.James in saying that $x$ is orthogonal to $y$ if $\|x+αy\|\geq \|x\|$ for every $α\in R$. We prove that every operator from $E$ into itself preserving orthogonality is an isometry multiplied by a constant.
We study 2-local reflexivity of the set of all surjective isometries between certain function spaces. We do not assume linearity for isometries. We prove that a 2-local isometry in the group of all surjective isometries on the algebra of all continuously differentiable functions on the closed unit interval with respect to several norms is a surjective isometry. We also prove that a 2-local isometry in the group of all surjective isometries on the Banach algebra of all Lipschitz functions on the closed unit interval with the sum-norm is a surjective isometry.
We present a unified approach to the processes of inversion and duality for quasilinear and $1$-quasilinear maps; in particular, for centralizers and differentials generated by interpolation methods.
Let $X$, $Y$ be two real Banach spaces, and $\eps\geq0$. A map $f:X\rightarrow Y$ is said to be a standard $\eps$-isometry if $|\|f(x)-f(y)\|-\|x-y\||\leq\eps$ for all $x,y\in X$ and with $f(0)=0$. We say that a pair of Banach spaces $(X,Y)$ is stable if there exists $γ>0$ such that for every such $\eps$ and every standard $\eps$-isometry $f:X\rightarrow Y$ there is a bounded linear operator $T:L(f)\equiv\overline{\rm span}f(X)\rightarrow X$ such that $\|Tf(x)-x\|\leqγ\eps$ for all $x\in X$. $X (Y)$ is said to be left (right)-universally stable, if $(X,Y)$ is always stable for every $Y (X)$. I…
We describe the spectrum of weighted $d$-isomorphisms of Banach lattices restricted on closed subspaces that are "rich" enough to preserve some "memory" of the order structure of the original lattice. The examples include (but are not limited to) weighted isometries of Hardy spaces on the polydisk and unit ball in $\mathds{C}^n$.
Suppose $X$ and $Y$ are locally compact Hausdorff spaces, $E$ and $F$ are Banach spaces and $F$ is strictly convex. We show that every linear isometry $T$ from $C_0(X,E)$ {\em into} $C_0(Y,F)$ is essentially a weighted composition operator $Tf(y) = h(y) (f(φ(y)))$. This supplements results of Jerison (when $T$ is onto) and Cambern (when $X,Y$ are compact).
Let $Γ$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(Γ),$ of all complex-valued bounded functions on $Γ$, satisfies the Mazur-Ulam property, that is, every surjective isometry from the unit sphere of $\ell_{\infty}(Γ)$ onto the unit sphere of an arbitrary complex Banach space $X$ admits a unique extension to a surjective real linear isometry from $\ell_{\infty}(Γ)$ to $X$.
Globalization of local sign structures for phase-isometries on uniform algebras
Graduate School of Science and Technology, Niigata University(新潟大学科学技术研究科);National Institute of Technology, Tsuruoka College(国立大学法人鹤岗工业高等专门学校);Department of Mathematics, Faculty of Science, Niigata University(新潟大学理学部数学科)
Spaces of homogeneous polynomials on a Banach space are frequently equipped with quasinorms instead of norms. In this paper we develop a technique to replace the original quasi-norm by a norm in a dual preserving way, in the sense that the dual of the space with the new norm coincides with the dual of the space with the original quasi-norm. Applications to problems on the existence and approximation of solutions of convolution equations and on hypercyclic convolution operators on spaces of entire functions are provided.
We say that a map $T: S_X\rightarrow S_Y$ between the unit spheres of two real normed-spaces $X$ and $Y$ is a phase-isometry if it satisfies \begin{eqnarray*} \{\|T(x)+T(y)\|, \|T(x)-T(y)\|\}=\{\|x+y\|, \|x-y\|\} \end{eqnarray*} for all $x,y\in S_X$. In the present paper, we show that there is a phase function $\varepsilon:S_X\rightarrow \{-1,1\}$ such that $\varepsilon \cdot T$ is an isometry which can be extended a linear isometry on the whole space $X$ whenever $T$ is surjective, $X=C(K)$ ($K$ is a compact Hausdorff space) and $Y$ is an arbitrary Banach space. Additionally, if $T$ is a phas…
We prove that if $\mathcal{A}$ is a complex, unital semisimple Banach algebra and $\mathcal{B}$ is a complex, unital Banach algebra having a separating family of finite-dimensional irreducible representations, then any unital linear operator from $\mathcal{A}$ onto $\mathcal{B}$ which preserves the spectral radius is a Jordan morphism.
We prove that unital surjective spectral isometries on certain non-simple unital C*-algebras are Jordan isomorphisms. Along the way, we establish several general facts in the setting of semisimple Banach algebras.
Let $\mathbf{F}$ be a Banach space of continuous functions over a connected locally compact space $X$. We present several sufficient conditions on $\mathbf{F}$ guaranteeing that the only multiplication operators on $\mathbf{F}$ that are surjective isometries are scalar multiples of the identity. The conditions are given via the properties of the inclusion operator from $\mathbf{F}$ into $\mathcal{C}\left(X\right)$, as well as in terms of geometry of $\mathbf{F}$. An important tool in our investigation is the notion of Birkhoff Orthogonality.
We present a completely new structure theoretic approach to the dilation theory of linear operators. Our main result is the following theorem: if $X$ is a super-reflexive Banach space and $T$ is contained in the weakly closed convex hull of all invertible isometries on $X$, then $T$ admits a dilation to an invertible isometry on a Banach space $Y$ with the same regularity as $X$. The classical dilation theorems of Sz.-Nagy and Akcoglu-Sucheston are easy consequences of our general theory.
Given a set $B$ of operators between subspaces of $L_p$ spaces, we characterize the operators between subspaces of $L_p$ spaces that remain bounded on the $X$-valued $L_p$ space for every Banach space on which elements of the original class $B$ are bounded. This is a form of the bipolar theorem for a duality between the class of Banach spaces and the class of operators between subspaces of $L_p$ spaces, essentially introduced by Pisier. The methods we introduce allow us to recover also the other direction --characterizing the bipolar of a set of Banach spaces--, which had been obtained by Hern…
In this work we study the vector-valued Hardy spaces H p (D; F) (1 \leq p \leq \infty) and their relationship with RNP, ARNP and the UMDP properties. By following the approach of Taylor in the scalar-valued case, we prove that, when F and F have the ARNP property, then H p (D; F) and H q (D; F) are canonically topologically isomorphic (for p, q \in (1, \infty) conjugate indices) if and only if F has the UMDP.
This paper will generalize what may be termed the "geometric duality theory" of real pre-ordered Banach spaces which relates geometric properties of a closed cone in a real Banach space, to geometric properties of the dual cone in the dual Banach space. We show that geometric duality theory is not restricted to real pre-ordered Banach spaces, as is done classically, but can be extended to real Banach spaces endowed with arbitrary collections of closed cones. We define geometric notions of normality, conormality, additivity and coadditivity for members of dual pairs of real vector spaces as cer…