16.14.3 Tensor Determinant Basis Volume Relation

The tensor determinant relates basis volume through algebraic structure, encoding geometric scaling in multilinear transformations.

Tensor Determinant Basis Volume Relation is the identity connecting the determinant of a set of n vectors, expressed in coordinates relative to a chosen basis, with the signed n-dimensional volume of the parallelepiped those vectors span in an n-dimensional space. It is the geometric interpretation that gives the otherwise purely algebraic determinant a direct spatial meaning as a measure of extent and orientation.

Establishing the Relation

Volume of the Unit Basis Parallelepiped

If e₁, e₂, ..., eₙ form the standard orthonormal basis of an n-dimensional Euclidean space, the parallelepiped they span is the unit hypercube, which has volume exactly 1 and positive orientation. The determinant relation is calibrated so that:

det (e_{1}, e_{2}, \dots, e_{n}) = 1

This normalization is what allows the determinant of any other set of n vectors to be interpreted as a multiple of this unit reference volume.

General Volume Formula

For arbitrary vectors v₁, v₂, ..., vₙ, expressed as columns of a matrix A relative to the standard basis, the signed volume of the parallelepiped they span equals the determinant of A:

Vol (v_{1}, \dots, v_{n}) = det (A)

The absolute value of this quantity gives the unsigned volume, while the sign encodes whether the ordered set of vectors preserves or reverses the orientation of the standard basis.

Geometric Justification

Low-Dimensional Cases

In two dimensions, the determinant of two vectors gives the signed area of the parallelogram they span, and in three dimensions the determinant of three vectors gives the signed volume of the parallelepiped they span, matching the classical scalar triple product formula. These low-dimensional cases are the geometric intuition from which the general n-dimensional volume relation is extrapolated.

Volume Scaling Under Column Operations

The volume relation is consistent with the multilinear and alternating properties of the determinant: scaling one spanning vector by a factor c scales the volume by exactly c, since the parallelepiped is stretched proportionally in that direction, and this matches the determinant's behavior of scaling by c when one column is scaled. Similarly, replacing one vector by its sum with a multiple of another leaves the volume unchanged, since shearing a parallelepiped does not alter its volume, matching the determinant's invariance under such column operations.

Vanishing for Degenerate Configurations

When the vectors v₁, ..., vₙ are linearly dependent, they fail to span a genuine n-dimensional region and instead lie within a lower-dimensional subspace, giving the parallelepiped zero n-dimensional volume. This geometric degeneracy corresponds exactly to the algebraic vanishing of the determinant under the alternating argument rule whenever the spanning vectors are dependent.

Connection to the Wedge Product

Volume as a Wedge Product Coefficient

The volume relation can be phrased entirely in terms of the exterior algebra: the wedge product of the vectors, expressed as a scalar multiple of the wedge of the standard basis, produces exactly the determinant as its coefficient:

v_{1} \land \dots \land v_{n} = det (A) \cdot (e_{1} \land \dots \land e_{n})

Since Λⁿ(V) is one-dimensional, this scalar coefficient is well-defined and is exactly the signed volume of the parallelepiped spanned by v₁, ..., vₙ relative to the reference volume set by the basis wedge product.

Orientation Encoded by Sign

The sign of the determinant, and correspondingly of the wedge product coefficient, encodes orientation: a positive value means the ordered vectors v₁, ..., vₙ induce the same orientation as the reference basis e₁, ..., eₙ, while a negative value means the orientation is reversed, corresponding to a mirror-image configuration of the spanning vectors.

Significance of the Relation

The basis volume relation is what gives determinants their essential role in geometry and integral calculus: it justifies the use of the Jacobian determinant in change-of-variables formulas, it explains why matrix invertibility corresponds to nonzero enclosed volume, and it provides the direct bridge between the algebraic structure of exterior powers and the intuitive geometric notion of oriented volume in n-dimensional space.