正式回答之前给个提示:想一下矩阵行列式的定义。
下面是正式回答:
已知一个n维空间内的全反对称张量: ,在空间转动变换下变成了 。设空间转动矩阵为A,则可得到等式(1):
好像什么都看不出来啊。
没关系,那是因为还缺点东西。
提问:n阶行列式的定义式是什么?
对于方阵A,A的行列式定义为:
而公式中的 ,就是n阶全反对称张量。
还不明白?
以四阶行列式为例,可以得到这么一个公式:
验证这个等式的方法很简单:在等式两边乘以 再求和试一下。
把上面这个公式应用到等式(1)上,再考虑到旋转矩阵的行列式为1,你会立刻得到 。
这就是我们想要的结果。