9.13.1 Tensor Component Expansion Basis Context

Tensor Component Expansion Basis Context is the surrounding set of assumptions and fixed choices about the basis that must be established before a tensor component expansion has any determinate meaning. It specifies which basis of the vector space, which corresponding dual basis, and which conventions are in force whenever a tensor is written through its components.

Why Context Is Required

Components Have No Meaning in Isolation

A bare array of numbers indexed by upper and lower indices does not by itself specify a tensor; it only does so once it is understood which basis vectors and dual basis covectors those numbers are meant to multiply. The basis context supplies this missing information, anchoring the numerical components to a specific geometric or algebraic meaning.

Ambiguity Without a Fixed Context

If the basis context is left unspecified or is allowed to change silently within a computation, the same array of numbers could be interpreted as representing entirely different tensors. Establishing the context prevents this ambiguity by fixing, for the duration of a calculation, exactly which basis vectors correspond to which indices.

Elements of the Basis Context

The Primary Basis

The context specifies an ordered set of basis vectors for the underlying vector space, each associated with a fixed contravariant index. Every upper index appearing in a component refers back to one of these basis vectors.

The Dual Basis

Paired with the primary basis is the induced dual basis, consisting of covectors that satisfy the duality condition with the primary basis vectors. Every lower index appearing in a component refers back to one of these dual basis covectors.

Ordering and Labeling Convention

The context also fixes the order in which basis vectors are listed and the labels or numerals used to index them, since a permutation of this order changes which numerical value is stored under which index without changing the underlying basis itself.

Context Across Multiple Tensors

Shared Context for Combined Operations

When several tensors are combined through addition, tensor product, or contraction, all of them must be expanded relative to the same basis context. Combining components taken from different, incompatible basis contexts produces a result that does not correspond to any well-defined tensor.

Context in Coordinate Systems

In settings where the basis is derived from a coordinate system, such as a coordinate basis on a manifold, the basis context additionally includes the specific coordinate chart in use, since different coordinate charts induce different coordinate bases even over the same underlying space.

Maintaining Context Through Change

Explicit Transition Between Contexts

When it becomes necessary to switch from one basis context to another, the transition must be carried out explicitly through the tensor transformation rule, ensuring that every component is recomputed consistently rather than reinterpreted under the new context without adjustment.

Context as an Implicit Convention

In extended calculations, the basis context is often stated once at the outset and then left implicit for the remainder of the discussion, with all subsequent component expressions understood to refer back to that same original context unless a change of basis is explicitly introduced.