突然发现用上下极限比较清楚

设maxf(x)=f(x0),设g(x)=|f(x)/f(x0)|,则g连续,g(x)max=1.原式即证limap=lim(∫(a,b)g(x)^pdx)^(1/p)=1.显然有(∫(a,b)g(x)^pdx)^(1/p)<=lim(∫(a,b)1dx)^(1/p)=1,故ap的上极限小于等于1.又对任意e>0,存在d>0,p属于N使x属于(x0-d,x0+d)时g(x)>=1-e,2d>=(1-e)^p.所以ap>=(∫(x0-d,x0+d)(1-e)^pdx)^(1/p)=(2d)^(1/p)(1-e)>=(1-e)^2,由e的任意性知ap的下极限大于等于1.所以ap的极限存在,且等于1.