¿Es [x, p] = ih / 2pi un axioma en mecánica cuántica?

Que [math] {[} \ hat {x}, \ hat {p} {]} = i \ hbar [/ math] se deduce de la definición de [math] \ hat {p} [/ math] como [math] \ hat {p} = – i \ hbar \ frac {\ partial} {\ partial x} [/ math]. Esto es en esencia un axioma.
Siguiendo a Dirac, nuestra intuición para establecer [matemáticas] \ hat {p} = – i \ hbar \ frac {\ partial} {\ partial x} [/ matemáticas] en la teoría cuántica proviene de cuatro observaciones:

  1. [math] \ frac {\ partial} {\ partial x} [/ math] es un operador puramente imaginario o anti-Hermitiano. Esto puede verificarse para las funciones de onda ‘de buen comportamiento’ (aquellas que caen a cero en el infinito, son suaves, etc.) expandiendo un término general de la forma [matemáticas] \ langle \ phi | \ frac {\ partial} {\ partial x} | \ psi \ rangle [/ math] en la base de posición, usando la integración por partes, y finalmente haciendo que su conjugado sea [math] – \ langle \ psi | \ frac {\ partial} {\ partial x} | \ phi \ rangle [/ math]. Por lo tanto, [math] ci \ hbar \ frac {\ partial} {\ partial x} [/ math] será un operador hermitiano para cualquier [math] c [/ math] real.
  2. [matemáticas] {[} \ hat {x}, \ frac {\ partial} {\ partial x} {]} = \ hat {x} \ frac {\ partial} {\ partial x} – \ frac {\ partial} {\ partial x} \ hat {x} = -1 [/ math]. Esto también se puede verificar de manera similar para las funciones de ‘buen comportamiento’ utilizando la regla de la cadena de derivados. Por lo tanto, [math] {[} x, -i \ hbar \ frac {\ partial} {\ partial x} {]} = i \ hbar [/ math].
  3. Que [matemáticas] \ hbar [/ matemáticas] tiene su pequeño valor particular en unidades SI se deduce de nuestro requisito de que los efectos cuánticos aparezcan en su mayoría como clásicos en la naturaleza en las escalas que los humanos estamos acostumbrados a observar, para predecir con éxito resultados experimentales.
  4. Finalmente, y lo más importante, en el proceso de cuantización canónica intentamos asegurarnos de que los Brackets cuánticos de Poisson terminen siendo proporcionales a los clásicos correspondientes. El clásico soporte de Poisson de posición e impulso es [matemática] \ {x, p \} = 1 [/ matemática]. Mediante el trabajo anterior, podemos establecer que la constante de proporcionalidad sea igual a [math] i \ hbar [/ math]

Referencias: PAM Dirac, Los principios de la mecánica cuántica.

EDITAR: Este procedimiento se puede hacer de manera equivalente en la representación de momento, estableciendo [math] \ hat {x} = i \ hbar \ frac {\ partial} {\ partial p} [/ math]. Nuestro objetivo final es garantizar el punto 4, un soporte cuántico de Poisson adecuado. Gracias a Sabuj Chattopadhyay por señalar esto.

Nota: Hay diferentes formas de generalizar la mecánica cuántica de la mecánica clásica. Seguiré la receta de Dirac.

Estás en la dirección correcta. Esta ecuación proviene de uno de los axiomas de la mecánica cuántica no relativista conocida como cuantización de Dirac. La cuantización de Dirac relaciona el soporte de Poisson en mecánica clásica con el conmutador en mecánica cuántica. Es decir, para dos variables dinámicas [matemáticas] A, B [/ matemáticas], sus operadores cuánticos correspondientes satisfacen
[matemáticas] [\ hat {A}, \ hat {B}] = i \ hbar \ {A, B \} [/ matemáticas]
donde los corchetes denotan el corchete de Poisson. Para el caso específico de posición e impulso, obtienes la ecuación que estás preguntando.

Solo quiero agregar a otros, porque esta pregunta me molestó mucho, ya que parece agregar hoc.

Aún así, históricamente fue hecho por Dirac como lo mencionaron otros, solo porque el resultado juega muy bien con lo que se conocía en el qm habitual, esto todavía no es suficiente.

Se pueden encontrar razones mucho más profundas para tal cuantización, esto sucede en el contexto de la teoría del campo geométrico, y se relaciona con los desviados de Lie y su comportamiento en la paz simétrica (mecánica clásica) y el espacio de Hilbert / Fock (QFT), de todos modos explicando los detalles aquí Es una larga historia.