Continuous‐Representation Theory. IV. Structure of a Class of Function Spaces Arising from Quantum Mechanics

A rigorous development of the continuous representation of Hilbert space by bounded, continuous, multidimensional phase‐space functions ψ(p, q) is presented. It is shown that these functions form a closed subspace of L2(p, q) whose elements are functions and not equivalence classes. Differential properties are investigated and it is pointed out that there are a multitude of definitions whereby ψ(p, q) possesses continuous derivatives of all orders. In one of these definitions, each ψ(p, q) is proportional to a multidimensional, entire function f(q − ip), establishing a connection between Bargmann's Hilbert space of entire functions and one example of a continuous representation. Attention is devoted to the purely functional characterization of the continuous representation by means of the reproducing kernel as a special case of Aronszajn's general theory. Properties of various operators in a continuous representation are carefully defined.