Medida del valor del operador matemático de interés en la mecánica cuántica y el análisis funcional
En matemáticas , particularmente en análisis funcional , una medida valorada por proyección (o medida espectral ) es una función definida sobre ciertos subconjuntos de un conjunto fijo y cuyos valores son proyecciones autoadjuntas sobre un espacio de Hilbert fijo . Una medida de valor de proyección (PVM) es formalmente similar a una medida de valor real , excepto que sus valores son proyecciones autoadjuntas en lugar de números reales. Como en el caso de las medidas ordinarias, es posible integrar funciones de valores complejos con respecto a un PVM; el resultado de tal integración es un operador lineal en el espacio de Hilbert dado.
Las medidas con valores de proyección se utilizan para expresar resultados en la teoría espectral , como el importante teorema espectral para operadores autoadjuntos , en cuyo caso el PVM a veces se denomina medida espectral . El cálculo funcional de Borel para operadores autoadjuntos se construye utilizando integrales con respecto a PVM. En mecánica cuántica , los PVM son la descripción matemática de mediciones proyectivas . [ se necesita aclaración ] Se generalizan mediante medidas positivas valoradas por el operador (POVM) en el mismo sentido que un estado mixto o una matriz de densidad generaliza la noción de estado puro .
Definición
Denotemos un espacio de Hilbert complejo separable y un espacio medible que consta de un conjunto y un álgebra σ de Borel en . Una medida con valor de proyección es un mapa del conjunto de operadores autoadjuntos acotados que satisfacen las siguientes propiedades:
![{\displaystyle (X,M)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una proyección ortogonal para todos![{\displaystyle E\en M.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y , donde está el conjunto vacío y el operador identidad .![{\displaystyle \pi (X)=I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\emptyset}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si son disjuntos, entonces para todos ,
![{\ Displaystyle E_ {1}, E_ {2}, E_ {3}, \ dotsc}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v\en H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi \left(\bigcup _{j=1}^{\infty }E_{j}\right)v=\sum _{j=1}^{\infty }\pi (E_{j} )v.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos![{\displaystyle E_{1},E_{2}\en M.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La segunda y cuarta propiedad muestran que si y son disjuntos, es decir , las imágenes y son ortogonales entre sí. ![{\ Displaystyle E_ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle E_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E_{1}\cap E_{2}=\emptyset }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E_{1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E_{2})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea y su complemento ortogonal la imagen y el núcleo , respectivamente, de . Si es un subespacio cerrado de entonces se puede escribir como descomposición ortogonal y es el operador de identidad único al satisfacer las cuatro propiedades.
![{\displaystyle V_{E}^{\perp }=\ker(\pi (E))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V_{E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H=V_{E}\oplus V_{E}^{\perp }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E)=I_ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V_{E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para cada y la medida valorada en proyección forma una medida valorada compleja definida como![{\displaystyle \xi ,\eta \en H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\en M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{\xi ,\eta }(E):=\langle \pi (E)\xi \mid \eta \rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con variación total como máximo . medida de valor real cuando![{\displaystyle \|\xi \|\|\eta \|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{\xi }(E):=\langle \pi (E)\xi \mid \xi \rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y una medida de probabilidad cuando es un vector unitario .![{\displaystyle \xi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplo Sea un espacio σ de medida finita y, para todo , sea ![{\displaystyle (X,M,\mu)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\en M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E):L^{2}(X)\a L^{2}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ser definido como
![{\displaystyle \psi \mapsto \pi (E)\psi =1_ {E}\psi,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es decir, como multiplicación por la función indicadora en L 2 ( X ) . Luego define una medida valorada en proyección. Por ejemplo, si , y entonces existe la medida compleja asociada que toma una función medible y da la integral![{\displaystyle 1_{E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E)=1_ {E}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X=\mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E=(0,1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi ,\psi \in L^{2}(\mathbb {R} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{\phi,\psi }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:\mathbb {R} \to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \int _{E}f\,d\mu _{\phi ,\psi }=\int _{0}^{1}f(x)\psi (x){\overline {\phi } }(x)\,dx}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Extensiones de medidas valoradas en proyecciones
Si π es una medida valorada en proyección en un espacio medible ( X , M ), entonces el mapa
![{\displaystyle \chi _{E}\mapsto \pi (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
se extiende a un mapa lineal en el espacio vectorial de funciones escalonadas en X . De hecho, es fácil comprobar que este mapa es un homomorfismo de anillo . Este mapa se extiende de forma canónica a todas las funciones medibles acotadas de valores complejos en X , y tenemos lo siguiente.
Teorema : para cualquier función de Borel acotada en , existe un operador acotado único tal que [7] ![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T:H\a H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle T\xi \mid \xi \rangle =\int _{X}f(\lambda )\,d\mu _{\xi }(\lambda ),\quad \forall \xi \in H .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde es una medida finita de Borel dada por![{\displaystyle \mu _{\xi }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu _{\xi }(E):=\langle \pi (E)\xi \mid \xi \rangle ,\quad \forall E\in M.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por tanto, es un espacio de medida finita .![{\displaystyle (X,M,\mu)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El teorema también es correcto para funciones medibles ilimitadas, pero entonces será un operador lineal ilimitado en el espacio de Hilbert .![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto permite definir el cálculo funcional de Borel para dichos operadores y luego pasar a funciones medibles mediante el teorema de representación de Riesz-Markov-Kakutani . Es decir, si es una función medible, entonces existe una medida única tal que![{\displaystyle g:\mathbb {R} \to \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(T):=\int _{\mathbb {R} }g(x)\,d\pi (x).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema espectral
Sea un espacio de Hilbert complejo separable , un operador autoadjunto acotado y el espectro de . Entonces, el teorema espectral dice que existe una medida única con valor de proyección , definida en un subconjunto de Borel , tal que
![{\displaystyle A:H\a H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\subconjunto \sigma (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A=\int _{\sigma (A)}\lambda \,d\pi ^{A}(\lambda ),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde la integral se extiende a una función ilimitada cuando el espectro de es ilimitado. ![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Integrales directas
Primero, proporcionamos un ejemplo general de medida valorada en proyección basada en integrales directas . Supongamos que ( X , M , μ ) es un espacio de medida y sea { H x } x ∈ X una familia μ-medible de espacios de Hilbert separables. Para cada E ∈ M , sea π ( E ) el operador de multiplicación por 1 E en el espacio de Hilbert
![{\displaystyle \int _{X}^{\oplus }H_{x}\ d\mu (x).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces π es una medida valorada en proyección en ( X , M ).
Supongamos que π , ρ son medidas valoradas en proyección en ( X , M ) con valores en las proyecciones de H , K. π , ρ son unitariamente equivalentes si y sólo si existe un operador unitario U : H → K tal que
![{\displaystyle \pi (E)=U^{*}\rho (E)U\quad }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para cada mi ∈ M .
Teorema . Si ( X , M ) es un espacio de Borel estándar , entonces para cada medida π valorada en proyección en ( X , M ) que toma valores en las proyecciones de un espacio de Hilbert separable , hay una medida de Borel μ y una familia μ-medible de Espacios de Hilbert { H x } x ∈ X , tales que π es unitariamente equivalente a la multiplicación por 1 E en el espacio de Hilbert
![{\displaystyle \int _{X}^{\oplus }H_{x}\ d\mu (x).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La clase de medida [ aclaración necesaria ] de μ y la clase de equivalencia de medida de la función de multiplicidad x → dim H x caracterizan completamente la medida valorada en proyección hasta la equivalencia unitaria.
Una medida π con valor de proyección es homogénea de multiplicidad n si y solo si la función de multiplicidad tiene un valor constante n . Claramente,
Teorema . Cualquier medida π valorada en proyección que tome valores en las proyecciones de un espacio de Hilbert separable es una suma directa ortogonal de medidas homogéneas valoradas en proyección:
![{\displaystyle \pi =\bigoplus _ {1\leq n\leq \omega }(\pi \mid H_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde
![{\displaystyle H_{n}=\int _{X_{n}}^{\oplus }H_{x}\ d(\mu \mid X_{n})(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y
![{\displaystyle X_{n}=\{x\in X:\dim H_{x}=n\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aplicación en mecánica cuántica
En mecánica cuántica, dada una medida valorada en proyección de un espacio medible al espacio de endomorfismos continuos en un espacio de Hilbert ,![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- el espacio proyectivo del espacio de Hilbert se interpreta como el conjunto de estados posibles ( normalizables ) de un sistema cuántico,
![{\displaystyle \mathbf {P} (H)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- el espacio medible es el espacio de valores para alguna propiedad cuántica del sistema (un "observable"),
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- la medida valorada en proyección expresa la probabilidad de que lo observable adopte varios valores.
![{\displaystyle \pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una opción común es la línea real, pero también puede ser ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
(para posición o impulso en tres dimensiones),- un conjunto discreto (para momento angular, energía de un estado ligado, etc.),
- el conjunto de 2 puntos "verdadero" y "falso" para el valor de verdad de una proposición arbitraria sobre .
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea un subconjunto medible de y un estado cuántico vectorial normalizado en , de modo que su norma de Hilbert sea unitaria, . La probabilidad de que el observable tome su valor en , dado el sistema en estado , es![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\varphi \|=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P_{\pi }(\varphi )(E)=\langle \varphi \mid \pi (E)(\varphi )\rangle =\langle \varphi |\pi (E)|\varphi \rangle . }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Podemos analizar esto de dos maneras. Primero, para cada fijo , la proyección es un operador autoadjunto en cuyo espacio propio 1 están los estados para los cuales el valor del observable siempre se encuentra en , y cuyo espacio propio 0 son los estados para los cuales el valor del observable nunca se encuentra. en . ![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En segundo lugar, para cada estado de vector normalizado fijo , la asociación ![{\displaystyle \varphi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P_{\pi }(\varphi ):E\mapsto \langle \varphi \mid \pi (E)\varphi \rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es una medida de probabilidad de convertir los valores de lo observable en una variable aleatoria.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una medición que se puede realizar mediante una medida valorada en proyección se denomina medición proyectiva . ![{\displaystyle \pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es la recta de números reales, existe asociado a , un operador autoadjunto definido por![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A(\varphi )=\int _{\mathbb {R} }\lambda \,d\pi (\lambda )(\varphi ),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
lo que se reduce a
![{\displaystyle A(\varphi )=\sum _ {i}\lambda _ {i}\pi ({\lambda _ {i}})(\varphi)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si el soporte de es un subconjunto discreto de . ![{\displaystyle \pi }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El operador anterior se llama observable asociado con la medida espectral.![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Generalizaciones
La idea de una medida valorada en proyección se generaliza mediante la medida valorada por operador positivo (POVM), donde la necesidad de la ortogonalidad implícita en los operadores de proyección se reemplaza por la idea de un conjunto de operadores que son una partición no ortogonal de la unidad. [ se necesita aclaración ] . Esta generalización está motivada por aplicaciones a la teoría de la información cuántica .
Ver también
Notas
- ^ Kowalski, Emmanuel (2009), Teoría espectral en espacios de Hilbert (PDF) , notas de conferencias de ETH Zürich, p. 50
Referencias
- Ashtekar, Abhay; Schilling, Troy A. (1999). "Formulación geométrica de la mecánica cuántica". En el camino de Einstein . Nueva York, Nueva York: Springer Nueva York. arXiv : gr-qc/9706069 . doi :10.1007/978-1-4612-1422-9_3. ISBN 978-1-4612-7137-6.* Conway, John B. (2000). Un curso de teoría de operadores . Providence (RI): sociedad matemática estadounidense. ISBN 978-0-8218-2065-0.
- Salón, Brian C. (2013). Teoría cuántica para matemáticos . Nueva York: Springer Science & Business Media. ISBN 978-1-4614-7116-5.
- Mackey, GW, La teoría de las representaciones de grupos unitarios , The University of Chicago Press, 1976
- Moretti, V. (2017), Teoría espectral y mecánica cuántica Fundamentos matemáticos de las teorías cuánticas, simetrías e introducción a la formulación algebraica , vol. 110, Springer, Bibcode : 2017stqm.book.....M, ISBN 978-3-319-70705-1
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Caña, M .; Simón, B. (1980). Métodos de la física matemática moderna: Vol 1: Análisis funcional . Prensa académica. ISBN 978-0-12-585050-6.
- Rudin, Walter (1991). Análisis funcional . Boston, Mass.: McGraw-Hill Ciencias, Ingeniería y Matemáticas. ISBN 978-0-07-054236-5.
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . vol. 8 (Segunda ed.). Nueva York, NY: Springer Nueva York Pie de imprenta Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- G. Teschl , Métodos matemáticos en mecánica cuántica con aplicaciones a operadores de Schrödinger , https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/, Sociedad Matemática Estadounidense, 2009.
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1. OCLC 853623322.
- Varadarajan, VS, Geometría de la teoría cuántica V2, Springer Verlag, 1970.