A set of statements about the properties of a quantum system is looked at as at a partially ordered set of subspaces of finite or infinite dimensional Hilbert space. The operation of ordering is performed on a set of propositions comparing the truth values of these propositions and on the set of subspaces as the opera- tion of inclusion. Based on the required properties these structures are translated into operations on the lattice. The correspondence with Heisenberg uncertainty principle is shown there. Furthermore, it is shown that the lattices correspond- ing to the subspaces of infinite dimensional Hilbert space are not modular. This property is replaced with weaker property of orthomodularity, when operation of the negation is added. Following the work of G. Birkhoff and J. von Neumann, the structure of quantum logic is looked for in projective spaces, which are in- troduced either arithmetically or axiomatically. The examples of quantum logic, their physical implementation and eventual implementation in projective spaces are analysed. 1
The set of bounded observables for a quantum system is represented by the set of bounded self-adjoint operators S(H) on a complex Hilbert space H, and the quantum effects for a physical system can be described by the set E(H) of positive contractive operators on a complex Hilbert space H. In this note, by the techniques of operator block and spectral, we give the simpler representation of A∧P and obtained the new necessary and sufficient conditions for A∨P, for A∊S(H) and P∊P(H), where P(H) is the set of all orthogonal projection operators on H. In particular, we get that if A∨P exists, then A∨P∊E(H) for A∊E(H) and P∊P(H). In addition, we consider the relations between the existence of A∨B, A−∨B−, and A+∨B+, where A+, B+, A−, and B− are the positive and negative parts of A,B∊S(H).
This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space
X with a given semi-inner product, a pure state is defined by Lumer \cite{Lumer1961} to be a bounded linear functional on the space of bounded operators determined by a normalized element of
X under the semi-inner product, and then the state space
S(X) of the system is the weakly closed convex set spanned by all pure states. Based on Lumer's notion of the state, we associate a quantum system with a complex Banach space
X equipped with a fixed semi-inner product, and then define a physical event at a quantum state
ω∈S(X) to be a projection
P (bounded operator such that
P2=P) in
X satisfying the positivity condition
0≤ω(P)≤1, and a physical quantity at a quantum state
ω to be a spectral operator of scalar type with real spectrum so that the associated spectral projections are all physical events at
ω. The Born formula for measurement of a physical quantity is the natural pairing of operators with linear functionals satisfying the probability conservation law. A time evolution of the system is governed by a one-parameter group of invertible spectral operators determined by a scalar type operator with the real spectrum, which satisfies the Schrödinger equation. Our formulation is just a generalization of the Dirac-von Neumann formalism of quantum mechanics to the Banach space setting. We include some examples for illustration.
We consider the standard quantum logic
L(H) associated to a complex Hilbert space
H, i.e. the lattice of closed subspaces of
H together with the orthogonal complementation. The orthogonality and compatibility relations are defined for any logic. In the standard quantum logic, they have a simple interpretation in terms of operator theory. For example, two closed subspaces (propositions in the logic
L(H)) are compatible if and only if the projections on these subspaces commute. We present both classical and more resent results on transformations of
L(H) and the associated Grassmannians which preserve the orthogonality or compatibility relation. The first result in this direction was classical Wigner's theorem.