数学におけるラドン＝ニコディムの定理（ラドン＝ニコディムのていり、）は、測度論の分野における一結果で、ある可測空間 が与えられたとき、 上のある が別の 上の σ-有限測度 に関して絶対連続であるなら、任意の可測部分集合 に対して次を満たす可測函数 が存在することを述べた定理である：この函数 はラドン＝ニコディム微分と呼ばれ、 と表記される。この定理の名は、1913年に空間 での特別な場合について証明を与えたと、1930年に一般の場合の証明を与えたに由来する。1936年には、この定理を特別な場合として含む、リース空間での一結果であるフロイデンタールのスペクトル定理を証明することによって、その結果の更なる一般化に成功した。上述の等式を満たす函数 は、 -零集合の違いを除いて一意である。すなわち、同じ性質を満たす別の函数 が存在するなら、 に関してほとんど至るところで が成り立つ。 は通常 と表記され、ラドン＝ニコディム微分と呼ばれる。この表記と呼称は、この函数がある測度の別の測度に関する密度の変化率を表しているという意味で微分積分学における微分の類似物となっていることに由来する。同様の定理は、符号付複素測度に対しても証明することが出来る。すなわち、 が非負の σ-有限測度で、 が有限値の符号付あるいは複素測度で を満たす（ が に関して絶対連続である）なら、 上の -可積分な実あるいは複素数値函数 が存在して、すべての可測集合 に対して次を満たす。この定理は確率論におけるアイデアを、実数上で定義される確率質量および確率密度から、任意の集合上で定義される確率測度へと拡張する上で非常に重要となる。このことは、ある確率測度を別のものへ変化させることが可能か、また可能であればどのように出来るか、という事実を示唆している。特に、ある確率変数の確率密度函数は、ある基底測度（通常は連続確率変数に対するルベーグ測度）に関する誘導測度（induced measure）のラドン＝ニコディム微分となる。それは例えば、確率測度の条件付期待値の存在を示す際に利用することが出来る。条件付確率はその特殊例に過ぎないので、後者はそれ自身が確率論における重要概念となる。その他の分野では、数理ファイナンスにおいてこの定理は広く用いられている。確率測度の変化はデリバティブの合理価格設定（rational pricing）を行う上での基本であり、実際の確率をリスク中立確率に転換する上で用いられる。 および は 上の測度で、 が成り立つものとする。ラドン＝ニコディムの定理では、 の変化の割合を計算するための測度 は -有限であると仮定されていた。ここでは、その が -有限でないときにはラドン＝ニコディムの定理が成立しないことを示す。実数直線上のボレル完全加法族を考える。あるボレル集合 の数え上げ測度 を、 が有限である場合はその元の数、そうでない場合は で定義する。実際に が測度であることは確かめることが出来る。しかし、すべてのボレル集合が有限集合の可算個の合併であるとは限らないので、それは -有限ではない。 をこのボレル加法族上の通常のルベーグ測度とする。このとき、 は に関して絶対連続である。なぜなら、ある集合 に対して となるのは が空集合であるときのみであり、そのときは もゼロとなるからである。ラドン＝ニコディムの定理が成立するものと仮定する。すなわち、ある可測函数 に対してがすべてのボレル集合について成立するものとする。 を単集合 } とし、上述の等式を使うことでがすべての実数 に対して成り立つ。このことは函数 およびルベーグ測度 がゼロであることを意味し、矛盾である。この節では、ラドン＝ニコディムの定理の測度論的な証明を紹介する。ヒルベルト空間の手法を使った函数解析的な証明も、ジョン・フォン・ノイマンによって与えられている。証明のアイデアは、有限測度 および に対して を満たす函数 を考えることである。単調収束定理の下で、そのようなすべての函数の上限はラドン＝ニコディム微分を与える。有限測度に関する技術的な事実より、 の残りの部分は に関して特異的であることが従う。そのような結果が有限測度に対して得られれば、-有限測度や符号付測度、複素測度に対しても自然な形で拡張される。詳細は下記の通りである。はじめに と のいずれも有限値の非負測度である場合を考える。 を、次の関係式を満たすようなそれらの可測函数 の集合とする：少なくともゼロ函数を含むため である。今 とし、 を任意の可測集合とし、次を定義する：このとき、が成り立ち、したがって となる。今 を、次を満たす 内の函数列とする。ルベーグの単調収束定理より、各 に対してが成り立ち、したがって となる。また、 の構成法よりとなる。 であるため、は 上の非負測度を定義する。 を仮定する。このとき、 は有限であるため、 を満たすようなある が存在する。("P

出典:wikipedia