3
$\begingroup$

In a paper that I am reading, the author is weighting edges in a graph using

$$w_k \propto \det(D(p))$$

where $D(p)$ is the metric tensor (which if I understand correctly is a space-varying metric?). They say that $D(p) = 1$ is the Euclidean metric, $D(p) = \mbox{const}$ is a Riemannian metric. Can anyone explain how to interpret what the determinant of a metric means? And can you suggest (in layman's terms) a metric which is not constant in position?

I see $\det(D)$ so I think $D$ must be a matrix - is this correct? What is the matrix for a few simple metrics?

$\endgroup$
5
  • 3
    $\begingroup$ Why not give a reference to the paper? Also it's not completely clear what the context of your question is. $\endgroup$
    – j.c.
    Commented May 18, 2010 at 15:59
  • $\begingroup$ This is the paper: citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.6433 I didn't post it because almost none of it is relevant to the question. I'm sorry if my question is not clear - I am just getting into these Riemannian geometry ideas. If you have a specific question about my question, I'll try to answer it the best I can! $\endgroup$ Commented May 18, 2010 at 17:43
  • 1
    $\begingroup$ A Riemannian metric (more precisely, a Riemannian metric tensor) in a coordinate region is a function that associates a positive definite quadratic form to every point. For computational purposes, quadratic forms are represented by (symmetric) matrices. So, in a sense, a Riemannian metric is a matrix-valued function. It is usually denoted by $g$ or $(g_{ij})$ rather than $D$. The constant case is trivial from the geometric perspective, because it reduces to the Euclidean case by a linear transformation. I suggest you read about "Metric tensor" on Wikipedia or similar resources. $\endgroup$ Commented May 18, 2010 at 18:53
  • $\begingroup$ Ok, so from this: en.wikipedia.org/wiki/Metric_tensor#Introduction "$D$" is the 2x2 symmetric matrix of E,F, and G which are all functions of dot products of the parametric $r_u$ and $r_v$. Is this correct? $\endgroup$ Commented May 19, 2010 at 16:49
  • 1
    $\begingroup$ You want the book Differential Geometry of Curves and Surfaces by Manfredo P. do Carmo (1976). But much of the language in articles on computer vision will make no sense to a mathematician not involved with computer vision, they use part of the language of differential geometry but in altered ways. This is clear from your questions on determinant. Try the other references in your article as well. $\endgroup$
    – Will Jagy
    Commented May 19, 2010 at 17:25

1 Answer 1

6
$\begingroup$

This is too long for a comment but still too short for an introductory course that you are asking for.

A Riemannian metric in the plane is (represented by) a matrix-valued function such that the value at every point $p$ is a symmetric matrix $g=g(p)$ of the form $g=\begin{pmatrix} E & F \\ F & G\end{pmatrix}$ which is positive definite as a quadratic form, that is, $E,G>0$ and $\det g >0$. Any matrix-valued function satisfying these properties is (represents) a Riemannian metric, by definition.

There are many examples. Usually introductions begin with metrics defined by parametric surfaces (that $r_u$ and $r_v$ stuff). This is only an example, one of the many, and it is irrelevant in the context of the paper. The paper considers Riemannian metrics not associated to any surface.

Let me try to explain what it is about. The above matrix $g$ defines a norm on $\mathbb R^2$ as follows: $\|(u,v)\|=\sqrt{Eu^2+2Fuv+Gv^2}$. This norm defines a metric $d$ by $d(x,y)=\|x-y\|$. This is a Riemannian metric associated with a constant metric tensor $g$. One can prove that this metric space is isometric to the standard Euclidean plane, and an isometry is given by a linear map (which can be written explicitly in terms of $E$, $F$ and $G$). So a constant metric tensor essentially produces a Euclidean metric written in some non-orthogonal coordinates.

What I said above is a reformulation of some bits from linear algebra. Riemannian geometry begins when $g$ is not constant. Then there is not a norm but a family of norms $\|\cdot\|_p$, $p\in U$, where $U\subset\mathbb R^2$ is the domain where $g$ is defined. Every norm $\|\cdot\|_p$ yields a metric $d_p$ on its own private copy of $\mathbb R^2$ (this private copy is called the tangent space at $p$ and is usually denoted by $T_pU$).

This family of metrics is "glued together" into one metric $d$ on $U$. It can be defined as the maximal metric satisfying the following condition: for every $p\in U$, one has $$ \frac{d(x,y)}{d_p(x,y)} \to 1 \ \ \ \text{as} \ \ x,y\to p . $$ So, locally near a point $p$ the metric is approximately the same as the (essentially Euclidean) metric $d_p$ defined by the matrix at $p$. This is sufficient for any first-order analysis.

The standard definition involves defining a length of a curve with respect to $g$ (integrate the length of the velocity vector, computed in that variable norm), and then defining the distance between points as the infimum of length of connecting curves. It is equivalent to the one I gave above.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .