Abstract
We show that an inner product space S is complete whenever its system E(S) of all splitting subspaces, i.e. of all subspaces M for which M+M ⊥ =S holds, possesses at least one nonzero completely additive signed measure or, equivalently, iff S possesses at least one nonzero frame function. Moreover, we show a new and simple proof that S is complete iff E(S) contains the join of any sequence of orthogonal one-dimensional subspaces.
Similar content being viewed by others
References
AmemiyaI., and ArakiH., A remark on Piron's paper, Publ. Res. Inst. Math. Sci. Ser. A 12, 423–427 (1966–67).
CattaneoG., FrancoG., and MarinoG., Ordering on families of subspaces of pre-Hilbert space and Decay pre-Hilbert space, Boll. Un. Mat. Ital. B 1, 167–183 (1987).
DvurečenskijA., Signed states on a logic, Math. Slovaca 28, 33–40 (1978).
DvurečenskijA., Completeness of inner product spaces and quantum logic of splitting subspaces, Lett. Math. Phys. 15, 231–235 (1988).
DvurečenskijA., States on families of subspaces of pre-Hilbert spaces, Lett. Math. Phys. 17, 19–24 (1988).
DvurečenskijA. and MišíkL., Gleason'sTheorem and completeness of inner product spaces, Inter. J. Theor Phys. 27, 417–426 (1988).
DvurečenskijA., and PulmannováS., State on splitting subspaces and completeness of inner product spaces, Inter. J. Theor. Phys. 27, 1059–1067 (1988).
GleasonA. M., Measures on the closed subspaces of a Hilbert space, J. Math. Mech. 6, 885–894 (1957).
HamhalterJ. and PtákP., A completeness criterion for inner product spaces, Bull. Lond. Math. Soc. 19, 259–263 (1987).
SherstnevA. N., On the notion of charge in the noncommutative scheme of measure theory, Veroj. Metod. Kiber. Nos. 10–11, 68–72, KGU, Kazan (1974) (inRussian).
Šerstnev,A. N., Some problems in the theory of unbounded measures on projectors, Proc. 1st Winter School on Measure Theory, Lipt. Ján, Jan. 10–15, 1988, pp. 152–156.
VaradarajanV. S., Geometry of Quantum Theory Van Nostrand, Princeton, New York, 1968.