The branch of geometry concerned with metric spaces and global geometric properties determined by distance functions, including length spaces, geodesic and hyperbolic spaces, curvature bounds in the metric sense, and notions of convergence such as Gromov–Hausdorff distance.

Principle

Distance is the primary datum: geometric structure and invariants are defined and compared via the metric; local triangle inequalities and global comparison conditions (e.g., CAT(k) or Alexandrov curvature bounds) organize the theory.

Demonstration

Examine a metric tree: distances determine a 0-hyperbolic structure where geodesics are unique between points; compare large-scale geometry by computing growth rates, observe that trees are limits of certain rescaled graphs in the Gromov–Hausdorff sense, and apply ideas of hyperbolicity to group actions on the tree.

Misapplication

Applying differential curvature formulas that require smoothness to arbitrary metric spaces, or assuming existence of geodesics or unique minimizers in spaces where completeness or local compactness fails.

Consequence

Correct metric-geometric analysis provides rigidity and stability results, classification of large-scale behaviours (e.g., hyperbolic vs. Euclidean), compactness theorems for families of spaces, and tools for studying limits and quasi-isometries in group theory and geometry.

Reversal

Switch focus to purely topological or smooth structure and ignore the metric: many metric invariants vanish or become irrelevant, while alternative invariants (homotopy, differential forms) may become central; conversely, metric results can disappear under homeomorphism that distorts distances.

Boundary

Applies to structures endowed with a genuine distance function satisfying the metric axioms; excludes formalisms that lack a notion of distance or rely solely on smooth or algebraic structure without metric considerations, though norms and inner products provide common metric examples.

Semantic Tension

Sits between Riemannian geometry (smooth metrics) and coarse geometry (large-scale invariants); tension arises when comparing infinitesimal curvature notions with metric curvature bounds or when discrete/combinatorial models approximate continuous metrics.

Synthesis

Metric geometry treats distance as the fundamental object, deriving local comparison conditions and global invariants from the metric to study geodesics, curvature bounds, convergence, and large-scale structure across continuous and discrete settings.