Quasi-inverse of a quasi-isometry

ID: quasi-inverse-of-a-quasi-isometry

For a quasi-isometry with multiplicative constant and additive/coarse-surjectivity constant , choose with . The triangle inequality and the two distortion inequalities give
Also . Hence is a quasi-isometry and both composites stay uniformly close to their respective identities. No continuity is required.

New to topics? Read the docs here!