A tensor space of degree
over a field
is the vector space
tensor product
of
copies of a vector
space
over
. More generally, the tensor space of type
is
,
where
is the dual vector space.
On a smooth manifold , the pointwise tensor space uses
and
. These spaces are the
fibers of a vector bundle.
For example,
where
is the tangent bundle and
is the cotangent bundle.
A smooth tensor field is a bundle
section of this vector bundle. Its space of
global sections is formed using module
tensor products over the ring
of smooth functions,
rather than vector space tensor products
over
. The sections form
both a module over
and a vector space
over
.