We extend the Pegg-Barnett formalism, which describes the phase of a s
ingle-mode light field and is based on finite-dimensional Hilbert spac
es, to the infinite-dimensional case. The infinite-dimensional version
s of the Pegg-Barnett phase operators operate on a linear vector space
which contains the conventionally used infinite-dimensional Hilbert s
pace as a subspace.