State on splitting subspaces and completeness of inner product spaces
type: Item
instance of: scholarly article
title: State on splitting subspaces and completeness of inner product spaces
zbMATH Open document ID: 0661.46019
DOI: 10.1007/BF00674351
author: Sylvia Pulmannová
author: Anatolij Dvurečenskij
published in: International Journal of Theoretical Physics
publication date: 1988-01-01T00:00:00Z
review text: Let V be a real or complex inner product space, \({\mathcal L}(V)=\{M\subseteq V:M^{\perp \perp}=M\}\), and \({\mathcal E}(V)=\{M\subseteq V:M+M^{\perp}=V\}\). The element of \({\mathcal E}(V)\) is called a splitting subspace, and \({\mathcal L}(V)\supseteq {\mathcal E}(V)\) holds. Let m be a mapping from \({\mathcal E}(V)\) into the interval [0,1] satisfying the following conditions (i) and (ii): (i) \(m(V)=1\), (ii) Let \(\{M_ t\in {\mathcal E}(V):t\in T\}\) be a system of mutually orthogonal subspaces. If \(\bigvee_{L,t\in T}M_ t\equiv span(\cup_{t\in T}M_ t)^{\perp \perp}\in {\mathcal E}(V)\), then m(\(\bigvee_{L,t\in T}M_ t)=\sum_{t\in T}m(M_ t)\) holds. If the condition (ii) holds for any index set T, m is said to be a completely additive state (C.A. state). The authors prove the following main theorem here: An inner product space V is complete if and only if \({\mathcal E}(V)\) possesses at least one C.A. state. Let T be a positive Hermitian operator from V into V with trace equal to 1 and \(P_ M\) the orthoprojector from V onto M. The necessity, that is the existence of C. A. state, is easily proved by the construction of \(m_ T(M)=tr(TP_ M)\). They give the following two different proofs of the sufficiency: In Proof 1 they show that, for any sequence of orthonormal vectors (O.N. vectors) \(\{x_ i\}^{\infty}_{i=1}\) from V, the space \(M=\bigvee^{\infty}_{i=1,L}sp(x_ i)\) is complete and splitting. Then V is complete from the criterion by \textit{A. Dvurečeskij} [Lett. Math. Phys. 15, 231-235 (1988)]. In Proof 2 they show that, for any nonvoid system of O.N. vectors from V, \(A=\bigvee_{i,L}sp(x_ i)\) is splitting. Then \({\mathcal E}(V)\supseteq {\mathcal L}(V)\) is proved by using a maximal orthonormal system \(\{y_ i\}\) in M, and V is complete. The C. A. state is used in fundamental Lemmas.
Mathematics Subject Classification ID: 46C99
Mathematics Subject Classification ID: 46A30
zbMATH DE Number: 4080149
zbMATH Keywords: inner product space
zbMATH Keywords: splitting subspace
zbMATH Keywords: completely additive state
zbMATH Keywords: orthonormal vectors
reviewed by: Hideo Yamagata
MaRDI profile type: Publication
cites work: A remark on Piron's paper
cites work: Completeness of inner product spaces with respect to splitting subspaces
cites work: Completeness of inner product spaces and quantum logic of splitting subspaces
cites work: Q3209632
cites work: Gleason's theorem and completeness of inner product spaces
cites work: On the definition of Hilbert space
cites work: Inner Product Spaces
cites work: A Completeness Criterion for Inner Product Spaces
cites work: Q3891824
cites work: Probability in physics and a theorem on simultaneous observability
cites work: Q5537293
Recommended article: Q3209632
Recommended article: Completeness of inner product spaces with respect to splitting subspaces
Recommended article: On states on orthogonally closed subspaces of an inner product space
Recommended article: A finitely additive state criterion for the completeness of inner product spaces
Recommended article: Completeness of inner product spaces induced by states on Jordan and \(C^\ast\)-algebras
Recommended article: Q3975471
Recommended article: States on subspaces of inner product spaces with the Gleason property
Recommended article: On the (non)existence of states on orthogonally closed subspaces in an inner product space
Recommended article: The existence of finitely additive states on orthogonally closed subspaces of incomplete inner product spaces
Recommended article: On complete-cocomplete subspaces of an inner product space.
description: scientific article; zbMATH DE number 4080149