向量范数 y = f(v): 1. p(av) = |a| p(v), (absolute homogeneity or absolute scalability). 2. p(u + v) ≤ p(u) + p(v) (triangle inequality or subadditivity). 3. If p(v) = 0 then v is the zero vector (separates points).