completely metrizable

比較不可

(mathematical analysis) Of a set, that it is metrizable and, under such given metric, complete.

日本語の意味

（数学解析）集合がある距離により位相が定義され、その距離においてすべてのコーシー列が収束する、すなわち、距離可能で完備であることを意味する。

一様ノルムを用いると、区間[0,1]上の連続実数値関数の空間 C([0,1]) は距離付け可能でその距離で完備であり、したがって任意のコーシー列は連続な極限に収束します。

意味（1）

(mathematical analysis) Of a set, that it is metrizable and, under such given metric, complete.