- §1. Differential Forms
- §2. Higher Rank Forms
- §3. Polar Coordinates
- §4. Linear Maps
- §5. Cross Product
- §6. Dot Product
- §7. Products of Forms
- §8. Pictures of Forms
- §9. Tensors
- §10. Inner Products
- §11. Polar Coordinates II
Tensors
We now have two quite different interpretations of $df$:
- $df$ represents a small change in $f$ (infinitesimals);
- $df(\vv)=\grad f\cdot\vv$ (linear map on vectors).
You may wonder how $dx$ can be small (an infinitesimal) and large (equivalent to a unit vector) at the same time. The answer comes from studying Figures 5 and 6 in the previous section. Calculus is about linearization, the process of zooming in so that functions become linear. The 1-forms shown in these figures are represented by a stack at each point. They are small, because they live at a single point, which is as zoomed in as possible. But they are also large, because at that point they behave like unit vectors.
Differential geometers often carry this analogy even further. We introduced the action $\vv(f) = \vv\cdot\grad f$ of a vector on a function, which is just the directional derivative of $f$ along $\vv$. In particular, we have \begin{equation} \xhat(f) = \xhat\cdot\grad f = \Partial{f}{x} \end{equation} which allows us to identify basis vectors such as $\xhat$ with partial derivatives in coordinate directions. For this reason, differential geometers not only use $\{dx^i\}$ as a basis for the 1-forms on $\RR^n$, they also use $\bigl\{\Partial{}{x^i}\bigr\}$ as a basis for the vector fields on $\RR^n$.