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 multili ...
, a Riemannian manifold or Riemannian space , so called after the German mathematician
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
, is a
real
Real may refer to:
Currencies
* Brazilian real (R$)
* Central American Republic real
* Mexican real
* Portuguese real
* Spanish real
* Spanish colonial real
Music Albums
* ''Real'' (L'Arc-en-Ciel album) (2000)
* ''Real'' (Bright album) (2010)
...
,
smooth manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
''M'' equipped with a positive-definite
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff space, Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation (mathematics), operation called an inner product. The inner product of two ve ...
''g''
''p'' 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 ...
''T''
''p''''M'' at each point ''p''.
The family ''g''
''p'' of inner products is called a
Riemannian metric (or Riemannian metric tensor).
Riemannian geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a ''Riemannian metric'', i.e. with an inner product on the tangent space at each point that varies smoothly from point to poin ...
is the study of Riemannian manifolds.
A common convention is to take ''g'' to be
smooth
Smooth may refer to:
Mathematics
* Smooth function, a function that is infinitely differentiable; used in calculus and topology
* Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions
* Smooth algebrai ...
, which means that for any smooth
coordinate chart In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real ''n''-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathe ...
on ''M'', the ''n''
2 functions
:
are
smooth function
In mathematical analysis, the smoothness of a function (mathematics), function is a property measured by the number of Continuous function, continuous Derivative (mathematics), derivatives it has over some domain, called ''differentiability cl ...
s. These functions are commonly designated as
.
With further restrictions on the
, one could also consider
Lipschitz Riemannian metrics or
measurable
In mathematics, the concept of a measure is a generalization and formalization of Geometry#Length, area, and volume, geometrical measures (length, area, volume) and other common notions, such as mass and probability of events. These seemingly ...
Riemannian metrics, among many other possibilities.
A Riemannian metric (tensor) makes it possible to define several geometric notions on a Riemannian manifold, such as
angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
at an intersection, length of a
curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line (geometry), line, but that does not have to be Linearity, straight.
Intuitively, a curve may be thought of as the trace left by a moving point (ge ...
,
area
Area is the quantity that expresses the extent of a region on the plane or on a curved surface. The area of a plane region or ''plane area'' refers to the area of a shape
A shape or figure is a graphics, graphical representation of an obje ...
of a surface and higher-dimensional analogues (
volume
Volume is a measure of occupied three-dimensional space. It is often quantified numerically using SI derived units (such as the cubic metre and litre) or by various imperial or US customary units (such as the gallon, quart, cubic inch). The de ...
, etc.),
extrinsic 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 canonic ...
of submanifolds, and
intrinsic 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 canon ...
of the manifold itself.
Introduction
In 1828,
Carl Friedrich 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 ...
proved his ''
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 ...
'' ("remarkable theorem" in Latin), establishing an important property of surfaces. Informally, the theorem says that the
curvature of a surface can be determined entirely by measuring distances along paths on the surface. That is, curvature does not depend on how the surface might be embedded in 3-dimensional space. See ''
Differential geometry of surfaces
In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric.
Surfaces have been extensively studied from various perspectives ...
''.
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
extended Gauss's theory to higher-dimensional spaces called manifolds in a way that also allows distances and angles to be measured and the notion of curvature to be defined, again in a way that is intrinsic to the manifold and not dependent upon its embedding in higher-dimensional spaces.
Albert Einstein
Albert Einstein ( ; ; 14 March 1879 – 18 April 1955) was a German-born theoretical physicist, widely acknowledged to be one of the greatest and most influential physicists of all time. Einstein is best known for developing the theory ...
used the theory of
pseudo-Riemannian manifold
In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...
s (a generalization of Riemannian manifolds) to develop his
general theory of relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the differential geometry, geometric scientific theory, theory of gravitation published by Albert Einstein in 1915 and is the current descr ...
. In particular, his equations for gravitation are
constraints on the curvature of spacetime.
Definition
The
tangent bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of ...
of a
smooth manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
assigns to each point
of
a vector space
called 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
at
A Riemannian metric (by its definition) assigns to each
a positive-definite inner product
along with which comes a norm
defined by
The
smooth manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
endowed with this metric
is a Riemannian manifold, denoted
.
When given a system of smooth
local coordinates
Local coordinates are the ones used in a ''local coordinate system'' or a ''local coordinate space''. Simple examples:
* Houses. In order to work in a house construction, the measurements are referred to a control arbitrary point that will allow ...
on
given by
real-valued functions
the vectors
:
form a basis of the vector space
for any
Relative to this basis, one can define metric tensor "components" at each point
by
:
One could consider these as
individual functions
or as a single
matrix-valued function on
note that the "Riemannian" assumption says that it is valued in the subset consisting of symmetric positive-definite matrices.
In terms of
tensor algebra
In mathematics, the tensor algebra of a vector space ''V'', denoted ''T''(''V'') or ''T''(''V''), is the algebra of tensors on ''V'' (of any rank) with multiplication being the tensor product. It is the free algebra on ''V'', in the sense of being ...
, 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 allows ...
can be written in terms of the
dual basis
In linear algebra, given a vector space ''V'' with a basis ''B'' of vectors indexed by an index set ''I'' (the cardinality of ''I'' is the dimension of ''V''), the dual set of ''B'' is a set ''B''∗ of vectors in the dual space ''V''∗ with th ...
of the cotangent bundle as
:
Isometries
If
and
are two Riemannian manifolds, with
a
diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable.
Definition
Given two m ...
, then
is called an isometry if
i.e. if
:
for all
and
One says that a map
not assumed to be a diffeomorphism, is a local isometry if every
has an open neighborhood
such that
is an isometry (and thus a diffeomorphism).
Regularity of a Riemannian metric
One says that the Riemannian metric
is continuous if
are continuous when given any smooth coordinate chart
One says that
is smooth if these functions are smooth when given any smooth coordinate chart. One could also consider many other types of Riemannian metrics in this spirit.
In most expository accounts of Riemannian geometry, the metrics are always taken to be smooth. However, there can be important reasons to consider metrics which are less smooth. Riemannian metrics produced by methods of
geometric analysis
Geometric analysis is a mathematical discipline where tools from differential equations, especially elliptic partial differential equations (PDEs), are used to establish new results in differential geometry and differential topology. The use of l ...
, in particular, can be less than smooth. See for instance (Gromov 1999) and (Shi and Tam 2002).
Overview
Examples of Riemannian manifolds will be discussed below. A famous
theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
of
John Nash states that, given any smooth Riemannian manifold
there is a (usually large) number
and an embedding
such that the
pullback
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward.
Precomposition
Precomposition with a function probably provides the most elementary notion of pullback: i ...
by
of the standard Riemannian metric on
is
Informally, the entire structure of a smooth Riemannian manifold can be encoded by a diffeomorphism to a certain embedded submanifold of some Euclidean space. In this sense, it is arguable that nothing can be gained from the consideration of abstract smooth manifolds and their Riemannian metrics. However, there are many natural smooth Riemannian manifolds, such as the
set of rotations of three-dimensional space and the
hyperbolic space
In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. Th ...
, of which any representation as a submanifold of Euclidean space will fail to represent their remarkable symmetries and properties as clearly as their abstract presentations do.
Examples
Euclidean space
Let
denote the standard coordinates on
Then define
by
:
Phrased differently: relative to the standard coordinates, the local representation
is given by the constant value
This is clearly a Riemannian metric, and is called the standard Riemannian structure on
It is also referred to as
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
of dimension ''n'' and ''g''
''ij''can is also called the (canonical)
Euclidean metric
In mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points.
It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore oc ...
.
Embedded submanifolds
Let
be a Riemannian manifold and let
be an
embedded submanifold
In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which p ...
of
which is at least
Then the
restriction
Restriction, restrict or restrictor may refer to:
Science and technology
* restrict, a keyword in the C programming language used in pointer declarations
* Restriction enzyme, a type of enzyme that cleaves genetic material
Mathematics and logi ...
of ''g'' to vectors tangent along ''N'' defines a Riemannian metric over ''N''.
* For example, consider
which is a smooth embedded submanifold of the Euclidean space with its standard metric. The Riemannian metric this induces on
is called the standard metric or canonical metric on
* There are many similar examples. For example, every ellipsoid in
has a natural Riemannian metric. The graph of a smooth function
is an embedded submanifold, and so has a natural Riemannian metric as well.
Immersions
Let
be a Riemannian manifold and let
be a differentiable map. Then one may consider the
pullback
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward.
Precomposition
Precomposition with a function probably provides the most elementary notion of pullback: i ...
of
via
, which is a symmetric 2-tensor on
defined by
:
where
is the
pushforward
The notion of pushforward in mathematics is "dual" to the notion of pullback, and can mean a number of different but closely related things.
* Pushforward (differential), the differential of a smooth map between manifolds, and the "pushforward" op ...
of
by
In this setting, generally
will not be a Riemannian metric on
since it is not positive-definite. For instance, if
is constant, then
is zero. In fact,
is a Riemannian metric if and only if
is an
immersion
Immersion may refer to:
The arts
* "Immersion", a 2012 story by Aliette de Bodard
* ''Immersion'', a French comic book series by Léo Quievreux#Immersion, Léo Quievreux
* Immersion (album), ''Immersion'' (album), the third album by Australian gro ...
, meaning that the linear map
is injective for each
* An important example occurs when
is not simply-connected, so that there is a covering map
This is an immersion, and so the universal cover of any Riemannian manifold automatically inherits a Riemannian metric. More generally, but by the same principle, any covering space of a Riemannian manifold inherits a Riemannian metric.
* Also, an immersed submanifold of a Riemannian manifold inherits a Riemannian metric.
Product metrics
Let
and
be two Riemannian manifolds, and consider the cartesian product
with the usual product smooth structure. The Riemannian metrics
and
naturally put a Riemannian metric
on
which can be described in a few ways.
* Considering the decomposition
one may define
:
* Let
be a smooth coordinate chart on
and let
be a smooth coordinate chart on
Then
is a smooth coordinate chart on
For convenience let
denote the collection of positive-definite symmetric
real matrices. Denote the coordinate representation of
relative to
by
and denote the coordinate representation of
relative to
by
Then the local coordinate representation of
relative to
is
given by
::
A standard example is to consider the ''n''-torus
define as the ''n''-fold product
If one gives each copy of
its standard Riemannian metric, considering
as an embedded submanifold (as above), then one can consider the product Riemannian metric on
It is called a
flat torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle.
If the axis of revolution does not tou ...
.
Convex combinations of metrics
Let
and
be two Riemannian metrics on
Then, for any number
:
is also a Riemannian metric on
More generally, if
and
are any two positive numbers, then
is another Riemannian metric.
Every smooth manifold has a Riemannian metric
This is a fundamental result. Although much of the basic theory of Riemannian metrics can be developed by only using that a smooth manifold is locally Euclidean, for this result it is necessary to include in the definition of "smooth manifold" that it is Hausdorff and paracompact. The reason is that the proof makes use of a
partition of unity
In mathematics, a partition of unity of a topological space is a set of continuous functions from to the unit interval ,1such that for every point x\in X:
* there is a neighbourhood of where all but a finite number of the functions of are 0, ...
.
The metric space structure of continuous connected Riemannian manifolds
The length of piecewise continuously-differentiable curves
If
is differentiable, then it assigns to each
a vector
in the vector space
the size of which can be measured by the norm
So
defines a nonnegative function on the interval
The length is defined as the integral of this function; however, as presented here, there is no reason to expect this function to be integrable. It is typical to suppose ''g'' to be continuous and
to be continuously differentiable, so that the function to be integrated is nonnegative and continuous, and hence the length of
:
is well-defined. This definition can easily be extended to define the length of any piecewise-continuously differentiable curve.
In many instances, such as in defining the
Riemann curvature tensor
In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann and Elwin Bruno Christoffel) is the most common way used to express the curvature of Riemannian manifolds. ...
, it is necessary to require that ''g'' has more regularity than mere continuity; this will be discussed elsewhere. For now, continuity of ''g'' will be enough to use the length defined above in order to endow ''M'' with the structure of a
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
, provided that it is connected.
The metric space structure
Precisely, define
by
:
It is mostly straightforward to check the well-definedness of the function
its symmetry property
its reflexivity property
and the triangle inequality
although there are some minor technical complications (such as verifying that any two points can be connected by a piecewise-differentiable path). It is more fundamental to understand that
ensures
and hence that
satisfies all of the axioms of a metric.
The observation that underlies the above proof, about comparison between lengths measured by ''g'' and Euclidean lengths measured in a smooth coordinate chart, also verifies that the metric space topology of
coincides with the original topological space structure of
Although the length of a curve is given by an explicit formula, it is generally impossible to write out the distance function
by any explicit means. In fact, if
is compact then, even when ''g'' is smooth, there always exist points where
is non-differentiable, and it can be remarkably difficult to even determine the location or nature of these points, even in seemingly simple cases such as when
is an ellipsoid.
Geodesics
As in the previous section, let
be a connected and continuous Riemannian manifold; consider the associated metric space
Relative to this metric space structure, one says that a path
is a unit-speed geodesic if for every
there exists an interval
which contains
and such that
:
Informally, one may say that one is asking for
to locally 'stretch itself out' as much as it can, subject to the (informally considered) unit-speed constraint. The idea is that if
is (piecewise) continuously differentiable and
for all
then one automatically has
by applying the triangle inequality to a Riemann sum approximation of the integral defining the length of
So the unit-speed geodesic condition as given above is requiring
and
to be as far from one another as possible. The fact that we are only looking for curves to ''locally'' stretch themselves out is reflected by the first two examples given below; the global shape of
may force even the most innocuous geodesics to bend back and intersect themselves.
* Consider the case that
is the circle
with its standard Riemannian metric, and
is given by
Recall that
is measured by the lengths of curves along
, not by the straight-line paths in the plane. This example also exhibits the necessity of selecting out the subinterval
since the curve
repeats back on itself in a particularly natural way.
* Likewise, if
is the round sphere
with its standard Riemannian metric, then a unit-speed path along an equatorial circle will be a geodesic. A unit-speed path along the other latitudinal circles will not be geodesic.
* Consider the case that
is
with its standard Riemannian metric. Then a unit-speed line such as
is a geodesic but the curve
from the first example above is not.
Note that unit-speed geodesics, as defined here, are by necessity continuous, and in fact
Lipschitz, but they are not necessarily differentiable or piecewise differentiable.
The Hopf–Rinow theorem
As above, let
be a connected and continuous Riemannian manifold. The
Hopf–Rinow theorem
Hopf–Rinow theorem is a set of statements about the geodesic completeness of Riemannian manifolds. It is named after Heinz Hopf and his student Willi Rinow, who published it in 1931. Stefan Cohn-Vossen extended part of the Hopf–Rinow theorem ...
, in this setting, says that (Gromov 1999)
* if the metric space
is
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
(i.e. every
-Cauchy sequence converges) then
** every closed and bounded subset of
is compact.
** given any
there is a unit-speed geodesic
from
to
such that
for all
The essence of the proof is that once the first half is established, one may directly apply the
Arzelà–Ascoli theorem
The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded inter ...
, in the context of the compact metric space
to a sequence of piecewise continuously-differentiable unit-speed curves from
to
whose lengths approximate
The resulting subsequential limit is the desired geodesic.
The assumed completeness of
is important. For example, consider the case that
is the
punctured plane
This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also funda ...
with its standard Riemannian metric, and one takes
and
There is no unit-speed geodesic from one to the other.
The diameter
Let
be a connected and continuous Riemannian manifold. As with any metric space, one can define the diameter of
to be
:
The Hopf–Rinow theorem shows that if
is complete and has finite diameter, then it is compact. Conversely, if
is compact, then the function
has a maximum, since it is a continuous function on a compact metric space. This proves the following statement:
* If
is complete, then it is compact if and only if it has finite diameter.
This is not the case without the completeness assumption; for counterexamples one could consider any open bounded subset of a Euclidean space with the standard Riemannian metric.
Note that, more generally, and with the same one-line proof, every compact metric space has finite diameter. However the following statement is ''false'': "If a metric space is complete and has finite diameter, then it is compact." For an example of a complete and non-compact metric space of finite diameter, consider
:
with the
uniform metric
In mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions defined on a set the non-negative number
:\, f\, _\infty = \, f\, _ = \sup\left\.
This norm is also called the , the , the , or, when th ...
:
So, although all of the terms in the above corollary of the Hopf–Rinow theorem involve only the metric space structure of
it is important that the metric is induced from a Riemannian structure.
Riemannian metrics
Geodesic completeness
A Riemannian manifold ''M'' is geodesically complete if for all , the
exponential map exp
''p'' is defined for all , i.e. if any geodesic ''γ''(''t'') starting from ''p'' is defined for all values of the parameter . The
Hopf–Rinow theorem
Hopf–Rinow theorem is a set of statements about the geodesic completeness of Riemannian manifolds. It is named after Heinz Hopf and his student Willi Rinow, who published it in 1931. Stefan Cohn-Vossen extended part of the Hopf–Rinow theorem ...
asserts that ''M'' is geodesically complete if and only if it is
complete as a metric space.
If ''M'' is complete, then ''M'' is non-extendable in the sense that it is not isometric to an open proper submanifold of any other Riemannian manifold. The converse is not true, however: there exist non-extendable manifolds that are not complete.
Infinite-dimensional manifolds
The statements and theorems above are for finite-dimensional manifolds—manifolds whose charts map to open subsets of
These can be extended, to a certain degree, to infinite-dimensional manifolds; that is, manifolds that are modeled after a
topological vector space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...
; for example,
Fréchet,
Banach and
Hilbert manifolds.
Definitions
Riemannian metrics are defined in a way similar to the finite-dimensional case. However there is a distinction between two types of Riemannian metrics:
* A weak Riemannian metric on
is a smooth function
such that for any
the restriction
is an inner product on
* A strong Riemannian metric on
is a weak Riemannian metric, such that
induces the topology on
Note that if
is not a Hilbert manifold then
cannot be a strong metric.
Examples
* If
is a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
, then for any
one can identify
with
By setting for all
one obtains a strong Riemannian metric.
* Let
be a compact Riemannian manifold and denote by
its diffeomorphism group. It is a smooth manifold (
see here
See or SEE may refer to:
* Sight - seeing
Arts, entertainment, and media
* Music:
** ''See'' (album), studio album by rock band The Rascals
*** "See", song by The Rascals, on the album ''See''
** "See" (Tycho song), song by Tycho
* Television
* ...
) and in fact, a
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
. Its tangent bundle at the identity is the set of smooth vector fields on
Let
be a
volume form In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold M of dimension n, a volume form is an n-form. It is an element of the space of sections of the ...
on
Then one can define
the
weak Riemannian metric, on
Let
Then for
and define
The
weak Riemannian metric on
induces vanishing geodesic distance, see Michor and Mumford (2005).
The metric space structure
Length of curves is defined in a way similar to the finite-dimensional case. The function