Question #107724
Show that the space L^p is a normed linear space
1
Expert's answer
2020-04-04T17:26:27-0400

Let ,1p<.1\leq p <\infin . and (X,F,μ)(X,\mathcal{F},\mu) be a measurable set .Where XX denote the under lying space , F the σ\mathcal{F} \ the \ \sigma -algebra of measurable set and μ\mu the measure.

Then the space Lp(X,F,μ)=LpL^{p} (X,\mathcal{F},\mu)={L}^p ,consists of all complex valued measurable function on X that satisfies


Xf(x)pdμ(x) \int_X{|f(x)|^p d\mu (x) } \ \le \infin

The set of such function forms a vector space ,with the following natural operation

(f+g)(x)=f(x)+g(x)(f+g)(x)=f(x)+g(x)

(λf)(x)=λf(x)(\lambda f)(x)=\lambda f(x)

For the scalar λ\lambda .

Now ,if fLpf\in L^p then we define the LpL^p norm of ff by


fLp=(Xf(x)pdμ(x))1p\vert\vert f\mid\mid_{L^p}=(\int_X|f(x)|^pd\mu(x) )^{\frac{1}{p} }


We also abbreviate this to fp||f||_p .

Now ,we show that LpL^p is a normed linear space under the norm .p||.||_p


Clearly ,f(x)p0||f(x)||_p\geq0 ,since f(x)p0|f(x)|^p\geq0 .

since (λf)x=λf(x)(\lambda f)x=\lambda f(x)     (λf)x=λf(x)\implies ||(\lambda f)x||=\lambda ||f(x)|| .

Again we known from Minkowski inequality that if 1p<1\le p <\infin

and f,gLp then f+gLpf,g\in L^p \ then \ f+g\in L^p

and f+gpfp+gp||f+g||_p \leq ||f||_p+||g||_p .

Hence,Lp together with .pL^p \ together \ with \ ||.||_p is a semi normed vector space.

Which is denote by Lp(X,μ){\mathcal L}^p(X,\mu)

wayThis can be made into a normed vector space in a standard way,one simply takes the quotient space with respect to the kernel of .p||.||_p .

Since, for any measurable function f we have

fp=0    f=0 almost everywhere||f||_p=0 \iff f=0 \ almost \ everywhere ,the kernel of .p||.||_p

does not depends upon p .

Let N={f:f=0 almost everywhere}=ker(.p),  1p<\mathcal N =\{ f:f=0 \ almost \ everywhere \}=ker(||.||_p) , \ \forall \ 1\leq p<\infin


In the quotient space ,two function f and g are identical if f=gf=g

almost everywhere.

The resulting normed linear space is by definition,


LpLp(X,μ)/NL^p\equiv {\mathcal L^p(X,\mu)}/{\mathcal N}


Hence ,LpL^p is a normed linear space.



Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS