# Conjunto completo de observables compatibles

En mecánica cuántica, un conjunto completo de observables compatibles (CCOC) es un conjunto de operadores que conmutan cuyos eigenvectores ordinarios pueden utilizarse como base para expresar cualquier estado. En el caso de los operadores con espectros discretos, un CCOC es un conjunto de observables compatibles cuyos espacios propios simultáneos abarcan el espacio de Hilbert, de modo que los eigenvectores están especificados de forma única por los correspondientes conjuntos de valores propios.
Dado que cada par de observables en el conjunto conmuta, los observables son todos compatibles, de modo que la medición de un observable no tiene ningún efecto sobre el resultado de la medición de otro observable en el conjunto. Por lo tanto, no es necesario especificar el orden en que se miden los diferentes observables. La medición del conjunto completo de observables constituye una medición completa, en el sentido de que proyecta el estado cuántico del sistema sobre un vector único y conocido en la base definida por el conjunto de operadores. Es decir, para preparar el estado completamente especificado, tenemos que tomar un estado cualquiera de forma arbitraria, y luego realizar una sucesión de mediciones correspondientes a todos los observables del conjunto, hasta que se convierta en un vector único y especificado en el espacio de Hilbert (salvo fase).

## El teorema de la compatibilidad

Consideremos dos observables, $A$ y $B$, representados por los operadores ${\hat {A}}$ y ${\hat {B}}$. Entonces las siguientes afirmaciones son equivalentes:
* $A$ y $B$ son observables compatibles.
* ${\hat {A}}$ y ${\hat {B}}$ tienen una base propia común.
* Los operadores ${\hat {A}}$ y ${\hat {B}}$ conmutan, es decir, $[{\hat {A}},{\hat {B}}]=0$.

### Demostraciones

Sea ${|\psi _{n}\rangle }$ un conjunto completo de eigenvectores ortonormales comunes de los dos observables compatibles $A$ y $B$ (ambos son operadores autoadjuntos), correspondientes a los conjuntos de valores propios de valor real $\{a_{n}\}$ y $\{b_{n}\}$ respectivamente. Entonces podemos escribir
    ${\hat {A}}{\hat {B}}|\psi _{n}\rangle ={\hat {A}}b_{n}|\psi _{n}\rangle =a_{n}b_{n}|\psi _{n}\rangle =b_{n}a_{n}|\psi _{n}\rangle ={\hat {B}}{\hat {A}}|\psi _{n}\rangle$
Ahora, podemos expandir cualquier estado arbitrario ket $|\Psi \rangle$ en el conjunto completo ${|\psi _{n}\rangle }$ como
    $|\Psi \rangle =\sum _{n}c_{n}|\psi _{n}\rangle$
Así, utilizando el resultado anterior, podemos ver que
    $({\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}})|\Psi \rangle =\sum _{n}c_{n}({\hat {A}}{\hat {B}}-{\hat {B}}{\hat {A}})|\psi _{n}\rangle =0$
Esto implica que $[{\hat {A}},{\hat {B}}]=0$, lo que significa que los dos operadores conmutan.
Cuando $A$ tiene valores propios no degenerados: Sea ${|\psi _{n}\rangle }$ un conjunto completo de eigenkets ortonormales del operador autoadjunto $A$ correspondiente al conjunto de valores propios de valor real $\{a_{n}\}$. Si los operadores autoconjuntos $A$ y $B$ conmutan, podemos escribir
    ${\hat {A}}({\hat {B}}|\psi _{n}\rangle )={\hat {B}}{\hat {A}}|\psi _{n}\rangle =a_{n}({\hat {B}}|\psi _{n}\rangle )$
Por tanto, si ${\hat {B}}|\psi _{n}\rangle \neq 0$, podemos decir que ${\hat {B}}|\psi _{n}\rangle$ es un eigenket de $A$ correspondiente al eigenvalor $a_{n}$. Dado que tanto $B|\psi _{n}\rangle$ como $|\psi _{n}\rangle$ son cestas propias asociadas al mismo valor propio no degenerado $a_{n}$, pueden diferir como máximo en una constante multiplicativa. Llamamos a esta constante $b_{n}$. Por lo tanto, $B|\psi _{n}\rangle =b_{n}|\psi _{n}\rangle$ , lo que significa que $|\psi _{n}\rangle$ es un eigenvector de $B$ y, por tanto, de $A$ y $B$ simultáneamente. En el caso de $B|\psi _{n}\rangle =0$, el vector no nulo $|\psi _{n}\rangle$ es un eigenvector de $B$ con el valor propio $b_{n}=0$.
Cuando $A$ tiene valores propios degenerados: Supongamos que cada $a_{n}$ es $g$-fold degenerado. Dejemos que los correspondientes eigenvectors ortonormales sean $|\psi _{nr}\rangle ,r\in \{1,2,\dots ,g\}$. Dado que $[A,B]=0$, razonamos como arriba para encontrar que $B|\psi _{nr}\rangle$ es un eigenvector de $A$ correspondiente al valor propio $a_{n}$. Por lo tanto, podemos expandir la base de los eigenvectores degenerados de $a_{n}$:
    $B|\psi _{nr}\rangle =\sum _{s=1}^{g}c_{rs}|\psi _{ns}\rangle$
