# Substitution rule for dirac measure

I am trying to apply a substitution rule to a Lebesgue integral and get very strange results.

Substitution rule (an instantiation of Fremlin, D.H. (2010), Measure Theory, Volume 2, Theorem 263D): Let $\phi: \mathbb{R} \to \mathbb{R}$ be an injective function with derivative $\phi': \mathbb{R} \to \mathbb{R}$. Let $f: \mathbb{R} \to \mathbb{R}$ be measurable and $\mu: \Sigma_{\mathbb{R}} \to \mathbb{R}$ a measure ($\Sigma_{\mathbb{R}}$ is a $\sigma$-algebra on $\mathbb{R}$). Then, $$\int_{x \in \phi(\mathbb{R})} f(x) d\mu = \int_{x \in \mathbb{R}} |\phi'(x)|*f(\phi(x)) d\mu$$

I instantiate $\mu$ with the dirac measure $\delta(S) := [0 \in S]$, $f$ with the measurable function $f(x) := [x = 0]$ and $\phi$ with the function $\phi(x) := x+1$. Of course, $\phi'(x) = 1$.

Using this instantiation, I get \begin{align*} 1 &= f(0) \\ &= \int_{x \in \mathbb{R}} f(x) d\delta && \text{property of the dirac measure} \\ &= \int_{x \in \phi(\mathbb{R})} f(x) d\delta && \mathbb{R} = \phi(\mathbb{R}) \\ &= \int_{x \in \mathbb{R}} |\phi'(x)|*f(\phi(x)) d\delta && \text{substitution} \\ &= \int_{x \in \mathbb{R}} 1*f(x+1) d\delta \\ &= f(0+1) && \text{property of the dirac measure} \\ &= 0 \end{align*} What did I do wrong?

Throughout this section, as in the rest of the chapter, $\mu$ will denote Lebesgue measure on $\mathbb R^r$.