Riemannian metric

cosmos 27th November 2017 at 1:58pm
Metric Riemannian geometry

A Riemannian metric on a Differentiable manifold MM is a section gg of TXTXT^* X\otimes T^* X (that is the Vector bundle of Tensor product of Cotangent spaces) which at each point is symmetric and Positive definite.

See here

If we have a Smooth function F:MNF: M \to N between two manifolds, and a metric gg on NN, we can pull back gg to a metric on MM FgF^* g. FgF^* g is, by definition, a section of TMTMT^*M \otimes T^* M, which can be defined by specifying the element of TxTxT^*_x \otimes T^*_x at each xx. These elements of the tensor product of Cotangent spaces are by definition bilinear functions on Tangent vectors, so we can specify it by saying how it acts on two tangeng vectors XX and YY. We will define this action by mapping these tangent vectors to NN via the Differential of FF at xx (DFxDF_x), and then using the matrix in NN, at the corresponding point F(x)F(x):

(Fg)x(X,Y)=gF(x)(DFx(X),DFx(Y))(F^* g)_x (X,Y) = g_{F(x)} (DF_x(X), DF_x(Y)).

A Diffeomorphism which preserves metric, under pullback, is called an Isometry.


A Riemannian metric defines a Length of Tangent vectors, as well as their Angles