Los $c_{rs}$ son los coeficientes de expansión. Los coeficientes $c_{rs}$ forman una matriz autoconjunta, ya que $\langle \psi _{ns}|B|\psi _{nr}\rangle =c_{rs}$. El siguiente paso sería diagonalizar la matriz $c_{rs}$. Para ello, sumamos sobre todas las $r$ con $g$ constantes $d_{r}$. Así,
    $B\sum _{r=1}^{g}d_{r}|\psi _{nr}\rangle =\sum _{r=1}^{g}\sum _{s=1}^{g}d_{r}c_{rs}|\psi _{ns}\rangle$
Por tanto, $\sum _{r=1}^{g}d_{r}|\psi _{nr}\rangle$ será un eigenvector de $B$ con el valor propio $b_{n}$ si tenemos
    $\sum _{r=1}^{g}d_{r}c_{rs}=b_{n}d_{s},s=1,2,...g$
Esto constituye un sistema de $g$ ecuaciones lineales para las constantes $d_{r}$. Existe una solución no trivial si
    $\det[c_{rs}-b_{n}\delta _{rs}]=0$
Esta es una ecuación de orden $g$ en $b_{n}$, y tiene $g$ raíces. Para cada raíz $b_{n}=b_{n}^{(k)},k=1,2,...g$ tenemos una solución no trivial $d_{r}$, digamos, $d_{r}^{(k)}$. Debido a la autoadhesión de $c_{rs}$, todas las soluciones son linealmente independientes. Por lo tanto, forman la nueva base
    $|\phi _{n}^{(k)}\rangle =\sum _{r=1}^{g}d_{r}^{(k)}|\psi _{nr}\rangle$
$|\phi _{n}^{(k)}\rangle$ es simultáneamente un eigenvector de $A$ y $B$ con valores propios $a_{n}$ y $b_{n}^{(k)}$ respectivamente.

### Discusión

Consideremos los dos observables anteriores $A$ y $B$. Supongamos que existe un conjunto completo de estados cuánticos ${|\psi _{n}\rangle }$, que sean simultáneamente un eigenvector de $A$ y $B$. Entonces decimos que $A$ y $B$ son compatibles. Si denotamos los valores propios de $A$ y $B$ correspondientes a $|\psi _{n}\rangle$ respectivamente por $a_{n}$ y $b_{n}$, podemos escribir
    $A|\psi _{n}\rangle =a_{n}|\psi _{n}\rangle$
    $B|\psi _{n}\rangle =b_{n}|\psi _{n}\rangle$
Si el sistema se encuentra en uno de los estados propios, digamos, $|\psi _{n}\rangle$, entonces tanto $A$ como $B$ pueden ser medidos simultáneamente con cualquier nivel arbitrario de precisión, y obtendremos los resultados $a_{n}$ y $b_{n}$ respectivamente. Esta idea puede extenderse a más de dos observables.

### Ejemplos de observables compatibles

Las componentes cartesianas del operador de posición $\mathbf {r}$ son $x$, $y$ y $z$. Estas componentes son todas compatibles. Del mismo modo, las componentes cartesianas del operador de momento $\mathbf {p}$, es decir $p_{x}$, $p_{y}$ y $p_{z}$ también son compatibles.

## Definición formal

Un conjunto de observables $A,B,C...$ se denomina CCOC si:
* Todos los observables conmutan en pares.
* Si especificamos los valores propios de todos los operadores en el CCOC, identificamos un único vector propio (hasta una fase) en el espacio de Hilbert del sistema.
Dado un CCOC, podemos elegir una base para el espacio de estados formada por los eigenvectores comunes de los operadores correspondientes. Podemos identificar unívocamente cada vector propio (salvo fase) por el conjunto de valores propios que le corresponde.

### Discusión

