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
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Differential Geometry → Mathematics

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.[1] 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.[2]

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⟩.[3] These form the symmetric matrix with diagonal entries E and G and off-diagonal entries F, and give the line element ds² = E du² + 2F du dv + G dv².[4] The associated area element is √(EG − F²) du dv.[5] Although the coefficients change when the surface coordinates change, the induced inner product and the lengths, angles, and areas it determines do not.[6]

The form describes the surface's intrinsic metric, even though it is obtained from an embedding.[7] It is not the tangent plane itself and not an arbitrary quadratic form: it must arise by restricting the ambient inner product to tangent vectors.[8] The second fundamental form instead records how the surface bends in the ambient space.[9] Gaussian curvature can ultimately be recovered from the first fundamental form and its derivatives, but curvature is a consequence of the metric data rather than the form's definition.[10]

Structural Signature

Sig role-phrases:

  • the regular coordinate tangent frame — a smooth parametrization X(u, v) supplies independent vectors X_u and X_v spanning the tangent plane at each regular point.
  • the ambient inner product — the Euclidean dot product is restricted to pairs of tangent vectors.
  • the coefficient triple — E = ⟨X_u, X_u⟩, F = ⟨X_u, X_v⟩, and G = ⟨X_v, X_v⟩ represent the induced metric.
  • the quadratic line element — ds² = E du² + 2F du dv + G dv² assigns squared length to tangent displacements.
  • the metric consequences — integration of the form determines curve length and angles, while √(EG − F²) du dv supplies surface area.
  • the regularity condition — positive EG − F² gives a positive-definite surface metric; zero diagnoses dependent tangent directions or a parametrization singularity.
  • the coordinate-change relation — coefficient matrices transform with the tangent basis while computed lengths, angles, and areas remain invariant.
  • the intrinsic-curvature consequence — the form and its derivatives determine Gaussian curvature even though the form was induced from the embedding.
  • the extrinsic boundary — normal curvature and bending require the second fundamental form; an arbitrary quadratic form not induced on the tangent plane is not the first fundamental form.

What It Is Not

  • Not the tangent plane itself. The first fundamental form is an inner product on tangent vectors, represented in a chosen tangent basis, rather than the two-dimensional vector space on which it acts.
  • Not an arbitrary quadratic form with three coefficients. For an immersed Euclidean surface it must be induced by restricting the ambient dot product through the surface parametrization.
  • Not identical to the coordinate triple (E, F, G). Those entries change with the parametrization, while the underlying metric and its computed lengths, angles, and areas remain invariant.
  • Not the second fundamental form. The first form records intrinsic metric data; the second records normal variation and extrinsic bending.
  • Not valid at a degenerate parametrization point. If EG − F² = 0, the coordinate tangent vectors fail to span a regular tangent plane and the displayed matrix is not a positive-definite surface metric there.
  • Not a complete specification of the embedding. The form and its derivatives determine intrinsic quantities such as Gaussian curvature, but not normal curvature, all extrinsic bending, or a unique realization of the surface in space.

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.
  • Areas of surface regions. The density √(EG − F²) converts a coordinate-domain integral into surface area where the parametrization is regular.[11]
  • Metric-tensor calculations. The symmetric matrix with entries E, F, and G represents the induced metric in the selected coordinate tangent frame.
  • Coordinate-change checks. Reparametrized coefficient matrices can be compared by verifying that the lengths, angles, and areas they compute remain unchanged.
  • Regularity diagnosis. The condition EG − F² > 0 confirms independent tangent directions and a positive-definite surface metric; equality identifies a parametrization degeneracy.[12]
  • Orthogonal coordinate systems. The special case F = 0 identifies coordinate tangent directions that are orthogonal under the induced metric.[13]
  • Classical surface calculations. Spheres and other regular Euclidean surfaces provide concrete settings for deriving line elements, curve lengths, and regional areas from a parametrization.
  • Intrinsic Gaussian curvature. The form and its derivatives support intrinsic curvature calculation, including formulas whose result does not depend on the surface's presentation in coordinates.
  • Intrinsic-versus-extrinsic comparison. Differential geometers can separate metric data carried by the first form from normal bending data that requires the second fundamental form.
  • Isometric surface comparison. Matching induced metrics under a coordinate correspondence supports equality of intrinsic measurements even when two embeddings have different extrinsic shapes.

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. The first form is the ambient dot product restricted to tangent directions; the second fundamental form records how the surface bends through its normal variation. The differential-geometric question becomes: what inner product does this parametrization induce on tangent vectors, and which claimed quantity depends only on that metric rather than on the chosen coordinates or embedding presentation? A quadratic form unrelated to the surface’s tangent map is not the first fundamental form merely because it has three coefficients.

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. From that smaller representation, a geometer can read the squared length of any tangent direction, integrate curve length through the line element, and integrate surface area through \(\sqrt{EG-F^2}\); the same metric data and its derivatives also determine intrinsic Gaussian curvature.

