Let
- $(\Omega,\mathcal A)$ be a measurable space
- $\omega\in\Omega$
- $\delta_\omega$ denote the Dirac measureat $\omega$ on $(\Omega,\mathcal A)$
- $E$ be a $\mathbb R$-Banach space
- $\mathcal M$ denote the set of strongly $\mathcal A$-measurable $f:\Omega\to E$
If $f\in\mathcal M$, $$\langle\delta_\omega,f\rangle :=\int f\:{\rm d}\delta_\omega=f(\omega)$$ is well-defined. In that sense, $\delta_\omega$ can be thought of as an element of the algebraic dual space $\mathcal M^\ast$ of $\mathcal M$.
Now, assume
- $(\Omega,\mathcal A)=(\mathbb R,\mathcal B(\mathbb R))$
- $E=\mathbb R$
In the context of distribution theory, we can find the so-called scaling property of the Dirac delta function $$\langle\delta(a\;\cdot\;),f\rangle=\frac1{\left|a\right|}\left\langle\delta,f\left(\frac{\;\cdot\;}a\right)\right\rangle=\frac1{\left|a\right|}f(0),\tag1$$ where $a\in\mathbb R\setminus\left\{0\right\}$ and $f\in C^\infty(\mathbb R,\mathbb C)$.
My problem is that I don't understand how $\delta(a\;\cdot\;)$ is defined. Moreover, I'm aware of the usual proof of $(1)$ relying on the substitution rule. However, since the Dirac delta function is not a function, I don't understand why that rule is applicable.
It seems like one is assuming that there is a function $\delta$ such that the measure $\delta_x$ is Radon-Nikodým differentiable with respect to the Lebesuge measure $\lambda$ on $(\mathbb R,\mathcal B(\mathbb R))$ with $$\delta(\;\cdot\;-x)=\frac{{\rm d}\delta_x}{{\rm d}\lambda}\tag2$$ for all $x\in\mathbb R$. With that assumption, it's easy to see that $$\int f(y)\delta(a(y-x))\:\lambda({\rm d}y)=\frac1{|a|}\int f\left(\frac{\;\cdot\;}a\right)\delta(\;\cdot\;-ax)\:{\rm d}\lambda=\frac1{|a|}f(x)\tag3$$ for all $x\in\mathbb R$.
However, since $\delta_x$ is singular with respect to $\lambda$ for all $x\in\mathbb R$, $(2)$ is not well-defined. So, how can we state and prove $(1)$ in a rigorous way?
Please note that I know almost nothing about distribution theory. So, it would be great if there would be a purely measure theoretic answer.