文摘
We call a comb a map f: I → [0,∞), where I is a compact interval, such that {f ≥ ε} is finite for any ε > 0. A comb induces a (pseudo)-distance \({\overline d _f}\) on {f = 0} defined by \({\overline d _f}\left( {s,t} \right) = {\max _{\left( {s \wedge t,s \vee t} \right)}}f\). We describe the completion \(\overline I \) of {f = 0} for this metric, which is a compact ultrametric space called the comb metric space.