1) Complete separable metric group
完备可分度量群
2) complete separated
完备可分
4) (completely) trivially metrizable map
(完备)平凡可度量映射
5) separated completion
可分完备化
6) completable topological group
可完备化拓扑群
补充资料:可公度量和不可公度量
可公度量和不可公度量
ommensulble and incommensuable magnitudes (quantities)
可公度t和不可公度t【~e璐u由lea目in~men-su.ble magultodes(quanti柱es);“洲口Mel娜M毗“”“”-113Mep目M曰e肠eJ皿,一皿曰』 如果两个同类量(例如两个长度或两个面积)具有或不具有公度(common measure,即另一个同类量,所考虑的两个量都是这个量的整数倍),则相应地称这两个量为可公度量或不可公度量.正方形的边长和对角线,或圆的面积和丫的半径的平方,都是不可公度量的例尹.如果两个量是可公度的,则‘l艺们的比是有理数;相反,不可公度量忿比是无理数、
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条