where (\chi(S)) is the Euler characteristic ((2-2g) for a genus (g) surface). This theorem says: total Gaussian curvature is a topological invariant. You cannot change it by bending the surface, only by changing its genus. For a sphere ((\chi=2)), total curvature is (4\pi); for a torus ((\chi=0)), total curvature is zero. The theorem even accounts for geodesic polygons via angle deficits, offering a discrete version: the sum of exterior angles equals (2\pi - \int K). Lectures on classical differential geometry, as preserved in PDF notes, trace an intellectual arc from local infinitesimal properties (curvature and torsion of a space curve) to global, intrinsic invariants of surfaces. The subject teaches us that geometry is not just a set of formulas but a language for distinguishing between what is mere appearance (extrinsic bending) and what is fundamental truth (intrinsic curvature). The Theorema Egregium and the Gauss–Bonnet theorem remain two of the most elegant results in all of mathematics, showing how differential calculus can reveal hidden topological necessities. For any student of geometry, physics, or computer graphics, these classical ideas form an indispensable foundation. Note: If you have a specific PDF lecture set in mind (e.g., by a particular author), I can tailor this essay to its notation and emphasis.
From the ratio of the SFF to the FFF, we obtain in a given direction. The maximum and minimum normal curvatures at a point are the principal curvatures (\kappa_1, \kappa_2). Their product (K = \kappa_1 \kappa_2) is the Gaussian curvature , and their average (H = (\kappa_1 + \kappa_2)/2) is the mean curvature . 4. The Theorema Egregium and Intrinsic Geometry The most profound moment in any classical differential geometry lecture is Gauss’s Theorema Egregium (Remarkable Theorem): Gaussian curvature depends only on the First Fundamental Form and its derivatives . In other words, (K) is an intrinsic invariant. A being living on a surface can determine (K) by measuring lengths and angles alone, without ever looking into the surrounding 3D space. lectures on classical differential geometry pdf
where (E = \mathbfx_u \cdot \mathbfx_u), (F = \mathbfx_u \cdot \mathbfx_v), (G = \mathbfx_v \cdot \mathbfx_v). The FFF is the Riemannian metric induced by the ambient Euclidean space. It allows us to compute arc lengths of curves on the surface, angles between tangent vectors, and areas—all without leaving the surface. Two surfaces with the same FFF are said to be ; they are intrinsically identical, even if shaped differently in space (e.g., a plane and a rolled-up sheet of paper). 3. Measuring Bending: The Second Fundamental Form and Curvatures The FFF tells us about the surface’s metric, but not how it bends in space. For that, we introduce the Second Fundamental Form (SFF): where (\chi(S)) is the Euler characteristic ((2-2g) for
