Measures on the quantum logic of subspaces of a \(J\)-space (Q1177552): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 23:46, 29 January 2024

scientific article
Language Label Description Also known as
English
Measures on the quantum logic of subspaces of a \(J\)-space
scientific article

    Statements

    Measures on the quantum logic of subspaces of a \(J\)-space (English)
    0 references
    0 references
    26 June 1992
    0 references
    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\).
    0 references
    0 references
    generalization of Gleason theorem to spaces with indefinite inner product
    0 references
    Krejn space
    0 references
    \(J\)-selfadjoint operator
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references