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 giveAlso . 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!