Normed Vector Space Definition