I'm reading Real Analysis: Modern Techniques and Their Applications and A Course on Abstract Harmonic Analysis, both by Folland.
First, a Radon (positive) measure is a Borel measure on a locally compact space $X$ such that:
- $\mu(K) < +\infty$ $\forall K$ compact.
- $\mu(A) = \inf\{\mu(U) : A \subseteq U \mbox{ and } U \mbox{ is open}\}$ $\forall A \in \mathcal{B}(X)$.
- $\mu(U) = \sup\{\mu(K) : K \subseteq U \mbox{ and } K \mbox{ is compact}\}$ $\forall U$ open.
I have two questions:
In the first book, Fubini's Theorem is proofed for Radon (positive, I guess) measures. But I cannot find any reference for Radon complex measures. There exists a way to extend it to Radon complex measures?
Moreover, in the second book, Folland uses Fubini's Theorem for complex Radon measures in order to proof that convolution of complex Radon measures is associative, isn't it?
$\int f \, d(\mu+i\nu) =\int f \, d\mu +i\int f \, d\nu$. There is no need for a separate Fubini's Theorem for complex measures.