13.13.2 Tensor Contraction Pair Contravariant Slot

Tensor Contraction Pair Contravariant Slot is the specific upper-index position designated, during the process of selecting a contraction pair, as the contravariant half of that pair, identifying exactly which superscript-bearing slot on a tensor is to be summed against a corresponding covariant slot. It denotes the act and outcome of choosing this one particular contravariant position out of possibly several available, forming the complementary counterpart to the covariant slot designation within the overall pair selection process.

Conceptual Basis

The Other Half of a Two-Sided Selection

Just as the covariant slot represents one designated half of a contraction pair, the contravariant slot represents the other, and together the two designations complete the specification of which indices are to be linked by summation. Identifying the contravariant slot means fixing precisely which upper-index position participates in a given contraction.

Necessity When Multiple Contravariant Indices Exist

A tensor carrying more than one contravariant index presents multiple candidate positions from which the contravariant slot of a contraction pair might be drawn, so identifying the contravariant slot requires explicitly specifying which of these candidates has been selected, rather than leaving the choice implicit.

Prerequisite to Summation

Like its covariant counterpart, designating the contravariant slot is a step that precedes the actual arithmetic of contraction; once both the contravariant slot and the covariant slot of a pair have been fixed, the summation defined by the covariant contravariant summation rule can then be applied to the pair as selected.

Formal Description

Identifying the Contravariant Slot Among Several Candidates

For a tensor $$T_k^{ij}$$ possessing two contravariant indices $$i$$ and $$j$$, selecting $$i$$ as the contravariant slot for contraction against the covariant index $$k$$ gives:

while designating $$j$$ instead as the contravariant slot would produce a distinct result summing over the other position.

Dimensional Compatibility Requirement

The designated contravariant slot must range over a dimension matching that of the covariant slot with which it is to be paired, since this shared dimension is required for the resulting summation to be well defined.

Explicit Marking in Ambiguous Expressions

When a tensor's contravariant indices might otherwise be confused, the selected contravariant slot can be marked explicitly, for instance by distinguishing notation or by an accompanying statement of intent, to remove any ambiguity about which upper-index position has been chosen for the contraction pair.

Properties

Independence From, Yet Complementary to, the Covariant Slot

The contravariant slot is designated as part of the same overall pair selection process as the covariant slot, but the two designations concern distinct index positions of opposite variance, meaning the contravariant slot can be considered fixed first and then matched against any dimensionally compatible covariant slot, or the reverse order of designation.

Sensitivity of the Result to the Chosen Slot

Selecting a different contravariant slot from among several available candidates on the same tensor generally alters the resulting object once contraction is performed, since distinct contravariant slots may encode different directional information relative to one another.

Interaction With Tensor Symmetry

If a tensor exhibits symmetry among its contravariant indices, designating one contravariant slot rather than another may nonetheless yield equivalent results after contraction, reflecting that underlying symmetry rather than representing a coincidental agreement between otherwise distinct choices.

Practical Considerations

Relevance to Higher-Rank Tensors

Tensors with only a single contravariant index require no explicit designation, since only one candidate exists, but any tensor with two or more contravariant indices necessitates that the contravariant slot be specified explicitly to communicate the intended contraction without ambiguity.

Representation in Computational Tensor Systems

Computational and symbolic tensor manipulation systems must record the designated contravariant slot as part of their internal description of a contraction operation, ensuring the correct upper-index position is included in the summation when the operation is carried out.

Completing the Pair Selection Process

Designating the contravariant slot, together with the corresponding designation of a covariant slot, completes the full specification of a contraction pair; only once both halves have been identified is the pair fully determined and ready for the summation that constitutes the contraction itself.