积分, IV, p. 135
a) 令 μ 为区间 X=]0,+∞[ 上的勒贝格测度。对于每个数p,使得0<p≤+∞,给出X上可测量的函数f≥0的例,使得数r(0≤r≤+∞)的集合,其中Nr(f)=(∫frdμ)1/r是有限的,是区间]0,p[,]0,p],]p,+∞[,[p,+∞]之一(取0或+∞邻域中形式xα(logx)β的f函数);由此推断,对于]0,+∞[中包含的每个区间I,都存在可测量的函数f≥0,使得I与r>0的集合相同,其中Nr(f)<+∞(考虑两个和) 函数,其中I具有上述四个形式之一)。
b) 对于区间]0,1[上的勒贝格测度,类似地给出函数f的例,使得数r>0的集合I,其中Nr(f)<+∞是]0,+∞[中包含的任意区间左端点 0 。