查看“︁可度量化”︁的源代码

{{NoteTA|G1=Math}}
'''可度量化'''（metrizable）是一种[[拓扑空间]]的性质。

== 定义 ==
一个拓扑空间中被说成是可度量的，如果有一个[[度量]] <math>(X,\tau)</math>  
<math>d\colon X \times X \to [0,\infty)</math> 并且这拓扑<math>\tau</math>由 ''d'' 诱导产生。
[[烏雷松度量化定理]]給出了一個拓撲空間是可度量化的充分條件

== 有关定理 ==
如果X是一个可度量化的[[拓扑空间]]，而Y与X[[同胚]]，那么Y是可度量化的。
这反映了可度量化是一种拓扑性质。
== 参考 ==
{{reflist}}
<references />《拓扑学基础及应用》/（美）亚当斯（Adams.C）等著；沈以淡等译.-北京：机械工业出版社，2010.2 ISBN：978-7-111-28809-1<references />

[[Category:拓扑学]]