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

数学の解析学の分野において、ゴッドフレイ・ハロルド・ハーディとジョン・エデンサー・リトルウッドの名にちなむハーディ＝リトルウッドの不等式（ハーディ＝リトルウッドのふとうしき、）とは、f と g が n 次元ユークリッド空間 Rn 上で定義される非負の可測 実函数で、無限大で消失するものであるときに成り立つ次の不等式のことをいう。

ここで  f* と g* はそれぞれ f(x) と g(x) の対称減少再配分である。

 証明 
レイヤーケーキ表現より、次が成り立つ

。

ここで  は次の部分集合 E f の指示函数を表す：

同様に  は次の部分集合 E g の指示函数を表す。

すると、次が成り立つ。

 関連項目 

 チェビシェフの和の不等式
 ローレンツ空間

 脚注 

Category:解析学
Category:不等式
Category:証明を含む記事
Category:数学に関する記事
Category:数学のエポニム