PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
Riemannian manifold (Definition)

A Riemannian metric tensor is a covariant, type $ (0,2)$ tensor field $ g\in\Gamma(\operatorname{T}^* M\otimes \operatorname{T}^*M)$ such that at each point $ p\in M$, the bilinear form $ g_p:\operatorname{T}_pM\times \operatorname{T}_p M\to \mathbb{R}$ is symmetric and positive definite. Here $ T^* M$ is the cotangent bundle of $ M$ (defined as a sheaf), $ \Gamma$ is the set of global sections of $ T^* M \otimes T^* M$, and $ g_p$ is the value of the function $ g$ at the point $ p \in M$.

Let $ (x^1,\ldots,x^n)$ be a system of local coordinates on an open subset $ U\subset M$, let $ dx^i,\; i=1,\ldots, n$ be the corresponding coframe of 1-forms, and let $ \displaystyle \frac{\partial}{\partial x^{i}},\; i=1,\ldots, n$ be the corresponding dual frame of vector fields. Using the local coordinates, the metric tensor has the unique expression

$\displaystyle g=\sum_{i,j=1}^n g_{ij}\, dx^i\otimes dx^j,$
where the metric tensor components
$\displaystyle g_{ij}=g\left(\frac{\partial}{\partial x^{i}},\frac{\partial}{\partial x^{j}}\right)$
are smooth functions on $ U$.

Once we fix the local coordinates, the functions $ g_{ij}$ completely determine the Riemannian metric. Thus, at each point $ p\in U$, the matrix $ (g_{ij}(p))$ is symmetric, and positive definite. Indeed, it is possible to define a Riemannian structure on a manifold $ M$ by specifying an atlas over $ M$ together with a matrix of functions $ g_{ij}$ on each coordinate chart which are symmetric and positive definite, with the proviso that the $ g_{ij}$'s must be compatible with each other on overlaps.

A manifold $ M$ together with a Riemannian metric tensor $ g$ is called a Riemannian manifold.

Note: A Riemannian metric tensor on $ M$ is not a distance metric on $ M$. However, on a connected manifold every Riemannian metric tensor on $ M$ induces a distance metric on $ M$, given by

$\displaystyle d(x,y) := \inf \left\{ \int_0^1 \left[g\!\!\left( \frac{dc}{dt}, \frac{dc}{dt}\right)_{\!c(t)}\right]^{1/2}dt \right\} ,\quad x,y\in M,$
where the infimum is taken over all rectifiable curves $ c:[0,1]\to M$ with $ c(0)=x$ and $ c(1)=y$.

Often, it is the $ g_{ij}$ that are referred to as the “Riemannian metric”. This, however, is a misnomer. Properly speaking, the $ g_{ij}$ should be called local coordinate components of a metric tensor, where as “Riemannian metric” should refer to the distance function defined above. However, the practice of calling the collection of $ g_{ij}$'s by the misnomer “Riemannian metric” appears to have stuck.



"Riemannian manifold" is owned by djao. [ full author list (2) ]
(view preamble)

View style:

See Also: gradient

Also defines:  Riemannian metric, Riemannian structure, metric tensor

Attachments:
first order operators in Riemannian geometry (Definition) by rmilson
first fundamental form (Definition) by stevecheng
formulas in Riemannian geometry (Definition) by matte
Log in to rate this entry.
(view current ratings)

Cross-references: collection, distance, rectifiable curves, infimum, induces, distance metric, compatible, coordinate chart, atlas, manifold, matrix, fix, smooth functions, components, expression, vector fields, frame, 1-forms, coframe, open subset, local coordinates, function, global sections, sheaf, cotangent bundle, positive definite, symmetric, bilinear form, point, field, type, tensor
There are 45 references to this entry.

This is version 14 of Riemannian manifold, born on 2002-09-12, modified 2006-10-22.
Object id is 3452, canonical name is RiemannianMetric.
Accessed 13778 times total.

Classification:
AMS MSC53B20 (Differential geometry :: Local differential geometry :: Local Riemannian geometry)
 53B21 (Differential geometry :: Local differential geometry :: Methods of Riemannian geometry)

Pending Errata and Addenda
None.
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)