Does Gromov-Hausdorff distance depends on the choice of the "ambient" metric space?

Question

Give two metric space $X,Y$, we denote by $d_{GH}(X,Y)$ the Gromov- Haudorff distance. It seems that it only relies on $X,Y$ not on the ambient metric space $Z$ where we embed $X,Y$ (because in the notation, there is no $Z$). How can we prove this is well-defined?

Answer 1

$d_{GH}(X, Y)$ is computed by looking at all possible "ambient spaces" $Z$. The phrasings one often sees, like

The infimum over all embeddings of $X, Y$ into a common space $Z$,

can make it sound like there is a "special" $Z$. But rather, we're looking at all pairs of embeddings into all (possible) spaces.

EDIT: Specifically, here's a clearer way to define $d_{GH}(X, Y)$.

$d_{GH}(X, Y)$ is the infimum of the set of $\delta$ such that, for some metric space $Z$ and some embeddings $f, g: X, Y\rightarrow Z$, we have $d_{H}^Z(f(X), g(Y))=\delta$ (where "$d_H^Z$" denotes the usual Hausdorff distance in $Z$).

In particular, we look at all possible embeddings of $X$ and $Y$ into all possible spaces. There is no single $Z$ we're looking at!

---

Incidentally, it's not hard to prove - and fairly useful - that we can restrict attention to those $Z$s whose underlying set is $X\sqcup Y$ and whose metric restricted to $X$ (resp. $Y$) is just the original $X$-metric (resp. $Y$-metric).

Again, that is:

Theorem. $d_{GH}(X, Y)$ is equal to the infimum of the set of $\epsilon$ such that, for some metric space $Z$ with underlying set $X\sqcup Y$ whose metric on the $X$ part (resp., $Y$ part) is the same as the $X$ metric (resp., $Y$ metric), we have $d_H^Z(X, Y)=\epsilon$.

Note that this is made much clearer if we distinguish between the set $A$ and the metric space $\mathcal{A}=(A,d_A)$. Namely, we have:

Theorem, rephrased. $d_{GH}((X, d_X),(Y, d_Y))$ is equal to the infimum of the set of $\epsilon$ such that, for some metric $d$ on $X\sqcup Y$ with $d\upharpoonright X=d_X$ and $d\upharpoonright Y=d_Y$, we have $\epsilon=d_H^{(X\sqcup Y, d)}(X, Y)$.

Again, though, we're looking at all possible metrics on $X\sqcup Y$ which restrict to $d_X$ and $d_Y$ on $X$ and $Y$, respectively.