Tangent space
The plane or vector space of allowable instantaneous directions at a point.
Geometry & Topology · Accessible first encounter
Differential Geometry:
Calculus on Curved Worlds
Differential geometry uses calculus and linear algebra to study curves, surfaces, and higher-dimensional spaces. It asks how curvature can be measured from within a space and how local geometry controls global behavior.
01 · Opening mystery
How would a creature living on a surface discover that its world is curved?
A two-dimensional inhabitant cannot step outside its surface to inspect the bending. It can still measure distances, angles, and the behavior of triangles drawn entirely within the world.
This distinction between intrinsic and extrinsic geometry is profound: a cylinder looks curved from outside, yet it can be unrolled into a plane without stretching. A sphere cannot.
Before exploringWhy do long-distance airplane routes look curved on a flat map?
Make a prediction. The laboratory is designed to challenge or refine it.
02 · Interactive laboratory
Compare geodesics on a plane, cylinder, and sphere.
Switch surfaces. On the sphere, move the endpoints to different latitudes and compare a constant-latitude route with the great-circle geodesic.
Geodesic length—
Comparison route—
03 · The big idea
A geodesic is straight according to the surface itself.
At each point of a smooth surface, the tangent plane gives the best local linear approximation. A curve has a tangent direction inside that plane. A geodesic is a curve whose direction is transported forward without turning within the surface.
Geodesics locally extremize length. On a plane they are ordinary lines; on a cylinder they become straight lines when the cylinder is unrolled; on a sphere they are great circles.
Central definition
A geodesic is a curve that is locally as straight as the geometry permits, equivalently one with zero intrinsic acceleration.
geodesic: ∇γ′γ′ = 0
Geodesic
The curved-space analogue of a straight line.
Gaussian curvature
An intrinsic measure of how a surface bends in two principal directions.
04 · A beautiful result
Triangle angle sums detect curvature.
On a unit sphere, choose the North Pole and two points on the equator separated by 90° of longitude. The equator and the two meridians are great-circle geodesics.
Each of the three angles is 90°, so the triangle’s angle sum is 270°, exceeding the Euclidean value by 90°. The excess is related to the enclosed area and curvature.
- 1
The equator meets each meridian at a right angle.
- 2
The two chosen meridians also meet at a right angle at the pole.
- 3
Therefore the sum is 90° + 90° + 90° = 270°.
- 4
The discrepancy from 180° is measurable by inhabitants who never leave the sphere.
05 · Why this subject matters
Curvature connects geometry to physics and data.
General relativity models gravity through the curvature of spacetime. Robotics and optimization work on configuration manifolds. Computer graphics needs surface normals and curvature. Data analysis studies nonlinear spaces that are locally approximated by tangent planes.
A full course develops parametrized surfaces, the first and second fundamental forms, curvature, covariant derivatives, and manifolds.
Relativity
Treats gravity as spacetime geometry.
Computer Graphics
Models smooth surfaces, shading, and shape.
Manifold Learning
Approximates curved high-dimensional data locally by linear spaces.
06 · Friendly assessment
Check the central ideas without pressure.
The questions focus on the main insights, not obscure details. Each response receives an explanation immediately.
Where this idea leads
Continue through the mathematical atlas.
Connected field
Tensor Analysis
Express metrics, curvature, and coordinate changes.
Explore →Connected fieldManifolds
Generalize smooth surfaces to arbitrary dimensions.
Explore →Connected fieldRelativity
Apply curvature to spacetime and gravitation.
Explore →Connected fieldTopology
Connect local geometric curvature to global shape.
Explore →You have now experienced
You have compared geodesics on three surfaces and used a triangle to detect curvature from inside the space.
This is an invitation to continue, not a compressed substitute for a full university course.