1.13.2 Tensor Definition Problem Type

Understanding the Tensor Definition Problem Type in algebra, exploring its mathematical formulation and key challenges in tensor algebra.

Tensor Definition Problem Type is the recurring exercise pattern in which a quantity is presented through an explicit component formula or an explicit rule, and the task is to determine whether that quantity qualifies as a tensor, and if so, of what type, by checking its behavior directly against the defining transformation law rather than assuming tensoriality from the mere presence of indices. Its given form is a definition; its operation is a transformation-law check; its sought form is a classification, tensor or not, and if so, of what type (p, q).

The Structure of a Tensor Definition Problem

What Is Given

A tensor definition problem supplies an explicit rule for computing the components of some indexed quantity, often in a specific basis or coordinate system, sometimes built from other known tensors, sometimes defined directly by a formula involving coordinates themselves.

Q_{i j} = x_{i} x_{j}

What Must Be Done

The required operation is to compute how the defined quantity's components behave under a general change of basis, and compare that behavior against the transformation law appropriate to each candidate type, one factor of the change-of-basis matrix per upper index and one factor of its inverse per lower index.

What Is Sought

The sought answer is a definitive classification: either a confirmation that the quantity transforms as a tensor of a specific type, or a demonstration that it fails to transform correctly, together with the specific step at which the transformation law breaks down.

Worked Pattern: Confirming Tensoriality

Starting From the Definition

Given the definition of Q_{ij} above in terms of coordinates x_i, the transformation of the coordinates themselves under a change of basis is applied to each factor.

{\tilde{x}}_{i} = {(A^{-1})}_{i}^{k} x_{k}

Checking the Result Against the Candidate Type

Substituting into the definition of the transformed quantity shows that both factors pick up the same inverse-matrix transformation, matching precisely the law expected for a type (0, 2) tensor, so the classification concludes that Q_{ij} is indeed a tensor of that type.

{\tilde{Q}}_{i j} = {(A^{-1})}_{i}^{k} {(A^{-1})}_{j}^{l} Q_{k l}

Worked Pattern: Refuting Tensoriality

A Quantity That Looks Like a Tensor but Is Not

A standard variant of this problem type presents a quantity such as the Christoffel symbols, which carry the index pattern of a type (1, 2) object but are defined through derivatives of the metric and its inverse in a way that introduces an extra, inhomogeneous term under a general coordinate change.

{\tilde{Γ}}_{j k}^{i} = A_{l}^{i} {(A^{-1})}_{j}^{m} {(A^{-1})}_{k}^{n} Γ_{m n}^{l} + inhomogeneous term

Locating the Failure Point

The classification in this case concludes that the object is not a tensor, and the answer is expected to identify precisely the inhomogeneous, extra term responsible for the failure, since a bare assertion of "not a tensor" without locating the offending term does not fully resolve this problem type.

Variants of the Definition Problem

Definitions Built From Known Tensors

When the quantity in question is built from already-established tensors through contraction, symmetrization, or tensor product, the transformation check reduces to confirming that only tensor-preserving operations were used, a shorter argument than checking the transformation law from scratch.

Definitions Given Only in One Basis

A more demanding variant supplies the defining formula in a single, specific basis or coordinate system, with no explicit rule for other bases, requiring the solver to first determine the correct general-basis formula that reduces to the given one before the transformation law can even be checked.

Determining the Type When Tensoriality Is Confirmed

Even after confirming that a quantity is a tensor, a further step of this problem type asks for its precise type (p, q) to be read off from the pattern of transformation factors found, rather than left as a bare yes-or-no judgment.

Diagrammatic Summary of the Problem Type

Distinguishing This Problem Type From Related Ones

Definition Problems Versus Transformation-Derivation Problems

A tensor definition problem asks whether an object is a tensor at all; a transformation-derivation problem assumes tensoriality and asks only for the explicit transformed components. The definition problem is logically prior, since deriving "the" transformation law only makes sense once tensoriality itself has been established.

Definition Problems Versus Symmetry-Testing Problems

Symmetry-testing problems presuppose a tensor is already given and examine its behavior under index exchange within a single, fixed basis; definition problems examine behavior across a change of basis instead. A quantity can have an obvious index symmetry while still failing to qualify as a tensor, and the two checks are independent of one another.

Why This Problem Type Is Foundational

Guarding Against a Common Error

Because indexed notation is used for many quantities that are not tensors, treating every object with upper and lower indices as automatically tensorial is a common and consequential error. Practicing this problem type repeatedly builds the habit of checking transformation behavior explicitly before relying on any of the structural or computational shortcuts that assume tensoriality.

Anchoring Later Problem Types

Because many later problem types, transformation-law derivation, symmetry decomposition applied across bases, presuppose that the object under study is already a genuine tensor, the tensor definition problem type functions as a gatekeeping step that later, more elaborate problem types are built on top of.