范数

线性空间

线性结构：加法和数乘

向量范数三公理

非负性

齐次性

三角不等式