9.13 Tensor Component Expansion Operation

Tensor Component Expansion Operation is the general algebraic operation of representing a tensor through its components relative to a chosen basis, encompassing the construction of the expansion, the assignment of coefficients, and the notational conventions used to write and manipulate the result. It is the umbrella operation from which the various specific expansion forms and coefficient procedures are derived.

Nature of the Operation

Mapping a Tensor to Its Components

The operation takes as input an abstract tensor together with a chosen basis of the underlying vector space and its dual space, and produces as output the complete array of components that reconstructs the tensor when combined with the basis tensor products. It is therefore a map from the pair of tensor and basis to a numerical or symbolic array.

Well-Defined and Reversible

The operation is well defined for any tensor once a basis has been fixed, and it is reversible: from the resulting component array and the same basis, the original tensor can always be reconstructed exactly by recombining components with basis tensor products.

Stages of the Operation

Basis Selection

The first stage fixes a basis for the vector space and, correspondingly, the dual basis for its dual space. The choice of basis is arbitrary in principle, but once made, it must be held fixed for the remainder of the operation to produce a consistent set of components.

Coefficient Determination

The second stage determines the value of each coefficient by evaluating the tensor against the appropriate combination of basis vectors and dual basis covectors, extracting one scalar value per index combination permitted by the tensor's type.

Assembly into Index or Summation Form

The final stage records the determined coefficients either in full summation form, paired explicitly with basis tensor products, or in the abbreviated index form, where the basis is left implicit and only the indexed array is written.

Properties Preserved by the Operation

Linearity

The expansion operation is linear: expanding a sum of tensors produces the sum of their individual component arrays, and expanding a scalar multiple of a tensor produces the same scalar multiple applied to every component.

Compatibility with Tensor Type

The operation always produces a component array whose index pattern, in terms of the number and placement of upper and lower indices, matches the type of the tensor being expanded. A change in the tensor's type is reflected directly and predictably in the structure of the resulting expansion.

Behavior Under Basis Change

Repeating the operation with a different basis produces a different component array, but the two arrays are related by the standard tensor transformation rule, so the operation is consistent across every valid choice of basis.

Scope of Application

Applies to Any Tensor Type

The expansion operation applies uniformly to scalars, vectors, covectors, and higher-order tensors of any valence, since these are all special cases of the general (p, q) tensor type covered by the same expansion procedure.

Foundation for Further Operations

Because most practical tensor operations, including contraction, tensor product, and raising or lowering of indices, are defined or computed through components, the expansion operation serves as the foundation that makes these further operations concretely computable.