Measures on the quantum logic of subspaces of a \(J\)-space (Q1177552)

The paper is devoted to a generalization of Gleason's theorem to spaces with indefinite inner product. Let \(H\) be a space with indefinite inner product \([.,.]\) and the canonical decomposition \(H=H^ +[+]H^ -\) and the canonical symmetry \(J\) (i.e. a Krejn space). \(H\) is a Hilbert space with respect to the inner product \((x,y)=[Jx,y]\). Let \({\mathfrak B}\) be the quantum logic of \(J\)-selfadjoint bounded projections \(p\) in \(H\) and \({\mathfrak B}^ +\) (resp. \({\mathfrak B}^ -\)) all projections \(p\) with \(pH\) positive (resp. negative). Any \(p\in{\mathfrak B}\) can be decomposed as \(p=p^ ++p^ -\) with \(p^ \pm\in{\mathfrak B}^ \pm\). A map \(\mu:{\mathfrak B}\to\mathbb{R}\) is called a measure if \(\mu(p)=\sum_ i \mu(p_ i)\) for any partition \(p=\sum_ i p_ i\). The measure \(\mu\) is indefinite if \(\mu(p)\geq 0\) for \(p\in{\mathfrak B}^ +\) and \(\mu(p)\leq 0\) for \(p\in{\mathfrak B}^ -\). The main result of the paper is Theorem. Let \(H\) be a \(J\)-space, \(\dim H\geq 3\). Then given any indefinite measure \(\mu:{\mathfrak B}\to\mathbb{R}\) there exists a unique \(J\)- selfadjoint operator \(A\) and a real \(c\in\mathbb{R}\) such that \(\mu(p)=Sp(Ap)+c\dim(p^ + H)\), \(p\in{\mathfrak B}\). Moreover if \(\dim H^ +=+\infty\) then \(c=0\) and \(0(+\infty)=0\).