Definition:Non-Archimedean Vector Space Norm