By the "algebraist's definition" of the tangent space of manifolds, can we say that the partial derivative $d/dx$ belongs to the the tangent space of $S^1$? It feels strange, but I can't see why it shouldn't be true.
Algebraist's definition of the tangent space of a manifold
5
$\begingroup$
differential-topology
manifolds
-
2I don't understand what you mean by the tangent space of a manifold. Do you mean the tangent space at a _point_, or do you mean the tangent _bundle_? – 2012-08-05
1 Answers
2
If $f:S^1\rightarrow \mathbb R$ is a smooth function, then how can you differentiate w.r.t. the variable $x$? This is impossible! $$ {f(x+h,y)-f(x,y) \over h} $$ makes no sense, since $(x+h,y) \notin S^1$
-
1Right, I can see a problem indeed. What would a proper derivation (in the sense of the tangent space) then be on $TS^1$? We have the same problem with $(x\frac{d}{dy}-y\frac{d}{dx})$ don't we? (thanks for the help I'm a beginner:) – 2012-04-03
-
2Yep. You should employ a chart $x$ for $S^1$, write $f\circ x^{-1}$ as a function of one real variable. The tangent space is a one dimensional real vectorspace with basis $\partial_\varphi$ – 2012-04-03
-
0You should compose with a curve from an interval to $S^1$ and then differentiate! – 2012-04-03
-
0Just to be sure. If I take a chart $x: S^1\to \mathbb{R}$, then you suggest to use $$[f \to \tfrac{d}{dt}(f \circ x^{-1})(t)]$$ as a derivation (with $f: S^1\to\mathbb{R}$)? For example $x: (x_1,x_2) \to x_1$ gives $x^{-1}: t \to (t,\sqrt{1-t^2})$ and then $$[f \to \tfrac{d}{dt}(f(t,\sqrt{1-t^2}))(t)]$$ gives the derivation? – 2012-04-03
-
0Yes, $[f]_{(t_0,\sqrt{1-t_0^2})} \mapsto {d \over dt}_{t=t_0} f(t,\sqrt{1-t^2})$ is the derivation you are looking for – 2012-04-03