tensor fields on a surface and its covariant derivatives
the collection of all the tangent spaces is called the tangent bundle of the surface, i.e.
A vector field in a surface is a mapping with the condition and since span then
This construction determines a contravariant tensor field of rank one, which is taken as the base to ask how other tensor fields -of any rank and any variance- vary.
A contravariant tensor field of rank two in a surface is a mapping which attach to each point of the surface a tensor of rank two
where the scalars are function around the point , so if one is interested in the concept of how varies in the direction then one is compelled to attach a meaning to for which the most natural way is by means of the Leibniz’s rule:
where you have to remember that the directional derivative of a scalar is and also that we can abbreviate as well.
To simplify the grasping of the idea let us illustrate first by calculating the components of
With this technique it is really easy to prove that for the metric tensor we have:
that is: the metric tensor is covariantly constant. In the process you gonna need to use the formula
Another type of phenomena that you’ll gonna face is the problem of determine how is the behaviour of tensor quantities (of any rank and any variaance) defined in a surface it is with respect to change of parameterizations or change of coordiantes.
A surface can be GPS-ed with many diverse parameterization, zum beispiel for the two-sphere in , we show three:
for these three maps one must choose a suitable domain for to ensure injectivity. The maps are called change of coordinates for the surface. Note that for any two of them we have .
With a device like that it is possible to describe how the tangent coordinated basis change when different parameterization are taken…
A rank 2 tensor can constructed by asking how are the components of
the answer is by doing Leibniz in . So…
are the components of this tensor.
This can be considered as a measure of what so far are each other:
the std-calculus () and
The : they code or detect curvature