Math 2.0

Group theory and generalizations Definition

Quasi-isometry

Builds on Metric space

Definition

Let (X,dX)(X, d_X) and (Y,dY)(Y, d_Y) be metric spaces, and let f ⁣:X→Yf \colon X \to Y be a map, not necessarily continuous. The map ff is a quasi-isometric embedding if there are constants A≥1A \ge 1 and B≥0B \ge 0 such that 1AdX(x,x′)−B≤dY(f(x),f(x′))≤A dX(x,x′)+Bfor all x,x′∈X.\frac{1}{A} d_X(x, x') - B \le d_Y(f(x), f(x')) \le A \, d_X(x, x') + B \quad \text{for all } x, x' \in X. The map ff is a quasi-isometry if it is a quasi-isometric embedding and its image is CC-dense for some C≥0C \ge 0. This means that every point of YY lies within distance CC of f(X)f(X). The spaces XX and YY are quasi-isometric if there is a quasi-isometry X→YX \to Y.

Remarks

Example: the inclusion f ⁣:ℤ→ℝf \colon \Z \to \R, with the usual distances. It satisfies the two inequalities with A=1A = 1 and B=0B = 0, and each real number lies within C=1/2C = 1/2 of an integer. So ff is a quasi-isometry.

Non-example: the map f ⁣:ℝ→ℝf \colon \R \to \R, f(x)=x3f(x) = x^3. It fails the upper inequality: d(f(n),f(0))=n3d(f(n), f(0)) = n^3 is not bounded by An+BA n + B for large nn.

A map f ⁣:X→Yf \colon X \to Y is a quasi-isometry if and only if it is a quasi-isometric embedding and has a quasi-inverse. This is a quasi-isometric embedding g ⁣:Y→Xg \colon Y \to X such that g∘fg \circ f and f∘gf \circ g are at bounded distance from the identity maps. Being quasi-isometric is an equivalence relation on metric spaces. Every bounded metric space is quasi-isometric to a point.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Metric space concept
  2. Quasi-isometry definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Quasi-isometry, Definition
About this page
TagZFZR65WYBX
URIm2://ZFZR65WYBX
Kinddefinition
WritingW0 stub
MSC20F65, 51F30, 53C23
DefinesQuasi-isometry
UsesMetric space
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.