Skip to Main content Skip to Navigation

A topology for labelled metric spaces, application to s-compact random genealogical trees

Abstract : In this thesis, we develop a new space for the study of measured labelled metric spaces, ultimately designed to represent genealogical trees with a root at generation minus infinity. The time in the genealogical tree is represented by a 1-Lipschitz label function. We define the notion of S-compact measured labelled metric space, that is a metric space E equipped with a measure nu and a 1-Lipschitz label function from E to R, with the additional condition that each slice (the set of points with labels in a compact of R) must be compact and have finite measure. On the space XS of measured labelled metric spaces (up to isometry), we define a distance dLGHP by comparing the slices and study the resulting metric space, which we find to be Polish.We proceed with the study of the set T of all elements of XS that are real tree in which the label function decreases at rate 1 when we go toward the root" (which can be infinitely far). Each possible value of the label function corresponds to a generation in the genealogical tree. We prove that (T, dLGHP) is Polish as well. We define a number of measurable operation on T, including a way to randomly graft a forest on a tree. We use this operation to build a particular random tree generalizing Aldous' Brownian motion conditioned on its local time
Document type :
Complete list of metadata

Cited literature [69 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Wednesday, August 12, 2020 - 2:06:08 PM
Last modification on : Friday, January 15, 2021 - 5:24:20 PM
Long-term archiving on: : Monday, November 30, 2020 - 6:48:28 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02914733, version 1



Gustave Emprin. A topology for labelled metric spaces, application to s-compact random genealogical trees. Probability [math.PR]. Université Paris-Est, 2019. English. ⟨NNT : 2019PESC1032⟩. ⟨tel-02914733⟩



Record views


Files downloads