實向量空間實向量空間配備向量加法與實數純量乘法，滿足加法交換群及相容的純量作用公理。atlas-real-vector-space · canonical_mko實向量空間前置節點固定基底下的平面向量實數四則運算