乘积度量

给定 度量空间 ，带有 度量 分别地，乘积度量 是在 笛卡尔积 上的一个 度量，定义为

这个定义可以扩展到可数多个度量空间的乘积。

如果对于所有 ， 和 是 实数线的欧几里得度量，则乘积度量诱导了 维 欧几里得空间 的 欧几里得拓扑。它与 的 欧几里得度量 不重合，但它与之等价。