$$\require{cancel}$$

# 3.0: Introduction to Differential Geometry

What about the word differential? The equivalence principle states that even in the presence of gravitational fields, local Lorentz frames exist. How local is “local?” If we use a microscope to zoom in on smaller and smaller regions of spacetime, the Lorentzian approximation becomes better and better. Suppose we want to do experiments in a laboratory, and we want to ensure that when we compare some physically observable quantity against predictions made based on the Lorentz geometry, the resulting discrepancy will not be too large. If the acceptable error is $$\epsilon$$, then we should be able to get the error down that low if we’re willing to make the size of our laboratory no bigger than $$\delta$$. This is clearly very similar to the Weierstrass style of defining limits and derivatives in calculus. In calculus, the idea expressed by differentiation is that every smooth curve can be approximated locally by a line; in general relativity, the equivalence principle tells us that curved spacetime can be approximated locally by flat spacetime. But consider that no practitioner of calculus habitually solves problems by filling sheets of scratch paper with epsilons and deltas. Instead, she uses the Leibniz notation, in which dy and dx are interpreted as infinitesimally small numbers. You may be inclined, based on your previous training, to dismiss infinitesimals as neither rigorous nor necessary. In 1966, Abraham Robinson demonstrated that concerns about rigor had been unfounded; we’ll come back to this point in section 3.3. Although it is true that any calculation written using infinitesimals can also be carried out using limits, the following example shows how much more well suited the infinitesimal language is to differential geometry.
The area of a region S in the Cartesian plane can be calculated as $$\int_{S}$$ dA, where dA = dx dy is the area of an infinitesimal rectangle of width dx and height dy. A curved surface such as a sphere does not admit a global Cartesian coordinate system in which the constant coordinate curves are both uniformly spaced and perpendicular to one another. For example, lines of longitude on the earth’s surface grow closer together as one moves away from the equator. Letting $$\theta$$ be the angle with respect to the pole, and $$\phi$$ the azimuthal angle, the approximately rectangular patch bounded by $$\theta, \theta + d \theta, \phi$$, and $$\phi +d \phi$$ has width r sin $$\theta$$ d$$\theta$$ and height r d$$\phi$$, giving dA = r2 sin $$\theta$$ d$$\theta$$ d$$\phi$$. If you look at the corresponding derivation in an elementary calculus textbook that strictly eschews infinitesimals, the technique is to start from scratch with Riemann sums. This is extremely laborious, and moreover must be carried out again for every new case. In differential geometry, the curvature of the space varies from one point to the next, and clearly we don’t want to reinvent the wheel with Riemann sums an infinite number of times, once at each point in space.