12.22.1 Tensor Vector Space Operation Boundary

The Tensor Vector Space Operation Boundary defines limits on tensor operations within vector spaces, governing how tensors interact under algebraic constraints.

Tensor Vector Space Operation Boundary is the specific form of tensor operation boundary that limits a tensor operation to the particular vector spaces, and their duals, from which the tensor's indices are drawn, marking the point beyond which combining tensors built from unrelated or incompatible vector spaces ceases to be defined.

Tensors as Built from Vector Spaces

The Underlying Vector Space of a Tensor

Every tensor is constructed relative to a specific vector space and its dual, with each contravariant index ranging over the vector space itself and each covariant index ranging over its dual space, so that the identity of this underlying vector space is a fixed property of the tensor rather than an incidental detail.

T \in V \otimes V^{*}

The Dual Space and Covariant Indices

The dual space consists of linear functionals acting on the original vector space, and covariant indices of a tensor are understood to range over this dual space, establishing a second, related space that must also be tracked when determining whether an operation is defined.

Conditions Defining the Boundary

Requirement of a Shared Vector Space

Operations combining two or more tensors, such as addition, require that the tensors be built from the same underlying vector space, since even tensors of matching order and index type cannot be meaningfully combined if their indices range over unrelated spaces.

A \in V \otimes V^{*}, B \in V \otimes V^{*}

Correct Pairing of a Space with Its Own Dual

The boundary requires that a covariant index be paired only with the dual of the same vector space that a related contravariant index ranges over, since contraction and other pairing operations rely on the natural pairing between a vector space and precisely its own dual, not the dual of a different space.

ω (v) \in F, ω \in V^{*}, v \in V

Allowance Within the Tensor Product

The tensor product lies within a wider boundary in this respect, since it accepts tensors built from different vector spaces and produces a result built from the tensor product of those spaces, rather than requiring the operand spaces to coincide.

A \otimes B \in V \otimes W

Consequences of Operating Outside the Boundary

Absence of a Well-Defined Sum or Pairing

Attempting to add tensors built from different vector spaces, or to contract indices ranging over unrelated spaces, produces an expression without a well-defined value, since no natural correspondence exists between components indexed relative to distinct, unconnected spaces.

Superficial Structural Agreement Without Genuine Compatibility

Two tensors can share identical order, matching index variance, and even equal dimension while still failing the vector space operation boundary, since dimension agreement alone does not establish that the indices of both tensors range over the same underlying space.

Relationship to Other Operation Boundaries

Distinction from the Dimension Requirement

Dimension agreement, checked separately during input verification, concerns only the numerical size of the spaces involved, whereas the vector space operation boundary concerns the identity of the spaces themselves, so that satisfying the former does not guarantee satisfying the latter.

Foundation for the Component Operation Boundary

Because individual components are meaningful only relative to a specific vector space and basis, the vector space operation boundary underlies the component operation boundary, supplying the shared space required before components can be paired entry by entry in a well-defined way.

Relationship to Tensor Operation Notation

The vector space operation boundary is reflected in tensor operation notation through the convention that all indices in an expression, unless explicitly marked otherwise, are understood to range over a common vector space and its dual, so that this shared space, though often left implicit, is a necessary condition underlying any well-formed indicial expression combining multiple tensors.