Real tree encoded by an excursion

ID: real-tree-encoded-by-an-excursion

Let be continuous with , and set
The function is a pseudometric. Its metric quotient
is the real tree encoded by .

New to topics? Read the docs here!