以下では (X, S, μ)を測度空間とする.1≦p<∞ に対し, LP(X) = LP(X, 9, μ) を X
で定義された実数値 9-可測関数fで
1/p
||ƒ||» = (Sx \ƒ(x)\º dµ(x)) ¹/P
をみたすものの全体とする。 ただし,ほとんど至る所で一致するふたつの関数は同一視するものと
する.
fを積分可能関数とする. n=1, 2, 3, ... に対し,
[ƒ(x),
f(x),
n,
<8
f(x)|≦n,
f(x) > n,
-n, f(x)<-n
とおく。 Sxf(x)du(z)=lim fxfn(x)dμ(x) を示せ.
fn(2)=