11.4.2 Tensor Contravariant Component Basis Relation

Tensor Contravariant Component Basis Relation links components to basis vectors through contravariant transformation rules in tensor algebra.

Tensor Contravariant Component Basis Relation is the correspondence between a contravariant tensor's components and the ordinary coordinate basis vectors of a coordinate system, establishing that a contravariant object is naturally expressed as a linear combination of basis vectors weighted by its contravariant components.

Construction of the Ordinary Basis

Defining the Basis Through Coordinate Curves

The ordinary basis vectors of a coordinate system are defined as the tangent vectors to the coordinate curves, obtained by differentiating position with respect to each coordinate in turn while holding the others fixed.

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

Linear Independence Requirement

For the basis relation to be meaningful, the coordinate basis vectors at a given point must be linearly independent, spanning the full tangent space at that point; this requirement fails at coordinate singularities, marking the boundary beyond which the basis relation cannot be applied.

The Relation Itself

Expansion of a Contravariant Object in the Ordinary Basis

A contravariant tensor of rank one is expressed as a linear combination of the ordinary basis vectors, with the contravariant components serving as the coefficients in this expansion.

V = V^{i} e_{i}

Recovering a Component From the Object Directly

Using the dual basis, a single contravariant component of an object can be recovered directly by pairing the full object with the corresponding dual basis one-form, giving a concrete method for extracting any individual component without reference to the full expansion.

V^{i} = θ^{i} (V)

Behavior of the Ordinary Basis Under a Change of Basis

Covariant Transformation of Basis Vectors

Although the ordinary basis vectors are associated with contravariant components, the basis vectors themselves transform covariantly under a change of coordinate system, since they are built from partial derivatives of position with respect to the coordinates, ensuring that the overall expansion of a contravariant object into components times basis vectors remains invariant.

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

Consistency Between Component Transformation and Basis Transformation

Because the contravariant components transform with the direct Jacobian factor while the basis vectors transform with the inverse Jacobian factor, the two effects cancel exactly when combined in the expansion, which is precisely why the underlying contravariant object, unlike its components alone, does not depend on the choice of coordinate system.

Relation to the Dual Basis and the Metric

Complementary Roles of the Two Bases

The ordinary coordinate basis vectors and the dual basis one-forms play complementary roles: the ordinary basis expands contravariant objects using contravariant coefficients, while the dual basis expands covariant objects using covariant coefficients, and the pairing condition between the two bases is what makes this complementary structure consistent.

Connection to the Metric When Available

In a space equipped with a metric, the ordinary basis vectors can alternatively be obtained by raising the index of the dual basis one-forms using the inverse metric, providing a second route to the same basis relation and linking contravariant component basis relation directly to the metric conversion framework when a metric structure is present.

Practical Significance

A Coordinate-Free Meaning for Contravariant Components

The basis relation gives contravariant components a precise geometric meaning as coefficients in a well-defined expansion, rather than as an arbitrary array of numbers, reinforcing that a contravariant tensor is a single coordinate-independent object even though its component values change from one coordinate system to another.