# How to define the derivative of Radon measures

Let $M$ be the positive borel measures on a hausdorff topological space $X$, which are finite on compacts sets $--$ i.e. the real cone of radon measures.

I am given a definition of a derivative of two radon measures, say $\mu, \eta \in M$, as follows.

Let

$D^+_\mu \eta (x) := \left\{ \begin{array}{1 1} \limsup \limits_{r \rightarrow 0} \frac{ \eta(\overline{B_r(0)}) }{ \mu(\overline{B_r(0)}) } & \mu(\overline{B_r(0)}) > 0 \forall r > 0\\ \infty & \mu(\overline{B_r(0)}) = 0 \forall r > 0 \end{array} \right.$

and

$D^-_\mu \eta (x) := \left\{ \begin{array}{1 1} \liminf \limits_{r \rightarrow 0} \frac{ \eta(\overline{B_r(0)}) }{ \mu(\overline{B_r(0)}) } & \mu(\overline{B_r(0)}) > 0 \forall r > 0\\ \infty & \mu(\overline{B_r(0)}) = 0 \forall r > 0 \end{array} \right.$

and we write in case of equality

$D_\mu \eta (x) := D^+_\mu \eta (x) = D^-_\mu \eta (x)$

I could accept this ad-hoc definition "as is". Nevertheless, I know there is a canonical topology on the linear space of bounded radon measures, so is probably on the cone of positive (not necessarily bounded) radon measures (Furthermore, I guess the thoughs pass over the linear space of signed Radon measures)

Hence, I would like to obtain a good intuition how the definition of derivative of above relates to the canonical definition (if applicable) of derivative on infinite-dimensional vector spaces. (I suppose there is such a connection). Can give a explanation or tell me a good tight resource to look this up?

Thank you.

-