Medida espectral

Sean

• ${\displaystyle (X,{\mathcal {A}})}$ un espacio medible, es decir ${\displaystyle {\mathcal {A}}}$ es una σ-álgebra de subconjuntos de ${\displaystyle X}$.
• ${\displaystyle H\ }$ un espacio de Hilbert.
• ${\displaystyle \pi \ }$ una aplicación de ${\displaystyle {\mathcal {A}}}$ al conjunto de proyecciones ortogonales de ${\displaystyle H}$.

${\displaystyle \pi \ }$ es una medida espectral si y solamente si

• ${\displaystyle \pi (X)=\operatorname {id} _{H}\quad }$
• Si ${\displaystyle \{E_{i}:i\in \mathbb {N} \}}$ es una sucesión de elementos de ${\displaystyle {\mathcal {A}}}$ disjuntos entre sí, entonces las proyecciones ${\displaystyle \{\pi (E_{i}):i\in \mathbb {N} \}\quad }$

son ortogonales entre sí y

${\displaystyle \pi (\bigcup _{i\in \mathbb {N} }E_{i})=\sum _{i\in \mathbb {N} }\pi (E_{i})}$

donde la convergencia en el sumatorio es en el sentido de la convergencia fuerte de operadores: O sea que para todo vector ${\displaystyle x\in H}$

${\displaystyle \lim _{n\rightarrow \infty }\sum _{k=1}^{n}\pi (E_{k})x=\pi (\bigcup _{i\in \mathbb {N} }E_{i})x}$

• G. W. Mackey, The Theory of Unitary Group Representations, The University of Chicago Press, 1976
• V. S. Varadarajan, Geometry of Quantum Theory V2, Springer Verlag, 1970.