Mesure spectrale

Soit ${\displaystyle (X,{\mathcal {A}})}$ un espace mesurable, c'est-à-dire un ensemble ${\displaystyle X}$ muni d'une tribu ${\displaystyle {\mathcal {A}}}$. Une mesure spectrale, aussi appelée homorphisme spectral, est une application ${\displaystyle \varphi }$ définie sur l'algèbre ${\displaystyle {\mathcal {M}}}$ des fonctions complexes mesurables bornées sur ${\displaystyle X}$ ayant les propriétés suivantes :

1. ${\displaystyle \varphi }$ est un morphisme involutif de l'algèbre ${\displaystyle {\mathcal {M}}}$ dans l'algèbre involutive des opérateurs bornés dans un espace hilbertien ${\displaystyle {\mathfrak {H}}}$
2. Si ${\displaystyle \xi \in {\mathfrak {H}}}$, alors la fonction d'ensemble

${\displaystyle \nu (E)=\langle \varphi (E)\xi \mid \xi \rangle }$

est une mesure à valeurs complexes.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Projection-valued measure » (voir la liste des auteurs).