5
$\begingroup$

I apologise in advance if something like this has been asked already and I will delete this question immediately if an already answered question of this sort clears my doubt, which is-

What is a Riemannian metric? I have just started reading 'Riemannian Geometry' using primarily do Carmo's text and I've got the idea that to introduce a notion of distance to be able to talk about length of curves on smooth manifolds, angles between curves we introduce something called a 'Riemannian metric'. It's definition on the other hand, seems very unintuitive(Carmo's definition doesn't involve anything tensor related). I guess it involves an inner product in it because we want to measure length of tangent vectors (but why?) and what better way to measure it than using inner product...

To be able to proceed further into the theory and make sure I can make sense of the things, I think it's important I understand the definition very well but after reading it again and again, I'm not sure if I 'get' it. I would love it if someone could give me an explanation for it.

Also, if we want to give a metric structure (to be able to talk about all things distance related) then why not define a metric (the topological one, satisfying positivity, symmetry, triangle inequality) rather than this?

Or maybe I'm confused and Riemannian metric as we've defined is actually that metric(topological one) and together with it, our smooth manifolds becomes a metric space? If that's the case, wouldn't the theory of Riemannian Geometry become somewhat easy as we already know a lot about metric spaces?(I seriously think, that that is not the case)

Thanks a lot for reading and answering/commenting (on) my post!

$\endgroup$
2
$\begingroup$

The idea is to equip the tangent space $T_p M$ at $p$ to the manifold $M$ with an inner product $\langle -, - \rangle$ , in such a way that these inner products vary smoothly as $p$ varies on $M$.

It is then possible to define the length of a curve segment on a $M$ and to define the distance between two points on $M$.

In terms of the definition of a Riemannian metric, given a smooth $n$-dimensional manifold, $M$, a Riemannian metric on $M$ (or $TM$) is a family, $(\langle -, - \rangle_p )_{p \,\in M}$, of inner products on each tangent space, $T_p M$, such that $\langle -, - \rangle$ depends smoothly on $p$.

$\endgroup$
  • $\begingroup$ Huh...you explained the definitions very clearly but I still don't feel very comfortable with it. I guess that may be just because I have just started reading Riemannian-geometry and getting used to will take time, thanks and +1 by the way! $\endgroup$ – Mojojojo Feb 5 at 19:58
  • $\begingroup$ One question- at some places I see Riemannian-metric defined as you did in terms of inner product family and at other places as $ds^2= \sum_{i=1}^{n} g_{ij} dx_i dx_j $, but they're the same thing, right? Because if we consider co-ordinate system around point $p$ as $(x_1,...x_n)$ then in the definition you gave, Riemannian-metric is infact determined by inner products $g_{ij}$'s where $g_{ij} =<\frac {\partial}{\partial x_i}, \frac{\partial}{\partial x_j} >$. It would be great if you could give more clear explanation for this. $\endgroup$ – Mojojojo Feb 5 at 20:27
  • 1
    $\begingroup$ @clear: This is just linear algebra: If you have $n$-dimensional vector space $V$ with a basis $v_1,...,v_n$ then a symmetric bilinear product $(.,.)$ on $V$ is uniquely determined by its Gram matrix whose entries are $(v_i, v_j)$. Conversely, every symmetric matrix is the Gram matrix of some symmetric bilinear form. $\endgroup$ – Moishe Kohan Feb 6 at 23:15
  • $\begingroup$ Oh, yeah. Thanks! $\endgroup$ – Mojojojo Feb 14 at 5:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.