Como argumentó von Neumann, el proceso de medición tiene muchas propiedades que se asemejan a las que se encuentran en la teoría de las álgebras de operadores. Por ejemplo, si se tiene un instrumento, se puede medir algo, por ejemplo la longitud de una mesa, para obtener un valor determinado $x$ dentro de los errores experimentales. Lo que puedes hacer ahora es reetiquetar los ticks de tu instrumento según una determinada función $f$ . Si se mide la misma cantidad, ahora se encontrará $f(x)$ dentro de algún otro error. Sin pérdida de generalidad se puede suponer que el resultado de una medición se encuentra en un subconjunto compacto de la recta real. El hecho de que inevitablemente haya que tratar con errores experimentales restringe el conjunto de funciones admisibles a aquellas que son uniformemente continuas en este conjunto compacto, por lo tanto continuas. Lo que se tiene entonces es algo que se parece al teorema del mapa espectral, es decir $$\sigma(f(O)) = f(\sigma(O))$$ donde $O$ es un observable (nótese que no estoy asumiendo $O$ para ser un operador todavía, esto seguirá como consecuencia de estas consideraciones heurísticas), y $f$ es el acto de reetiquetar las garrapatas, mientras que $\sigma(O)$ denota por el momento todos los posibles resultados de una medición de $O$ (el llamado espectro físico ).
La forma de definir los estados en este enfoque da lugar a un conjunto, el conjunto de estados admisibles, que tiene algunas propiedades matemáticas. En particular, este conjunto, cuando está dotado de una topología adecuada, se vuelve compacto y convexo. Lo mismo ocurre con el espacio de estado (este nombre proviene precisamente de este hecho) de un álgebra C* por el que se puede identificar la operación de medir $O$ sobre un estado $\omega$ como la evaluación del funcional lineal $\omega$ sobre algún "operador" $O$ .
Lo anterior ha conducido a la axiomatización de la mecánica cuántica (y clásica también, cuando se consideran los entornos conmutativos solamente) en los siguientes términos
Definición y axioma Un sistema físico es una álgebra C* $A$ cuya parte autoadjunta es el conjunto de observables y (un subconjunto de) su espacio de estados es el conjunto de todos los estados físicamente admisibles para el sistema.
Los "operadores" con los que se suele tratar en la mecánica cuántica surgen ahora como consecuencia del axioma anterior. Un álgebra C* es un objeto abstracto que se concreta cuando se considera una representación del mismo. Entre todas las representaciones, las importantes son las representaciones irreducibles. Resulta que un sistema mecánico cuántico con $n$ grados de libertad que satisfacen a las relaciones de Heisenberg (es decir, las relaciones de conmutación canónicas) genera un álgebra C* que es isomorfa al álgebra C* de operadores compactos sobre un espacio de Hilbert separable de dimensión infinita. La teoría de la representación para tal álgebra es tal que sólo existe una clase de equivalencia unitaria de representación irreducible. Dado que una de ellas es la representación de Schroedinger, ésta es esencialmente la única. El espacio de Hilbert asociado es $L^2(\mathbb R^n)$ con medida de Lebesgue. Así es como surge el formalismo de Dirac para la mecánica cuántica a partir de los primeros principios, en pocas palabras.
9 votos
Siga leyendo, si el texto es bueno, los valores de expectativa de los operadores se discutirán en breve.
4 votos
En particular, verás que los resultados de las mediciones serán valores propios de operadores autoadjuntos (que son reales, por lo que tiene sentido que sean medibles).
2 votos
@user36790 Una cantidad medida no es el propio operador. El acto de "medición" de un observable para algún estado se puede caracterizar matemáticamente actuando sobre el vector estado con el operador correspondiente para el observable. Los postulados de la QM dicen entonces que el valor que se mide es uno de los valores propios del operador. Lo que se mide con el aparato experimental es un valor propio.
2 votos
@user36790, efectivamente, el autor no dice "igual", dice "equivalente". Otra forma (más habitual) de expresar la misma idea es decir que los observables en QM son representado por operadores autoadjuntos.
0 votos
En un entorno conmutativo, los observables se identifican con funciones de valor real; en un entorno no conmutativo se identifican con operadores en algún espacio de Hilbert. Este es un resultado matemático (llamado teorema de Gel'fand-Naimark) que se mantiene bajo supuestos muy razonables sobre el conjunto de observables. Por lo tanto, dado que los observables de la QM se ven experimentalmente (por lo que sabemos) que satisfacen esas suposiciones y, de hecho, son no conmutativos, se representan naturalmente de forma matemática como operadores en un espacio de Hilbert.
0 votos
¿Quiere decir que tiene dificultades conceptuales para entender por qué las mediciones corresponden a los valores propios de los operadores? ¿Son fundamentalmente diferentes de la comprensión de la definición de momento en la mecánica clásica? ¿Parece más "natural" allí poner el $m {{d}\over{dt}}$ frente a una posición dependiente del tiempo x(t)?
0 votos
Para una importante advertencia sobre la identificación $\hat{H} \leftrightarrow i\hbar \frac{\partial}{\partial t}$ en la mecánica cuántica, véase physics.stackexchange.com/q/17477/2451
0 votos
@Qmechanic Beiser es un texto terriblemente terrible por lo que no es de extrañar que el OP se confunda. Realmente este libro de texto -que me obligaron a usar un año- debería estar prohibido.