# Quantum Mechanics; Sakurai; Infinitesimal Translation

The following is a section from Sakurai's book "Modern Quantum mechanics" where he explains the translation operator $$J$$ commutation with position operator $$\hat{x}$$ on the subspace $$|x' \rangle$$:

How does the approximation work? I already tried it with Taylor-series but I failed.

• it should work with Taylor series. $|x'+dx'\rangle = |x'\rangle + dx' \partial_{x'}|x'\rangle + O(dx'^2)$ and then you multiply with $dx'$
– user245141
Commented Feb 26, 2020 at 16:03
• Does it mean that it is being evaluated at the point $x' - dx'$? Is the ket being regarded as a function? Commented Feb 26, 2020 at 16:43
• why at a point $|x'-dx'\rangle$? it is evaluated at $|x'\rangle$. The ket is regarded as a function of $x'$, in the sense that we can define a derivative in a standard manner: $d|x\rangle/dx = \lim_{h\to 0} (|x+h\rangle-|x\rangle)/h$. Note that as $|x'\rangle$ reside in our Hilbert space, we have a well-defined addition and substraction operations on them, and also multiplication by scalars.
– user245141
Commented Feb 26, 2020 at 16:46

We can define the derivative of a vector in Hilbert space by the usual definition of a derivative: $$\frac{d|x\rangle}{dx}=\lim_{dx\to0}\frac{|x+dx\rangle-|x\rangle}{dx}$$ Similarly we can define higher derivatives. With these in our hand, we can now formally define a Taylor expansion which up to first order looks like: $$|x_0+dx\rangle\approx|x_0\rangle+dx\left(\frac{d|x\rangle}{dx}\right)_{x_0}$$ Now in your case, since the operator itself is in first order, the derivative term will become second order and thus negligible. Finally giving: $$dx’|x’+dx’\rangle\approx dx’|x’\rangle$$

• stupid question but how do I get the " $dx$ " in the first order? In the Taylor series, the first order consists of the derivation of the function multiplied by $(x-a)$ where in general $x$ represents the variable and $a$ the evaluation point. So I guess $dx$ is coming from $(x-a)$, right? But how exactly? Commented Feb 26, 2020 at 18:33
• So that would be $(x-dx)$ but what about the variable $x$? Commented Feb 26, 2020 at 18:57
• If you want $dx$ to come out of the difference, set $x\to x+dx$ and $a\to x$. Then you’ll get the right result. We are working with the difference going to zero limit. Commented Feb 26, 2020 at 19:27