分解型複素数

分解型複素数とは、実数と$j(j^{2}=+1)$の組み合わせ(和もしくは差)で表される数である。 分裂複素数やミュゼ数など多くの別名をもつ。

概要

分解型複素数を$z$とすると、$z=a+bj$($a,b$は実数、$j(j^{2}=+1)$は実数ではない)で表される。

分解型複素数平面

分解型複素数を座標で表したのが分解型複素数平面である。その平面上で

$zz^{*}=1$

を単位円とする。$z=a+bj$の共役の定義$z^{*}=a-bj$から

$zz^{*}=a^{2}=1$

なので、単位円は

$a^{2}-b^{2}=1$

という2直線になり、単位円と言っておきながら標準形の双曲線、という直感とは異なる結果になる。

四則計算

$a,b,c,d$を実数とし、$j$を虚数単位(?)とする。

$(a+bj)+(c+dj)=(a+c)+(b+d)j$

$(a+bj)-(c+dj)=(a-c)+(b-d)j$

$(a+bj)\times (c+dj)=(ac+bd)+(ad+bc)j$

${\frac {a+bj}{c+dj}}={\frac {(ac-bd)+(-ad+bc)j}{c^{2}-d^{2}}}$(ただし、$c\neq d$かつ$c\neq -d$)

行列表現

行列を用いると分解型複素数は、

$j={\begin{pmatrix}0&1\\1&0\\\end{pmatrix}},a+bj={\begin{pmatrix}a&b\\b&a\\\end{pmatrix}}$

と表現することができる。 分解型複素数の和と積は、通常の行列の和と行列の積によって計算することができ、両演算は可換かつ結合的である。
差は和と同様であり、商は逆行列との積となる。逆数や除法が定義できるかの条件は、逆行列が存在するかの条件と対応する。
絶対値は対応する行列の行列式の値である。

応用

ローレンツ変換

分解型複素数は双曲的回転によって基準系間の速度変化をよく表していたため、 時空平面におけるローレンツ変換や空間の相対性を記述するものに応用された。

オイラーの公式

複素数でのオイラーの公式の分解型複素数に相当する式

$e^{j\theta }=\cosh(\theta )+j\sinh(\theta )$

が成立する。
これは、複素数では$i^{2}=-1$に由来する符号の変化が三角関数のテイラー展開にあったのに対して、 分解型複素数では$j^{2}=+1$に由来する符号が同一であることが双曲線関数のテイラー展開にあうと考えると分かりやすい。

名称

分解型複素数は歴史上、以下のような多くの名称で呼ばれてきた。

• 分○○系
  • 分解型複素数
  • 分裂複素数

• 双○○系
  • 双数
  • 双曲数
  • 双曲複素数
  • 双曲型複素数

• ○○複素数形
  • 反複素数
  • 異常複素数

• 難しい系
  • 当惑数
  • 複雑数

• その他
  • ミュゼ数
  • ローレンツ数
  • 実テッサリン
  • 代数的運動子
  • 二重数

ただし、二重数やローレンツ数については別の用法もあり、混乱するので使わない方がベターだろうか。 (異なる用法では、二重数は別の二元数にあり、ローレンツ数はローレンツ定数やヴィーデマン‐フランツ定数とも呼ばれる金属や半導体の物性値である。)

関連項目

• 複素数
• 二重数
• 分解型四元数
• 分解型双四元数
• 分解型八元数