The compression makes coordinate dependence manageable without mistaking coordinates for geometry: the entries (E,F,G) change with the parametrization, while the induced inner product and its metric consequences remain invariant. It also marks important branches. Orthogonal coordinates have (F=0), and a regular Euclidean surface has a positive-definite form with (EG-F^2>0); degeneracy signals that the parametrization is not supplying two independent tangent directions. Compression stops before extrinsic bending, which requires the second fundamental form, and before global topology, self-intersection, boundary behavior, coordinate singularities, or the choice of a useful parametrization. Non-Euclidean ambient metrics, higher-dimensional submanifolds, and indefinite metrics retain the general induced-metric idea but require the corresponding broader geometric setting rather than this surface formula alone.

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.

Coordinate change supplies an invariance test. From different coefficient triples produced by two parametrizations to the same lengths and angles after transforming tangent components, one infers that the matrices are representations of one first fundamental form, not different geometries. A deformation that preserves the form preserves intrinsic metric quantities even if the surface bends differently in the ambient space; that counterfactual separates first-form reasoning from the second fundamental form.[14] The converse boundary also matters: matching a few curve lengths does not prove equality of metrics, and the first form alone does not determine normal curvature or the embedding, even though its derivatives determine intrinsic Gaussian curvature.[15]

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.

This is (C) a formal geometric construct wherever a smooth immersed surface and ambient metric provide the required pullback. The home-bound cargo is tangent-space geometry and the chosen ambient inner product. Other metrics share a (B) inner-product mechanism, but they are not this induced form without that relation. The stopping boundary is intrinsic information: the form determines local metric measurements but not embedding-specific bending, normal curvature, or uniqueness of the surface in space.

Examples

Canonical

Parametrize the unit sphere by X(u,v) = (cos u sin v, sin u sin v, cos v).[16] Its coordinate derivatives have dot products E = sin²v, F = 0, and G = 1, so the first fundamental form is ds² = sin²v du² + dv².[17] Along the equator, v = π/2 is constant and u runs from 0 to 2π; hence ds = du and the curve length is ∫₀²π du = 2π.[18] The determinant is EG − F² = sin²v, yielding area density sin v du dv away from the polar coordinate singularities.[19] The calculation obtains intrinsic length and area from ambient dot products on tangent vectors.

Mapped back: The derivatives X_u and X_v are the regular coordinate tangent frame, paired by the ambient inner product to produce the coefficient triple. The displayed ds² is the quadratic line element, and the equator length and area density are the metric consequences. Vanishing sin²v at the chart's poles exposes the regularity condition, not a collapse of the sphere itself.

Applied / In Practice

A unit circular cylinder has parametrization X(u,v) = (cos u, sin u, v).[20] Here E = 1, F = 0, and G = 1, so ds² = du² + dv², exactly the Euclidean metric on the rectangle of parameters before its opposite vertical edges are identified.[21] This is why a cylindrical sheet can be developed onto a plane without changing local lengths or angles: a diagonal path with parameter increments Δu and Δv has length √(Δu² + Δv²) in either representation.[22] The cylinder and rectangle bend differently in three-dimensional space, but their local first fundamental forms agree.[23]

Mapped back: The cylinder parametrization supplies the regular coordinate tangent frame and the dot product gives the coefficient triple (1,0,1). Equality with the planar line element demonstrates the coordinate-change relation and preserves the metric consequences. Different ambient bending despite the same metric marks the extrinsic boundary: that difference requires information beyond the first fundamental form.

Structural Tensions

