13.12.2 Tensor Covariant Contravariant Index Compatibility

Tensor Covariant Contravariant Index Compatibility is the requirement that a contravariant index and a covariant index selected for contraction must range over vector spaces of identical dimension, ensuring that the summation implicit in their pairing is well defined across a common set of index values. It identifies the dimensional condition that must hold alongside the variance-matching rule before any covariant contravariant slot pair can be validly contracted, addressing what happens when variance is correctly matched but the underlying spaces differ in size.

Conceptual Basis

Variance Matching Alone Is Not Sufficient

Pairing one contravariant index with one covariant index satisfies the basic requirement for a valid contraction in terms of transformation behavior, but this alone does not guarantee the summation can be carried out, since the two indices must also traverse the same range of values for the sum to include a well-defined set of terms.

Dimension as the Second Necessary Condition

Index compatibility supplies the second, equally necessary condition: the vector space associated with the contravariant index and the vector space associated with the covariant index must share the same dimension, so that a single shared index label can meaningfully range across both simultaneously.

Consequences of Incompatible Dimensions

If the contravariant index ranges over a space of one dimension while the covariant index ranges over a space of a different dimension, no consistent assignment of a shared index exists, and the proposed contraction is simply undefined rather than merely producing an unexpected or invalid result.

Formal Description

Stating the Compatibility Condition

For a contravariant index $$i$$ ranging over a space of dimension $$m$$ and a covariant index $$j$$ ranging over a space of dimension $$n$$, compatibility requires:

before the two indices can be identified as a single shared index and summed.

Effect on the Summation

Given this compatibility, the contraction over the shared dimension $$n$$ is written:

with the upper limit of summation determined precisely by the common dimension shared by both indices.

Compatibility When Indices Originate From the Same Space

When the contravariant and covariant indices both originate from the same underlying vector space, as is typical for endomorphism-type tensors, compatibility is automatically satisfied, since both indices necessarily share the dimension of that single space.

Properties

A Necessary but Not Sufficient Condition Alone

Index compatibility is necessary for a contraction to be defined but must be considered together with the requirement of opposite variance; satisfying compatibility of dimension while pairing two indices of the same variance still fails to produce a valid contraction.

Compatibility Across Different Named Contraction Cases

The same compatibility requirement applies uniformly across trace contraction, matrix multiplication, inner products, and vector covector pairing, meaning any of these named cases fails to be well defined if the specific indices involved do not share a common dimension.

Preservation Through Auxiliary Tensors

When a metric tensor is used to convert an index's variance before contraction, the compatibility requirement transfers to the converted index, meaning the metric itself must be defined over the same dimension as the index it operates on for the overall pairing to remain valid.

Practical Considerations

Verifying Compatibility Before Computation

Before attempting any contraction, confirming that the dimensions of the intended contravariant and covariant indices match is a standard preliminary check, analogous to verifying that matrix dimensions align before attempting multiplication.

Compatibility in Mixed-Dimensional Settings

In applications involving tensors defined over several distinct vector spaces of differing dimension, such as tensor products of spaces representing different physical quantities, index compatibility becomes an active constraint that determines which contractions between the various index slots are even possible.

Diagnostic Value of Compatibility Failures

An attempted contraction that fails due to incompatible dimensions typically signals an error in how a tensor expression has been constructed, making the verification of index compatibility a useful diagnostic step in identifying mistakes in more elaborate tensor computations.