Borel Functional Calculus - Resolution of The Identity

Resolution of The Identity

Let T be a self-adjoint operator. If E is a Borel subset of R, and 1E is the indicator function of E, then 1E(T) is a self-adjoint projection on H. Then mapping

is a projection-valued measure called the resolution of the identity for the self adjoint operator T. The measure of R with respect to Ω is the identity operator on H. In other words, the identity operator can be expressed as the spectral integral I = ∫ 1 dΩ. Sometimes the term "resolution of the identity" is also used to describe this representation of the identity operator as a spectral integral.

In the case of a discrete measure (in particular, when H is finite dimensional), I = ∫ 1 dΩ can be written as

in the Dirac notation, where each |i> is a normalized eigenvector of T. The set { |i〉 } is an orthonormal basis of H.

In physics literature, using the above as heuristic, one passes to the case when the spectral measure is no longer discrete and write the resolution of identity as

and speak of a "continuous basis", or "continuum of basis states", { |i〉 }. Mathematically, unless rigorous justifications are given, this expression is purely formal.

Read more about this topic:  Borel Functional Calculus

Famous quotes containing the words resolution and/or identity:

    Unfortunately, many things have been omitted which should have been recorded in our journal; for though we made it a rule to set down all our experiences therein, yet such a resolution is very hard to keep, for the important experience rarely allows us to remember such obligations, and so indifferent things get recorded, while that is frequently neglected. It is not easy to write in a journal what interests us at any time, because to write it is not what interests us.
    Henry David Thoreau (1817–1862)

    Unlike Boswell, whose Journals record a long and unrewarded search for a self, Johnson possessed a formidable one. His life in London—he arrived twenty-five years earlier than Boswell—turned out to be a long defense of the values of Augustan humanism against the pressures of other possibilities. In contrast to Boswell, Johnson possesses an identity not because he has gone in search of one, but because of his allegiance to a set of assumptions that he regards as objectively true.
    Jeffrey Hart (b. 1930)