Projection (or: projection-valued) measures are operator-valued measures of a special type. They appear for example in the theory of reproducing kernel Hilbert spaces, coherent states and the foundations of quantum mechanics. A projection measure is used to parametrize a complete family of projection operators by subsets of some parameter space.
Given a set and some -algebra of subsets of , with , and a complex Hilbert space , a map is called a projection-(valued) measure on with values in if
all operators in the image are selfadjoint
for all where the product is the composition of the operators
for all such that
if , in the sense of coinciding upper and lower limit of sets, , then in the strong operator topology. (note: check if strong)
Typical example is that is a topological space and is the -algebra of Borel subsets of .
- Gerald B. Folland, A course in abstract harmonic analysis, Studies in Adv. Math. CRC Press 1995, Zbl
- A. A. Kirillov, A. D. Gvišiani, Теоремы и задачи функционального анализа (theorems and exercises in functional analysis), Moskva, Nauka 1979, 1988
Revised on November 29, 2013 11:52:39
by Zoran Škoda