11.7.3 Tensor Covariant Law Dual Basis Compatibility

Tensor Covariant Law Dual Basis Compatibility ensures consistency between dual bases in tensor algebra through covariant transformation rules.

Tensor Covariant Law Dual Basis Compatibility is the property that the covariant transformation law of a tensor's components matches, exactly and consistently, the transformation behavior of the dual basis vectors used to represent covariant objects, so that the abstract covariant tensor expressed as a combination of dual basis vectors gives the same coordinate-independent object regardless of which coordinate system is used to compute it.

Definition and Setting

The Dual Basis and Its Transformation

The dual basis consists of covectors, each satisfying a pairing condition with the ordinary basis vectors that returns the Kronecker delta, and under a change of coordinates the dual basis vectors transform using the same inverse Jacobian factor that governs the covariant transformation law of tensor components.

e^{i^{'}} = \frac{\partial x^{i^{'}}}{\partial x^{j}} e^{j}

Compatibility Condition Stated Precisely

Compatibility means that the covariant components, which transform with the inverse Jacobian, and the dual basis vectors, which transform with the forward Jacobian of the coordinate map applied to the dual index, combine in such a way that the covector formed from their product is unaffected by the choice of coordinates.

Why Compatibility Must Hold

Preserving the Invariant Covector

A covector is written abstractly as a sum of covariant components multiplied by dual basis vectors, and for this abstract sum to represent one fixed geometric object, any stretching introduced into the dual basis vectors by a coordinate change must be exactly cancelled by a corresponding compensating change in the covariant components, which is guaranteed by the compatibility between the two transformation rules.

ω = A_{j} e^{j} = A_{i^{'}} e^{i^{'}}

Consistency of the Pairing Condition

Compatibility also requires that the pairing between dual basis vectors and ordinary basis vectors continues to return the Kronecker delta after the coordinate change, which can only be verified once both the dual basis vectors and the ordinary basis vectors are transformed according to their respectively assigned rules.

e^{i^{'}} (e_{j^{'}}) = δ_{j^{'}}^{i^{'}}

Structural Consequences

Basis-Independence of Covector Evaluation

Because of dual basis compatibility, evaluating a covector on a fixed vector produces the same scalar result whether the computation is carried out using components and dual basis vectors from one coordinate system or from another, since the compensating transformations cancel exactly in the pairing.

Extension to Higher-Rank Covariant Tensors

For a covariant tensor of higher rank, compatibility with the dual basis extends by treating the tensor as a sum of tensor products of dual basis vectors, one for each covariant index, with each factor transforming by its own copy of the inverse Jacobian, preserving the overall invariance of the multilinear object.

Role Within Tensor Algebras

Foundation for Coordinate-Free Notation

Dual basis compatibility is what permits covariant tensors to be written in coordinate-free notation as combinations of dual basis vectors, since without this compatibility the abstract expression would not represent a single object but a different one in each coordinate system.

Link to Component Preservation

Dual basis compatibility works together with component preservation, since it is the invertibility of the covariant transformation law that allows the dual basis vectors and the components to transform in mutually compensating ways, reinforcing that the tensor as a whole is a coordinate-independent entity.