Let $V,W$ smooth vector fields along a smooth curve $c:I \rightarrow M$ , where $M$ is a Riemannian manifold, if $\frac{d
A question about covariant derivative
-
0@user15464 you are right! – 2012-05-03
1 Answers
Assuming our notations all agree**, user15464 is right.
Let's recall some definitions:
- A vector field is a map $V\colon M \to TM$ with $V(p) \in T_pM$ for each $p \in M$.
- A vector field along a curve $c\colon I \to M$ is a map $V\colon I \to TM$ with $V(t) \in T_{c(t)}M$ for each $t \in I$.
So:
If $V, W\colon M \to TM$ are vector fields, then $\langle V, W\rangle \colon M \to \mathbb{R}$ is a function via $\langle V, W\rangle(p) = \langle V_p, W_p \rangle.$
If $V, W \colon I \to TM$ are vector fields along a curve, then $\langle V, W\rangle\colon I \to \mathbb{R}$ is a function via $\langle V, W\rangle(t) = \langle V(t), W(t) \rangle.$
In our case, $V$ and $W$ are vector fields along a curve $c$, and so $\langle V, W\rangle$ is a map $I \to \mathbb{R}$. This means that the only kind of derivative that makes sense in this context is the ordinary derivative from single-variable calculus $d/dt$.
That is, $\langle V, W\rangle$ is not a vector field. In particular, it does not make sense to talk about (say) the covariant derivative of $\langle V, W\rangle$, nor can one say that $\langle V, W \rangle$ is "parallel."
** I am assuming that $\langle \cdot, \cdot \rangle$ denotes the Riemannian metric on $M$, and that $d/dt$ denotes the ordinary derivative from single-variable calculus.
-
0that's right, I realize that I made a big confusion with notations, sorry. – 2012-05-03