マルチンケーヴィッチの定理
From Wikipedia, the free encyclopedia
数学において、Józef Marcinkiewicz (1939)により発見されたマルチンケーヴィッチの補間定理(マルチンケーヴィッチのほかんていり、英: Marcinkiewicz interpolation theorem)とは、Lp空間上の非線型作用素のノルム評価を与える一結果である。
マルチンケーヴィッチの定理は、線型作用素に関するリース=ソリンの定理と似ているが、非線型作用素に対しても適用できる。
f を、測度空間 (X, F, ω) 上で定義される実数値あるいは複素数値の可測関数とする。f の分布関数は次で定義される。
このとき f が弱 であるとは、ある定数 C が存在して、f の分布関数が任意の t > 0 に対して次の不等式を満たすことをいう:
この不等式を満たす最小の C のことを弱 ノルムといい、通常 あるいは と表す。同様に、この関数による空間を通常 L1,w あるいは L1,∞ と表す。
(注釈:この表記はわずかに誤解を招くおそれがある。実際、 上の関数 と の和のノルムは 2 ではなく 4 であることについて考えれば分かるが、弱ノルムは三角不等式を満たさない。)
任意の L1 関数は L1,w に属し、次の不等式が成り立つ。
これはマルコフの不等式(チェビシェフの不等式としても知られる)に他ならない。この逆は真ではない。例えば、関数 1/x は L1,w に属すが、L1 には属さない。
同様に、 が L1,w に属すような関数 f の空間として弱 空間を定義することが出来る。このとき弱 ノルムは次で定義できる。
より具体的に、Lp,w ノルムは、任意の t > 0 に対して次の不等式を満たす最小の C で定義される。