First fundamental form
ID: first-fundamental-form
The first fundamental form of a smooth surface is the restriction of the ambient inner product to each tangent space . For a regular parametric surface , it is
Here means , not a componentwise square. The coefficients form the Gram matrix of the two coordinate tangent vectors. Regularity makes this a positive-definite matrix, so and .
To calculate the length of a curve , apply the chain rule and integrate its speed:The same inner product gives the angle between nonzero tangent vectors through , and gives the area element as a positive density. One compact expression therefore supplies rulers, protractors, and surface area measurements.
For the lateral surface of a circular cylinder, take the circumferential arc length rather than the angle:Direct inner products give , hence . This is exactly the Euclidean metric on the unrolled plane. For instance, a path with , , has length on either surface. Every corresponding path retains its length, not merely this example, so sufficiently small neighborhoods retain their intrinsic distances. The local isometry preserves angles and surface areas too. Globally is periodic with period : unrolling requires a seam, and the whole circular cylinder is not a single planar manifold chart.
The First Fundamental Form is a mathematical concept in differential geometry, which provides a way to measure distances and angles on a surface. It essentially encodes the geometric properties of a surface in terms of its intrinsic metrics. For a surface described by a parametric representation, the First Fundamental Form can be constructed from the parameters of that representation.
New to topics? Read the docs here!