2.17.4 Tensor Real Tensor Component Context

Exploring how real tensor components are structured and contextualized within tensor algebra frameworks.

Tensor Real Tensor Component Context is the framework governing how an abstract real tensor is represented, once a real coordinate system has been fixed, as an indexed array of real numbers, and the rules that specify which index patterns, positions, and summation conventions are meaningful within that representation. It is distinct from the choice of coordinate system itself: where a coordinate system supplies the basis and dual basis used for the representation, the component context supplies the notation, index bookkeeping, and interpretive rules — upper versus lower placement, ranges of summation, symmetry patterns — that make an array of real numbers legible as a specific tensor rather than an arbitrary table.

The Component Array

From Multilinear Map to Real Number Array

Given a real coordinate system e_1, ..., e_n on V with dual basis e^1, ..., e^n, a type (p, q) tensor T is represented by evaluating it on all possible tuples of basis elements:

T_{j_{1} \dots j_{q}}^{i^{1} \dots i^{p}} = T (e^{i_{1}}, \dots, e^{i_{p}}, e_{j_{1}}, \dots, e_{j_{q}})

Each of the p + q indices independently ranges over 1, ..., n, producing n^{p+q} real numbers in total, all of which are ordinary real-valued outputs of the multilinear operation T.

Upper Versus Lower Index Placement

Within the component context, upper indices, such as i_1, ..., i_p, always correspond to contravariant slots filled by dual-basis covectors, while lower indices, such as j_1, ..., j_q, correspond to covariant slots filled by basis vectors. This placement is not cosmetic: it encodes, at a glance, how each index will transform under a change of the real coordinate system, with upper indices transforming by the change-of-basis matrix's inverse and lower indices transforming by the matrix itself.

Index Conventions Within the Real Context

The Einstein Summation Convention

Within this component context, a real index that appears exactly once as an upper index and once as a lower index in the same expression is understood to be summed over its full range 1 to n, without an explicit summation symbol:

v^{i} e_{i} \equiv \sum_{i = 1}^{n} v^{i} e_{i}

This convention is purely notational shorthand; it introduces no new mathematics beyond ordinary real-number addition, but it is essential vocabulary for reading and writing real tensor components compactly.

Symmetric and Antisymmetric Component Patterns

Real tensor components can exhibit symmetry properties among subsets of their indices. A component array is symmetric in a pair of indices if swapping those indices leaves every component value unchanged, T^{ij} = T^{ji}, and antisymmetric if swapping changes the sign, T^{ij} = -T^{ji}. Because the components are real numbers, these equalities are ordinary real-number equalities, and antisymmetry additionally forces every diagonal component T^{ii} (no summation) to vanish, since a real number equal to its own negation must be zero.

Component Ranges and Dimension

Since V is finite-dimensional with dim(V) = n, every index in the component context ranges over exactly n values, and the total component array for a type (p, q) tensor has n^{p+q} real entries. This finite, explicitly countable structure is what allows real tensors to be stored, indexed, and manipulated as finite tables of numbers in computation.

Distinguishing the Component Context From the Coordinate System

Coordinate System Supplies the Basis, Component Context Supplies the Reading

The real coordinate system fixes which basis vectors and dual-basis covectors are used to generate the array of numbers, while the component context governs how that array is written, indexed, summed, and interpreted once generated. Two different tensors expressed in the same coordinate system have component arrays that are compared entry by entry using the shared index conventions of the component context.

Real Values Only, No Conjugate Symmetry

Because every component is a real number, symmetry and antisymmetry conditions on real tensor components are simple algebraic equalities involving no complex conjugation. This stands in contrast to the complex setting, where an analogous "Hermitian" symmetry pattern involves conjugating one of the two compared components, a distinction that has no counterpart here.

Diagrammatic Summary

The component context governs how the n^{p+q} real numbers that represent a tensor in a given coordinate system are indexed, summed, and interpreted, translating the abstract multilinear operation into a concrete, finite table of real values.