数的创生之哈密尔顿的四元数.docVIP

数的创生之哈密尔顿的四元数

数的创生之哈密尔顿的四元数

数的创生之哈密尔顿的四元数

数得创生之哈密尔顿得四元数

先说复数。我们知道复数可以用矢量表示，复数x+yi对应到平面矢量(x,ｙ)、复数得加法和矢量得加法一致（显然。因为都是把分量相加。)复数得乘法对应到矢量得旋转和伸缩、在物理学中，更为广泛使用得是三维矢量，(ｘ,y，z）。寻找一种“数来与三维矢量1-1对应,是很自然得想法、对１９世纪初得爱尔兰人威廉、哈密尔顿来说，如果能找到这种数,她就可以更方便地表述牛顿力学和电磁学了、

哈密尔顿试图定义三维矢量之间得四则运算、加减法毫无问题，矢量是自然可以加减得。至于乘法，当时人们也知道三维矢量得“内积”和“外积”,或者称为“标量积”和“矢量积”，又或者称为“点乘”和“叉乘。但是这两种运算都不能满足哈密尔顿得需要：“点乘”得结果并不是矢量,所以这种运算并非是对｛三维矢量}这个集合封闭得运算；叉乘得结果虽然仍然是矢量，但是每个矢量跟自己叉乘得结果都是（０，0,0），使得除法无从定义。（假定除法可以定义,比如，a/ｂ＝ｃ,那么a=c×b。但是因为ｂ×b=(0，０,0）,从而a=(c＋ｂ)×b,即a/ｂ＝c+b、可见这样得定义会引起矛盾、)

如何定义三维矢量之间自洽得乘除法运算公式困扰了哈密尔顿很多年。终于,1843年某一天她沿着都柏林皇家运河步行，一组公式闪现在她头脑中，她兴奋之余担心忘记,就在经过布鲁翰桥得时候将这组公式刻在桥上:

i2=j2=k2=ｉｊk=－1

其中i，j，k分别是沿着x,y,z轴方向得单位矢量、

这组公式定义得运算其实不完全满足哈密尔顿原先得想法:

其一:由于-１得出现,运算对｛三维矢量}这个集合不封闭。事实上，在复数得情形,x+ｙi对应到平面矢量（x,y)，即，实数1对应到矢量(１，0)，虚数i对应到矢量（０,１）。也就是说，实数填充了其中一维空间，而纯虚数填充了另一维空间。与此类似,哈密尔顿定义得运算实际上是｛四维矢量}这个集合上得运算，1，i，j，k分别张成这四个维度、为了跟复数记号类比,以下叙述将不采用黑体得矢量记号,代之以i，j,k。现在所有四维矢量之间定义了加减乘运算(除法容后再议），每个四维矢量(ｘ，y，z,w)将写为x+yｉ+zj+wk,称为一个“四元数。显然，它包含了复数(只要令ｚ=0,w=0，就得到复数）。

其二：乘法运算不再满足交换律。由ｉjk=—1，等式两边都在右边乘上k，有iｊｋ２=—k,再应用k2=—1,得到－ij＝—k，从而ij＝k、同理可得ｊk=i,ki＝j、最后一式等式两边都在右边乘上i,有ki2＝jｉ,即-k=ji、所以我们看到ji=-ｉｊ、不遵从交换律。事实上，后来人们证明，不可能比哈密尔顿做得更好：如果要求扩充得数系既包含实数在内，又可以做加减乘除，并且满足乘法结合律和交换律,那么唯一得可能就是复数。如果要进一步扩充,就只能牺牲交换律、

无论如何，“四元数”诞生了。它是如此美妙以至于哈密尔顿将此后得大部分时间都投入到对四元数得研究中。所有这些研究汇成将近80０页得著作“四元数基础”。

我们现在就来更细致地看看四元数运算。类比复数绝对值运算公式

|x＋yi｜2=(ｘ+yi）(x—ｙi）=ｘ２+ｙ2，

有四元数绝对值运算

|x+yi+zj+ｗk｜2=（ｘ＋yｉ+zj+ｗk)(ｘ－ｙi-zj—wｋ）=x２＋y２+z2＋w2

除法因而也类似

(a+bi+cｊ+dk）/（x+yi＋zj+wk）=（a+bｉ+ｃｊ+ｄk）（x－yｉ－zｊ—wｋ）／（x2+y2＋z2+w２）

四元数集中有个子集对乘法和除法封闭。这个子集就是绝对值等于1得那些四元数。它们满足方程

x2+ｙ2+z2+ｗ2=１

从而组成四维空间中得单位球面(三维球面)、

一个集合如果既有微分流形得结构，其元素又可以做光滑得乘法运算并且满足一定得条件（构成一个“群”）,这个集合就称为一个“李群。绝对值为１得所有四元数就构成一个李群。

这种结构在复数集中有类比:绝对值为1得所有复数构成一个李群，它在几何上看是复平面里得单位圆周,群运算就是复数得乘法。这个群通常记为U(１)、它是最简单得李群。由于绝对值为1得复数乘上其它复数就相当于把相应得平面矢量旋转一个角度，所以这个群实际上等同于平面得旋转群，记为SO（2）、就是说,绝对值为1得复数构成得群可以解释为实数平面（即二维实数空间）得旋转群。

让我们更真切地看看这个对应。实际上这个对应可以从复数得矩阵表示导出。从复数得乘法公式

(x+yi)(z+ｗｉ)=(xｚ－yw)+（xw+yz)i

可以看到,乘积得两个分量很像矩阵乘积得元素。不难猜测这个乘法可以由形如得矩阵实现。这种矩阵得主对角线对应复数得实部，副对角线对应复数得虚部。它们之间得乘法如下

乘积矩阵得主对角线正好对应到复数乘积得实