Notes about math, research, and more.
Let \((X_{n})_{n \in \mathbb{N}}\) be a sequence of finite graphs with corresponding standard graph metrics \((d_{n})_{n \in \mathbb{N}}\) and let \((X, d)\) be the coarse disjoint union of \(\{ (X_{n}, d_{n})\}_{n \in \mathbb{N}}\). There exists a set of cut metrics \((d_{n,w})_{n \in \mathbb{N}}\) on \((X_{n})_{n \in \mathbb{N}}\) such that the identity function from \((X,d)\) to the coarse disjoint union \((X, d_{w})\) of \(\{(X_{n}, d_{n,w})\}_{n \in \mathbb{N}}\) is a coarse embedding if and only if there exists a coarse disjoint union, \((B,d_{B})\), of a sequence of hypercubes, \((B_{n})_{n \in \mathbb{N}}\), each equipped with the standard graph metric, \((d_{n,B})_{n \in \mathbb{N}}\), and a coarse embedding function \(f:(X, d) \to (B,d_{B})\) such that \(f(X_{n}) \subseteq B_{n}\).
The proof follows from Lemma~\ref{lem:iff} and Lemma~\ref{lem:Bn-contains-Xn} below.