7.10.1 Tensor Matrix Component Double Index

Tensor Matrix Component Double Index denotes elements in a tensor with two indices, specifying position and transformation properties in multi-dimensional spaces.

Tensor Matrix Component Double Index is the labeling scheme in which each entry of a rank-two tensor's matrix component case is identified by exactly two independent index symbols, one selecting the row position and one selecting the column position, together pinpointing a single scalar entry within the full array of the tensor's components.

Structure of the Double Index

Two Independent Slots

A rank-two tensor accepts two arguments, and the double index directly mirrors this structure: the first index tracks which basis element was inserted into the first slot, and the second index tracks which basis element was inserted into the second slot.

T_{i j} = T (e_{i}, e_{j})

Independence of the Two Indices

Each of the two indices ranges independently over all basis directions from one to the dimension of the space, so a double-indexed component array in an (n)-dimensional space contains (n \times n) distinct entries, one for every ordered pair of index values.

i, j \in {1, 2, \dots, n}

Variance Placement Within the Double Index

Fully Covariant Double Index

When both indices are written as subscripts, both slots of the tensor accept vectors, and both indices individually obey the covariant transformation law.

T_{i j}

Fully Contravariant Double Index

When both indices are written as superscripts, both slots accept covectors, and both indices obey the contravariant transformation law.

T^{i j}

Mixed Double Index

When one index is a superscript and the other a subscript, the tensor accepts one vector and one covector, and the two indices transform by opposite rules within the same component array.

T_{j}^{i}

Locating a Single Entry

The Row-Column Convention

By convention, the first index of the double-indexed symbol is read as the row position and the second as the column position within the matrix layout, so (T_{23}) denotes the entry in the second row and third column of the tensor's matrix component case.

T_{23} = entry at row 2, column 3

Diagonal Entries

Entries where both index values coincide, such as (T_{11}), (T_{22}), and so forth, lie along the diagonal of the matrix and often carry special significance, such as contributing to the trace when the tensor is of mixed type.

Order Sensitivity of the Double Index

Non-Interchangeability in General

Swapping the two index positions of a general double-indexed tensor produces a different entry, since (T_{ij}) and (T_{ji}) correspond to inserting the basis vectors into the two slots in opposite order, and a general bilinear form need not treat its two arguments symmetrically.

T_{i j} \neq T_{j i} (in general)

Special Cases of Symmetry

For tensors known in advance to be symmetric, the double index becomes interchangeable, and for antisymmetric tensors, swapping the two indices negates the entry, both being additional structural facts layered on top of the basic double-index labeling.

Diagrammatic Illustration

The double index of a matrix component acting as coordinates that locate one cell in a two-dimensional grid.

Extension Beyond Two Indices

Generalization to Multi-Index Tensors

The double index is the smallest example of a broader pattern in which higher-rank tensors carry three, four, or more indices, each tied to one argument slot; the double-index case for rank-two tensors provides the template for reading and interpreting these longer index strings.

Contraction Reduces the Index Count

Summing a double-indexed tensor over one shared index with another tensor's index reduces the total index count by two, producing a lower-rank object, which is the algebraic operation underlying trace computations and general tensor contraction.