Medida espectral

Na matemática, particularmente em análise funcional a Medida espectral é uma função definida em certos subconjuntos de um conjunto fixo no qual todos os valores possíveis são operadores autoadjuntos no espaço de Hilbert.

Definição

Uma medida espectral num espaço mensurável (X, M), onde M é uma σしぐま-álgebra de subconjuntos de X, é um mapeamento πぱい de M para o conjunto de projeções autoadjuntas num espaço de Hilbert H de forma que

$\pi (X)=\operatorname {id} _{H}\quad$

e para todo ξくしー, ηいーた ∈ H, o conjunto função

$A\mapsto \langle \pi (A)\xi \mid \eta \rangle$

é uma medida complexa em M (que é, uma função de adição sigma de um valor complexo). Nós denotamos tal medida por $\operatorname {S} _{\pi }(\xi ,\eta )$.

Se πぱい é uma medição espectral e

$A\cap B=\emptyset ,$

Então πぱい(A), πぱい(B) são projeções ortogonais. A partir disto obtemos,

$\pi (A)\pi (B)=\pi (A\cap B).$

Exemplo

Suponha que (X, M, μみゅー) seja uma medida espacial. Deixemos πぱい(A) ser um operador de multiplicação pela função indicadora $1_{A}$ no $L^{2}(X)$. Então πぱい é uma medição espectral.

Extensões da medição espectral

Se πぱい é uma aditivo na medida espectral em (X, M), então o mapeamento

$\mathbf {1} _{A}\mapsto \pi (A)$

estende de um mapeamento linear num espaço vectorial de funções escalonadas em X. De facto, é facilmente verificável que este mapeamento é um homomorfismo de anéis. E este mapeamento estende de uma forma canônica para todos valores complexos em X.

Teorema

Para qualquer M funções limitadas medíveis f em X, existe um único operador linear limitado $T_{\pi }(f)$ tal que

$\langle \operatorname {T} _{\pi }(f)\xi \mid \eta \rangle =\int _{X}f(x)d\operatorname {S} _{\pi }(\xi ,\eta )(x)$

para qualquer ξくしー, ηいーた ∈ H. O mapeamento

$f\mapsto \operatorname {T} _{\pi }(f)$

é um homomorfismo de anéis.

Estrutura da medição espectral

Primeiro nós daremos um exemplo geral da medida espectral baseada na integral direta.

Suponha que (X, M, μみゅー) seja uma medida espacial e deixemos que {H_x}_{x ∈ X} sejam uma família de espaços de Hilbert separáveis. Para todo A ∈ M, tomemos πぱい(A) como um operador de multiplicação por $1_{A}$ no espaço de Hilbert.

$\int _{X}^{\oplus }H_{x}\ d\mu (x).$

Então πぱい é uma medição espectral em (X, M).

Suponha que πぱい, ρろー são medições espectrais em (X, M) com valores as projeções de H, K. πぱい, ρろー são unitariamente equivalentes se e somente se existe um operador unitário $U:H\rightarrow K$ tal que

$\pi (A)=U^{*}\rho (A)U\quad$

para todo A ∈ M.

Generalizações

A ideia por trás da medição espectral é generalizada pela medição espectral positiva, onde a necessidade da ortogonalidade implícita pelos operadores de projeção é trocada pela ideia de um conjunto de operadores que é uma partição da unidade não ortogonal. Esta generalização foi motivada pelas aplicações da teoria de informação quântica.

Ver também

• Teoremas espectrais

Leitura recomendada

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