10.21.1 Tensor Change Verification Source Basis

Tensor Change Verification Source Basis is the specific step, within the broader change-of-basis verification procedure, of confirming that the source chart's basis vectors and the original tensor components claimed to be given in that basis are actually well defined and mutually consistent before any transformation formula is applied to them, ensuring the verification effort is not spent validating a computation whose starting data was already flawed.

What Must Be Confirmed About the Source Basis

Linear Independence of the Basis Vectors

The source basis vectors $$e_i$$ must be linearly independent at the point under consideration, since a set of vectors that fails this condition does not constitute a genuine basis at all, and any tensor components expressed relative to such a degenerate set would be meaningless before a change of basis is even attempted:

Nondegenerate Jacobian at the Point of Interest

Because the source basis is generated by a coordinate chart, this linear independence is equivalent to confirming that the Jacobian matrix of the source chart's coordinate functions is non-singular at the point in question, providing a concrete, computable version of the abstract independence requirement.

Consistency Between Basis and Given Components

Correct Number of Components

The verification confirms that the tensor components supplied for the source chart carry the correct number of indices, matching the declared rank of the tensor, and that each index ranges correctly over the dimension of the source chart, a simple bookkeeping check that nonetheless catches a surprisingly common class of setup errors before any transformation is attempted.

Dual Basis Availability for Covariant Data

If the source data includes covariant components, the verification confirms that a genuine dual basis, satisfying the standard pairing relation with the primary source basis, has been correctly constructed or is at least constructible from the given primary basis, since covariant components have no well-defined meaning without a properly paired dual basis in place.

Diagram of Source Basis Verification

Checks Performed Before Transformation Begins

Why This Step Precedes the Rest of the Procedure

Preventing Wasted Verification Effort

Because every later stage of the change-of-basis verification procedure, from index balance checking through invariance confirmation, implicitly assumes that the source chart and its associated components are already well defined, confirming the source basis first prevents time being spent diagnosing apparent errors in the transformation itself when the true fault lies in malformed or inconsistent starting data.

Catching Degenerate Points Early

Some coordinate charts become singular at specific points, such as the origin in polar-type coordinates, and confirming that the point at which the tensor components are being evaluated avoids any such singularity is a necessary part of validating the source basis, since attempting a transformation from a degenerate source basis produces meaningless results regardless of how carefully the subsequent transformation arithmetic is carried out.

Practical Verification Techniques

Determinant Test for Independence

The most direct practical test for source basis validity computes the determinant of the matrix whose rows or columns are the components of the candidate basis vectors in some reference coordinate system, confirming this determinant is non-zero at the point of interest.

Cross-Checking Against the Chart Definition

Where the source basis arises from a named coordinate chart with a known explicit formula, comparing the computed basis vectors against the expected analytic expression for that chart's coordinate tangent vectors provides an additional cross-check, catching transcription errors in the basis vectors themselves before they can propagate into the rest of the verification procedure.