一个 拓扑空间，它包含某个特定类别的每个拓扑空间的同胚像。
如果对于度量空间 
，对于度量空间 
的族中的任何空间
都可以等距地嵌入到
中，则称对于度量空间族是通用的。Fréchet (1910) 证明了
，即所有有界实数序列的空间，赋予上确界范数，是所有可分度量空间族
的通用空间。Holsztynski (1978) 证明了在
上存在度量
，诱导通常的拓扑，使得每个有限度量空间都嵌入到
中 (Ovchinnikov 2000)。
通用空间
另请参阅
度量空间使用 Wolfram|Alpha 探索
参考文献
Fréchet, M. "Les dimensions d'un ensemble abstrait." Math. Ann. 68, 145-168, 1910.Holsztynski, W. "
as a Universal Metric Space." Not. Amer. Math. Soc. 25, A-367, 1978.Ovchinnikov, S. "根据 W. Holsztynski 的通用度量空间。" 2000 年 4 月 13 日。 http://arxiv.org/abs/math.GN/0004091.Urysohn, P. S. "Sur un espace métrique universel." Bull. de Sciences Math. 5, 1-38, 1927.在 Wolfram|Alpha 上被引用
通用空间请这样引用
Weisstein, Eric W. "通用空间。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/UniversalSpace.html