6.10.5 Tensor Mixed Tensor Operation Role

Tensor Mixed Tensor Operation Role is the function that mixed type tensors serve as the natural algebraic vehicle for representing operators, that is, structure-preserving maps that turn vectors into vectors or one-forms into one-forms, and for carrying out the operations of composition, trace, and application that such operators require. Because a mixed type tensor simultaneously possesses upper slots that can be filled to produce a vector and lower slots that consume a vector as input, it is precisely the kind of object capable of accepting one vector and yielding another, which is the defining behavior of a linear operator, and this operational role is the primary reason mixed type tensors occupy a central place in tensor algebra rather than being a merely formal combination of the two pure variances.

Mixed Tensors as Operators

Turning One Vector Into Another

A mixed type tensor of contravariant order one and covariant order one, when its single lower slot is filled with a vector, yields an object with one open upper slot remaining, and an open upper slot with no one-form yet supplied is precisely a vector. Supplying a vector into the lower slot and reading off the resulting vector from the unfilled upper slot is exactly the action of a linear operator on that vector, carried out entirely through the contraction of the tensor's lower index with the input vector's components.

The Identity Operator as the Kronecker Delta

The Kronecker delta, the mixed type tensor equal to one whenever its upper and lower index coincide and zero otherwise, plays the operational role of the identity: contracting it against any vector returns that same vector unchanged, and it is the unique mixed type tensor of its order that acts this way in every basis simultaneously, which is why it functions as the reference point against which every other operator's action is measured.

Composition of Operators Through Contraction

Chaining Two Mixed Tensors

Two mixed type tensors of type having contravariant order one and covariant order one, each representing a separate operator, can be composed into a single operator by contracting the upper index of one against the lower index of the other, producing a new mixed type tensor of the identical type whose action on a vector reproduces the effect of applying the first operator followed by the second.

Order Sensitivity of Composition

Because the contracted index sits in a specific position within each tensor, the order in which two mixed tensors are composed generally matters, and reversing the order of contraction produces a different resulting operator in general, mirroring the familiar fact that composition of linear operators is not commutative. This order sensitivity is inherited directly from the operational role of mixed tensors rather than from any separate assumption imposed on them.

Trace as an Operational Signature

Full Contraction of Upper and Lower Index

Contracting the single upper index of a type (1,1) mixed tensor directly against its own single lower index produces a scalar known as the trace, a basis-independent invariant that summarizes the operator represented by the tensor. Because the trace results from a full contraction, it is automatically unaffected by any change of basis, providing a scalar signature of the operator that survives regardless of how the operator's components are expressed.

Trace of a Composition and Cyclic Behavior

The trace of a composition formed by contracting two mixed tensors together is invariant under cyclic reordering of the factors being composed, even though the composition itself is generally order sensitive, which makes the trace a particularly robust invariant for characterizing sequences of operators applied to vectors, independent of exactly how the intermediate composition was arranged.

Mixed Tensors as Projections and Structural Operators

Projection Operators

A mixed type tensor satisfying the property that composing it with itself reproduces itself unchanged acts operationally as a projection, selecting out a particular subspace of vectors and leaving vectors already within that subspace untouched while collapsing all other vectors onto it. This idempotent behavior is expressed entirely through the mixed tensor's own contraction with itself, requiring no additional structure beyond the tensor itself.

Structural Operators Built From the Metric

Raising or lowering an index of a purely covariant or purely contravariant tensor using the metric or its inverse produces a mixed type tensor that operationally converts vectors into one-forms or one-forms into vectors, and this conversion operator, sometimes called the musical isomorphism, is itself representable as a mixed tensor whose operational role is to translate between the two variances rather than to map vectors to vectors within a single variance.