11.8.3 Tensor Contravariant Law Basis Compatibility

Tensor Contravariant Law Basis Compatibility ensures consistent transformation rules across bases, preserving tensor structure under coordinate changes.

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

Definition and Setting

The Ordinary Basis and Its Transformation

The ordinary basis vectors associated with a coordinate system are tangent vectors along the coordinate curves, and under a change of coordinates these basis vectors transform using the inverse Jacobian factor, since they depend on old coordinates expressed as functions of new coordinates.

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

Compatibility Condition Stated Precisely

Compatibility means that the contravariant components, which transform with the forward Jacobian, and the ordinary basis vectors, which transform with the inverse Jacobian, combine so that the vector formed from their product is unaffected by the choice of coordinates.

Why Compatibility Must Hold

Preserving the Invariant Vector

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

v = A^{j} e_{j} = A^{i^{'}} e_{i^{'}}

Verification Through Direct Substitution

Substituting both the contravariant transformation law and the basis vector transformation into the abstract sum produces a product of the forward Jacobian and the inverse Jacobian, which reduces to the Kronecker delta, confirming that the sum reproduces the original expression unchanged.

A^{i^{'}} e_{i^{'}} = \frac{\partial x^{i^{'}}}{\partial x^{j}} A^{j} \cdot \frac{\partial x^{k}}{\partial x^{i^{'}}} e_{k}

Structural Consequences

Basis-Independence of Vector Identity

Because of contravariant basis compatibility, a vector such as a velocity or a displacement retains its identity as a single geometric arrow regardless of which coordinate system supplies the numerical components used to describe it, since the compensating transformations always cancel exactly.

Extension to Higher-Rank Contravariant Tensors

For a contravariant tensor of higher rank, compatibility with the ordinary basis extends by treating the tensor as a sum of tensor products of basis vectors, one for each contravariant 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

Basis compatibility is what permits contravariant tensors to be written in coordinate-free notation as combinations of ordinary basis vectors, since without this compatibility the abstract expression would represent a different object in every coordinate system rather than one fixed entity.

Symmetry With Dual Basis Compatibility

Contravariant law basis compatibility is the structural mirror of dual basis compatibility for covariant tensors, and together the two compatibility properties ensure that mixed tensors built from both bases and dual bases remain fully coordinate-independent under any smooth change of coordinates.