實Banach空間在自身範數誘導度量下完備的實賦範向量空間稱為實Banach空間。atlas-real-banach-space · canonical_mko實Banach空間前置節點實賦範向量空間範數誘導度量完備度量空間實向量空間