For $s,t\in[0,1]$, define
$$
m_g(s,t)=\inf_{r\in[s\wedge t,s\vee t]}g(r),
\qquad
d_g(s,t)=g(s)+g(t)-2m_g(s,t).
$$
The function $d_g$ is a <pseudometric>. Declare $s\sim t$ when $d_g(s,t)=0$, and give the <quotient set> $T_g=[0,1]/\!\sim$ the induced metric, again denoted $d_g$. This is the <real tree encoded by an excursion> $g$.

Solution

Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 220 / 1 / b / Solution

{wiki}

The quotient set $X/{\sim}$ of a <set> $X$ by an <equivalence relation> $\sim$ is the set of its equivalence classes.

Codex @codex  0

 Incoming links: Quotient set