13.2.1 Tensor Single Contraction Area

Tensor Single Contraction Area involves contracting one tensor index, reducing its rank while maintaining mathematical structure and properties.

Tensor Single Contraction Area is the domain within tensor contraction areas concerned with the application of exactly one contraction to a tensor or product of tensors, isolating the case in which one contravariant index and one covariant index are paired and summed while no other pairing is performed within the same expression.

Defining the Single Contraction Case

Exactly One Paired Index Set

A single contraction area applies when precisely one repeated index symbol appears in an expression, marking exactly one contravariant and one covariant index as paired for summation, with every other index in the expression remaining free.

T_{j k}^{i l}

T_{i k}^{i l} = \sum_{i = 1}^{n} T_{i k}^{i l}

Distinction from Multiple Contractions

The single contraction area is distinguished from cases involving two or more independently paired index sets within the same expression, since the analysis of a single contraction can proceed without needing to account for interaction between separately scoped summations.

Order Change Within the Single Contraction Area

A Fixed Reduction of Two

Because exactly one contravariant and one covariant index are removed, a single contraction always reduces the order of the tensor it acts upon by exactly two, regardless of the tensor's original order or the number of free indices remaining.

order (result) = order (T) - 2

Preservation of All Other Indices

Every index of the original tensor other than the paired pair remains present in the result with its original variance and dimension unchanged, since a single contraction affects only the two indices it pairs and leaves the rest of the tensor's index structure untouched.

Common Instances Within This Area

Contraction Reducing a Rank-Two Tensor to a Scalar

The simplest nontrivial instance within the single contraction area applies to a tensor with exactly one upper and one lower index, reducing it directly to a scalar through a single summation.

T_{i}^{i} = \sum_{i = 1}^{n} T_{i}^{i}

Contraction Leaving Free Indices Behind

A single contraction applied to a higher-order tensor with more than two indices leaves the uncontracted indices free in the result, producing a tensor of reduced but nonzero order rather than a scalar.

Verification Within a Single Contraction Area

Simplified Verification Relative to Multiple Contractions

Because only one paired index set is present, the checks applied under contraction verification scope, covering slot existence, opposite variance, and equal dimension, need only be applied once, without the additional bookkeeping required to track several independently scoped contractions within the same expression.

Direct Applicability of General Contraction Requirements

The requirements governing any valid contraction, correct pairing of variance and matching dimension between the two selected indices, apply directly and without modification within the single contraction area, since these requirements are stated in terms of one contraction at a time.

Relationship to Tensor Operation Notation

The single contraction area corresponds to an expression in tensor operation notation containing exactly one index symbol repeated as both an upper and lower index, with all remaining index symbols appearing only once, so that the presence of exactly one such repeated symbol is the notational signal identifying that an expression falls within this area.