ラドン＝ニコディムの定理
数学におけるラドン＝ニコディムの定理（ラドン＝ニコディムのていり、）は、測度論の分野における一結果で、ある可測空間 が与えられたとき、 上のある が別の 上の σ-有限測度 に関して絶対連続であるなら、任意の可測部分集合 に対して次を満たす可測函数 が存在することを述べた定理である：
この函数 はラドン＝ニコディム微分と呼ばれ、 と表記される。
この定理の名は、1913年に空間 での特別な場合について証明を与えたと、1930年に一般の場合の証明を与えたに由来する。1936年にハンス・フロイデンタールは、この定理を特別な場合として含む、リース空間での一結果であるフロイデンタールのスペクトル定理を証明することによって、その結果の更なる一般化に成功した。
 がバナッハ空間であり、ラドン＝ニコディムの定理が に値を取る函数に対して同様に成り立つなら、 はラドン＝ニコディム性を備えると言われる。全てのヒルベルト空間はラドン＝ニコディム性を備えている。