Definition:Minkowski Functional in Normed Vector Space