T1: Intrinsic metric versus extrinsic construction. The first fundamental form determines intrinsic lengths and angles, yet for an embedded surface it is obtained by restricting an ambient inner product. Diagnostic: separate quantities invariant under surface isometries from facts that depend on how the surface sits in space. T2: Coordinate coefficients versus geometric invariance. The functions E, F, and G change under reparametrization even though the bilinear form and its measured quantities do not. Diagnostic: transform the coordinates and verify that curve lengths, angles, and areas agree. T3: Local tangent data versus global geometry. The form is defined pointwise, while global distances and areas require integration and may depend on topology or geodesic structure. Diagnostic: distinguish a local quadratic evaluation from a claim about the whole surface. T4: Regular positivity versus degeneracy. A regular Euclidean surface induces a positive-definite form, but singular parametrizations can make the coefficient matrix degenerate without establishing a genuine surface metric there. Diagnostic: check tangent-vector independence and that EG − F² is positive at the point under study. T5: Computational formula versus geometric object. The line element is convenient for calculation, but treating one displayed coordinate formula as the definition can hide its tensorial transformation law. Diagnostic: identify the underlying inner product on tangent vectors before manipulating coefficients. T6: Intrinsic measurement versus extrinsic bending. The first and second fundamental forms are coupled in surface theory but encode different information. Diagnostic: ask whether the quantity concerns tangent lengths and angles or change of the normal and curvature in ambient space. T7: First Fundamental Form autonomy versus reduction to Function (Mapping). Every qualifying first fundamental form is a strict specialization of the parent Prime Function (Mapping): its domain is a regular surface point with an ordered pair of tangent vectors, its codomain is the real numbers, restriction of the ambient inner product supplies an explicit single-valued rule, coordinate invariance excludes hidden dependence on the chosen tangent basis, and regularity fixes where that total assignment is defined. Function (Mapping) carries that complete domain–codomain–single-valuedness–state-independence–coverage–rule signature generally, but it does not require bilinearity, positive-definiteness, smooth variation, ambient induction, or the resulting surface-metric consequences. Diagnostic: Does the object merely satisfy Function (Mapping)'s complete assignment signature, or does it also preserve the induced tangent-space inner product and its differential-geometric residual?

Structural–Framed Character

First Fundamental Form is structural-leaning because its defining work is a formal assignment from admissible tangent-vector pairs to real scalars, while its identity remains the induced surface metric of differential geometry. Its evaluative_weight is low: positive-definiteness and coordinate invariance are mathematical validity conditions, not judgments of desirability or legitimacy. Its human_practice_bound is low because a parametrization, tangent vectors, and their induced inner product do not depend on an institutional practice for their mathematical identity. Its institutional_origin is absent: no rule-making body creates the bilinear form or its metric consequences. Its vocab_travels score is moderate; inner products, bilinear forms, matrices, and invariance are portable mathematical terms, but first fundamental form, regular surface parametrization, and the intrinsic–extrinsic boundary remain differential-geometric. Under import_vs_recognize, a geometer recognizes the form by deriving the ambient inner product on the tangent plane rather than imposing a discretionary interpretive frame.

The smallest reviewed Prime skeleton is Function (Mapping): a regular point and ordered tangent-vector pair form the admissible input, the real numbers supply the codomain, and restriction of the ambient inner product gives one coordinate-independent output. The cross-domain reach belongs to that Prime. First Fundamental Form adds smooth bilinearity, positive-definiteness, ambient induction, and the surface-metric consequences of length, angle, area, and intrinsic curvature.

Its character: structural-leaning; the single-valued assignment skeleton is portable, while induced tangent-plane geometry supplies the specialist identity and its limits.

Structural Core vs. Domain Accent

The First Fundamental Form is a domain-specific strict specialization of the Function (Mapping) Prime: it assigns each admissible surface point and tangent-vector pair exactly one real scalar under a coordinate-independent rule.

What is skeletal (could lift toward a cross-domain prime). The portable structure specifies a domain, codomain, single-valued assignment rule, explicit coverage, and invariance from hidden ambient state. That Function (Mapping) signature recurs in at least three unrelated domains: squaring maps each real input to one nonnegative real, a pricing rule maps a declared order state to one charge, and a coordinate transformation maps each admissible vector to one new coordinate tuple. For the first fundamental form, the input is a regular surface point with an ordered tangent-vector pair, the codomain is the real numbers, and restriction of the ambient inner product gives the unique output. Strip away surfaces, tangent planes, and inner products, and the domain–codomain–single-valued-rule skeleton remains.

What is domain-bound. The accent supplies a regular parametrized surface, its coordinate tangent frame, the ambient Euclidean inner product, smooth bilinearity and positive-definiteness, the coefficient triple E, F, and G, and coordinate-change behavior that preserves lengths, angles, and areas. Degeneracy of EG − F² tests regularity, while extrinsic bending belongs to the second fundamental form. Remove the mapping structure while retaining these geometric objects, and there is no form assigning scalars to tangent pairs. Conversely, retain only Function (Mapping) and the account cannot determine bilinearity, positive-definiteness, ambient induction, metric consequences, or the intrinsic–extrinsic boundary.

