这是一篇会不断补充、完善的学习笔记。
超复数 hypercomplex number
超复数是一种推广的复数。哈密顿把复数加以推广,引进了四元数。这种推广了的复数,就是一种超复数。
结合普通的复数,很容易理解以下内容。
1 定义
A
=
a
0
+
a
1
i
+
a
2
j
+
a
3
k
A=a_0+a_1i+a_2j+a_3k
A=a0+a1i+a2j+a3k是一个超复数。
a
=
∣
A
∣
=
(
a
0
2
+
a
1
2
+
a
2
2
+
a
3
2
)
1
/
2
a=|A|=(a_0^2+a_1^2+a_2^2+a_3^2)^{1/2}
a=∣A∣=(a02+a12+a22+a32)1/2称为超参数
A
A
A的模。
i
,
j
,
k
i,j,k
i,j,k称为超参数
A
A
A的第一、第二、第三维虚单位。
2 相关性质
2.1 超复数相等
设两个超复数
A
=
a
0
+
a
1
i
+
a
2
j
+
a
3
k
A=a_0+a_1i+a_2j+a_3k
A=a0+a1i+a2j+a3k和
B
=
b
0
+
b
1
i
+
b
2
j
+
b
3
k
B=b_0+b_1i+b_2j+b_3k
B=b0+b1i+b2j+b3k。
(1)
A
=
B
⇔
a
n
=
b
n
(
n
=
0
,
1
,
2
,
3
)
A=B\Leftrightarrow a_n=b_n \ (n=0,1,2,3)
A=B⇔an=bn (n=0,1,2,3)
(2)
m
(
a
0
+
a
1
i
+
a
2
j
+
a
3
k
)
=
m
a
0
+
m
a
1
i
+
m
a
2
j
+
m
a
3
k
m(a_0+a_1i+a_2j+a_3k)=ma_0+ma_1i+ma_2j+ma_3k
m(a0+a1i+a2j+a3k)=ma0+ma1i+ma2j+ma3k,
m
m
m为实数。
2.2 共轭超复数
设超复数 A = a 0 + a 1 i + a 2 j + a 3 k A=a_0+a_1i+a_2j+a_3k A=a0+a1i+a2j+a3k, A ˉ = a 0 − a 1 i − a 2 j − a 3 k \bar{A}=a_0-a_1i-a_2j-a_3k Aˉ=a0−a1i−a2j−a3k是 A A A的共轭超复数。
∣ A ∣ = ∣ A ˉ ∣ , A ˉ = B ˉ ⇔ a n = b n ( n = 0 , 1 , 2 , 3 ) |A|=|\bar{A}|, \bar{A}=\bar{B}\Leftrightarrow a_n=b_n \ (n=0,1,2,3) ∣A∣=∣Aˉ∣,Aˉ=Bˉ⇔an=bn (n=0,1,2,3)
2.3 乘法法则
两个超复数 A = a 0 + a 1 i + a 2 j + a 3 k A=a_0+a_1i+a_2j+a_3k A=a0+a1i+a2j+a3k和 B = b 0 + b 1 i + b 2 j + b 3 k B=b_0+b_1i+b_2j+b_3k B=b0+b1i+b2j+b3k的积
A
B
=
[
a
0
+
a
1
i
+
a
2
j
+
a
3
k
]
[
b
0
+
b
1
i
+
b
2
j
+
b
3
k
]
=
⋯
=
a
0
b
0
−
a
1
b
1
+
(
a
0
b
1
+
b
0
a
1
)
i
\begin{aligned} AB&=[a_0+a_1i+a_2j+a_3k][b_0+b_1i+b_2j+b_3k] \\ &=\cdots \\ &=a_0b_0-a_1b_1+(a_0b_1+b_0a_1)i \end{aligned}
AB=[a0+a1i+a2j+a3k][b0+b1i+b2j+b3k]=⋯=a0b0−a1b1+(a0b1+b0a1)i
即常规复数乘积。
3 三角表示式
设超复数
A
=
a
0
+
a
1
i
+
a
2
j
+
a
3
k
A=a_0+a_1i+a_2j+a_3k
A=a0+a1i+a2j+a3k称
u
,
v
,
w
u,v,w
u,v,w为
A
A
A的第一、第二、第三角。
a
0
=
a
cos
u
cos
v
cos
w
a_0=a\cos u\cos v\cos w
a0=acosucosvcosw,
a
1
=
a
cos
u
cos
v
sin
w
a_1=a\cos u\cos v\sin w
a1=acosucosvsinw,
a
2
=
a
cos
u
sin
v
a_2=a\cos u\sin v
a2=acosusinv,
a
3
=
a
sin
u
a_3=a\sin u
a3=asinu。
A = a 0 + a 1 i + a 2 j + a 3 k = ( a , u , v , w ) = a ( cos u cos v cos w + i cos u cos v sin w + j cos u sin v + k sin u ) \begin{aligned} A&=a_0+a_1i+a_2j+a_3k \\ &=(a,u,v,w) \\ &=a(\cos u\cos v\cos w+i\cos u\cos v\sin w+j\cos u\sin v+k\sin u) \end{aligned} A=a0+a1i+a2j+a3k=(a,u,v,w)=a(cosucosvcosw+icosucosvsinw+jcosusinv+ksinu)
一些结论
设两超复数
A
=
(
a
,
u
1
,
v
1
,
w
1
)
,
B
=
(
b
,
u
2
,
v
2
,
w
2
)
A=(a,u_1,v_1,w_1),B=(b,u_2,v_2,w_2)
A=(a,u1,v1,w1),B=(b,u2,v2,w2),实数
m
m
m,则
(1)
m
(
a
,
u
1
,
v
1
,
w
1
)
=
(
m
a
,
m
u
1
,
m
v
1
,
m
w
1
)
m(a,u_1,v_1,w_1)=(ma,mu_1,mv_1,mw_1)
m(a,u1,v1,w1)=(ma,mu1,mv1,mw1)
(2)
(
a
,
u
1
,
v
1
,
w
1
)
(
b
,
u
2
,
v
2
,
w
2
)
=
(
a
b
,
u
1
+
u
2
,
v
1
+
v
2
,
w
1
+
w
2
)
(a,u_1,v_1,w_1)(b,u_2,v_2,w_2)=(ab,u_1+u_2,v_1+v_2,w_1+w_2)
(a,u1,v1,w1)(b,u2,v2,w2)=(ab,u1+u2,v1+v2,w1+w2)
(3)
(
a
,
u
1
,
v
1
,
w
1
)
/
(
b
,
u
2
,
v
2
,
w
2
)
=
(
a
/
b
,
u
1
−
u
2
,
v
1
−
v
2
,
w
1
−
w
2
)
(a,u_1,v_1,w_1)/(b,u_2,v_2,w_2)=(a/b,u_1-u_2,v_1-v_2,w_1-w_2)
(a,u1,v1,w1)/(b,u2,v2,w2)=(a/b,u1−u2,v1−v2,w1−w2)
(4)
(
a
,
u
1
,
v
1
,
w
1
)
n
=
(
a
n
,
n
u
1
,
n
v
1
,
n
w
1
)
(a,u_1,v_1,w_1)^n=(a^n,nu_1,nv_1,nw_1)
(a,u1,v1,w1)n=(an,nu1,nv1,nw1)
(5) 设超复数
A
=
(
a
,
u
,
v
,
w
)
A=(a,u,v,w)
A=(a,u,v,w)的共轭超复数
A
ˉ
=
(
a
,
−
u
,
−
v
,
−
w
)
\bar{A}=(a,-u,-v,-w)
Aˉ=(a,−u,−v,−w),则
(
A
ˉ
)
n
(\bar{A})^n
(Aˉ)n是
A
n
A^n
An的共轭超复数。
(6) 设超复数
A
=
(
a
,
u
,
v
,
w
)
A=(a,u,v,w)
A=(a,u,v,w),
f
(
A
)
=
c
0
+
c
1
A
+
⋯
+
c
n
A
n
f(A)=c_0+c_1A+\cdots+c_nA^n
f(A)=c0+c1A+⋯+cnAn,
c
j
(
j
=
0
,
1
,
⋯
n
)
c_j (j=0,1,\cdots n)
cj(j=0,1,⋯n)为实数,则
f
(
A
ˉ
)
f(\bar{A})
f(Aˉ)是
f
(
A
)
f(A)
f(A)的共轭超复数。
对于(6),有一种简单理解方法:我们可以将
A
ˉ
\bar{A}
Aˉ带入
f
(
A
)
f(A)
f(A)中,可以得到:
f
(
A
)
=
c
0
+
c
1
A
+
⋯
+
c
n
A
n
=
c
0
+
c
1
(
a
,
u
,
v
,
w
)
+
⋯
+
c
n
(
a
n
,
n
u
,
n
v
,
n
w
)
\begin{aligned} f(A)&=c_0+c_1A+\cdots+c_nA^n \\ &=c_0+ c_1(a,u,v,w)+\cdots+c_n(a^n,nu,nv,nw) \\ \end{aligned}
f(A)=c0+c1A+⋯+cnAn=c0+c1(a,u,v,w)+⋯+cn(an,nu,nv,nw)
f
(
A
ˉ
)
=
c
0
+
c
1
A
ˉ
+
⋯
+
c
n
(
A
ˉ
)
n
=
c
0
+
c
1
(
a
,
−
u
,
−
v
,
−
w
)
+
⋯
+
c
n
(
a
n
,
−
n
u
,
−
n
v
,
−
n
w
)
\begin{aligned} f(\bar{A})&=c_0+c_1\bar{A}+\cdots+c_n(\bar{A})^n \\ &=c_0+ c_1(a,-u,-v,-w)+\cdots+c_n(a^n,-nu,-nv,-nw) \\ \end{aligned}
f(Aˉ)=c0+c1Aˉ+⋯+cn(Aˉ)n=c0+c1(a,−u,−v,−w)+⋯+cn(an,−nu,−nv,−nw)
不难看出,其四元组绝对值完全对称, 三个角度互为相反数。做空间加法后, f ( A ) f(A) f(A)、 f ( A ˉ ) f(\bar{A}) f(Aˉ)的关系和 A A A、 A ˉ \bar{A} Aˉ相似,即为共轭关系。