We call these product fields "tensors" of type (2, 0), (1, 1), and (0, 2) respectively. Definition 5.1 A tensor field of type (2, 0) on the n-dimensional smooth manifold M associates with each chart x a collection of n 2 smooth functions T ij (x 1, x 2, . . . , x n) which satisfy the …