Let ,1≤p<∞. and (X,F,μ) be a measurable set .Where X denote the under lying space , F the σ -algebra of measurable set and μ the measure.
Then the space Lp(X,F,μ)=Lp ,consists of all complex valued measurable function on X that satisfies
∫X∣f(x)∣pdμ(x) ≤∞The set of such function forms a vector space ,with the following natural operation
(f+g)(x)=f(x)+g(x)
(λf)(x)=λf(x)
For the scalar λ .
Now ,if f∈Lp then we define the Lp norm of f by
∣∣f∣∣Lp=(∫X∣f(x)∣pdμ(x))p1
We also abbreviate this to ∣∣f∣∣p .
Now ,we show that Lp is a normed linear space under the norm ∣∣.∣∣p
Clearly ,∣∣f(x)∣∣p≥0 ,since ∣f(x)∣p≥0 .
since (λf)x=λf(x) ⟹∣∣(λf)x∣∣=λ∣∣f(x)∣∣ .
Again we known from Minkowski inequality that if 1≤p<∞
and f,g∈Lp then f+g∈Lp
and ∣∣f+g∣∣p≤∣∣f∣∣p+∣∣g∣∣p .
Hence,Lp together with ∣∣.∣∣p is a semi normed vector space.
Which is denote by Lp(X,μ)
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 .
Since, for any measurable function f we have
∣∣f∣∣p=0⟺f=0 almost everywhere ,the kernel of ∣∣.∣∣p
does not depends upon p .
Let N={f:f=0 almost everywhere}=ker(∣∣.∣∣p), ∀ 1≤p<∞
In the quotient space ,two function f and g are identical if f=g
almost everywhere.
The resulting normed linear space is by definition,
Lp≡Lp(X,μ)/N
Hence ,Lp is a normed linear space.
Comments