Ess Sup Norm as limit ->oo of L^p norm

[WWGD]

Hi:

I am trying to show that the ess sup norm is the limit of the L^p

norms as p-->oo . i.e., ess sup =lim_p->oo ( {Int f^p)^1/p


Please tell me if this is correct:

1) Def. ess sup f(t)=inf{M:m(t:f(t)>M)=0 }

Then, f(t)>M only in the set S , with m(S)=0 , and f(t

So Lim_p->oo ||f||_p =Lim_p->oo (Int_[0,1] ||f||^p)^1/p

<= Lim_p->oo(Int[0,1]-S |M|^p +Int_S (M')^p )^1/p .

Since m(S)=0 , integral on the right goes to 0

(is this O.K if f is oo in S?) , so we get:

Lim_p->oo(Int_([0,1]-S) (M)^p)^1/p) . Then, since m([0,1]-S)=1

(Int_([0,1]-S)|M|^p )^1/p =M^p , so we get

Lim_p->oo (M^p)^1/p .

Then the sequence :{a_n}=(M^n)^1/n =M , is constant, with limit M.

Does this work?

P.S: Sorry, I am still learning Latex.

[rochfor1]

This is not quite correct, but you rather have half of what is needed. If ||f||_\infty =M, then \int_{ [0,1] - S } |f|^p \leq M^p, but equality need not hold. Therefore you have \lim_{ p \to \infty } ||f||_p } \leq M. You just need to prove the reverse inequality.