ハーディ＝リトルウッドの不等式

数学の解析学の分野において、ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドの名にちなむハーディ＝リトルウッドの不等式（ハーディ＝リトルウッドのふとうしき、）とは、"f" と "g" が "n" 次元ユークリッド空間 R"n" 上で定義される非負の可測 実函数で、無限大で消失するものであるときに成り立つ次の不等式のことをいう。
ここで "f"* と "g"* はそれぞれ "f"("x") と "g"("x") の対称減少再配分である。
証明.
レイヤーケーキ表現より、次が成り立つ
ここで formula_4 は次の部分集合 "E" "f" の指示函数を表す：
同様に formula_6 は次の部分集合 "E" "g" の指示函数を表す。
すると、次が成り立つ。