Namespaces
Variants
Actions

First fundamental form

From Encyclopedia of Mathematics
Revision as of 17:25, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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).

Figure: f040450a

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:

Figure: f040450b

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.


Comments

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.

References

[a1] W. Blaschke, K. Leichtweiss, "Elementare Differentialgeometrie" , Springer (1973)
[a2] N.J. Hicks, "Notes on differential geometry" , v. Nostrand (1965)
[a3] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1963–1969)
[a4] C.C. Hsiung, "A first course in differential geometry" , Wiley (1981) pp. Chapt. 3, Sect. 4
[a5] R.S. Millman, G.D. Parker, "Elements of differential geometry" , Prentice-Hall (1977) pp. 26
How to Cite This Entry:
First fundamental form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=First_fundamental_form&oldid=18428
This article was adapted from an original article by A.B. Ivanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article