# Where does the partial derivative come from in Sakurai's derivation of the momentum operator?

How is the momentum operator derived in Dirac formalism? I am reading Quantum Mechanics by Sakurai and he gives the following derivation. But I don't understand how he goes from the third equation to the last equation in (1.7.15). What I don't understand is where the partial derivative with respect to $x^{\prime}$ comes from. Here is the derivation from the book.

# Momentum Operator in the Position Basis

We now examine how the momentum operator may look in the $x$-basis - that is, in the representation where the position eigenkets are used as base kets. Our starting point is the definition of momentum as the generator of infinitesimal translations:

\begin{align} \biggl(1 - \frac{ip\Delta x'}{\hbar}\biggr)\lvert\alpha\rangle &= \int dx' \mathcal{J}(\Delta x')\lvert x'\rangle\langle x'\lvert\alpha\rangle \\ &= \int dx' \lvert x' + \Delta x'\rangle\langle x'\lvert\alpha\rangle \\ &= \int dx' \lvert x'\rangle\langle x' - \Delta x'\lvert\alpha\rangle \\ &= \int dx' \lvert x'\rangle\biggl(\langle x'\lvert\alpha\rangle - \Delta x'\frac{\partial}{\partial x'}\langle x'\lvert\alpha\rangle\biggr).\tag{1.7.15} \end{align}

Comparison of both sides yields

$$p\lvert\alpha\rangle = \int dx'\lvert x'\rangle\biggl(-i\hbar\frac{\partial}{\partial x'}\langle x'\lvert\alpha\rangle\biggr)\tag{1.7.16}$$

or

$$\langle x'\rvert p\lvert\alpha\rangle = -i\hbar\frac{\partial}{\partial x'}\langle x'\lvert\alpha\rangle,\tag{1.7.17}$$

He's doing a linear approximation. Suppose $\Delta x$ is very small. Then $\langle x - \Delta x | \alpha \rangle$ is almost equal to $\langle x | \alpha \rangle$, but not quite, because $\Delta x$ isn't zero. So we do a first order approximation: Let's write $\langle x | \alpha \rangle$ as $f(x)$. Then $f(x - \Delta x) \approx f(x) - \Delta x \left.\frac{\partial f}{\partial x} \right|_{\Delta x = 0}$. In Dirac's notation, $\langle x - \Delta x | \alpha \rangle \approx \langle x | \alpha \rangle - \Delta x \frac{\partial}{\partial x} \langle x | \alpha \rangle$.