實賦範向量空間實向量空間配備正定、絕對齊次且滿足三角不等式的實值範數。atlas-real-normed-vector-space · canonical_mko實賦範向量空間前置節點實向量空間絕對值實數大小與順序