Gromov-Hausdorff convergence of metric pairs and metric tuples

Abstract: We study the Gromov-Hausdorff convergence of metric pairs and metric tuples and prove the equivalence of different natural definitions of this concept. We also prove embedding, completeness and compactness theorems in this setting. Finally, we get a relative version of Fukaya's theorem about quotient spaces under Gromov--Hausdorff equivariant convergence and a version of Grove-Petersen--Wu's finiteness theorem for stratified spaces.