Podemos definir la derivada de un vector en el espacio de Hilbert mediante la definición habitual de derivada:
d| x⟩dX=límitedX → 0| x+rex ⟩ - | x ⟩dX
Del mismo modo podemos definir derivadas superiores. Con esto en nuestras manos, ahora podemos definir formalmente una expansión de Taylor que hasta el primer orden se ve así:
|X0+ reX ⟩ ≈ |X0⟩ + reX(d| x⟩dX)X0
Ahora, en su caso, dado que el operador en sí es de primer orden, el término derivado se convertirá en segundo orden y, por lo tanto, despreciable. Finalmente dando:
dX′|X′+ reX′⟩ ≈ reX′|X′⟩
usuario245141
astronauta marbini
usuario245141