Tengamos un operador ${\hat {A}}$ de un observable $A$, que tiene todos los valores propios $\{a_{n}\}$ no degenerados. Como resultado, hay un único estado propio correspondiente a cada valor propio, lo que nos permite etiquetar estos por sus respectivos valores propios. Por ejemplo, el estado propio de ${\hat {A}}$ correspondiente al valor propio $a_{n}$ se puede etiquetar como $|a_{n}\rangle$. Dicho observable es en sí mismo una OCS autosuficiente.
Sin embargo, si algunos de los valores propios de $a_{n}$ son degenerados (como tener niveles de energía degenerados), entonces el resultado anterior ya no es válido. En tal caso, necesitamos distinguir entre las funciones propias correspondientes al mismo valor propio. Para ello, se introduce un segundo observable (llamémoslo $B$), que es compatible con $A$. El teorema de la compatibilidad nos dice que se puede encontrar una base común de funciones propias de ${\hat {A}}$ y ${\hat {B}}$. Ahora bien, si cada par de los valores propios $(a_{n},b_{n})$ especifica de forma única un vector de estado de esta base, afirmamos haber formado una CSCO: el conjunto $\{A,B\}$. La degeneración en ${\hat {A}}$ queda completamente eliminada.
Puede ocurrir, sin embargo, que la degeneración no se elimine completamente. Es decir, existe al menos un par $(a_{n},b_{n})$ que no identifica de forma única un vector propio. En este caso, repetimos el proceso anterior añadiendo otro observable $C$, que es compatible tanto con $A$ como con $B$. Si la base de las funciones propias comunes de ${\hat {A}}$, ${\hat {B}}$ y ${\hat {C}}$ es única, es decir, especificada unívocamente por el conjunto de valores propios $(a_{n},b_{n},c_{n})$, entonces hemos formado una CCOC: $\{A,B,C\}$. Si no, añadimos un observable más compatible y continuamos el proceso hasta obtener un CCOC.
Un mismo espacio vectorial puede tener distintos conjuntos completos de operadores conmutativos.
Supongamos que se nos da un CCOC finito $\{A,B,C,\dots ,\}$. Entonces podemos expandir cualquier estado general en el espacio de Hilbert como
    $|\psi \rangle =\sum _{i,j,k,...}{\mathcal {C}}_{i,j,k,...}|a_{i},b_{j},c_{k},...\rangle$
donde $|a_{i},b_{j},c_{k},...\rangle$ son los eigenvectores de los operadores${\hat {A}},{\hat {B}},{\hat {C}}$, y forman una base del espacio. Es decir,
    ${\hat {A}}|a_{i},b_{j},c_{k},...\rangle =a_{i}|a_{i},b_{j},c_{k},...\rangle$, etc.
Si medimos $A,B,C,...$ en el estado $|\psi \rangle$ entonces la probabilidad de que midamos simultáneamente $a_{i},b_{j},c_{k},...$ viene dada por $|{\mathcal {C}}_{i,j,k,...}|^{2}$.
Para un conjunto completo de operadores conmutativos, podemos encontrar una transformación unitaria que simultáneamente diagonalice a todos ellos.

## Ejemplos
### El átomo de hidrógeno sin espín de electrón o protón

Dos componentes del operador de momento angular $\mathbf {L}$ no se conmutan, pero satisfacen las relaciones de conmutación: $[L_{i},L_{j}]=i\hbar \epsilon _{ijk}L_{k}$ Por lo tanto, cualquier CSCO no puede involucrar a más de un componente de $\mathbf {L}$. Se puede demostrar que el cuadrado del operador de momento angular, $L^{2}$, conmuta con $\mathbf {L}$.
    $[L_{x},L^{2}]=0,[L_{y},L^{2}]=0,[L_{z},L^{2}]=0$
Además, el Hamiltoniano ${\hat {H}}=-{\frac {\hbar ^{2}}{2\mu }}\nabla ^{2}-{\frac {Ze^{2}}{r}}$ es una función de $r$ solamente y tiene invariancia rotacional, donde $\mu$ es la masa reducida del sistema. Dado que los componentes de $\mathbf {L}$ son generadores de rotación, se puede demostrar que
    $[\mathbf {L} ,H]=0,[L^{2},H]=0$
Por tanto, un conjunto conmutador está formado por $L^{2}$, una componente de $\mathbf {L}$ (que se toma como $L_{z}$) y $H$. La solución del problema nos dice que despreciando el espín de los electrones, el conjunto ${H,L^{2},L_{z}}$ forma un CSCO. Sea $|E_{n},l,m\rangle$ cualquier estado base en el espacio de Hilbert del átomo de hidrógeno. Entonces
    $H|E_{n},l,m\rangle =E_{n}|E_{n},l,m\rangle$
    $L^{2}|E_{n},l,m\rangle =l(l+1)\hbar ^{2}|E_{n},l,m\rangle$
    $L_{z}|E_{n},l,m\rangle =m\hbar |E_{n},l,m\rangle$
