虚数単位

虚数単位（きょすうたんい、）とは、2乗して になる数のことである。そのような数は2つだけあり、その内の一つを記号 を用いて表す（どちらかに特定することはできない）：
虚数単位 は の平方根の一つである。
 は実数でない。実数単位 , 虚数単位 は 上線型独立である。
実数体に虚数単位 を添加すると、四則演算ができる数の体系が得られる。この拡大体の元を複素数という。
虚数単位 は実数でないため、感覚的には存在しない数ととらえられがちであるが、実数 の直積集合の元として、実数の対（ハミルトンの定義）、行列表現、多項式環の剰余環などにより実現できる。
複素数平面では、虚数単位 は、直交座標表示すると に当たる数である。
複素数に を（左から）作用させると、複素数平面上で原点中心の 回転になる。特に、虚数単位 は、複素数平面上で実数単位 を原点中心に 回転させたものである。
虚数単位を で表したのはオイラーで、1770年頃である。 はラテン語の "imaginarius" の頭文字から採られている。
なお、文字 が虚数単位以外の意味（電流など）として使われる場合に、重複を避けるべく など別の文字で虚数単位を表すことがある。
積の交換法則などが成り立たないことを許容すると、相異なる3個以上の虚数単位からなる数の体系を考えることができる。3個の虚数単位（四元数）の場合は formula_2, 7個以上の虚数単位の組には formula_3 といったように一つずつ添字を付けて表すことが多い。
定義.
虚数単位 とは、二次方程式 の解の一つのことである：
二次方程式 の解は、 より、。ゆえに、虚数単位の値の指定は、互いに反数である2つの値の違いでしかない。
虚数単位 は の平方根の一つであり、1の原始4乗根でもある。
虚数単位 は実数でない。実数単位 , 虚数単位 は実数 上線型独立である。
 以外の負の数の平方根の値は、虚数単位 を用いて、次により指定する：
実数体に虚数単位 を添加して得られる拡大体の元（要素）を複素数という。特に実数でない複素数を虚数という。
虚数単位 の導入は、実係数の三次方程式が相異なる 3 個の実数解を持つ場合、係数の加減乗除と実冪根では解が表せず（還元不能）、負の数の平方根を取ることが必要になることが分かる過程で行われていった。
複素数全体 に、さらに複素数でない新たな虚数単位 を添加した体の元を四元数という。このとき、 とおくと、 も虚数単位である。すなわち を満たす。この をそのまま虚数単位とすることもできるが、複素数体の場合に を と置き直しても同じ構造であるのと同じように、四元数体 H においても、虚数単位を取り直すことができる。すなわち、R の正規直交基底を一組選び、
によって写した像を新たに とおいて虚数単位としてもよい。基底を左手系に取ると となってしまうので、数学的な必然性はないが、慣習として右手系が選ばれる。
つまり虚数単位は、複素数・四元数の範囲を、実数部分と虚数部分に分けた時の、後者の方の基本単位である。八元数・十六元数はさらに多くの虚数単位を持つ。
負の数の平方根を用いない表現.
虚数は、16世紀のイタリアで、三次方程式を解く過程で発見された。
1637年、ルネ・デカルトは、複素数の虚部を ""（「想像上の数」）と名付けた。負の数でさえあまり認められていない時代に、実数直線上にない数の導入には懐疑的であった。
1770年頃、オイラーは虚数単位を と表した。 はラテン語の "imaginarius" の頭文字から採られている。
直積集合、剰余環などの概念により、負の数の平方根を用いない複素数の構成ができる。
ハミルトンの定義.
実数体 の直積集合 に和、積を
で入れると、 は複素数 に対応する。この対応で、虚数単位 は である。
四元数 は の元に対応し、実数単位 , 3個の虚数単位 は の正規直交基底に対応する。
多項式環からの構成.
実数体 上の多項式環 に対して、 で割った剰余環 は、複素数体 と体同型である。
この対応で、虚数単位は同値類 である。
行列表現.
複素数を 上の作用と見ると、複素数は 上での一次変換に対応し、その一次変換の表現行列に対応する。この対応より、虚数単位は実二次正方行列
に対応する。このとき （ は 2 次単位行列）である。
四元数についても同様に、四元数体 における積を に対して引き起こされる一次変換と見なすことにより
という三つの虚数単位の行列表現を考えることができる。ここで formula_8 はパウリ行列である。また、 と見なすのでなく と見なせば、実次正方行列として表現することもできる。詳しくは四元数の項を参照されたい。
行列の積は結合的であるので、八元数や十六元数は（結合法則を満たさないため）行列表現できない。
虚数単位の演算.
 を整数、 をネイピア数とする。