大家好,欢迎来到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的乘法表如下:
从中可以看出,乘法既无交换律,亦无结合律,比如$(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