In
differential geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and mult ...
, the first fundamental form is the
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often ...
on the
tangent space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a ...
of a
surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is ...
in three-dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidea ...
which is induced
canonically from the
dot product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used sometimes for other symmetric bilinear forms, for example in a pseudo-Euclidean space. is an alg ...
of . It permits the calculation of
curvature
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.
For curves, the can ...
and metric properties of a surface such as length and area in a manner consistent with the
ambient space
An ambient space or ambient configuration space is the space surrounding an object.
While the ambient space and hodological space are both considered ways of perceiving penetrable space, the former perceives space as ''navigable'', while the latt ...
. The first fundamental form is denoted by the Roman numeral ,
Definition
Let be a
parametric surface A parametric surface is a surface in the Euclidean space \R^3 which is defined by a parametric equation with two parameters Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occ ...
. Then the inner product of two
tangent vector
In mathematics, a tangent vector is a vector that is tangent to a curve or surface at a given point. Tangent vectors are described in the differential geometry of curves in the context of curves in R''n''. More generally, tangent vectors are e ...
s is
where , , and are the coefficients of the first fundamental form.
The first fundamental form may be represented as a
symmetric matrix
In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally,
Because equal matrices have equal dimensions, only square matrices can be symmetric.
The entries of a symmetric matrix are symmetric with ...
.
Further notation
When the first fundamental form is written with only one argument, it denotes the inner product of that vector with itself.
The first fundamental form is often written in the modern notation of the
metric tensor
In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allow ...
. The coefficients may then be written as :
The components of this tensor are calculated as the scalar product of tangent vectors and :
for . See example below.
Calculating lengths and areas
The first fundamental form completely describes the metric properties of a surface. Thus, it enables one to calculate the lengths of curves on the surface and the areas of regions on the surface. The
line element
In geometry, the line element or length element can be informally thought of as a line segment associated with an infinitesimal displacement vector in a metric space. The length of the line element, which may be thought of as a differential arc ...
may be expressed in terms of the coefficients of the first fundamental form as
The classical area element given by can be expressed in terms of the first fundamental form with the assistance of
Lagrange's identity
In algebra, Lagrange's identity, named after Joseph Louis Lagrange, is:
\begin
\left( \sum_^n a_k^2\right) \left(\sum_^n b_k^2\right) - \left(\sum_^n a_k b_k\right)^2 & = \sum_^ \sum_^n \left(a_i b_j - a_j b_i\right)^2 \\
& \left(= \frac \sum_^n ...
,
Example: curve on a sphere
A
spherical curve
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the c ...
on the
unit sphere
In mathematics, a unit sphere is simply a sphere of radius one around a given center. More generally, it is the set of points of distance 1 from a fixed central point, where different norms can be used as general notions of "distance". A unit ...
in may be parametrized as
Differentiating with respect to and yields
The coefficients of the first fundamental form may be found by taking the dot product of the partial derivatives.
so:
Length of a curve on the sphere
The
equator
The equator is a circle of latitude, about in circumference, that divides Earth into the Northern and Southern hemispheres. It is an imaginary line located at 0 degrees latitude, halfway between the North and South poles. The term can also ...
of the unit sphere is a parametrized curve given by
with ranging from 0 to 2. The line element may be used to calculate the length of this curve.
Area of a region on the sphere
The area element may be used to calculate the area of the unit sphere.
Gaussian curvature
The
Gaussian curvature
In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point:
K = \kappa_1 \kappa_2.
The Gaussian radius of curvature is the reciprocal of .
...
of a surface is given by
where , , and are the coefficients of the
second fundamental form
In differential geometry, the second fundamental form (or shape tensor) is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by \mathrm (read "two"). Together with the first fundame ...
.
Theorema egregium
Gauss's ''Theorema Egregium'' (Latin for "Remarkable Theorem") is a major result of differential geometry, proved by Carl Friedrich Gauss in 1827, that concerns the curvature of surfaces. The theorem says that Gaussian curvature can be determi ...
of
Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
states that the Gaussian curvature of a surface can be expressed solely in terms of the first fundamental form and its derivatives, so that is in fact an intrinsic invariant of the surface. An explicit expression for the Gaussian curvature in terms of the first fundamental form is provided by the
Brioschi formula
In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point:
K = \kappa_1 \kappa_2.
The Gaussian radius of curvature is the reciprocal of ...
.
See also
*
Metric tensor
In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allow ...
*
Second fundamental form
In differential geometry, the second fundamental form (or shape tensor) is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by \mathrm (read "two"). Together with the first fundame ...
*
Third fundamental form
In differential geometry, the third fundamental form is a surface metric denoted by \mathrm. Unlike the second fundamental form, it is independent of the surface normal.
Definition
Let be the shape operator and be a smooth surface. Also, l ...
*
Tautological one-form
External links
First Fundamental Form — from Wolfram MathWorld
{{curvature
Differential geometry of surfaces
Differential geometry
Surfaces