En matemáticas , particularmente en análisis funcional , una medida con valor de proyección (PVM) es una función definida en ciertos subconjuntos de un conjunto fijo y cuyos valores son proyecciones autoadjuntas en un espacio fijo de Hilbert . Las medidas con valores de proyección son formalmente similares a las medidas con valores reales , 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 valor complejo 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 . 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 las mediciones proyectivas . [ aclaración necesaria ] Se generalizan mediante medidas positivas valoradas por el operador (POVM) en el mismo sentido en que un estado mixto o una matriz de densidad generaliza la noción de un estado puro .
Definicion formal
Una medida con valor de proyección en un espacio medible , dónde es una σ-álgebra de subconjuntos de, es un mapeo deal conjunto de proyecciones autoadjuntas en un espacio de Hilbert (es decir, las proyecciones ortogonales) tales que
(dónde es el operador de identidad de ) y para cada , la siguiente función
es una medida compleja en(es decir, una función aditiva contable de valor complejo ).
Denotamos esta medida por .
Tenga en cuenta que es una medida de valor real y una medida de probabilidad cuando tiene una longitud.
Si es una medida con valor de proyección y
luego las imágenes , son ortogonales entre sí. De esto se sigue que, en general,
y se desplazan.
Ejemplo . Suponeres un espacio de medida. Deje, para cada subconjunto medible en ,
ser el operador de la multiplicación por la función indicadora en L 2 ( X ) . Luego es una medida valorada en proyección.
Extensiones de medidas valoradas en proyección, integrales y el teorema espectral
Si π es una medida con valor de proyección en un espacio medible ( X , M ), entonces el mapa
se extiende a un mapa lineal en el espacio vectorial de las funciones escalonadas en X . De hecho, es fácil comprobar que este mapa es un homomorfismo de anillo . Este mapa se extiende de manera canónica a todas las funciones medibles de valores complejos acotadas en X , y tenemos lo siguiente.
Teorema . Para cualquier M acotada - función medible f en X, existe un operador lineal acotado único
tal que
para todos dónde denota la medida compleja
de la definición de .
El mapa
es un homomorfismo de anillos .
Una notación integral se usa a menudo para , como en
El teorema también es correcto para funciones medibles ilimitadas f , pero luegoserá un operador lineal sin límites en el espacio de Hilbert H .
El teorema espectral dice que todo operador autoadjunto tiene una medida con valor de proyección asociada definido en el eje real, de modo que
Esto permite definir el cálculo funcional de Borel para tales operadores: si es una función medible, establecemos
Estructura de medidas con valor de proyección
Primero proporcionamos un ejemplo general de medida con valor de proyección basada en integrales directas . Suponga que ( X , M , μ) es un espacio de medida y sea { H x } x ∈ X una familia medible en μ de espacios de Hilbert separables. Para cada E ∈ M , sea π ( E ) el operador de multiplicación por 1 E en el espacio de Hilbert
Entonces π es una medida con valores de proyección en ( X , M ).
Supongamos π , ρ son medidas de proyección de valor en ( X , M ) con valores en las proyecciones de H , K . π , ρ son unitariamente equivalentes si y solo si hay un operador unitario U : H → K tal que
para cada E ∈ M .
Teorema . Si ( X , M ) es un espacio estándar de Borel , entonces para cada medida con valores de proyección π en ( X , M ) tomando valores en las proyecciones de un espacio de Hilbert separable , hay una medida de Borel μ y una familia de μ medibles Espacios de Hilbert { H x } x ∈ X , tal que π es unitariamente equivalente a la multiplicación por 1 E en el espacio de Hilbert
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 con valores de proyección hasta la equivalencia unitaria.
Una medida con valores 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 con valores de proyección π que tome valores en las proyecciones de un espacio de Hilbert separable es una suma directa ortogonal de medidas con valores de proyección homogéneos:
dónde
y
Aplicación en mecánica cuántica
En mecánica cuántica, dada una medida de proyección valorada de un espacio medible X al espacio de endomorfismos continuos en un espacio de Hilbert H ,
- la esfera unitaria del espacio de Hilbert H se interpreta como el conjunto de estados posibles Φ de un sistema cuántico,
- el espacio medible X es el espacio de valores para alguna propiedad cuántica del sistema (un "observable"),
- la medida con valores de proyección π expresa la probabilidad de que el observable adopte varios valores.
Una opción común para X es la línea real, pero también puede ser
- R 3 (para posición o momento 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 Φ.
Sea E un subconjunto medible del espacio medible X y Φ un vector-estado normalizado en H , de modo que su norma de Hilbert es unitaria, || Φ || = 1. La probabilidad de que el observable tome su valor en el subconjunto E, dado el sistema en el estado Φ, es
donde se prefiere la última notación en física.
Podemos analizar esto de dos formas.
Primero, para cada E fijo , la proyección π ( E ) es un operador autoadjunto en H cuyo 1-espacio propio son los estados Φ para los cuales el valor del observable siempre se encuentra en E , y cuyo 0-espacio propio son los estados Φ para los que el valor del observable nunca miente en E .
En segundo lugar, para cada estado de vector normalizado fijo , la Asociación
es una medida de probabilidad en X que convierte los valores de lo observable en una variable aleatoria.
Una medida que se puede realizar mediante una medida con valor de proyección π se denomina medida proyectiva .
Si X es la recta numérica real, existe, asociado a π , un operador hermitiano A definido en H por
que toma la forma más legible
Si el soporte de π es un subconjunto discreto de R .
El operador A anterior se denomina observable asociado con la medida espectral.
Cualquier operador así obtenido se llama observable , en mecánica cuántica.
Generalizaciones
La idea de una medida con valor de proyección se generaliza mediante la medida con valor de 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 de unidad no ortogonal. [ aclaración necesaria ] . Esta generalización está motivada por aplicaciones a la teoría de la información cuántica .
Ver también
Referencias
- Moretti, V. (2018), 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 , 110 , Springer, ISBN 978-3-319-70705-1
- Hall, BC (2013), Teoría cuántica para matemáticos , Textos de posgrado en matemáticas, 267 , Springer, ISBN 978-1461471158
- Mackey, GW, The Theory of Unitary Group Representations , The University of Chicago Press, 1976
- M. Reed y B. Simon , Methods of Mathematical Physics , vols I-IV, Academic Press 1972.
- Narici, Lawrence ; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (Segunda ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834 .
- Schaefer, Helmut H .; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . 8 (Segunda ed.). Nueva York, NY: Springer New York Imprint 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/ , American Mathematical Society, 2009.
- Trèves, François (2006) [1967]. Espacios, distribuciones y núcleos vectoriales topológicos . Mineola, NY: 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.