Real tree encoded by an excursion
ID: real-tree-encoded-by-an-excursion
Let be continuous with , and setThe function is a pseudometric. Its metric quotientis the real tree encoded by .
New to topics? Read the docs here!
New to topics? Read the docs here!