No label defined (Q4244869)

Let \({\mathcal L}(E)\) be the family of all orthogonal closed subspaces of an inner product space \(E\). The main result of the paper is Theorem 2.1: Let \(K\) be a division ring with an involution *, let \(E\) be an infinite-dimensional space over \(K\), and let \((\cdot ,\cdot)\) be a Hermitian form on \(E \times E\) such that in any direction there is a unit vector, i.e., for any \(x \in E\), \(x \neq 0\), there exists an \(\alpha \in K\) with \((\alpha x, \alpha x) = 1\). Let \(m : {\mathcal L}(E) \to [0,1]\) be a finitely additive state such that there exists a unit vector \(x_0 \in E\) with the property \(m(M) = 1\) if and only if \(x_0 \in M\). Then \(K\) is either the ring of real, complex or quaternionic numbers, \(E\) is a Hilbert space over \(K\), and \(m\) is a completely additive state.