Calculus begins with a simple idea: that we can talk about change, and about quantities we approach but never quite reach, without the reasoning falling apart. This section makes that idea rigorous. It carries it from the derivatives and gradients of ordinary calculus all the way to the analysis that modern computation quietly rests on. The thread running through the whole journey is completeness — the property that a space has no holes. When a sequence of approximations keeps getting closer together, completeness is what guarantees there is actually something there for them to close in on. It is a plain idea with enormous consequences. It is the difference between an algorithm that truly converges to an answer and one that only appears to. Almost everything built here — the theory of optimization, the analysis of infinite-dimensional spaces of functions, and finally the geometry of curved spaces — is in one way or another a study of what completeness makes possible.
Within the Compass, this section is the continuous side of the map: the realm of smooth change, of infinite processes, of objects approached in the limit. Where Section IV (Discrete Mathematics & Algorithms) studies structures that are finite and countable, here we study what happens when something can be approximated as closely as we like but never reached in a finite number of steps. This section inherits the algebraic vocabulary of Section I (Linear Algebra to Algebraic Foundations), where vector spaces and linear maps become the basic objects of analysis. In turn it supplies the foundations that let Section III (Probability & Statistics) speak rigorously about averages, densities, and continuous chance. The spaces built here, and the optimization that takes place inside them, also underlie much of what happens later in Section V (Machine Learning).
The longer half of this section patiently rebuilds calculus on curved spaces. On a flat sheet the tools of ordinary calculus work without complication. But the spaces that matter most — the surface of a sphere, the space of all rotations, the shapes data traces out in high dimensions — are not flat, and on them even the idea of a straight-line derivative has to be built up carefully from the ground. Doing that yields a language for differentiation, integration, and curvature that holds on any smooth space at all. This is demanding mathematics, and it waits until its foundations are in place. But it is also what the later sections come back to when they need to do analysis on spaces that bend, and it is the geometric groundwork beneath the study of symmetry and learning that follows in Section V (Machine Learning).