11.17.1 Tensor Upper Index Variance Signal

Tensor Upper Index Variance Signal explains how upper indices vary in tensor transformations, critical for coordinate system dependencies and algebraic representation.

Tensor Upper Index Variance Signal is the notational marker carried by a superscript position on a tensor symbol that indicates the associated component follows the contravariant transformation law, transforming with the inverse of the matrix that relates old basis vectors to new basis vectors rather than with that matrix directly.

Foundational Setting

The Superscript as a Behavioral Marker

When a tensor component is written with an index raised to the upper position, such as $v^{i}$ , this placement declares that the component must be recomputed with the inverse basis-change matrix whenever the basis is replaced. This declaration is the upper index variance signal.

Distinguishing from the Lower Index Signal

The upper index signal stands in direct opposition to the lower index signal, which marks covariant behavior using the direct matrix. The two signals exist as a matched, mutually inverse pair so that contractions between them produce coordinate-independent results.

The Transformation Law Attached to the Signal

Formal Statement

If a new basis ${\tilde{e}}_{i}$ relates to an old basis through matrix $A$ , so that:

{\tilde{e}}_{i} = \sum_{j} A_{i}^{j} e_{j}

then any component carrying the upper index variance signal transforms with the inverse matrix instead:

{\tilde{v}}^{i} = \sum_{j} {(A^{- 1})}_{j}^{i} v^{j}

Why This Opposite Coupling Makes Sense

A displacement vector describes a fixed geometric arrow independent of any coordinate labeling. If the basis vectors are stretched longer, fewer basis-vector-lengths are needed to reach the same physical endpoint, so the numerical components describing that displacement must shrink, which is exactly what the upper index variance signal encodes through the inverse matrix.

Where the Signal Naturally Appears

Position, Velocity, and Displacement Vectors

The components of position vectors, velocity vectors, and general displacement vectors are the paradigmatic bearers of the upper index variance signal, since these quantities represent fixed geometric objects whose components must compensate inversely for any change in basis scale.

Tangent Vectors on Curved Spaces

On a manifold, the components of a tangent vector at a point, expressed in a local coordinate system, carry the upper index variance signal because they satisfy the chain rule in the same inverse-Jacobian pattern as ordinary displacement components.

{\tilde{v}}^{i} = \sum_{j} \frac{\partial {\tilde{x}}^{i}}{\partial x^{j}} v^{j}

Interaction with the Lower Index Signal

Cancellation Under Contraction

When a component bearing the upper index signal is summed, through the summation convention, against a component bearing the lower index signal on the same index letter, the inverse and direct matrices multiply to the identity, leaving an invariant scalar:

\sum_{i} ω_{i} v^{i} = \sum_{i} {\tilde{ω}}_{i} {\tilde{v}}^{i}

Rank and Multiplicity of the Signal

Multiple Upper Indices

A tensor may carry several upper indices simultaneously, each independently bearing the variance signal and contributing one factor of the inverse basis-change matrix per index:

{\tilde{T}}^{i j} = \sum_{k, l} {(A^{- 1})}_{k}^{i} {(A^{- 1})}_{l}^{j} T^{k l}

Coexistence with Lower Indices

In a mixed tensor, upper index positions carry this signal independently of any lower index positions present in the same object, allowing a single tensor symbol to display both variance signals at once without any conflict between them.

Summary of Key Traits

Defining Characteristics

An upper index position marks contravariant transformation behavior.
Components bearing this signal transform using the inverse basis-change matrix, opposite to how the basis vectors themselves transform.
Displacement vectors and tangent vectors are canonical examples of quantities bearing this signal.
Contracting an upper-indexed component against a matching lower-indexed component cancels the transformation factors and yields an invariant.