ラドン＝ニコディムの定理

ラドン＝ニコディムの定理

ラドン＝ニコディムの定理は、測度論における重要な概念であり、特に可測空間における二つの測度の関係を探求します。この定理が示すのは、あるσ-有限測度νが、別のσ-有限測度μに対して絶対連続である場合、任意の可測部分集合Aに対して、特定の可測関数fが存在することです。この関数fは、次のような形で測度を表現することができます。

$$
ν(A) = \int_{A} f \, dμ
$$

関数fはラドン＝ニコディム微分と呼ばれ、一般的に$dν/dμ$で表されます。この定理の名称は、最初に特定の空間に対する限定的なケースを証明したヨハン・ラドンと、極一般的なケースを証明したオットー・ニコディムに由来します。また、この定理に関連して、1936年にはハンス・フロイデンタールがリース空間におけるフロイデンタールのスペクトル定理を証明し、さらなる一般化を達成しました。

ラドン＝ニコディム微分

この定理において提示される関数fは、μ-零集合を除けば一意です。つまり、別の関数gが同じ性質を持つ場合、μに関してほとんど至る所でf = gが成り立ちます。この関数fは、ある測度に対する別の測度に関する密度の指標として機能し、微分の概念に類似しています。また、符号付複素測度に対しても類似の定理が成り立ちます。

応用

ラドン＝ニコディムの定理は確率論において非常に重要です。確率論の基礎となる確率質量や確率密度を、任意の集合上で定義される確率測度に拡張するための枠組みを提供します。この拡張により、ある確率測度を別の確率測度に変換することができ、そのプロセスの中で確率変数の確率密度関数が出現します。
特に、確率測度の条件付期待値の存在を示す際に重要な役割を果たし、条件付き確率はその特例として扱われます。

また、この定理は数理ファイナンスにおいても広く利用されています。デリバティブの合理的な価格設定を行う際には、確率測度の変化が基本的な役割を果たすため、実際の確率をリスク中立確率に変換するための手法としても活用されます。

性質

ラドン＝ニコディムの定理に関連する性質の一つに、測度ν、μ、λが同じ測度空間でσ-有限である場合、次の関係が成り立つというものがあります。

$$
\frac{d(ν + μ)}{dλ} = \frac{dν}{dλ} + \frac{dμ}{dλ} \quad \text{(λ-almost everywhere)}
$$

このように、各測度の相互関係を利用して、さらなる性質を導くことができます。特に、μがνに対して絶対連続であれば、通常の微分の演算に類似した結果を扱えます。

さらなる応用

ラドン＝ニコディムの定理は、情報理論におけるカルバック・ライブラー情報量の計算にも使用されます。この情報量は、次のように定義されます。

$$
D_{KL}(μ \, || \, ν) = \int_{X} \log\left( \frac{dμ}{dν} \right) dμ
$$

また、ラドン＝ニコディムの定理は、σ-有限でない測度の場合には成立しないため、測度μの特定の性質についても注意を要します。例えば、実数直線上のボレル完備加法体を考えると、特定のボレル集合の測度がσ-有限でない場合、ラドン＝ニコディムの定理は成り立ちません。

証明

本定理の証明は、測度論に基づいています。特に、有限測度の場合のケースを考慮し、特定の条件を持つ関数を考察することから始まります。また、証明方法としては、ジョン・フォン・ノイマンによって証明された関数解析的アプローチもあります。これにより、ラドン＝ニコディム微分の存在が示され、さらにその特異性に関する結果を得ることが可能となります。

このように、ラドン＝ニコディムの定理は測度論、確率論、数理ファイナンスなど、さまざまな分野で不可欠な役割を果たしています。

もう一度検索