Definition:Lp Vector Space