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.
In this paper we characterize the isometries of subspaces of the little Zygmund space. We show that the isometries of these spaces are surjective and represented as integral operators. We also show that all hermitian operators on these settings are bounded.
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 characterize 1-complemented subspaces of finite codimension in strictly monotone one-$p$-convex, $2<p<\infty,$ sequence spaces. Next we describe, up to isometric isomorphism, all possible types of 1-unconditional structures in sequence spaces with few surjective isometries. We also give a new example of a class of real sequence spaces with few surjective isometries.
We examine the surjectivity of isometries between weighted spaces of holomorphic functions. We show that for certain classical weights on the open unit disc all isometries of the weighted space of holomorphic functions, ${ \mathcal H}_{v_o}( Δ)$, are surjective. Criteria for surjectivity of isometries of ${ \mathcal H}_v(U)$ in terms of a separation condition on points in the image of ${ \mathcal H}_{v_o}(U)$ are also given for $U$ a bounded open set in $\mathbb{C}$. Considering the weight $v(z)= 1-|z|^2$ and the isomorphism $f\mapsto f'$ we are able to show that all isometries of the little B…
In this paper, we investigate the general form of surjective (not necessarily linear) isometries T : A-> B between subspaces A and B of C(X;E) and C(Y;F), respectively.
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 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 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.
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.
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$.
In the paper, it is given isomorphic classification of $F$-spaces of $log$-integrable measurable functions constructed using different measure spaces. At the same time, it is proved that such spaces are non-isometric.
We prove that an onto isometry between unit spheres of finite-dimensional polyhedral Banach spaces extends to a linear isometry of the corresponding spaces.
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.
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(新潟大学理学部数学科)
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.
Botelho, Jamison, and Molnár \cite{BJM}, and Geh\' er and Šemrl \cite{GeS} have recently described the general form of surjective isometries of Grassmann spaces of all projections of a fixed finite rank on a Hilbert space $H$. As a straightforward consequence one can characterize surjective isometries of Grassmann spaces of projections of a fixed finite corank. In this paper we solve the remaining structural problem for surjective isometries on the set $P_\infty (H)$ of all projections of infinite rank and infinite corank when $H$ is separable. The proof technique is entirely different from th…
The aim of this paper is to show that two accessible subspaces in the Loynes $\mathcal{Z}$ - space $\Hc$ are the initial and final space of a partial gramian isometry, respectively if the norm of the difference of the associated gramian selfadjoint projections is strictly less than 1.
We obtain the admissible sets on the unit circle to be the spectrum of a strict $m$-isometry on an $n$-finite dimensional Hilbert space. This property gives a better picture of the correct spectrum of an $m$-isometry. We determine that the only $m$-isometries on $\mathbb{R}^2$ are $3$-isometries and isometries giving by $\pm I+Q$, where $Q$ is a nilpotent operator. Moreover, on real Hilbert space, we obtain that $m$-isometries preserve volumes. Also we present a way to construct a strict $(m+1)$-isometry with an $m$-isometry given, using ideas of Aleman and Suciu \cite[Proposition 5.2]{AS} on …
We consider cyclic $m$-isometries on a complex separable Hilbert space. Such operators are characterized in terms of shifts on abstract spaces of weighted Dirichlet type. Our results resemble those of Agler and Stankus, but our model spaces are described in terms of Dirichlet integrals rather than analytic Dirichlet operators. The chosen point of view allows us to construct a variety of examples. An interesting feature among all of these is that the corresponding model spaces are contained in a certain subspace of the Hardy space $H^2$, depending only on the order of the corresponding operator…
We show that injective isometries in Orlicz space $L_M$ have to preserve disjointness, provided that Orlicz function $M$ satisfies $Δ_2$-condition, has a continuous second derivative $M''$, satisfies another ``smoothness type'' condition and either $\lim_{t\to0} M''(t) = \infty$ or $M''(0) = 0$ and $M''(t)>0$ for all $t>0$. The fact that surjective isometries of any rearrangement-invariant function space have to preserve disjointness has been determined before. However dropping the assumption of surjectivity invalidates the general method. In this paper we use a differential technique.
We describe all isometries of the $q$-numerical radius on the space ${\mathcal K}(\mathcal H)$ of compact operators on a (possibly infinite-dimensional) Hilbert space $\mathcal H$.
Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize surjective isometries of $X(H).$ We prove that if $T$ is such an isometry then there exist Borel maps $a:\Om\to\bbK$ and $σ:\Om\lra\Om$ and a strongly measurable operator map $S$ of $\Om$ into $\calB(H)$ so that for almost all $\om$ $S(\om)$ is a surjective isometry of $H$ and for any $f\in X(H)$ $$Tf(\om)=a(\om)S(\om)(f(σ(\om))) \text{ a.e.}$$ As a consequence we …
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).
We solve the following three questions concerning surjective linear isometries between spaces of Lipschitz functions $\mathrm{Lip}(X,E)$ and $\mathrm{Lip}(Y,F)$, for strictly convex normed spaces $E$ and $F$ and metric spaces $X$ and $Y$: \begin{enumerate} \item Characterize those base spaces $X$ and $Y$ for which all isometries are weighted composition maps. \item Give a condition independent of base spaces under which all isometries are weighted composition maps. \item Provide the general form of an isometry, both when it is a weighted composition map and when it is not. \end{enumerate} In p…
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.
In this paper, we establish bounds on the norm of multiplication operators on the Bloch space of the unit disk via weighted composition operators. In doing so, we characterize the isometric multiplication operators to be precisely those induced by constant functions of modulus 1. We then describe the spectrum of the multiplication operators in terms of the range of the symbol. Lastly, we identify the isometries and spectra of a particular class of weighted composition operators on the Bloch space.
In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute matrix order unit space. As an application, we describe the comparison of order projections. We also discuss finiteness of order projections.
In this paper, the notions of first-order and second-order generalized linear spans and index set are defined. Moreover, their properties are investigated and applied to the studies of extension of isometries. We develop the theory of extending the domain of local isometries to the generalized linear spans, where we call an isometry defined in a subset of a Hilbert space a local isometry. In addition, we prove that the domain of local isometry can be extended to any real Hilbert space, where the domain of local isometry does not have to be a convex body or an open set. This indicates that the …
In this paper, first we study surjective isometries (not necessarily linear) between completely regular subspaces $A$ and $B$ of $C_0(X,E)$ and $C_0(Y,F)$ where $X$ and $Y$ are locally compact Hausdorff spaces and $E$ and $F$ are normed spaces, not assumed to be neither strictly convex nor complete. We show that for a class of normed spaces $F$ satisfying a new defined property related to their $T$-sets, such an isometry is a (generalized) weighted composition operator up to a translation. Then we apply the result to study surjective isometries between $A$ and $B$ whenever $A$ and $B$ are equi…
A canonical model, analogous to the one for contraction operators, is introduced for bi-isometries, two commuting isometries on a Hilbert space. This model involves a contractive analytic operator-valued function on the unit disk. Various pureness conditions are considered as well as bi-isometries for which both isometries are shifts. Several families of examples are introduced and classified.
In the recent paper \cite{Hos}, surjective isometries, not necessarily linear, $T: {\rm AC}(X,E) \longrightarrow {\rm AC}(Y,F)$ between vector-valued absolutely continuous functions on compact subsets $X$ and $Y$ of the real line, has been described. The target spaces $E$ and $F$ are strictly convex normed spaces. In this paper, we assume that $X$ and $Y$ are compact Hausdorff spaces and $E$ and $F$ are normed spaces, which are not assumed to be strictly convex. We describe (with a short proof) surjective isometries $T: (A,\|\cdot\|_A) \longrightarrow (B,\|\cdot\|_B)$ between certain normed su…
In this paper we characterize surjective isometries on certain classes of non-commutative spaces associated with semi-finite von Neumann algebras: the Lorentz spaces $L^{w,1}$, as well as the spaces $L^1+L^\infty$ and $L^1\cap L^\infty$. The technique used in all three cases relies on characterizations of the extreme points of the unit balls of these spaces. Of particular interest is that the representations of isometries obtained in this paper are global representations.
We present an explicit version of Berger, Coburn and Lebow's classification result for pure pairs of commuting isometries in the sense of an explicit recipe for constructing pairs of commuting isometric multipliers with precise coefficients. We describe a complete set of (joint) unitary invariants and compare the Berger, Coburn and Lebow's representations with other natural analytic representations of pure pairs of commuting isometries. Finally, we study the defect operators of pairs of commuting isometries.
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…
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…
Isometries of Unit Spheres of SFS-Spaces and a Geometric Approach to Tingley's Problem
Institute for Advances Study in Mathematics, Harbin Institute of Technologies(哈尔滨工业大学数学前沿研究院);Suzhou Research Institute of Harbin Institute of Technology(哈尔滨工业大学苏州研究院);V.I. Romanovskiy Institute of Mathematics, Uzbekistan Academy of Sciences(乌兹别克斯坦科学院V.I.罗曼诺夫斯基数学研究所);Karakalpak State University(卡拉卡尔帕克国立大学)
We extend existing results that characterize isometries on the Tsirelson-type spaces $T\big[\frac{1}{n}, \mathcal{S}_1\big]$ ($n\in \mathbb{N}, n\geq 2$) to the class $T[θ, \mathcal{S}_α]$ ($θ\in \big(0, \frac{1}{2}\big]$, $1\leqslant α< ω_1$), where $\mathcal{S}_α$ denote the Schreier families of order $α$. We prove that every isometry on $T[θ, \mathcal{S}_1]$ ($θ\in \big(0, \frac{1}{2}\big]$) is determined by a permutation of the first $\lceil θ^{-1} \rceil$ elements of the canonical unit basis followed by a possible sign-change of the corresponding coordinates together with a sign-change of…
We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) $JB$-algebras, such maps are precisely Jordan isomorphisms. Next, we introduce the notions of absolutely matrix ordered spaces and absolute matrix order unit spaces and prove that for a bijective, unital, linear map between absolute matrix order unit spaces is a complete isometry if, and only if, it is completely absolute value preserving. We obtain that on (unital) C$^*$-algebras such maps are precisely C$^*$-algebra …
We prove that if $X$ is a real rearrangement-invariant function space on $[0,1]$, which is not isometrically isomorphic to $L_2,$ then every surjective isometry $T:X\to X$ is of the form $Tf(s)=a(s)f(σ(s))$ for a Borel function $a$ and an invertible Borel map $σ:[0,1] \to [0,1].$ If $X$ is not equal to $L_p$, up to renorming, for some $1\le p\le \infty$ then in addition $|a|=1$ a.e. and $σ$ must be measure-preserving.
This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than another with respect to these pre-orders is equivalent to the existence of a bounded (or isometric) multiplier between two natural reproducing kernel Hilbert spaces of analytic functions. For large classes of partial isometries these spaces can be realized as the well-known model subspaces and deBranges-Rovnyak spaces. This characterization is applied to investig…
Let $X$ and $Y$ be real normed spaces and $f \colon X\to Y$ a surjective mapping. Then $f$ satisfies $\{\|f(x)+f(y)\|, \|f(x)-f(y)\|\} = \{\|x+y\|, \|x-y\|\}$, $x,y\in X$, if and only if $f$ is phase equivalent to a surjective linear isometry, that is, $f=σU$, where $U \colon X\to Y$ is a surjective linear isometry and $σ\colon X\to \{-1,1\}$. This is a Wigner's type result for real normed spaces.
This paper studies the behaviour of iterates of weighted composition operators acting on spaces of analytic functions, with particular emphasis on the Hardy space $H^2$. Questions relating to uniform, strong and weak convergence are resolved in many cases. Connected to this is the question when a weighted composition operators is an isometry, and new results are given in the case of the Hardy and Bergman spaces.
A known general program, designed to endow the quotient space ${\cal U}_{\cal A} / {\cal U}_{\cal B}$ of the unitary groups ${\cal U}_{\cal A}$, ${\cal U}_{\cal B}$ of the C$^*$ algebras ${\cal B}\subset{\cal A}$ with an invariant Finsler metric, is applied to obtain a metric for the space ${\cal I}({\cal H})$ of partial isometries of a Hilbert space ${\cal H}$. ${\cal I}({\cal H})$ is a quotient of the unitary group of ${\cal B}({\cal H})\times{\cal B}({\cal H})$, where ${\cal B}({\cal H})$ is the algebra of bounded linear operators in ${\cal H}$. Under this program, the solution of a linear …
Based on the characterization of surjective $L^p$-isometries of unitary groups in finite factors, we describe all surjective $L^p$-isometries between Grassmann spaces of projections with the same trace value in semifinite factors.
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…
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.