7.1.3 Tensor Component Value Scope

Tensor Component Value Scope is the range of admissible values a single tensor component may take, beginning with the base field over which the tensor is defined and narrowing, in special cases, to a restricted subset of that field once additional structural properties — symmetry, positive-definiteness, integrality — are imposed on the tensor as a whole. Distinguishing the unrestricted value scope of a generic tensor from the constrained value scope of a specially structured tensor clarifies exactly how much freedom exists in choosing components before any further conditions are imposed.

The Unrestricted Value Scope

Any Element of the Base Field

For a generic tensor T of type (p, q) over a field F, each individual component Tⱼ¹ᵢ¹... may independently take any value in F, with no a priori relationship required between different components; over the real numbers, this means each component ranges freely over all of ℝ, and over the complex numbers, over all of ℂ.

is the complete statement of the unrestricted value scope: membership in the field is the only requirement.

Independence of Components in the Generic Case

In the absence of any additional structural assumption, the value assigned to one component of a tensor places no constraint on the value of any other component; the N = d^{p+q} components of a generic tensor form, from a value-scope perspective, N entirely independent coordinates in F^N.

Constrained Value Scopes Arising From Structure

Symmetry Constraints

If T is required to be symmetric in a pair of covariant indices, Tᵢⱼ = Tⱼᵢ, the value scope of each off-diagonal component is no longer independent of its mirror entry — fixing Tᵢⱼ simultaneously fixes Tⱼᵢ to the same value, reducing the number of independently choosable values below the full component count N, even though each individual value still ranges over all of F.

Positivity Constraints

If T is a metric tensor required to be positive definite, the value scope of its components is restricted jointly, not individually: no single component is confined to a proper subset of F in isolation, but the full array of components must satisfy the condition that Σᵢⱼ Tᵢⱼ vⁱvʲ > 0 for every nonzero vector v, a joint condition on the whole array rather than a per-component restriction.

Integrality or Discreteness Constraints

In specialized settings such as certain combinatorial or lattice-based tensor constructions, components may be constrained to integers or to a finite set rather than ranging over the full continuum of the base field; this is the most severe narrowing of value scope, restricting each component to a discrete subset of F rather than a field-wide or jointly defined continuous condition.

Diagram of Widening Versus Narrowing Value Scope

Why the Value Scope Distinction Matters

Counting Genuinely Free Parameters

Understanding which constraints act per-component versus which act jointly on the whole array is essential for correctly counting how many free parameters actually describe a constrained tensor; a symmetric (0,2) tensor over a d-dimensional space has d(d+1)/2 independent components, not d², precisely because the symmetry constraint narrows the value scope by pairing components rather than by restricting each one's individual range.

Guiding Parametrization in Computation

Recognizing the value scope appropriate to a given class of tensors is what guides how such tensors are parametrized in numerical work: unconstrained tensors are stored as full arrays of free values, symmetric tensors are stored using only the independent entries, and positive-definite tensors are often parametrized indirectly (for instance, via a Cholesky factor) precisely because their joint value-scope constraint cannot be enforced by restricting each component independently.