1. 引言
从二十世纪六、七十年代开始,随着控制理论、陀螺技术和计算技术的发展,四元数的研究得到学术界的普遍重视 [1] 。近二、三十年来,国内不少专家学者对四元数理论进行了广泛的研究,取得了相当丰硕的科研成果 [2] [3] [4] [5] 。在这些科研成果中,与四元数代数理论相关的科研成就比较突出,而在四元数分析理论方面所取得的进展则逊色些。四元数分析理论进展不顺的主要原因就是受柯西–黎曼条件限制,大多数初等四元数函数都不解析(如四元数函数不解析)。为了打破僵局,本文利用四元数相似类的几何特征,将四元数体分解为平面与虚部向量空间单位球面的直积,为进一步探讨四元数函数与复函数的相似关系提供了一条有效途径。
2. 四元数的相似定义和基本性质
设—实数域,—复数域,—实四元数体。
定义1.1 [1] 对于四元数、,若存在非零四元数,满足,则称与相似,并记
四元数的相似具有以下性质:自反性(每个四元数与自身相似);对称性(与相似,则与也相似);传递性(与相似,与相似,则与相似)。
由于实数与四元数的乘积可交换顺序,因此实数只与自身相似。
引理1.1 [2] 对于任意一个非实四元数(),与复数相似。
引理1.2对于任意一组相似四元数与,
即非零四元数可单位化(这里代表四元数的模 [2] ,证明略)
引理1.3 [2] 对于任意四元数、,
记(的实部),, (的虚部向量),
,那么
即的实部=,的虚部=
引理1.4对于任意四元数、,
与相似,且
(这里、分别代表、的模 [2] )
证明:如果与相似,那么存在非零单位四元数,满足
而为非零单位四元数,故,根据引理1.3
的实部
上式中的是一个向量混合积,结果为零,
故,即。
反之,如果且,那么
,根据引理1.1,和都与复数相似,由四元数相似的传递性和对称性可知,与相似。
3. 四元数体的几何表示
定义2.1 [2] 对于任意,记集合,称为的相似类
很明显,实数的相似类只有一个元素,就是该实数本身。
引理2.1 [2] 对于任意一个四元数,只要
那么,其中,为的幅角,为的单位方向矢量。
对于任意一个非实四元数(),由的模、的幅角、的单位方向矢量唯一确定。根据引理1.4,所有与具有相同的模和实部,但单位方向矢量与不同的四元数都与相似。因此,所有与相似的四元数的单位方向矢量构成四元数虚部向量空间一个以单位长度为半径的球面(如图1所示),也就是说的相似类中的所有元素的单位方向矢量构成四元数虚部向量空间一个单位球面。而中所有元素相同的模和幅角()对应复平面上半部分中的一点,该点的极坐标就是 (如图2所示);
Figure 1. The imaginary part unit sphere surface over quaternion field
图1. 四元数虚部单位球面
Figure 2. The modulus and angles of quaternion
图2. 四元数的模和幅角
在中有一对共轭复数,这一对共轭复数在的单位方向矢量分别为和;而复数在复平面上投影点的极坐标也是,因此,将复数定义为四元数的相似类的主值。
四元数体上的全体四元数如果按相似类分类,其几何特征非常直观。每个四元数相似类对应四元数虚部向量空间一个单位球面,又对应复平面上半部分的一点,该点的极坐标就是(注:)。四元数体上全体四元数相似类在复平面上的投影点构成复平面上半平面。也就是说:四元数体上的每个非实四元数分别可以在复平面上半部分和四元数虚部向量空间单位球面上拥有一个投影点,在上半平面投影点的极坐标就是该元素的模和幅角,在虚部向量空间单位球面上的投影点就是该元素单位方向矢量的顶点。
四元数体中的非实复数可以这样表示
因此复数在复平面上投影点的极坐标为
,在虚部向量空间单位球面上的投影点就是的顶点;
而复数的共轭复数可以这样表示
因此复数在平面投影点的极坐标也为
,在虚部向量空间单位球面上的投影点就是的顶点。
四元数体中的非负实数可以这样表示
(为四元数虚部向量空间中的任意一个单位方向矢量)
负实数可以这样表示
因此,实数在复平面上的投影点落在极轴或的反向延长线上,而虚部向量空间单位球面上每
Figure 3. The geometric representation of quaternion field
图3. 四元数体的几何表示
个点都可以作为实数的投影点,为此,我们约定的顶点作为实数在虚部向量空间单位球面上的投影点,这样实数和非实复数在虚部向量空间单位球面上拥有相同的投影点,那就是的顶点。
综上所述,四元数体按相似类可以表示为复平面上半部分(包括极轴和的反向延长线)与四元数虚部向量空间单位球面的直积。任意一个四元数在复平面上投影点的直角坐标为,在虚部向量空间单位球面上的投影点是单位方向矢量的顶点(图3)。
项目资助
本文由福建省大学生创新创业训练计划项目(S20141005)资助。
参考文献