First fundamental form
metric form, of a surface
A quadratic form in the differentials of the coordinates on the surface that determines the intrinsic geometry of the surface in a neighbourhood of a given point.
Let the surface be defined by the equation
where and are coordinates on the surface, while
is the differential of the position vector along the chosen direction of displacement from a point to an infinitesimally close point (see Fig. a).
The square of the principal linear part of the increment of the length of the arc can be expressed in terms of the square of the differential :
and is called the first fundamental form of the surface. The coefficients in the first fundamental form are usually denoted by
or, in tensor symbols,
The tensor is called the first fundamental, or metric, tensor of the surface. The first fundamental form is a positive-definite form at regular points on the surface:
The first fundamental form characterizes the metric properties of the surface: Knowledge of the first fundamental form enables one to calculate arc lengths on the surface:
where is a parameter on the curve; angles between curves on the surface:
where and are the directions of the tangent vectors to the curves (see Fig. b); and areas of regions on the surface:
The form of the coefficients of the first fundamental form substantially depends on the choice of the coordinates. The first fundamental form has so-called orthogonal form
in orthogonal coordinates, canonical form
in semi-geodesic coordinates, and isothermal (isometric) form in isothermal coordinates:
Sometimes a surface is characterized by special forms of the first fundamental form. For example, a Liouville surface is characterized by:
The first fundamental form is a bending invariant for the surface: The Gaussian curvature at a given point can be calculated from the coefficients of the first fundamental form and their derivatives only (Gauss' theorem).
See Fundamental forms of a surface for the relation between the first fundamental form and other quadratic forms, as well as for literature.
In more current terminology the first fundamental form of an imbedded surface , , is defined as follows. The inclusion defines a quadratic form on the tangent space to the surface at by restricting the canonical scalar product on . Thus the first fundamental form of the surface simply assigns to a pair of tangent vectors to at the inner product of and in .
Gauss' theorem is also known as the theorem egregium, cf. Gauss theorem.
The first fundamental form is also defined in higher (co)dimensions and for Riemannian spaces as ambient spaces (cf. [a1]–[a3]). In the last case it is given by the restriction of the Riemannian metric to the tangent subspaces defined by the given submanifold.
|[a1]||W. Blaschke, K. Leichtweiss, "Elementare Differentialgeometrie" , Springer (1973) MR0350630 Zbl 0264.53001|
|[a2]||N.J. Hicks, "Notes on differential geometry" , v. Nostrand (1965) MR0179691 Zbl 0132.15104|
|[a3]||S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1963–1969) MR1393941 MR1393940 MR0238225 MR1533559 MR0152974 Zbl 0526.53001 Zbl 0508.53002 Zbl 0175.48504 Zbl 0119.37502|
|[a4]||C.C. Hsiung, "A first course in differential geometry" , Wiley (1981) pp. Chapt. 3, Sect. 4 MR0608028 Zbl 0458.53001|
|[a5]||R.S. Millman, G.D. Parker, "Elements of differential geometry" , Prentice-Hall (1977) pp. 26 MR0442832 Zbl 0425.53001|
First fundamental form. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=First_fundamental_form&oldid=24070