Volume of 3d triangular based pyramid embedded in 4 dimensions Can anyone think of a way of working out the volume of a triangle based pyramid embedded in 4D?  The points are defined (from a 'central' point) by three vectors:
$$a_1, a_2 \text{ and } a_3$$
all of which are 4 dimensional.  If it were simply in 3D space, I would simply do:
$$\frac{(a_1 \times a_2) \cdot a_3}{6}$$
but cross products aren't defined in 4D (as there is no one vector that is perpendicular to two vectors in 4 dimensions).
One way that this could be done is to call $V_w$ the volume of the pyramid if we ignore the $w$ components (e.g. project onto the $xyz$ plane), $V_x$ the volume if we project onto the $wyz$ plane, etc.
The volume would then be given by volume Pythagoras:
$$V^2 = V_w^2 + V_x^2 + V_y^2 + V_z^2$$
but this is a bit arduous, as it requires working out four volumes!  there must be a better way!
Thanks in advance!
 A: If  $n$-dimensional space ${\mathbb R}^n$ (in your case $n=4$) is equipped with, say, the standard euclidean scalar product (or metric) then this metric induces automatically a natural measure (length, surface area, $\ldots$) for lower-dimensional objects embedded in ${\mathbb R}^n$. In your case the situation  can be handled by linear algebra:
Given $d\geq1$ vectors ${\bf a}_i\in {\mathbb R}^n$, they span a $d$-dimensional parallelotope $P$. To obtain its $d$-dimensional "volume" set up the $(d\times d)$-matrix $$g=\bigl[g_{ik}\bigr]\ ,\quad g_{ik}:={\bf a}_i\cdot{\bf a}_k\qquad(1\leq i\leq d,\ 1\leq k\leq d)$$
of the scalar products between the ${\bf a}_i$, and compute its determinant
$$G({\bf a}_1,\ldots,{\bf a}_d):=\det(g)\ ,$$
called the Gram determinant of the ${\bf a}_i$. Then the $d$-dimensional volume of the parallelotope $P$  is given by
$${\rm vol}_d(P)=\sqrt{G({\bf a}_1,\ldots,{\bf a}_d)}\ .$$
An example: The length of the segment $[{\bf 0},{\bf a}]\subset{\mathbb R}^n$, i.e., the $1$-dimensional volume of the  parallelotope $P:=\{t{\bf a}\in{\mathbb R}^n\ | 0\leq t\leq 1\}$, is given by ${\rm vol}_1(P)=\sqrt{{\bf a}\cdot{\bf a}}$.
As you want only the $3$-dimensional volume of the simplex spanned by the three given vectors you have to divide the volume of the parallelepiped by $3!=6$.
