Definition:Norm on Vector Space