Texts and readings in mathematics
Systems with a Configuration Under a Group Action
Kalyanapuram Rangachari Parthasarathy
Abstract
We start with a heuristic description of a quantum mechanical system which admits ‘position’ as an observable in the sense of Definition 1.2.1. Suppose the position of the system can be identified with a point x in an abstract space X with the Borel structure B $$ \mathfrak{B} $$ . We can then speak of the event ‘position x ϵ E’ or ‘x ϵ E’ for any E ϵ B $$ \mathfrak{B} $$ . Suppose that ‘all’ the events concerning the system are described by the lattice P $$ \mathcal{P} $$ (H) $$ (\mathcal{H}) $$ of all orthogonal projections on a Hilbert space H $$ \mathcal{H} $$ . Then the event ‘x ϵ E’ can be identified with an element P(E) ϵ P $$ \mathcal{P} $$ (H) $$ (\mathcal{H}) $$ . Then the existence of a position observable is equivalent to the fact that the map E → P(E) from B $$ \mathfrak{B} $$ to P $$ \mathcal{P} $$ (H) $$ (\mathcal{H}) $$ is a spectral measure.