An introduction to the geometry of metric spaces

These informal notes deal with some basic properties of metric spaces, especially concerning lengths of curves.

💡 Research Summary

The paper serves as a concise yet thorough introduction to the geometry of metric spaces, focusing primarily on the notion of curve length and its ramifications. It begins by recalling the basic definition of a metric space ((X,d)), where the distance function satisfies non‑negativity, symmetry, and the triangle inequality. From this foundation the authors construct the natural topology induced by open balls (B(x,r)) and discuss convergence of sequences, continuity of maps, and the characterization of closed sets.

A substantial portion of the work is devoted to completeness and compactness. Completeness is defined in the usual way: every Cauchy sequence converges to a point of (X). The authors emphasize that completeness provides a Banach‑type stability for metric spaces and is a prerequisite for many geometric arguments. Compactness is treated via the equivalence “complete + totally bounded” and the authors give a clear proof that total boundedness (the ability to cover the space by finitely many (\varepsilon)-balls for any (\varepsilon>0)) together with completeness yields compactness. They also present the Heine–Borel type covering theorem and the extreme‑value theorem for continuous functions on compact metric spaces.

The core of the paper is the systematic development of the length of a curve. For a parametrized curve (\gamma: