A Lp norm on a measure space
(X,Σ,μ) (for 1≤p<∞) assigns to a measurable function
f:X→R the value
∥f∥p:=(∫X∣f(x)∣pdμ(x))1/p,whenever the Lebesgue integral of the nonnegative function
∣f∣p is finite; here ∣f(x)∣ uses the absolute value
. For p=∞ one defines
∥f∥∞:=x∈Xesssup∣f(x)∣,using the essential supremum
.
If f and g are equal almost everywhere
, then ∥f∥p=∥g∥p, so the Lp norm is naturally a norm on the corresponding $L^p$ space
.
Examples:
- On ([0,1],B,λ), the constant function f(x)=1 satisfies ∥f∥p=1 for every 1≤p≤∞.
- On ([0,1],B,λ), for f(x)=x one has ∥f∥p=(1/(p+1))1/p for 1≤p<∞, and ∥f∥∞=1.