13.8.3 Tensor Trace Contraction Endomorphism Case

Tensor Trace Contraction Endomorphism Case is the specific instance of trace contraction applied to a rank-two mixed tensor that represents a linear endomorphism, meaning a linear map from a vector space to itself, where the single contravariant and single covariant index correspond respectively to the output and input copies of the same underlying space. It identifies the trace operation in its most classical setting, where the resulting scalar coincides exactly with the familiar trace of a linear operator known from linear algebra.

Conceptual Basis

Endomorphisms as Mixed Tensors

A linear endomorphism on a vector space is represented, once a basis is chosen, as a matrix, and equivalently as a rank-two mixed tensor $$T_j^i$$ where the contravariant index $$i$$ and covariant index $$j$$ both range over the same space, since the map takes vectors from that space back into itself.

Why This Case Is Distinguished

Not every rank-two mixed tensor represents an endomorphism, since the contravariant and covariant indices could in principle correspond to different vector spaces of possibly different dimension. The endomorphism case singles out precisely the situation where both indices refer to the same space, which is the condition under which the trace acquires its full classical meaning as an operator invariant.

Trace as the Endomorphism's Signature

For an endomorphism, the trace contraction produces a single scalar that summarizes a specific aggregate property of the linear map, independent of the basis in which the map's matrix representation was written.

Formal Description

Setting Up the Contraction

Given an endomorphism $$T:V\to V$$ represented in a basis as $$T_j^i$$, the trace contraction case gives:

summing the diagonal components in the chosen basis.

Basis Independence of the Result

Under a change of basis given by an invertible matrix, the components of $$T$$ transform via that matrix and its inverse acting respectively on the contravariant and covariant index, and these two transformation factors cancel exactly in the trace sum, leaving the scalar value unchanged.

Relation to Eigenvalues

When the underlying field is algebraically closed, the trace of the endomorphism equals the sum of its eigenvalues counted with algebraic multiplicity:

where $${\lambda }_k$$ denotes the eigenvalues of $$T$$.

Properties Specific to the Endomorphism Case

Linearity in the Operator

The trace of an endomorphism is linear with respect to addition and scalar multiplication of endomorphisms, since summing diagonal components respects the linear structure of the underlying vector space of operators.

Trace of a Composition

For two endomorphisms $$A$$ and $$B$$ on the same space, the trace satisfies the cyclic property:

a property that follows directly from the mixed-index contraction structure of the trace operation applied to the composed tensor.

Nilpotent Endomorphisms

An endomorphism all of whose eigenvalues are zero, as occurs for nilpotent operators, always has trace zero, illustrating that the trace contraction case can vanish even when the underlying endomorphism is nonzero as a map.

Applications

Characteristic Polynomial Coefficients

The trace of an endomorphism appears as a coefficient, up to sign, in the characteristic polynomial of the operator, linking the trace contraction endomorphism case directly to spectral theory.

Physical Observables

In physical theories where operators act on state spaces represented as vector spaces, the trace contraction endomorphism case is used to construct basis-independent scalar observables from operator-valued tensors.

Structural Classification

Because the trace is invariant under similarity transformations of the endomorphism, it serves as one of the simplest structural invariants used to classify or compare linear operators represented as mixed tensors.