Loomis and Sternberg: Tangent Space to a manifold, using equivalence classes; help justifying one step of an argument

Question

I am currently reading through the section in Loomis and Sternberg's Advanced Calculus (Revised Edition) on tangent spaces, but I'm having trouble justifying one step of the argument (on pp. 373-374, shown below).

Here are the definitions and notations used by them. Let $M$ be a differentiable manifold (here they model their manifolds on a Banach space $V$ rather than some $\mathbb{R}^n$). Let $x \in M$, and let $\varphi : I \to M$ be a differentiable map where $I$ is an interval in $\mathbb{R}$ containing $0$, and $\varphi(0) = x.$ Then, they define an operator $D_{\varphi}: C^{\infty}(M) \to \mathbb{R}$ by $D_{\varphi}(f) = (f \circ \varphi)'(0)$. Next, they define an equivalence relation on all the curves passing through $x$ by $\varphi \sim \psi$ if and only if $D_{\varphi} = D_{\psi}$, and call an equivalence class of curves, $\xi$ to be a tangent vector at $x$.

So far so good. Next, they go to a chart $(W, \alpha)$, and the underlined section below is what I don't fully understand. I get that $\varphi \sim \psi$ if and only if for every $f \in C^{\infty}(M)$, $d(f \circ \alpha^{-1})_{\alpha(x)}((\alpha \circ \varphi)'(0))$ $= d(f \circ \alpha^{-1})_{\alpha(x)}((\alpha \circ \psi)'(0))$. But I don't see how to conclude from here that the two vectors $(\alpha \circ \varphi)'(0)$ and $(\alpha \circ \psi)'(0)$ are equal.

I'm guessing it has something to do with the fact that the two derivatives are equal for every $f$; if we somehow choose an $f$ such that the differential $d(f \circ \alpha^{-1})_{\alpha(x)} : V \to \mathbb{R}$ is injective, then its kernel is $\{0\}$, and thus equality follows. However I doubt this is always possible, since in general $\dim(V) > 1$, so a linear map from $V$ to $\mathbb{R}$ cannot be injective.

Any help justifying this step is much appreciated.

Answer 1

For the sake of closure, here are some further details (though probably by now this question is resolved).

First note that by the definition of the $C^\infty$ (hence $C^1$) structure on $M$ the map $C^1(M;\mathbb{R})\to V^\ast$, $f\mapsto (f\circ\alpha^{-1})'(\alpha(x))$ is onto, where $V$ is the Banach space that is the local model for $M$. (Of course the map is not injective, as functions that have "contact of order $1$" at $x$ will produce the same topolinear functionals). As a consequence of the Hahn-Banach theorem $V^\ast$ separates points of $V$ (see e.g. When does $X^\star$ separate the points of $X$?), from which the statement follows.

It is interesting to note two points:

• The same argument allows one to construct the tangent bundle of a $C^1$ manifold with a locally convex TVS local model.
• This geometric method of considering velocities of curves is robust with low regularity. On the other hand for instance the definition of the tangent spaces through derivations does not work the way it is expected to work with low regularity; see the discussion in $C^{k}$-manifolds: how and why?.