實內積空間對稱且正定的實雙線性形式構成實內積；半正定或抽樣為正不足。atlas-real-inner-product-space · canonical_mko實內積空間前置節點實雙線性形式實數大小與順序實向量空間