四元数与旋转

最新推荐文章于 2020-12-20 06:55:16 发布

deng_sai

最新推荐文章于 2020-12-20 06:55:16 发布

阅读量915

点赞数

分类专栏：数学基础知识文章标签：四元数

数学基础知识专栏收录该内容

8 篇文章 0 订阅

订阅专栏

转自：http://blog.sina.com.cn/s/blog_557d254601018dfv.html

一、四元数概念及运算

四元数引入

将实数域扩充到复数域，并用复数来表示平面向量，用复数的加、乘运算表示平面向量的合成、伸缩和旋转变换，这些观念已经在中学课程中学过了。那么，很自然的问题就是，在三维，或更高维空间中是否也有复数的类似物？也就是说，像扩充实数那样，在复数域的基础上添加一个或几个新的元素，并且让它们跟原来的复数做加减乘除，是否就可以得到一个新的数集，并且其中的元素还可以像复数域那样做加、减、乘、除运算，并满足通常复数的那些运算律，包括加法和乘法的交换律与结合律、乘法对加法的分配律等待？更进一步，我们是否可以期望用这样的数来表示三维或更高维空间中的伸缩和旋转，就像用复数表示平面向量的伸缩旋转那样方便？

历史上有很多数学家试图寻找过三维的复数，但后来证明这样的三维复数是不存在的

，即使不考虑空间旋转，只从代数角度来说，三维的复数域作为普通复数域的扩张域也是不存在的。

知道了复数不能推广到三维，我们把目光移向四维复数，即四元数。四元数是由爱尔兰数学家威廉·卢云·哈密顿在1843年发现的。复数推广到四元数，必须牺牲掉数域的某一条或几条性质，哈密尔顿抛弃了乘法交换律。

四元数定义

四元数都是 1、i、j 和 k 的线性组合，一般可表示为 d + ai + bj + ck， a、b、c、d是实数。如把四元数的集合考虑成多维实数空间的话，四元数就代表着一个四维空间，相对于复数为二维空间。

3.加乘运算

要把两个四元数相加只需将相类的系数加起来就可以，就像复数一样。至于乘法则可跟随以下的乘数表：

以上表格中，最左边的列表示被乘数，最上面行表示乘数。
即 i^2=j^2=k^2=-1， ij=k， ji=-k， jk=i， kj=-i， ki=j， ik=-j

可以立即验证加法交换律、结合律，以及等式 p+0=0+p=p，方程 p+x=0 恒有解，乘法结合律，还有乘法对加法的分配律都是成立的，只不过没有乘法交换律。

例如：

假设：x = 3 + i， y = 5i + j - 2k

那么：

x + y = 3 + 6i + j - 2k

xy =( {3 + i} )( {5i + j - 2k} ) = 15i + 3j - 6k + 5i^2 + ij - 2ik

= 15i + 3j - 6k - 5 + k + 2j = - 5 + 15i + 5j - 5k

四元数也可以表示为： q=[w,v]，其中v=（x,y,z）是矢量，w是标量。

如果向量部分外积为零，两个四元数的乘积就可交换了。

4.模的定义

四元数也是可以归一化的，四元数的单位化与Vector类似，首先（a^2+b^2+c^2+d^2）的平方根称为四元数的模，即||q|| = Norm（q）=sqrt（w2 + x2 + y2 + z2），这里2指平方, 如w2指w的平方。

因为w2 + x2 + y2 + z2=1 所以Normlize（q）=q/Norm（q）=q / sqrt（w2 + x2 + y2 + z2）

5.共轭定义

若p=w+xi+yj+zk=w+v，则p*=w-xi-yj-zk=w-v 表示与p实部相等，向量部分相反的四元数，称为p的共轭。

6.逆的定义

如果

，

二、四元数与三维空间的旋转

我们要关心的是三维空间上任意的伸缩旋转变换是否可用四元数的乘积来表示，而这一点对四元数来说是完全能够胜任的。

如果已知一个三维空间的伸缩旋转的转轴方向、旋转角度和伸缩比例，来求相应的四元数，是比较容易的。

特别地，单位化的四元数用来描述旋转：

