9.18.4 Tensor Coordinate Free Structural Statement

Tensor Coordinate Free Structural Statement is a claim about a tensor's algebraic structure, such as its type, its symmetry properties, or its relationships to other tensors under operations like tensor product and contraction, expressed entirely through coordinate free language and verified without appeal to any component array. It is the category of statement that describes what kind of object a tensor is and how it fits together with others, as opposed to what numerical values it happens to take.

Character of a Structural Statement

Describing Shape, Not Value

A structural statement concerns the organization of a tensor, its type as a (p, q) tensor, whether it is built as a tensor product of simpler tensors, or whether it satisfies a symmetry condition, rather than concerning any specific number appearing in its component array.

Stated Without Reference to Any Basis

Because a structural statement concerns organization rather than numerical content, it can always be phrased using only the coordinate free vocabulary of multilinear maps, tensor products, and contractions, with no need to introduce indices or a basis at any point.

Examples of Structural Statements

Type Classification

Stating that a given tensor is of type (p, q) is a structural statement, since it describes the number and kind of arguments the tensor accepts as a multilinear map, independent of any basis used to later compute its components.

Symmetry Classification

Stating that a tensor is symmetric or antisymmetric under exchange of a pair of its arguments is a structural statement, verified by checking the defining behavior of the tensor as a map directly on arbitrary arguments.

Compositional Relationships

Stating that one tensor is formed as the tensor product of two others, or as a contraction of a larger tensor, is a structural statement, expressing how the tensor is built from simpler pieces through basis-independent operations.

Verifying Structural Statements

Direct Verification on Arbitrary Arguments

A structural statement can be verified by substituting arbitrary vectors and covectors into the relevant multilinear expressions and confirming the claimed relationship holds identically, without needing to specialize to any particular basis.

Consistency With Component-Level Checks

If a structural statement is instead verified by checking it against components in one particular basis, its status as a genuine structural fact still requires confirming that the property is preserved under the standard transformation law, ensuring the property was not merely an artifact of that basis.

Role of Structural Statements

Organizing Tensor Algebra Conceptually

Structural statements provide the conceptual scaffolding of tensor algebra, classifying tensors by type and symmetry and describing how they combine, independent of any numerical detail that would only be relevant to a specific computation.

A Foundation Prior to Numerical Work

Because structural statements make no reference to components, they typically precede and inform any subsequent numerical calculation, establishing what kind of object is being worked with and what properties it must respect before a basis is ever introduced to compute explicit values.