View source for Radon-Nikodým theorem

''generalized measure'', ''real valued measure''

{{MSC|28A33}}
[[Category:Classical measure theory]]
{{TEX|done}}
$\newcommand{\abs}[1]{\left|#1\right|}$

A classical theorem in measure theory first established by J. Radon and O.M. Nikodym, which has the following statement. 

Let $\mathcal{B}$ be a [[Algebra of sets|σ-algebra]] of subsets
of a set $X$ and let $\mu$ and $\nu$ be two measures on $\mathcal{B}$. If $\nu$ is absolutely continuous
with respect to $\mu$, i.e. $\nu (A)=0$ whenever $\mu (A) = 0$, then there is a $\mathcal{B}$-measurable nonnegative function $f$ such that
\begin{equation}\label{e:R-N}
\nu (B) = \int_B f\, d\mu \qquad \forall B\in \mathcal{B}\, .
\end{equation}
The function $f$ is uniquely determined up to sets of $\mu$-measure zero.
The theorem can be generalized to signed measures, $\mathbb C$-valued measures and, more in general, vector-valued measures
(see [[Signed measure]]). More precisely, let $\mu$ be a (nonnegative real-valued) measure on $\mathcal{B}$, $V$ be a finite-dimensional
vector-space and $\nu:\mathcal{B}\to V$ a $\sigma$-additive function such that $\nu (A) = 0$ whenever $\mu (A) =0$.
Then there is a function $f\in L^1 (\mu, V)$ such that \ref{e:R-N} hold. See also [[Vector measure]] for more general statements.

For a useful characterization of the density $f$ in the case of Radon measures in euclidean spaces see [[Differentiation of measures]].

====References====
{|
|-
|valign="top"|{{Ref|AmFuPa}}||   L. Ambrosio, N. Fusco, D. Pallara, "Functions of bounded variations  and  free discontinuity problems". Oxford Mathematical Monographs. The   Clarendon Press, Oxford University Press, New York, 2000.   {{MR|1857292}}{{ZBL|0957.49001}} 
|-
|valign="top"|{{Ref|Bo}}||   N. Bourbaki, "Elements of mathematics. Integration" , Addison-Wesley   (1975) pp. Chapt.6;7;8 (Translated from French) {{MR|0583191}}   {{ZBL|1116.28002}} {{ZBL|1106.46005}} {{ZBL|1106.46006}}   {{ZBL|1182.28002}} {{ZBL|1182.28001}} {{ZBL|1095.28002}}   {{ZBL|1095.28001}} {{ZBL|0156.06001}}
|-
|valign="top"|{{Ref|DS}}||   N. Dunford, J.T. Schwartz, "Linear operators. General theory" ,  '''1'''  , Interscience (1958) {{MR|0117523}}
|-
|valign="top"|{{Ref|Bi}}||   P. Billingsley, "Convergence of probability measures" , Wiley (1968)   {{MR|0233396}} {{ZBL|0172.21201}}
|-
|valign="top"|{{Ref|He}}||  E. Hewitt,   K.R. Stromberg,   "Real and abstract analysis" , Springer  (1965) {{MR|0188387}} {{ZBL|0137.03202}}
|-
|valign="top"|{{Ref|Ma}}||   P. Mattila, "Geometry of sets and measures in euclidean spaces".   Cambridge Studies in Advanced Mathematics, 44. Cambridge University   Press, Cambridge,  1995. {{MR|1333890}} {{ZBL|0911.28005}}
|-
|valign="top"|{{Ref|Ni}}|| O. M. Nikodym, "Sur une généralisation des intégrales de M. J. Radon".  ''Fund. Math.'' , '''15'''  (1930)  pp. 131–179
|-
|valign="top"|{{Ref|Ra}}|| J. Radon, "Ueber lineare Funktionaltransformationen und Funktionalgleichungen", ''Sitzungsber. Acad. Wiss. Wien'' , '''128'''  (1919)  pp. 1083–1121
|-
|}