9.13.5 Tensor Component Expansion Tensor Recovery

Tensor Component Expansion Tensor Recovery reconstructs tensors by expanding and recovering their components through structured algebraic methods.

Tensor Component Expansion Tensor Recovery is the process of reconstructing the original abstract tensor from its component array once the basis vectors and dual basis covectors used for the expansion are known. It is the operation that reverses the expansion, converting a purely numerical description back into the full tensorial object.

The Recovery Process

Reassembling the Summation Form

Recovery is carried out by taking each coefficient of the component array and multiplying it by the basis tensor product indicated by its index pattern, then adding all of these summed basis terms together. The result is exactly the tensor from which the components were originally obtained.

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

Requiring Both Components and Basis

Recovery is only possible when both the component array and the specific basis used to compute it are available. The component array alone, without knowledge of the basis, is insufficient, since the same numbers could correspond to different tensors under different bases.

Uniqueness of Recovery

One Tensor per Component Array and Basis

Given a fixed basis and dual basis, a component array recovers exactly one tensor: no two distinct tensors can share the same components relative to the same basis. This uniqueness is what makes the component array, together with the basis, a faithful representation of the tensor.

Independence from the Recovery Path

Recovery produces the same tensor regardless of the order in which the summed basis terms are added together or grouped, since tensor addition does not depend on the order of the terms being combined.

Recovery After Basis Change

Recovering the Same Tensor from Transformed Components

If a tensor's components are transformed to a new basis using the basis change operation, recovering the tensor from the new components and the new basis yields exactly the same tensor as recovering it from the original components and the original basis. This agreement is the defining property that confirms a basis change has been carried out correctly.

T = \sum_{i, j} {\bar{T}}^{i} {\bar{e}}_{i}

A Check on Consistency

Because recovery must yield an identical tensor regardless of which basis was used along the way, attempting recovery from two different bases and comparing the results serves as a practical check that a transformation of components has been performed correctly.

Practical Role of Recovery

Bridging Computation and Abstraction

Recovery is the conceptual step that justifies treating computations performed purely on component arrays as legitimate operations on the underlying tensors themselves, since any component-level calculation can, in principle, be translated back into a statement about the abstract tensor through recovery.

Rarely Performed Explicitly

In most practical work, recovery is not carried out explicitly term by term, since maintaining the component array together with the understood basis is sufficient for computation. Recovery is invoked mainly as a theoretical justification or when an explicit, basis-independent statement about the tensor is specifically required.