Table of Contents
Fetching ...

Additive mappings preserving orthogonality between complex inner product spaces

Lei Li, Siyu Liu, Antonio M. Peralta

Abstract

Let $H$ and $K$ be two complex inner product spaces with dim$(X)\geq 2$. We prove that for each non-zero additive mapping $A:H \to K$ with dense image the following statements are equivalent: $(a)$ $A$ is (complex) linear or conjugate-linear mapping and there exists $γ>0$ such that $\| A (x) \| = γ\|x\|$, for all $x\in X$, that is, $A$ is a positive scalar multiple of a linear or a conjugate-linear isometry; $(b)$ There exists $γ_1 >0$ such that one of the next properties holds for all $x,y \in H$: $(b.1)$ $\langle A(x) |A(y)\rangle = γ_1 \langle x|y\rangle,$ $(b.2)$ $\langle A(x) |A(y)\rangle = γ_1 \langle y|x \rangle;$ $(c)$ $A$ is linear or conjugate-linear and preserves orthogonality in both directions; $(d)$ $A$ is linear or conjugate-linear and preserves orthogonality; $(e)$ $A$ is additive and preserves orthogonality in both directions; $(f)$ $A$ is additive and preserves orthogonality. This extends to the complex setting a recent generalization of the Koldobsky--Blanco--Turnšek theorem obtained by Wójcik for real normed spaces.

Additive mappings preserving orthogonality between complex inner product spaces

Abstract

Let and be two complex inner product spaces with dim. We prove that for each non-zero additive mapping with dense image the following statements are equivalent: is (complex) linear or conjugate-linear mapping and there exists such that , for all , that is, is a positive scalar multiple of a linear or a conjugate-linear isometry; There exists such that one of the next properties holds for all : is linear or conjugate-linear and preserves orthogonality in both directions; is linear or conjugate-linear and preserves orthogonality; is additive and preserves orthogonality in both directions; is additive and preserves orthogonality. This extends to the complex setting a recent generalization of the Koldobsky--Blanco--Turnšek theorem obtained by Wójcik for real normed spaces.

Paper Structure

This paper contains 2 sections, 3 theorems, 16 equations.

Table of Contents

  1. Introduction
  2. The results

Key Result

Lemma 2.1

Let $A : H\to K$ be a real-linear mapping between two complex inner product spaces with dense image. Suppose additionally that $A$ preserves orthogonality. Then for each norm-one element $x_0\in H$ we have $A (\mathbb{C} x_0) \subseteq \mathbb{C} A(x_0)$.

Theorems & Definitions (6)

  • Lemma 2.1
  • proof
  • Theorem 2.1
  • proof
  • Proposition 2.2
  • proof