The comb representation of compact ultrametric spaces
We call a \emph{comb} a map , where is a compact interval, such that is finite for any . A comb induces a (pseudo)-distance $\dtf$ on defined by $\dtf(s,t) = \max_{(s\wedge t, s\vee t)} f$. We describe the completion of for this metric, which is a compact ultrametric space called \emph{comb metric space}. Conversely, we prove that any compact, ultrametric space without isolated points is isometric to a comb metric space. We show various examples of the comb representation of well-known ultrametric spaces: the Kingman coalescent, infinite sequences of a finite alphabet, the -adic field and spheres of locally compact real trees. In particular, for a rooted, locally compact real tree defined from its contour process , the comb isometric to the sphere of radius centered at the root can be extracted from as the depths of its excursions away from .