實Hilbert空間在同一內積誘導範數與度量下完備的實內積空間為實Hilbert空間。atlas-real-hilbert-space · canonical_mko實Hilbert空間前置節點實內積空間內積誘導範數範數誘導度量完備度量空間