以原点为旋转中心，旋转的轴是(α, β, γ)（ α^2 + β^2 + γ^2 = 1），
（右手系的坐标定义的话，望向向量(α, β, γ)的前进方向反时针）转θ角的旋转，用四元数表示就是， Q = (cos(θ/2); α sin(θ/2), β sin(θ/2), γ sin(θ/2))

四元数的乘法的意义类似于Matrix的乘法－可以将两个旋转合并，例如：

Q=Q1*Q2 表示Q的是先做Q2的旋转，再做Q1的旋转的结果，而多个四元数的旋转也是可以合并的，当有多次旋转操作时，使用四元数可以获得更高的计算效率。

例子代码

/// Quaternion.cpp

#include <math.h>
#include <iostream.h>

/// Define Data type
typedef struct
{
              double t; // real-component
              double x; // x-component
              double y; // y-component
              double z; // z-component
} quaternion;


//// Bill 注：Kakezan 在日语里是 “乘法”的意思
quaternion Kakezan(quaternion left, quaternion right)
{
              quaternion ans;
              double d1, d2, d3, d4;

              d1 =  left.t * right.t;
              d2 = -left.x * right.x;
              d3 = -left.y * right.y;
              d4 = -left.z * right.z;
              ans.t = d1+ d2+ d3+ d4;

              d1 =  left.t * right.x;
              d2 =  right.t * left.x;
              d3 =  left.y * right.z;
              d4 = -left.z * right.y;
              ans.x =  d1+ d2+ d3+ d4;

              d1 =  left.t * right.y;
              d2 =  right.t * left.y;
              d3 =  left.z * right.x;
              d4 = -left.x * right.z;
              ans.y =  d1+ d2+ d3+ d4;

              d1 =  left.t * right.z;
              d2 =  right.t * left.z;
              d3 =  left.x * right.y;
              d4 = -left.y * right.x;
              ans.z =  d1+ d2+ d3+ d4;

              return ans;
}

//// Make Rotational quaternion
quaternion MakeRotationalQuaternion(double radian, double AxisX, double AxisY, double AxisZ)
{
              quaternion ans;
              double norm;
              double ccc, sss;

              ans.t = ans.x = ans.y = ans.z = 0.0;

              norm = AxisX *  AxisX +  AxisY *  AxisY +  AxisZ *  AxisZ;
              if(norm <= 0.0) return ans;

              norm = 1.0 / sqrt(norm);
              AxisX *= norm;
              AxisY *= norm;
              AxisZ *= norm;

              ccc = cos(0.5 * radian);
              sss = sin(0.5 * radian);

              ans.t = ccc;
              ans.x = sss * AxisX;
              ans.y = sss * AxisY;
              ans.z = sss * AxisZ;

              return ans;
}

//// Put XYZ into  quaternion
quaternion PutXYZToQuaternion(double PosX, double PosY, double PosZ)
{
              quaternion ans;

              ans.t = 0.0;
              ans.x = PosX;
              ans.y = PosY;
              ans.z = PosZ;

              return ans;
}

///// main
int main()
{
              double px, py, pz;
              double ax, ay, az, th;
              quaternion ppp, qqq, rrr;

              cout << "Point Position (x, y, z) " << endl;
              cout << "  x = ";
              cin >> px;
              cout << "  y = ";
              cin >> py;
              cout << "  z = ";
              cin >> pz;
              ppp = PutXYZToQuaternion(px, py, pz);

              while(1) {
                            cout << "\nRotation Degree ? (Enter 0 to Quit) " << endl;
                            cout << "  angle = ";
                            cin >> th;
                            if(th == 0.0) break;

                            cout << "Rotation Axis Direction ? (x, y, z) " << endl;
                            cout << "  x = ";
                            cin >> ax;
                            cout << "  y = ";
                            cin >> ay;
                            cout << "  z = ";
                            cin >> az;


                            th *= 3.1415926535897932384626433832795 / 180.0; /// Degree -> radian;

                            qqq = MakeRotationalQuaternion(th, ax, ay, az);
                            rrr = MakeRotationalQuaternion(-th, ax, ay, az);

                            ppp = Kakezan(rrr, ppp);
                            ppp = Kakezan(ppp, qqq);

                            cout << "\nAnser X = " << ppp.x
                                          <<  "\n      Y = " << ppp.y
                                          <<  "\n      Z = " << ppp.z << endl;

              }

              return 0;
}