1

Is it correct to say that the covariant derivative cannot be 'pictured' in the same way as other derivatives since the idea of an infinitesimally close neighbourhood of a point p in a manifold $M$ does not make sense i.e. $p+\epsilon$ is ill defined due to the fact that there is no such operation defined on a general Hausdorff topological space? Thus how a vector field Y varies in some direction does not make sense if we think of it as how the vectors of Y vary at points infinitesimally close to p. All we can do is merely create some idea of it in our heads which helps us relate the definition to other concepts like the directional derivative?

J.Main
  • 289
  • First off, the covariant derivative may be defined using a local set of coordinates, where $+\epsilon$ makes perfect sense. Second, it is the same as the regular derivatives for scalar functions. As for more general forms I have trouble picturing those at all, much less how to differentiate them. – Arthur Jun 15 '17 at 16:45
  • But you can't give a p+$\epsilon$ in general so you can't define a covariant derivative on the entire space by how it behaves close to points? Do you mean the same as the regular directional derivative? – J.Main Jun 15 '17 at 16:51
  • How does $+\epsilon$ make sense even in a local coordinate chart? What rule is there for addition of a parameter to some point in M? – J.Main Jun 15 '17 at 16:54
  • A local coordinate chart is a local homeomorphism to $\Bbb R^n$. That is where the arithmetic takes place. If you don't like that, then the covariant derivative may just as well be defined along a tangent vector, with which you shouldn't have such concerns. – Arthur Jun 15 '17 at 16:56
  • 1
    It appears you've asked a number of closely-related questions in the past couple of days and not been satisfied with the answers (and comments) received. This question, which follows up on Adding points to points in a manifold, veers (it seems to me) toward seeking validation for a viewpoint. Because this is a Q&A site rather than a discussion site, it might be worth using comments on your respondents' answers to clarify your mathematical doubts. (You should now have enough site reputation to leave comments. :) – Andrew D. Hwang Jun 15 '17 at 17:26
  • I appreciate your comments. – J.Main Jun 15 '17 at 18:10

1 Answers1

3

I wouldn't go as far as claiming that the covariant derivative can't be pictured. Consider a surface $S$ in $\mathbb{R}^3$ together with the Levi-Civita covariant derivative. Let $\gamma \colon I \rightarrow S$ be a curve in $S$. The curve specifies how to connect a point $p = \gamma(t_0)$ with "infinitesimally close" points $\gamma(t)$ for $t$ near $t_0$ so you don't need to worry about the fact that addition is not defined on $S$ - just work with $\gamma$.

Let $X$ be a vector field along $\gamma$ and think of $X = X(t)$ as a vector field along $\gamma$ in $\mathbb{R}^3$. Then we can take the usual derivative $\dot{X}(t)$ of $X$. The problem is that the resulting vector $\dot{X}(t)$ won't necessarily belong to the tangent space of $S$ at $\gamma(t)$. The covariant derivative $\frac{DX}{dt}(t)$ is then just the orthogonal projection of $\dot{X}(t)$ onto the tangent space of $S$ at $\gamma(t)$.

This is quite geometric. To compute the covariant derivative, you compute the regular derivative which decomposes into two components - the tangential component which is tangent to $S$ and the normal component which is normal to $T_pS$. The covariant derivative gives you only the tangential part. You can hold this picture in your head while learning differential geometry and notice that many things you do don't really require this geometric picture but only the formal properties of the covariant derivative which should give you enough motivation to consider an "abstract" covariant derivative.

levap
  • 65,634
  • 5
  • 79
  • 122
  • That's what I tried to say here: https://math.stackexchange.com/questions/2322548/picturing-the-how-the-covariant-derivative-acts-on-vector-fields/2322599#2322599 – md2perpe Jun 15 '17 at 18:57