Gram Determinant equals volume?
I have been trying to solve this problem of finding the 'n-volume' of a paralleletope spanned by m vectors, where clearly . In general, for computational purposes, what I have managed to do is define volume as the product of absolute values of vectors obtained by gram-schmidt orthogonalizationn. (Makes sense right? That's the natural interpretation when we say volume)
I had to do two things, firstly to show that this definition of volume is a well defined one (i.e. any set of orthogonal vectors obtained by the process will give the same volume), and secondly to find a quick way to do this. I managed to prove the first one by induction, but the second part is a little bit of a problem. I managed to obtain formulae for small dimensions as 2,3 or even 4 but this process is impractical for any bigger dimensions as the substitutions for smaller dimensions into the formula for the next dimension becomes exponentially complicated
How does one prove that the gram determinant is equal to the volume of a paralleletope spanned by a set of vectors?
Answer & Explanation
Let d vectors be given, where V is an n-dimensional euclidean space, e.g., with the usual scalar product. Then there is a d-dimensional subspace containing the , and U inherits the euclidean structure from V. Let be an orthonormal basis of U. Then the d-dimensional volume of the parallelotope P spanned by the is given by
where A is the - matrix containing the coordinates of the in terms of the in its columns. (This is the d-dimensional analogue of the formula
valid in 3-space.) It follows that
The elements of the -matrix are given by
It turns out that G is the matrix of the scalar products and is independent of the basis chosen for U. This Gram matrix G depends only on the given and the euclidean structure in V.
Taking the square root in (1) gives the final formula
You put the vectors into a matrix A, then apply one of the three methods for QR-factorization to it, , and read off the volume as the product (or absolute value thereof) of the diagonal entries of R.
The parallelotope is , and applying to it, , transforms it into a position where it is obtained by axis-parallel, volume -preserving shearing from a rectangular box with side-lengths equal to the diagonal entries of R.
Since , one has
Most Popular Questions