##### 度量空间 - 度量空间 - **度量空间** $S$ 是具备[[度量]] (距离) $f:S\times S\to \mathbb{R}$ 的[[集合]], 度量空间含于[[拓扑空间]], 每个度量空间都可以诱导出一个自然的拓扑, 度量空间中的开集可以由开球构造, 这些开球集合构成了拓扑空间中的度量拓扑. 而[[赋范向量空间]]和[[内积空间]]都可视为度量空间, 它们的度量由[[范数]]和[[内积]]诱导