9.9.5 Tensor Coordinate Basis Relation

Tensor Coordinate Basis Relation is the precise correspondence linking a coordinate system's coordinate functions to the basis vectors and dual covectors they induce at every point of their domain, expressed by defining each basis vector as the partial derivative operator along one coordinate direction and each dual covector as the differential of one coordinate function; it is the specific rule that turns the purely numerical structure of a coordinate system into a genuinely geometric basis available for assigning tensor components.

Stating the Relation

Basis Vectors From Partial Derivatives

The coordinate basis relation defines each primal basis vector as the operator that differentiates a function with respect to one particular coordinate while holding all other coordinates fixed, so that the basis vector associated with the coordinate x^i is exactly the partial derivative operator with respect to x^i.

Dual Covectors From Coordinate Differentials

The relation defines each dual basis covector as the differential of the corresponding coordinate function, an object that measures the rate of change of that coordinate along any given direction, completing the pairing needed for a tensor coordinate basis system.

Why the Relation Produces a Valid Pairing

The Pairing Condition Follows Automatically

Because the differential of a coordinate function measures precisely how that coordinate changes along a given direction, evaluating dx^i on the partial derivative operator ∂/∂x^j returns one if i equals j and zero otherwise, reproducing the Kronecker delta pairing condition required of a primal and dual basis without needing to impose it separately.

The Relation Holds at Every Point of the Domain Simultaneously

Since both the partial derivative operators and the coordinate differentials are defined at every point where the coordinate functions themselves are defined, the coordinate basis relation supplies a full local frame at every point of the coordinate domain, consistent with the tensor coordinate basis local frame concept.

Consequences of Deriving the Basis From the Relation

The Basis Automatically Commutes

Because the primal basis vectors are literally partial derivatives with respect to independent coordinate functions, and mixed partial derivatives of a function are independent of the order of differentiation, the coordinate basis relation guarantees automatically that the resulting basis lies on the coordinate side of the coordinate boundary, with vanishing brackets throughout the domain.

The Basis Changes Correctly Under a Change of Coordinates

Because the relation defines the basis directly in terms of the coordinate functions, replacing one set of coordinate functions with another automatically produces a new basis related to the old one by the tensor coordinate basis transformation context, without requiring any separate specification of how the basis itself should transform.

Diagram of the Coordinate Basis Relation

Consequences of the Coordinate Basis Relation for the Coordinate System Structure

It Completes the Chain From Coordinates to Tensor Components

Following this relation, the tensor coordinate system structure gains its final necessary piece: coordinate functions produce a basis and dual basis through this precise rule, and that basis and dual basis in turn make tensor component assignment possible, completing an unbroken chain from bare coordinate functions to fully assigned tensor components.

It Explains Why Coordinate-Induced Bases Have Special Properties

Any property known to hold for coordinate-induced bases in general — vanishing brackets, consistent transformation under Jacobians, smooth variation with position — traces back to this relation as its ultimate source, since the relation is what ties the basis so tightly to the underlying coordinate functions in the first place.