a metric space that is linear and complete and (usually) infinite-dimensional

• 线性的完全的通常是无限维的度量区间