# Thread: Norm on the Lp space

1. ## Norm on the Lp space

In showing that $\displaystyle \Vert .\Vert{p}$ defines a norm on $\displaystyle L_{p} (p\geq1)$, I'm not so sure about checking the axiom

$\displaystyle \Vert f \Vert_{p}=0$ iff $\displaystyle f=0$.

A textbook mentions defining an equivalence relation on $\displaystyle L_{p}$ space but I don't really get what that's all about.

2. Originally Posted by willy0625
In showing that $\displaystyle \Vert .\Vert{p}$ defines a norm on $\displaystyle L_{p} (p\geq1)$, I'm not so sure about checking the axiom

$\displaystyle \Vert f \Vert_{p}=0$ iff $\displaystyle f=0$.

A textbook mentions defining an equivalence relation on $\displaystyle L_{p}$ space but I don't really get what that's all about.
Don't take what I am about to say too seriously, wait for another member to verify.

It defines a seminorm on the space. The common thing to do in this case is to define an equivalence relation on your space by modding out by the kernel of $\displaystyle \|\cdot\|_p$

3. Originally Posted by willy0625
In showing that $\displaystyle \Vert .\Vert{p}$ defines a norm on $\displaystyle L_{p} (p\geq1)$, I'm not so sure about checking the axiom

$\displaystyle \Vert f \Vert_{p}=0$ iff $\displaystyle f=0$.

A textbook mentions defining an equivalence relation on $\displaystyle L_{p}$ space but I don't really get what that's all about.
Drexel is right except that $\displaystyle L^p$ is already defined as the equivalence class of functions under the relation f ~ g iff $\displaystyle f(x)=g(x)$ almost everywhere.

The main reason for this is that if you are doing measure theory (e.g. probability) you essentially don't care what happens on null sets. You will notice that people will abuse the notation a lot, by for example saying let $\displaystyle f \in L^p$ and consider f(x), but there are ways around this.