Mesure spectrale
# Mesure spectrale

En mathématiques, plus précisément en analyse fonctionnelle, une mesure spectrale est une application définie sur une tribu à valeurs dans l'espace des projections orthogonales d'un espace hilbertien et vérifiant des axiomes semblables à ceux qui définissent les mesures positives. Les mesures spectrales sont utilisées pour exprimer des résultats en théorie spectrale, tels que le théorème spectral pour les opérateurs auto-adjoints.

Les mesures spectrales ont des propriétés similaires aux mesures réelles positives.

## Définition formelle

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

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

       $\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).
