一個 拓撲空間,它包含某個特定類別的每個拓撲空間的同胚像。
如果對於度量空間 ,對於度量空間
的族中的任何空間
都可以等距地嵌入到
中,則稱
對於度量空間族
是通用的。Fréchet (1910) 證明了
,即所有有界實數序列的空間,賦予上確界範數,是所有可分度量空間族
的通用空間。Holsztynski (1978) 證明了在
上存在度量
,誘導通常的拓撲,使得每個有限度量空間都嵌入到
中 (Ovchinnikov 2000)。
一個 拓撲空間,它包含某個特定類別的每個拓撲空間的同胚像。
如果對於度量空間 ,對於度量空間
的族中的任何空間
都可以等距地嵌入到
中,則稱
對於度量空間族
是通用的。Fréchet (1910) 證明了
,即所有有界實數序列的空間,賦予上確界範數,是所有可分度量空間族
的通用空間。Holsztynski (1978) 證明了在
上存在度量
,誘導通常的拓撲,使得每個有限度量空間都嵌入到
中 (Ovchinnikov 2000)。
Weisstein, Eric W. "通用空間。" 來自 Web 資源。 https://mathworld.tw/UniversalSpace.html