Article
Operators preserving orthogonality are isometries
Proceedings of the Royal Society of Edinburgh Section A Mathematics (Impact Factor: 1.01). 01/1993; 123(5). DOI: 10.1017/S0308210500029528
Source: arXiv
ABSTRACT
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+\alpha y\\geq \x\$ for every $\alpha \in R$. We prove that every operator from $E$ into itself preserving orthogonality is an isometry multiplied by a constant.
Fulltext preview
arxiv.org Available from: Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.

 "Orthogonality preservers of C * modules have been studied by many authors , e.g., [1], [3], [6], [10], [22]. In the case when A is a standard C * algebra, the equivalence of (1.1) and (1.2) was established by D. Iliševi´c and A. Turnšek [8]. "
[Show abstract] [Hide abstract]
ABSTRACT: We show in this paper that the module structure and the orthogonality structure of a Hilbert C*module determine its inner product structure. Let A be a C*algebra, and E and F be Hilbert Amodules. Assume Phi : E > F is an Amodule map satisfying <Phi(x), Phi(y)>(A) = 0 whenever < x,y >(A) = 0. Then Phi is automatically bounded. In case Phi is bijective, E is isomorphic to F. More precisely, let J(E) be the closed twosided ideal of A generated by the set {< x,y >(A) : x,y is an element of E}. We show that there exists a unique central positive multiplier u is an element of M(J(E)) such that <Phi(x), Phi(y)>(A) = u < x,y >(A) (x,y is an element of E). As a consequence, the induced map Phi(0) : E > (Phi) over bar((E) over bar) is adjointable, and (Eu1/2) over bar is isomorphic to (Phi) over bar((E) over bar) as Hilbert Amodules. 
 "[13] "
[Show abstract] [Hide abstract]
ABSTRACT: We investigate orthonormalitypreserving, C⁎conformal and conformal module mappings on full Hilbert C⁎modules to obtain their general structure. Orthogonalitypreserving bounded module maps T act as a multiplication by an element λ of the center of the multiplier algebra of the C⁎algebra of coefficients combined with an isometric module operator as long as some polar decomposition conditions for the specific element λ are fulfilled inside that multiplier algebra. Generally, T always fulfills the equality 〈T(x),T(y)〉=2λ〈x,y〉 for any elements x, y of the Hilbert C⁎module. At the contrary, C⁎conformal and conformal bounded module maps are shown to be only the positive real multiples of isometric module operators. 
 "However in general normed spaces Birkhoff–James orthogonality is neither symmetric nor additive but it is homogeneous. It is known that a linear mapping T between normed spaces X and Y is OP if and only if it is a scalar multiple of an isometry; see [5] for the case of real normed spaces and [6] for the complex case. Therefore OP mappings between normed spaces are of the same form as OP mappings between inner product spaces. "
[Show abstract] [Hide abstract]
ABSTRACT: We answer many open questions regarding approximately orthogonality preserving mappings (in Birkhoff–James sense) in normed spaces. In particular, we show that every approximately orthogonality preserving linear mapping (in Chmieliński sense) is necessarily a scalar multiple of an εisometry. Thus, whenever εisometries are close to isometries we obtain stability. An example is given showing that approximately orthogonality preserving mappings are in general far from scalar multiples of isometries, that is, stability does not hold.