ルベーグの微分定理

数学において、ルベーグの微分定理（ルベーグのびぶんていり、）は、実解析の定理の一つで、ほとんど全ての点に対して可積分函数の値がその点の周りの無限小平均（無限小近傍でとった平均値）の極限に等しいことを述べる。名称はアンリ・ルベーグにちなむ。
主張.
R"n" 上の実数値または複素数値ルベーグ可積分関数 "f" があるとき、ルベーグ可測集合 "A"  に formula_1 （formula_2 は集合 "A" の指示関数）のルベーグ積分を対応させる「不定積分」は集合函数
を定める。ここで "λ" は "n"-次元ルベーグ測度。
この積分の "x" における「微分」は
と定義される。ここで |"B"| は "x" を中心とする球体 "B"  のルベーグ測度で、"B" → "x" は "B"  の直径が限りなく 0 に近づくことを意味する。
ルベーグの微分定理 によれば、ほとんど全ての "x" ∈ R"n" に対してこの極限値は存在して "f"("x") に等しい。実際にはこれよりわずかに強い次の主張が成り立つ。不等式
において、最右辺はほとんど全ての "x" において 0 に収束する。このような点を "f" のという。
この定理はより一般的に、球体 "B"  の族を以下の性質（bounded eccentricity）を持つ集合族 formula_6 で置き換えても成り立つ。
「ある固定された定数 "c" > 0 があって、formula_6 の任意の元 "U"  に対し、formula_8 を満たして "U"  を包含するような球体 "B"  が存在する。」
さらに任意の点 "x" ∈ R"n" に対し、"x" が属すようないくらでも測度の小さい formula_6 の元が存在するものとする。このときほとんど全ての "x" に対し、集合が点 "x" へ収縮するとき
が成り立つ。
立方体全体の集合は formula_6 の一例であり、また R2 において定数 "m" ≥ 1 を固定したとき、縦横比が "m"−1 から "m" までの範囲に収まるような長方形全体の集合 formula_6("m") もそうである。R"n" に任意のノルムが与えられたとき、このノルムから定まる距離についての球全体の集合も formula_6 の条件を満たす。
1次元の場合は が先立って証明を与えている：
"f" が実数体上の可積分関数であるとき、関数
はほとんど至るところ微分可能で formula_15 を満たす。
証明.
ハーディ＝リトルウッドの極大函数に対する弱 "L"1 空間でのノルム評価から（より強めた形で）
を示すことができる。以下の証明は , , , に見られる標準的な方法に従ったものである。
定理は局所的な性質に関するものだから、"f" はある有限の半径を持った球の外部では値 0 をとると仮定して良い。任意の "α" > 0 に対し、集合 
第2項は "g" の連続性より極限をとると消える。
第3項は |"f"("x") − "g"("x")| で上から抑えられる。
最初の条件式で絶対値の極限が 2"α" を上回るためには、第1項か第3項の少なくとも一方の絶対値は "α" を上回らなければならない。ところが、ハーディ＝リトルウッドの極大函数は、次元 "n" のみに依存するある定数 "An" により
と評価される。一方マルコフの不等式より 
よって 
"ε" は任意だったので、この右辺はいくらでも小さくすることができる。これで定理が示された。
証明に関して.
ハーディ＝リトルウッドの極大函数についての評価式を示すのに用いられるという点で、は本定理の証明の要になる。
この定理は、「微分」の定義のところで球体の族の代わりに、ルベーグの正則性条件（Lebesgue's regularity condition, 先に定義した "bounded eccentricity" と同じ）を満たし、直径が 0 にいくらでも近いものがとれるような集合族を用いてもそのまま成り立つ。このように取り換えてもヴィタリの被覆定理が同様に成り立つからである。
議論.
この定理は微分積分学の基本定理の相似物ないし一般化である。微分積分学の基本定理は、リーマン積分可能な関数は、そのリーマン（不定）積分の導関数と同一である（equate）ことを主張する。この逆を示すこともできる。任意の微分可能な関数は、その導関数の「積分」と同一である。ただし任意の導関数の積分可能性を保証するためにヘンストック＝クルツヴァイル積分を考える必要がある。
ルベーグの微分定理の特別な場合がルベーグの密度定理であり、これはルベーグ可測集合の指示関数に対し微分定理を適用したものである。密度定理は普通、より簡単な方法で証明される（ を参照）。
この定理は、ルベーグ測度を R"n" 上の任意の有限値ボレル測度に取り換えても成り立つ（証明は例えば ）。より一般に、以下の条件のうちいずれかが成り立っているならば、可分な距離空間上の任意の有限値ボレル測度について同じ主張が成り立つ。 
これらの結果の証明は の sections 2.8‐2.9 に記載がある。