Approximately orthogonality preserving mappings on \(C^{*}\)-modules (Q2474937)

Let \(\mathcal{A}\) be a C*-algebra and \(X\) and \(Y\) be inner product \(\mathcal{A}\)-modules. A map \(T : X\rightarrow Y\) is called orthogonality preserving, or OP if \(\langle x,y\rangle = 0\) implies that \(\langle Tx,Ty\rangle = 0\). If \(\varepsilon > 0\), the map \(T\) is called \(\varepsilon\)-OP, if \(\langle x,y\rangle = 0\) implies that \(\|\langle Tx,Ty\rangle\|\leq \varepsilon \|Tx\|\|Ty\|\). In the paper under review, the authors study OP and \(\varepsilon\)-OP maps between inner product \(\mathcal{A}\)-modules. Among the obtained results are the following generalisations of previous results for inner product spaces: (a) If \(\mathcal{A}\) contains the algebra of all compact operators on a Hilbert space, then a nonzero \(\mathcal{A}\)-linear map \(T : X\rightarrow Y\) is orthogonality preserving if and only if there exists \(\gamma > 0\) such that \(\|Tx\| = \gamma \|x\|\), for each \(x\in X\). (b) If \(\mathcal{A}\) contains the algebra of all compact operators on a Hilbert space and \(T : X\rightarrow Y\) is an \(\mathcal{A}\)-linear \(\varepsilon\)-OP map (where \(0\leq \varepsilon < 1\)), then \(T\) is bounded and \[ \|\langle Tx,Ty\rangle - \|T\|^2\langle x,y\rangle\|\leq \frac{4\varepsilon}{1 + \varepsilon}\|T\|^2\|x\|\|y\|, \;\;x,y\in X. \] (c) If \(\mathcal{A}\) coincides with the algebra of all compact operators on a Hilbert space, \(X\) and \(Y\) are Hilbert \(\mathcal{A}\)-modules, and \(T : X\rightarrow Y\) is an \(\mathcal{A}\)-linear \(\varepsilon\)-OP map (where \(0\leq \varepsilon < 1\)), then there exists an \(\mathcal{A}\)-linear isometry \(U : X\rightarrow Y\) such that \[ \|T - \|T\|U\|\leq \left(1-\sqrt{\frac{1-\varepsilon}{1+\varepsilon}}\right) \|T\|. \]