7.9.4 Tensor Covector Component Coordinate Dependence

Tensor covector components change with coordinate systems, reflecting how these mathematical objects depend on the chosen basis and position in space.

Tensor Covector Component Coordinate Dependence is the property by which the numerical values of a covector's components are tied to a specific coordinate system, changing according to the partial derivatives relating one coordinate system to another whenever the underlying coordinates are replaced, while the covector itself, as a geometric object, remains fixed.

Coordinates as the Source of Dependence

Coordinate Basis and Coordinate Covectors

In a coordinate system (x^1, \ldots, x^n), the coordinate differentials (dx^1, \ldots, dx^n) form a natural dual basis for the space of covectors at a point, and any covector (\omega) is expressed in terms of these differentials with coefficients that constitute its coordinate-dependent components.

ω = \sum_{i = 1}^{n} ω_{i} d x^{i}

Local Nature of the Components

Because the coordinate differentials themselves generally change from point to point in curvilinear or curved settings, the covector's components (\omega_i) are, strictly speaking, functions of position, making coordinate dependence both a matter of which coordinate system is chosen and where in the space the covector is evaluated.

Transformation Under a Coordinate Change

General Coordinate Substitution

If the coordinates are replaced by new coordinates (x^{1'}, \ldots, x^{n'}), each a function of the original coordinates, the covector components transform according to the partial derivatives of the old coordinates with respect to the new ones.

ω_{i^{'}} = \sum_{j = 1}^{n} \frac{\partial x^{j}}{\partial x^{i^{'}}} ω_{j}

Contrast with Vector Coordinate Dependence

Contravariant vector components use the Jacobian of the new coordinates with respect to the old, the inverse relationship, so that the two coordinate dependence rules combine to leave any full contraction between a covector and a vector unaffected by the choice of coordinates.

v^{i^{'}} = \sum_{j = 1}^{n} \frac{\partial x^{i^{'}}}{\partial x^{j}} v^{j}

The Gradient as a Canonical Example

Components of a Scalar Field's Differential

The differential of a scalar function (f) is the prototypical covector, and its coordinate-dependent components are simply the partial derivatives of (f) with respect to each coordinate.

ω_{i} = \frac{\partial f}{\partial x^{i}}

Chain Rule as the Origin of the Transformation Law

The chain rule for partial derivatives directly produces the covariant coordinate transformation law, since expressing (f) in terms of new coordinates and differentiating gives exactly the sum weighted by the partial derivatives of the old coordinates with respect to the new ones.

Coordinate Dependence Versus Basis Dependence

Two Descriptions of the Same Phenomenon

Coordinate dependence and basis dependence describe the same underlying fact from two angles: a coordinate system induces a coordinate basis of differentials at each point, and switching coordinate systems is equivalent to switching this induced basis, so the coordinate transformation law and the abstract covariant transformation law coincide when the transition matrix is identified with the Jacobian matrix.

Distinguishing Linear and Nonlinear Coordinate Changes

When the coordinate change is linear, the Jacobian matrix is constant throughout the space, and the coordinate dependence reduces to the simpler basis-change case; when the coordinate change is nonlinear, as with polar or spherical coordinates, the Jacobian varies from point to point, so the covector's components can change even without any change of location, purely reflecting where in the space the description is anchored.

Visual Illustration

A covector's numerical components differ across two coordinate grids describing the same underlying object, illustrating that the arrows of a coordinate grid, not the covector, are what change.

Relevance to Broader Tensor Theory

Necessity in Differential Geometry

Coordinate dependence of covector components is central to differential geometry and general relativity, where fields such as the gradient of a potential must be described consistently across multiple overlapping coordinate charts, and the covariant transformation rule guarantees that physical or geometric conclusions drawn from the covector do not depend on an arbitrary coordinate choice.

Preparation for Covariant Differentiation

Because coordinate-dependent components can vary from point to point even for a "constant" covector field in curved coordinates, this dependence motivates the introduction of covariant derivatives, which correct ordinary partial differentiation so that the resulting object still transforms properly as a tensor.