Formal Definition
A projection-valued measure on a measurable space (X, M), where M is a σ-algebra of subsets of X, is a mapping π from M to the set of self-adjoint projections on a Hilbert space H such that
and for every ξ, η ∈ H, the set-function
is a complex measure on M (that is, a complex-valued countably additive function). We denote this measure by .
If π is a projection-valued measure and
then π(A), π(B) are orthogonal projections. From this follows that in general,
Example. Suppose (X, M, μ) is a measure space. Let π(A) be the operator of multiplication by the indicator function 1A on L2(X). Then π is a projection-valued measure.
Read more about this topic: Projection-valued Measure
Famous quotes containing the words formal and/or definition:
“This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
—Leontine Young (20th century)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)