A correspondence between distances and embeddings for manifolds: new techniques for applications of the abstract boundary (Q632940)

Let \(M\) be an \(n\)-dimensional manifold and \( \varphi: M \to M_{\varphi}\) an embedding into another \(n \)-dimensional manifold as an open submanifold. A subset \(B \subset \partial \varphi(M)\) of the boundary of \(M\) in \(M_{\varphi}\) is called a boundary set. The authors define an equivalence relation between boundary sets associated with two embeddings. A point of the abstract boundary \(BM\) of a manifold \(M\) is defined as the equivalence class \([p]\) of boundary sets (for all embeddings) which contains a boundary point \(p \in \partial \varphi(M)\) for some embedding. Let \(\sigma(\varphi) = \{ [p]\in BM, p \in \partial\varphi(M) \}\). Two embeddings \(\varphi, \psi\) are said to be equivalent if \(\sigma_\varphi = \sigma_\psi\). The authors prove that the equivalence between embeddings can be described in terms of some equivalence between (metric) distances which is defined as follows: two distances \(d,d'\) in a manifold \(M\) are said to be equivalent if they have the same set of Cauchy sequences without limit points.