虚数単位

虚数単位 i とは、二次方程式 x² + 1 = 0 の解の一つのことである：

${\displaystyle i^{2}=-1}$ 

二次方程式 x² + 1 = 0 の解は、(x + i)(x − i) = 0 より、x = ±i。ゆえに、虚数単位の値の指定は、互いに反数である2つの値の違いでしかない。

虚数単位 i は −1 の平方根の一つであり、1の原始4乗根でもある。

虚数単位 i は実数でない。実数単位 1, 虚数単位 i は実数 R 上線型独立である。

−1 以外の負の数の平方根の値は、虚数単位 i を用いて、次により指定する：

a > 0 に対して、√ai

実数体に虚数単位 i を添加して得られる拡大体の元（要素）を複素数という。特に実数でない複素数を虚数という。

虚数単位 i の導入は、実係数の三次方程式が相異なる 3 個の実数解を持つ場合、係数の加減乗除と実冪根では解が表せず（還元不能）、負の数の平方根を取ることが必要になることが分かる過程で行われていった。

複素数全体 C に、さらに複素数でない新たな虚数単位 j を添加した体の元を四元数という。このとき、ij = k とおくと、k も虚数単位である。すなわち k² = −1 を満たす。この i, j, k をそのまま虚数単位とすることもできるが、複素数体の場合に −i を i と置き直しても同じ構造であるのと同じように、四元数体 H においても、虚数単位を取り直すことができる。すなわち、R³ の正規直交基底を一組選び、

${\displaystyle f:\mathbb {R} ^{3}\to \mathbb {H} \quad ((a,b,c)\mapsto ai+bj+ck)}$ 

によって写した像を新たに i, j, k とおいて虚数単位としてもよい。基底を左手系に取ると ij = −k となってしまうので、数学的な必然性はないが、慣習として右手系が選ばれる。

つまり虚数単位は、複素数・四元数の範囲を、実数部分と虚数部分に分けた時の、後者の方の基本単位である。八元数・十六元数はさらに多くの虚数単位を持つ。

虚数は、16世紀のイタリアで、三次方程式を解く過程で発見された。

1637年、ルネ・デカルトは、複素数の虚部を "仏: Nombre imaginaire"（「想像上の数」）と名付けた。負の数でさえあまり認められていない時代に、実数直線上にない数の導入には懐疑的であった。

1770年頃、オイラーは虚数単位を i と表した^[1]。i はラテン語の imaginarius の頭文字から採られている^[2]。

直積集合、剰余環などの概念により、負の数の平方根を用いない複素数の構成ができる。

実数体 R の直積集合 R² に和、積を

(a, b) + (c, d) = (a + c, b + d)

(a, b) × (c, d) = (ac − bd, ad + bc)

で入れると、(a, b) は複素数 a + bi に対応する。この対応で、虚数単位 i は (0, 1) である。

四元数 は R⁴ の元に対応し、実数単位 1, 3個の虚数単位 i, j, k は R⁴ の正規直交基底に対応する。

実数体 R 上の多項式環 R[X] に対して、X² + 1 で割った剰余環 R[X]/(X² + 1) は、複素数体 C と体同型である。

この対応で、虚数単位は同値類 [X] である。

複素数を C 上の作用と見ると、複素数は R² 上での一次変換に対応し、その一次変換の表現行列に対応する。この対応より、虚数単位は実二次正方行列

${\displaystyle J={\begin{pmatrix}0&-1\\1&0\end{pmatrix}}}$ 

に対応する。このとき J² = −E（E は 2 次単位行列）である。

四元数についても同様に、四元数体 H における積を C² に対して引き起こされる一次変換と見なすことにより

${\displaystyle J_{1}=i\sigma _{3}={\begin{pmatrix}i&0\\0&-i\end{pmatrix}},\quad J_{2}=i\sigma _{2}={\begin{pmatrix}0&1\\-1&0\end{pmatrix}},\quad J_{3}=i\sigma _{1}={\begin{pmatrix}0&i\\i&0\end{pmatrix}}}$ 

という三つの虚数単位の行列表現を考えることができる。ここで ${\displaystyle \sigma _{k}\ (k=1,2,3)}$  はパウリ行列である。また、C² と見なすのでなく R⁴ と見なせば、実4次正方行列として表現することもできる。詳しくは四元数の項を参照されたい。

行列の積は結合的であるので、八元数や十六元数は（結合法則を満たさないため）行列表現できない。

n を整数、e をネイピア数とする。

虚数単位の累乗

${\displaystyle i^{\,n}={\begin{cases}1&{\text{if }}n\equiv 0{\pmod {4}}\\i&{\text{if }}n\equiv 1{\pmod {4}}\\-1&{\text{if }}n\equiv 2{\pmod {4}}\\-i&{\text{if }}n\equiv 3{\pmod {4}}\end{cases}}}$ 

虚数単位 i は、C 上の作用としては複素数平面上での原点中心の 90° 回転に当たる。

虚数単位の虚数単位乗

${\displaystyle i^{\,i}=e^{-\left({\frac {1}{\,2\,}}+2n\right)\pi }}$ ^[3]

主値での値は i ⁱ = e^−π/2 = 0.20787957…（オンライン整数列大辞典の数列 A049006）

1の虚数単位乗

${\displaystyle 1^{i}=e^{-2n\pi }}$ ^[4]

虚数単位の自然対数

${\displaystyle \log i=\left({\frac {1}{\,2\,}}+2n\right)\pi i}$ ^[5]

虚数単位の逆数

${\displaystyle {\frac {1}{i}}=-i}$ 

虚数単位の平方根(1の原始8乗根)

 

${\displaystyle {\sqrt {i}}=\pm {\frac {\sqrt {2}}{2}}(1+i)=\pm {\frac {1+i}{\sqrt {2}}}}$ 

虚数単位の立方根(1の原始12乗根)

 

${\displaystyle {\sqrt[{3}]{i}}=-i\,,\,{\frac {\pm {\sqrt {3}}+i}{2}}}$ 

ここまで複素数の虚数単位について述べてきた。複素数を一般化した二元数、分解型複素数や二重数についても、 j² = +1 や ε² = 0 を満たす（実数でない）要素を虚数単位ということもある。

• ポール・J・ナーイン 著、久保儀明 訳『虚数の話』好田順治（監修）、青土社、2008年7月。ISBN 978-4791763962。 

• 数学定数
• 冪根
• iのi乗
• オイラーの等式