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:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)