On orthogonality spaces admitting nontrivial even orthogonally additive mappings

abelian group Birkhoff-James orthogonality Cauchy functional equation inner product Jordan-von Neumann functional equations nontrivial even orthogonally additive mappings orthogonality space quasi norm vector space

Mathematics Subject Classification ID

Functional equations for functions with more general domains and/or ranges (39B52) Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05)

Review text

Let (X,\(\perp)\) be an orthogonality space (X a real vector space and \(\perp\) an orthogonality relation on X). Let \((Y,+)\) be an abelian group. Let \((e)Hom_{\perp}(X,Y)\) denote the set of mappings \(\{\) E: \(X\to Y|\) E is even orthogonally additive\(\}\), i.e., \(E(x+y)=E(x)+E(y)\) for all x,y\(\in X\) with \(x\perp y\), E even. The author proves: If dim \(X\geq 3\) and \((e)Hom_{\perp}(X,Y)\neq \{0\}\), then there exists a functional \(\rho\) : \(X\to {\mathbb{R}}\) with the following properties: (i) \(\rho (0)=0\), \(\rho (x)>0\) for all \(x\in X\setminus \{0\}\); (ii) \(\rho (\lambda x)=| \lambda | \rho (x)\), for all \(x\in X\) and \(\lambda\in {\mathbb{R}}\); (iii) \(E(x)=E(y)\) for any \(E\in (e)Hom_{\perp}(X,Y)\) and every x,y\(\in X\) such that \(\rho (x)=\rho (y).\) The main result: If dim \(X\geq 3\) and \((e)Hom_{\perp}(X,Y)\neq \{0\}\), then there exists an equivalent inner product \(<\cdot,\cdot >: X\times Y\to {\mathbb{R}}\), i.e. \(x\perp y\Leftrightarrow <x,y>=0\) for all x,y\(\in X\), and \((e)Hom_{\perp}(X,Y)=\{a\circ \| \cdot \|^ 2|\) \(a\in Hom({\mathbb{R}},Y)\}\).

Recommendations

Cites work

Cited in

(15)

This page was built for publication: On orthogonality spaces admitting nontrivial even orthogonally additive mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q756027)