En la teoría del operador , el teorema de dilatación de Naimark es un resultado que caracteriza las medidas positivas valoradas por el operador . Puede verse como una consecuencia del teorema de dilatación de Stinespring .
Algunas nociones preliminares
Sea X un espacio compacto de Hausdorff , H un espacio de Hilbert y L(H) el espacio de Banach de operadores acotados en H. Una aplicación E del álgebra σ de Borel en X a se denomina medida valorada por el operador si es débilmente aditiva contablemente, es decir, para cualquier secuencia disjunta de conjuntos de Borel , tenemos![{\displaystyle L(H)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{B_{i}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle E(\cup _{i}B_{i})x,y\rangle =\sum _{i}\langle E(B_{i})x,y\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todo x e y . Alguna terminología para describir tales medidas es:
- E se llama regular si la medida con valor escalar
![{\displaystyle B\rightarrow \langle E(B)x,y\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una medida de Borel regular, lo que significa que todos los conjuntos compactos tienen una variación total finita y la medida de un conjunto puede aproximarse a las de los conjuntos abiertos.
- E se llama acotada si .
![{\displaystyle |E|=\sup _ {B}\|E(B)\|<\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- E se llama positivo si E(B) es un operador positivo para todo B.
- E se llama autoadjunto si E(B) es autoadjunto para todo B .
- E se llama espectral si es autoadjunto y para todos .
![{\ Displaystyle E (B_ {1} \ cap B_ {2}) = E (B_ {1}) E (B_ {2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle B_ {1}, B_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Supondremos en todo momento que E es regular.
Sea C(X) el álgebra abeliana C* de funciones continuas en X . Si E es regular y acotado, induce un mapa de la manera obvia:![{\displaystyle \Phi _ {E}:C(X)\rightarrow L(H)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle \Phi _{E}(f)h_{1},h_{2}\rangle =\int _{X}f(x)\langle E(dx)h_{1},h_{2 }\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La acotación de E implica, para todo h de norma unitaria
![{\displaystyle \langle \Phi _{E}(f)h,h\rangle =\int _{X}f(x)\langle E(dx)h,h\rangle \leq \|f\|_{ \infty }\cdot |E|.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto muestra que es un operador acotado para todo f y en sí mismo también es un mapa lineal acotado.![{\displaystyle \;\Phi _ {E}(f)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las propiedades de están directamente relacionadas con las de E :![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si E es positivo, entonces , visto como un mapa entre álgebras C*, también es positivo.
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un homomorfismo si, por definición, para todo f continuo en X y ,![{\displaystyle h_{1},h_{2}\en H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle \Phi _{E}(fg)h_{1},h_{2}\rangle =\int _{X}f(x)\cdot g(x)\;\langle E(dx) h_{1},h_{2}\rangle =\langle \Phi _{E}(f)\Phi _{E}(g)h_{1},h_{2}\rangle .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Tome f y g como funciones indicadoras de conjuntos de Borel y veremos que es un homomorfismo si y sólo si E es espectral.![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- De manera similar, decir respeta la operación * significa
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle \Phi _{E}({\bar {f}})h_{1},h_{2}\rangle =\langle \Phi _{E}(f)^{*}h_{1 },h_{2}\rangle .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El LHS es
![{\displaystyle \int _{X}{\bar {f}}\;\langle E(dx)h_{1},h_{2}\rangle ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y el RHS es
![{\displaystyle \langle h_{1},\Phi _{E}(f)h_{2}\rangle ={\overline {\langle \Phi _{E}(f)h_{2},h_{1} \rangle }}=\int _{X}{\bar {f}}(x)\;{\overline {\langle E(dx)h_{2},h_{1}\rangle }}=\int _ {X}{\bar {f}}(x)\;\langle h_{1},E(dx)h_{2}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, tomando una secuencia de funciones continuas que aumentan hasta la función indicadora de B , obtenemos , es decir, E(B) es autoadjunta.![{\displaystyle \langle E(B)h_{1},h_{2}\rangle =\langle h_{1},E(B)h_{2}\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- La combinación de los dos hechos anteriores da como resultado que se trata de un homomorfismo * si y sólo si E es espectral y autoadjunto. (Cuando E es espectral y autoadjunto, se dice que E es una medida valorada por proyección o PVM).
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
teorema de naimark
El teorema dice lo siguiente: Sea E una medida positiva con valor de L(H) en X. Existe un espacio de Hilbert K , un operador acotado y una medida espectral autoadjunta con valor de L(K) en X , F , tal que![{\displaystyle V:K\rightarrow H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \;E(B)=VF(B)V^{*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba
Esbocemos ahora la prueba. El argumento pasa E al mapa inducido y utiliza el teorema de dilatación de Stinespring . Dado que E es positivo, también lo es como aplicación entre álgebras C*, como se explicó anteriormente. Además, debido a que el dominio de C (X) es un álgebra C* abeliana, tenemos que es completamente positivo . Según el resultado de Stinespring, existe un espacio de Hilbert K , un homomorfismo * y un operador tal que![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi :C(X)\rightarrow L(K)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V:K\rightarrow H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \;\Phi _{E}(f)=V\pi (f)V^{*}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que π es un * -homomorfismo, su correspondiente medida F valorada por el operador es espectral y autoadjunta. Se ve fácilmente que F tiene las propiedades deseadas.
Caso de dimensión finita
En el caso de dimensión finita, hay una formulación algo más explícita.
Supongamos ahora , por lo tanto, C ( X ) es el álgebra de dimensión finita y H tiene dimensión finita m . Una medida E positiva valorada por el operador asigna a cada i una matriz m × m semidefinida positiva . El teorema de Naimark ahora establece que existe una medida valorada en proyección en X cuya restricción es E.![{\displaystyle X=\{1,\dotsc ,n\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {C} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle E_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De particular interés es el caso especial en el que I es el operador de identidad. (Consulte el artículo sobre POVM para conocer las aplicaciones relevantes). En este caso, el mapa inducido es unitario. Se puede suponer, sin pérdida de generalidad, que cada uno toma la forma de algún vector potencialmente subnormalizado . Bajo tales supuestos, el caso queda excluido y debemos tener:![{\displaystyle \sum _{i}E_{i}=I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle E_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{i}x_{i}^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{i}\in \mathbb {C} ^{m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n<m}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y E ya es una medida valorada en proyección (porque si y sólo si es una base ortonormal),![{\displaystyle \sum _{i=1}^{n}x_{i}x_{i}^{*}=I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{x_{i}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y no consta de proyecciones mutuamente ortogonales.![{\displaystyle \{E_{i}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para la segunda posibilidad, el problema de encontrar una medida adecuada del valor de proyección se convierte ahora en el siguiente problema. Por supuesto, la matriz no cuadrada
![{\displaystyle M={\begin{bmatrix}x_{1}\cdots x_{n}\end{bmatrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una coisometría, es decir . Si podemos encontrar una matriz N donde![{\displaystyle MM^{*}=I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (nm)\times n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U={\begin{bmatrix}M\\N\end{bmatrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una matriz unitaria n × n , la medida valorada en proyección cuyos elementos son proyecciones sobre los vectores columna de U tendrá entonces las propiedades deseadas. En principio, siempre se puede encontrar tal N.
Ortografía
En la literatura sobre física, es común ver la ortografía "Neumark" en lugar de "Naimark". La última variante corresponde a la romanización del ruso utilizada en la traducción de revistas soviéticas, con los signos diacríticos omitidos (originalmente Naĭmark). El primero es según la etimología del apellido de Mark Naimark .
Referencias
- V. Paulsen, Mapas completamente delimitados y álgebras de operadores , Cambridge University Press, 2003.