1

Given a (smooth) manifold, it is known that derivations $D:C^\infty(U) \to C^\infty(U)$ on a chart $(U,\kappa)$ are equivalent to a vectorfield on $U$, i.e. to an element $X \in \Gamma(TU \to U)$. The definition of a derivation is that $D$ is $\mathbb R$ linear, obeys the Leibniz rule and that $D$ has a local character.

In my notes (Smooth Manifolds by Looijenga) it is written that if $U' \subset U$, then we should have $D(f|U') = D(f)|U'$, where $|$ denotes the restriction. However, I cannot make sense of the left hand side of the equality, as $D$ only works on functions from $U$ to $\mathbb R$.

I would appreciate any help, to clarify the definition of a derivation being of local charakter.

  • You should have a $D=D_U$ for each chart $U$. So your equality should perhaps have $D'$. – Ted Shifrin Oct 05 '15 at 05:58
  • I now read http://www.math.toronto.edu/mgualt/MAT1300/1300%20Lecture%20notes.pdf which makes it clear. –  Oct 08 '15 at 09:07

0 Answers0