6.14.3 Tensor One One Linear Operator Role

A tensor one-one linear operator acts on vectors, transforming them within a space, playing a key role in linear algebra and tensor theory.

Tensor One One Linear Operator Role is the interpretation of a type (1,1) tensor as a linear map acting on the vectors of a vector space, sending each vector to another vector of the same space through a linear transformation that respects addition and scalar multiplication. A tensor of type (1,1) carries one contravariant index and one covariant index, and this specific balance of indices is what allows the object to be read simultaneously as an abstract element of the tensor product space V ⊗ V* and as a concrete endomorphism V → V. This dual identity is the foundation of the operator role: the tensor is not merely a static array of components, but an active rule that transforms every vector in the space into a new vector, and the components of the tensor are precisely the entries of the matrix that represents this rule in a chosen basis.

Structural Basis of the Operator Interpretation

The Space of Type One One Tensors

A type (1,1) tensor T lives in the tensor product V ⊗ V*, where V is a finite-dimensional vector space and V* is its dual space. An elementary tensor v ⊗ φ, with v a vector in V and φ a linear functional in V*, defines an action on any vector w in V by the rule:

(v \otimes φ) (w) = φ (w) \cdot v

The functional φ extracts a scalar from w, and that scalar rescales the fixed vector v. Extending this rule linearly to sums of elementary tensors produces every possible linear operator on V, which is why V ⊗ V* is canonically isomorphic to the space End(V) of linear endomorphisms of V.

Components and the Associated Matrix

Given a basis {e_i} for V and its dual basis {e^j} for V*, a type (1,1) tensor is written with one upper and one lower index:

T = T_{j}^{i} e_{i} \otimes e^{j}

The array of numbers T^i_j is exactly the matrix of the operator in the basis {e_i}: the upper index i labels the output component, the lower index j labels the input component being contracted against. Applying the tensor to a vector w = w^j e_j reproduces ordinary matrix-vector multiplication:

T (w) = T_{j}^{i} w^{j} e_{i}

The lower index of T contracts with the upper index of w, leaving a free upper index i that identifies the resulting vector's components. This index contraction is the tensorial expression of "row times column" in matrix algebra.

Why the Operator Role Requires Exactly One Contravariant and One Covariant Index

Matching Inputs and Outputs

A linear operator consumes a vector and produces a vector, so it needs one leg of the tensor to "receive" a vector, and one leg to "emit" a vector. The covariant slot of T is the one that pairs with an input vector through contraction, since covariant components transform like functionals, which are precisely the objects that eat vectors and return scalars. The contravariant slot is the one that supplies the output vector's coefficients. A tensor with two contravariant indices, T^{ij}, cannot play this role directly, because it has no covariant leg available to absorb an input vector; instead it acts naturally on pairs of covectors or produces bilinear forms on the dual space. Likewise a tensor with two covariant indices, T_{ij}, consumes two vectors and returns a scalar, functioning as a bilinear form rather than an operator. Only the (1,1) balance produces a map whose domain and codomain are both V.

Basis Independence of the Operator

Although the matrix T^i_j is written relative to a basis, the underlying tensor T is basis-independent, and this is what guarantees that "linear operator" is a coordinate-free concept. Under a change of basis described by an invertible matrix A, with new basis vectors e'_i = A^k_i e_k, the components transform as:

T_{l}^{' i} = {(A^{- 1})}^{i} \cdot T_{k}^{j} \cdot A_{l}^{k}

which is the familiar similarity transformation T' = A^{-1} T A used throughout linear algebra to describe the same operator in a different coordinate system. The mixed variance of the indices is exactly what produces this conjugation law instead of the transformation laws that apply to pure covariant or pure contravariant tensors.

Operator Algebra Encoded by Tensor Operations

Composition Through Contraction

Composing two operators S and T corresponds to contracting the covariant index of one against the contravariant index of the other:

{(S T)}^{i}_{k} = S_{j}^{i} T_{k}^{j}

Here the index j is summed, playing the role of an intermediate vector space that the output of T feeds into the input of S. This is the tensorial justification for matrix multiplication representing operator composition.

Trace as Contraction to a Scalar

The single contraction of the two indices of a (1,1) tensor against each other, T^i_i, produces the trace of the operator, a basis-independent scalar. This is the simplest complete contraction available for a type (1,1) tensor, and it reflects an intrinsic property of the linear map, such as the sum of its eigenvalues, without reference to any coordinate system.

Identity Operator and the Kronecker Delta

The identity operator on V corresponds to the Kronecker delta tensor δ^i_j, whose components are 1 when i = j and 0 otherwise. This tensor is invariant under every change of basis precisely because it represents the operator that leaves every vector unchanged, and its invariance under the similarity transformation A^{-1} δ A = δ for any invertible A is a direct check of the operator role of type (1,1) tensors.

Eigenstructure Viewed Through the Operator Role

Eigenvectors and Eigenvalues

Because a type (1,1) tensor acts as an endomorphism, it admits the standard spectral apparatus of linear algebra. A nonzero vector v is an eigenvector with eigenvalue λ when:

T_{j}^{i} v^{j} = λ v^{i}

The eigenvalues of T are basis-independent invariants of the underlying tensor, since they are roots of the characteristic polynomial built from basis-independent contractions of T, such as the trace and the determinant of its matrix representation.

Diagonalizability and Canonical Form

When V admits a basis of eigenvectors of T, the operator tensor takes the diagonal form T^i_j = λ_i δ^i_j (no sum), exposing the action of T as independent scaling along each eigendirection. This canonical presentation is only meaningful because the mixed (1,1) structure allows the same index i to appear both as the label of a basis vector and as the label of the corresponding output coefficient, tying the geometric eigendirections directly to the algebraic components of the tensor.

Relation to Other Tensor Roles

Contrast with Bilinear Forms

A type (0,2) tensor g_{ij} takes two vectors and returns a scalar, and is used to encode bilinear forms such as inner products, whereas a type (1,1) tensor takes one vector and returns another vector. The two roles are connected: raising one index of a bilinear form using a metric turns it into an operator, T^i_j = g^{ik} g_{kj}, illustrating how the operator role can emerge from a form once a metric supplies a canonical identification between V and V*.

Contrast with Multilinear Maps of Higher Order

Higher-order mixed tensors, such as type (1,2) or (2,1), generalize the operator idea to multilinear maps that consume more than one vector or covector and still produce a vector or covector, but the type (1,1) case is the minimal and most direct instance in which the tensor formalism reproduces the ordinary notion of a linear operator between a vector space and itself, making it the bridge between abstract multilinear algebra and classical linear algebra.