9.6.1 Tensor Noncoordinate Basis Frame Role

The noncoordinate basis frame enables tensor expressions independent of coordinates, facilitating transformations and general calculations in tensor algebra.

Tensor Noncoordinate Basis Frame Role is the function performed by a noncoordinate basis when it serves, at every point of a region, as a valid local basis of the tangent space, fully capable of assigning tensor coordinates there, exactly as any coordinate basis would, despite not being derivable from any coordinate system; it is what allows a noncoordinate basis to be treated as an ordinary frame for all purposes of component assignment, while still being singled out separately whenever its lack of coordinate origin becomes relevant.

Serving as a Full Local Basis

Spanning the Tangent Space at Every Point

A noncoordinate basis fulfills the frame role by supplying, at each point of its domain, a set of vectors that spans the tangent space there just as completely as a coordinate basis would, so that every tangent vector at that point can be written as a combination of the noncoordinate frame members with definite coefficients.

v = \sum_{a} v^{a} e_{a}

Providing a Dual Frame for Covector Slots

Alongside the primal frame members, the frame role also supplies a dual coframe {θ^a}, satisfying the same pairing condition used by any tensor coordinate basis system, so that covector slots of a tensor can be assigned coordinates through the noncoordinate basis exactly as through a coordinate one.

θ^{a} (e_{b}) = δ_{b}^{a}

What the Frame Role Does Not Require

No Requirement That the Frame Derive From Coordinates

The frame role is discharged by spanning and dualizing correctly at each point; nothing in this requirement demands that the frame members arise as partial derivatives of coordinate functions. This is precisely why a noncoordinate basis can fulfill the frame role fully while still lacking the commuting property characteristic of coordinate bases.

No Requirement of Global Consistency With a Single Chart

Because the frame role is fulfilled pointwise, a noncoordinate basis can serve this role smoothly across regions where no single coordinate chart would be convenient or even available, since the frame role does not depend on the existence of an underlying coordinate patch at all.

Component Assignment Performed Through the Frame Role

The Same Pairing Procedure Applies

Once a noncoordinate basis is recognized as fulfilling the frame role, tensor components are assigned through it using the identical pairing procedure used with any tensor coordinate basis system: each tensor slot is paired with the matching frame or coframe member to produce a numerical entry.

T_{b}^{a} = T (θ^{a}, e_{b})

Extra Care Only Where Differentiation Is Involved

The frame role by itself imposes no complication on component assignment at a single point; complications enter only once components are differentiated or compared across points, which is where the separately identified commutator context, rather than the frame role itself, becomes relevant.

Diagram of the Frame Role

Consequences of the Frame Role

It Justifies Ordinary Tensor Algebra in a Noncoordinate Basis

Because the frame role guarantees a full spanning basis and dual coframe at every point, all algebraic tensor operations that depend only on having a valid basis — expansion, addition of components, scalar contraction at a single point — proceed in a noncoordinate basis exactly as they would in a coordinate one.

It Isolates Which Failures Are Due to the Frame Role and Which Are Not

Any unexpected behavior encountered while working with a noncoordinate basis can be checked against the frame role: if the behavior would occur regardless of whether the frame commutes, it is a consequence of the frame role functioning normally; if it depends specifically on the frame's failure to commute, it belongs instead to the separate commutator context.