Es decir, el conjunto de valores propios $\{E_{n},l,m\}$ o más sencillamente, $\{n,l,m\}$ especifica completamente un único estado propio del átomo de hidrógeno.

### La partícula libre

Para una partícula libre, el Hamiltoniano ${\hat {H}}=-{\frac {\hbar ^{2}}{2m}}\nabla ^{2}$ es invariante bajo traslaciones. La traslación conmuta con el hamiltoniano: $[{\hat {H}},\mathbf {\hat {T}} ]=0$. Sin embargo, si expresamos el hamiltoniano en base al operador de traslación, encontraremos que ${\hat {H}}$ tiene valores propios doblemente degenerados. Se puede demostrar que para hacer el CCOC en este caso, necesitamos otro operador llamado operador de paridad ${\hat {\Pi }}$, tal que $[{\hat {H}},\Pi ]=0$. $\{{\hat {H}},\Pi \}$ forma un CCOC. De nuevo, dejemos que $|k\rangle$ y $|-k\rangle$ sean los estados propios degenerados de ${\hat {H}}$ que corresponden al valor propio $H_{k}=(\hbar ^{2}/k^{2})2m$, es decir ${\hat {H}}|k\rangle =(\hbar ^{2}/k^{2}){2m}|k\rangle$
    ${\hat {H}}|-k\rangle ={\frac {{\hbar ^{2}}{k^{2}}}{2m}}|-k\rangle$
La degeneración en ${\hat {H}}$ es eliminada por el operador de momento $\mathbf {\hat {p}}$. $\mathbf {\hat {p}} |k\rangle =k|k\rangle$ $\mathbf {\hat {p}} |-k\rangle =-k|-k\rangle$ Por lo tanto, $\{\mathbf {\hat {p}} ,{\hat {H}}\}$ forman un CCOC.

### Adición de momentos angulares

Consideramos el caso de dos sistemas, 1 y 2, con los respectivos operadores de momento angular $\mathbf {J_{1}}$ y $\mathbf {J_{2}}$. Podemos escribir los estados propios de $J_{1}^{2}$ y $J_{1z}$ como $|j_{1}m_{1}\rangle$ y de $J_{2}^{2}$ y $J_{2z}$ como $|j_{2}m_{2}\rangle$.
    $J_{1}^{2}|j_{1}m_{1}\rangle =j_{1}(j_{1}+1)\hbar ^{2}|j_{1}m_{1}\rangle$
    $J_{1z}|j_{1}m_{1}\rangle =m_{1}\hbar |j_{1}m_{1}\rangle$
    $J_{2}^{2}|j_{2}m_{2}\rangle =j_{2}(j_{2}+1)\hbar ^{2}|j_{2}m_{2}\rangle$
    $J_{2z}|j_{2}m_{2}\rangle =m_{2}\hbar |j_{2}m_{2}\rangle$
Entonces los estados base del sistema completo son $|j_{1}m_{1};j_{2}m_{2}\rangle$ dados por
    $|j_{1}m_{1};j_{2}m_{2}\rangle =|j_{1}m_{1}\rangle \otimes |j_{2}m_{2}\rangle$
Por lo tanto, para el sistema completo, el conjunto de valores propios $\{j_{1},m_{1},j_{2},m_{2}\}$ especifica completamente un estado base único, y $\{J_{1}^{2},J_{1z},J_{2}^{2},J_{2z}\}$ forma un CCOC. Equivalentemente, existe otro conjunto de estados base para el sistema, en términos del operador de momento angular total $\mathbf {J} =\mathbf {J_{1}} +\mathbf {J_{2}}$. Los valores propios de $J^{2}$ son $j(j+1)\hbar ^{2}$ donde $j$ toma los valores $j_{1}+j_{2},j_{1}+j_{2}-1,...,|j_{1}-j_{2}|$, y los de $J_{z}$ son $m$ donde $m=-j,-j+1,...j-1,j$. Los estados base de los operadores $J^{2}$ y $J_{z}$ son $|j_{1}j_{2};jm\rangle$. Por lo tanto, también podemos especificar un único estado base en el espacio de Hilbert del sistema completo por el conjunto de valores propios $\{j_{1},j_{2},j,m\}$, y el correspondiente CCOC es $\{J_{1}^{2},J_{2}^{2},J^{2},J_{z}\}$.