Skip to content

First Fundamental Form

First Fundamental Form is a recurring differential geometry identity in which the ambient inner product induces a quadratic metric on a surface tangent space for lengths, angles, areas, and curvature calculations.

Version
v1 · 2026-09-28 · History
Domain-specific #
7643
Origin domain
Differential Geometry

Core Idea

The first fundamental form of a smooth surface in Euclidean space is the inner product on each tangent plane induced by the ambient dot product. It converts tangent directions into intrinsic metric data: the squared length of a tangent vector, the angle between two directions, the length of a surface curve, and the area of a surface region. For a parametrization X(u,v), the coordinate tangent vectors X_u and X_v yield coefficients E = ⟨X_u,X_u⟩, F = ⟨X_u,X_v⟩, and G = ⟨X_v,X_v⟩.

Scope of Application

The first fundamental form applies at regular points of a smooth parametrized surface in Euclidean three-space, where restricting the ambient dot product to the tangent plane supplies a positive-definite intrinsic metric.

  • Local surface parametrizations. Partial derivatives X_u and X_v provide the tangent basis from which the coefficient functions E, F, and G are computed.
  • Tangent-vector length. The quadratic form evaluates a tangent displacement to obtain its squared intrinsic length at a surface point.
  • Angles on a surface. The induced inner product compares nonzero tangent directions without treating their coordinate components as invariant quantities.
  • Lengths of surface curves. Substituting a curve's coordinate velocity into E du² + 2F du dv + G dv² and integrating yields its arc length.

Clarity

The first fundamental form separates coordinate coefficients from the surface metric they represent. E, F, and G change when the parametrization changes, but the lengths, angles, and areas computed from the induced inner product do not. Reading the matrix entries as intrinsic quantities without their coordinate basis obscures that invariance. It also distinguishes intrinsic metric information from extrinsic bending.

Manages Complexity

A parametrized surface presents an analyst with an ambient embedding, two coordinate directions at every point, arbitrary changes of coordinates, and many possible curves and regions whose lengths, angles, and areas might be calculated. The first fundamental form compresses this local metric sprawl into the three coefficient functions (E=\langle X_u,X_u\rangle), (F=\langle X_u,X_v\rangle), and (G=\langle X_v,X_v\rangle), or equivalently the symmetric metric matrix they form.

Abstract Reasoning

From a regular parametrization X(u, v) to its intrinsic local metric, the geometer differentiates to obtain X_u and X_v, takes their ambient dot products to form (E, F, G), and evaluates tangent displacements with E du² + 2F du dv + G dv². That chain yields curve lengths, angles, and the area density √(EG − F²). If EG − F² = 0, the coordinate tangent directions fail to span a regular tangent plane there, so the formula diagnoses a parametrization singularity rather than a valid positive-definite surface metric.

Knowledge Transfer

Within differential geometry, the first fundamental form transfers literally across regular surface parametrizations and coordinate changes when the ambient inner product is restricted to each tangent plane. The cargo that carries intact is the tangent basis, coefficients E, F, and G, the quadratic metric, positive-definiteness condition, and coordinate-invariant lengths, angles, and area density. Diagnostics transfer by reparametrizing, recomputing the coefficient matrix, and verifying that intrinsic measurements agree; a zero determinant locates a parametrization failure.

Relationships to Other Abstractions

Local relationship map for First Fundamental FormParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.FirstFundamental FormDOMAINPrime abstraction: Function (Mapping) — is a kind ofFunction(Mapping)PRIME

Current abstraction First Fundamental Form Domain-specific

Parents (1) — more general patterns this builds on

  • First Fundamental Form is a kind of Function (Mapping) Prime

    Its domain is a regular surface point together with an ordered pair of tangent vectors at that point; its codomain is the real numbers; and restriction of the ambient Euclidean inner product assigns exactly one scalar to every admissible input.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

First Fundamental Form sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Surface Geometry & Projective Transforms (6 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08