Why this does not clear the prime bar. Function (Mapping) owns the cross-domain input–output assignment, single-valuedness, and rule specification. The First Fundamental Form owns the differential-geometric realization in which the input is a tangent pair and the output is the induced inner product that controls surface metric quantities. Removing that accent yields the parent Prime; removing the parent assignment leaves no first fundamental form at all. Strict subsumption therefore preserves the complete portable signature without promoting a surface-specific bilinear construction whose full identity does not recur across at least three unrelated domains.

This entry is a kind of Function (Mapping).

Strictly instantiates — Function (Mapping) (Function (Mapping)). 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. The rule is explicit and coordinate changes alter only its matrix representation, not the underlying single-valued assignment. Removing that mapping leaves tangent data without a first fundamental form; preserving Function (Mapping) without bilinearity, positive-definiteness, smooth variation, ambient induction, and the surface-geometric consequences leaves the broader parent.

Metric is declined as the parent. A metric is a distance function on pairs of points satisfying the metric axioms, whereas the first fundamental form is a bilinear form on tangent vectors. Curve-length integration can induce a downstream surface distance, but that consequence is not the form's genus.

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

Not to Be Confused With

  • The tangent plane. A tangent plane is the vector space on which the first fundamental form acts; it is not the inner-product assignment itself. Tell: tangent vectors can exist without yet specifying how their lengths and mutual angles are measured.
  • The ambient dot product. The Euclidean dot product is defined on all ambient vectors; the first fundamental form is its restriction or pullback to tangent vectors of the surface. Tell: identify whether the arguments are arbitrary ambient vectors or members of one surface tangent space.
  • An arbitrary Riemannian metric. A Riemannian metric assigns positive-definite inner products on tangent spaces, but a surface's first fundamental form is specifically induced by the stated immersion and ambient metric. Tell: verify the pullback relation rather than accepting any chosen positive-definite tensor.
  • The coefficient triple (E, F, G). These coordinate components represent the first fundamental form in a chosen parametrization and change when the tangent basis changes. Tell: transform coordinates and check whether the matrix changes while calculated lengths and angles remain invariant.
  • A Gram matrix. A Gram matrix records pairwise inner products for any selected vectors; (E, F, G) forms such a matrix for X_u and X_v, but the first fundamental form is the basis-independent field of inner products. Tell: distinguish one matrix representation from the geometric assignment it represents.
  • The line element. ds² = E du² + 2F du dv + G dv² is the coordinate expression used to evaluate tangent displacements; it is not a separate metric object. Tell: changing coordinates changes the expression without changing the underlying first fundamental form.
  • The area element. √(EG − F²) du dv is derived from the determinant of the first fundamental form and is used in surface integration. Tell: the scalar density alone does not recover directional length and angle information.
  • The second fundamental form. The second fundamental form measures normal variation and extrinsic bending, whereas the first records intrinsic metric data induced on tangent vectors. Tell: ask whether the calculation pairs tangent directions through the ambient metric or through change of the surface normal.
  • Gaussian curvature. Gaussian curvature is a scalar invariant derivable from the first fundamental form and its derivatives, not the form itself. Tell: a curvature value at a point cannot replace the full bilinear metric needed for all tangent lengths and angles.
  • The surface parametrization. A parametrization supplies coordinate tangent vectors and components, but different regular charts can represent the same first fundamental form. Tell: separate the map X(u, v) and its coordinate choices from the invariant inner product they induce.
  • A singular parametrization. When EG − F² = 0, the coordinate derivatives are dependent, so the map fails the regularity needed to induce a positive-definite first fundamental form there; this is not a distinct legitimate chart or first fundamental form. Tell: check rank or tangent-vector independence before treating the coefficient matrix as a first fundamental form.

References

[1] University of Pennsylvania, Geometry of Manifolds notes, chapter on surfaces (source). registry ↩

[2] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[3] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[4] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[5] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[6] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[7] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[8] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[9] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[10] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[11] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[12] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[13] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[14] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[15] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[16] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[17] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[18] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[19] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[20] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[21] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[22] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩

[23] Unverified encyclopedia synthesis; no authoritative source located for the claim as written. ↩