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:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)