第三章 2. 超复数数系,四元数,八元数,十六元数[通俗易懂]

第三章 2. 超复数数系,四元数,八元数,十六元数[通俗易懂]一、超复数数系从实数扩展到复数,实际上是从实数轴扩张到复平面,即从一元数扩展到二元数。那么我们能够扩展到更高维的空间哪?数学家给了我们答案,我们可以引进$2^{n}$元数。当$n=0,1$时,分别对应实数和复数。当$n=2,3,4$分别对应四元数(Hamilton代数),八元数(Cayley代数)

大家好,欢迎来到IT知识分享网。

一、超复数数系

 

  从实数扩展到复数,实际上是从实数轴扩张到复平面,即从一元数扩展到二元数。那么我们能够扩展到更高维的空间哪?数学家给了我们答案,我们可以引进$2^{n}$元数。当$n=0,1$时,分别对应实数和复数。当$n=2,3,4$分别对应四元数(Hamilton代数),八元数(Cayley代数),以及十六元数(Clifford代数)。它们统称为超复数

  当$n\geq 1$时,我们就已经无法比较数的大小,即有序性消失。下面我们就$n=2,3,4$的情况分别讨论。

 

二、 四元数系$Q(R)$

 

  四元数系是第一个放弃乘法交换律的数系。它由四组基元定义。

  令$Q(R)=\{\alpha|\alpha=a+b\hat i+c\hat j+d\hat k,\,a,b,c,d\in\mathbb{R}\}$,用自然方式定义加法,以及元素与实数的数乘运算,而乘法规定为用分配律去展开,并且基元的乘法运算满足

  ${\hat i}^2={\hat j}^2={\hat k}^2=-1,\,\hat i\hat j=-\hat j\hat i=\hat k,\,\hat j\hat k=-\hat k\hat j=\hat i,\,\hat k\hat i=-\hat i\hat k=\hat j$.

  从基元的乘法可以看出,四元数的乘法是不对易的,因此$Q(R)$是一个非Abel域。注意准确地讲,如果乘法非Abel,那么数系不是域。

  四元数可以用Pauli矩阵表示

$$ \sigma_x=\begin{pmatrix} 0&1\\ 1&0\\ \end{pmatrix},\quad \sigma_y=\begin{pmatrix} 0&-i\\ i&0\\ \end{pmatrix},\quad \sigma_z=\begin{pmatrix} 1&0\\ 0&-1\\ \end{pmatrix}.$$

  可以得到$Q(R)$的一个矩阵实现

  $$1=E_2,\,\hat i=-i\sigma_x,\,\hat j=-i\sigma_y,\,\hat k=-i\sigma_z.$$

 

  四元数或Pauli矩阵在刚体转动中有广泛应用。刚体绕方向余弦$n=(\cos\alpha,cos\beta,\cos\gamma)$转动$\theta$的转动$R(n,\theta)$可以用四元数表示

  $$Q(n,\theta)=\cos\frac\theta 2+\sin\frac\theta 2(\cos\alpha\hat i+\cos\beta\hat j+\cos\gamma\hat k)$$.

  连续两次转动就是两个四元数相乘,注意四元数乘法非Abel,代表转动与顺序有关,这与事实相符。

 

三、 八元数系$\Omega$

 

  英国数学家Cayley推广了Hamilton的四元数系,得到了如下定义的八元数系。

$$\Omega=\{\alpha+\beta e|\alpha,\beta\in Q(R)\}=\{a_0+a_1i+a_2j+a_3k+a_4e+a_5ie+a_6je+a_7ke|a_i\in\mathbb{R}\}.$$

  这里$e$是新的基元,它与i,j,k的乘法表如下:

 

第三章 2. 超复数数系,四元数,八元数,十六元数[通俗易懂]

 

 

 

 

 

 

 

 

 

 

 

 

从中可以看出,乘法既无交换律,亦无结合律,比如$(e_1e_2)e_4=e_7,\,e_1(e_2e_4)=-e_7$.

 

四、 十六元数$\Gamma$

 

  十六元数系$\Gamma$,数学中成Clifford代数,物理中称为Dirac代数,满足Dirac方程。十六元数系可由Dirac矩阵$\gamma_\mu(\mu=1,2,3,4)$表示, 其中

$$\gamma_\mu^2=1,\,\gamma_\mu\gamma_\nu=-\gamma_\nu\gamma_\mu \,(\mu\neq\nu),$$

  那么考虑满足条件$u_i^2=1,u_iu_j=-u_ju_i\,(i\neq j)$的四个$u_1,u_2,u_3,u_4$,此时由$2^4$个基元:$1,u_i,u_iu_j,u_iu_ju_k,u_iu_ju_ku_l$, 记作$\gamma_A,\,A=1,2,…,16$. 那么这个代数系(Clifford代数)可表示为

$$\Gamma=\{X|X=\sum_{A=1}^{16}x_A\gamma_A, x_A\in \mathbb{R}\}$$.

免责声明:本站所有文章内容,图片,视频等均是来源于用户投稿和互联网及文摘转载整编而成,不代表本站观点,不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益,请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权,请联系删除,如若转载,请注明出处:https://yundeesoft.com/29166.html

(0)

相关推荐

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注微信