この節では複素数の代数構造について考察していく.
まず複素数について復習しよう.
任意の複素数 は一般に2つの実数 を用いて
と一意に表すことができる.
これは空間 (複素平面という)に2次元の直交座標を導入したと解釈できる.
あるいは極座標を使えば2つの実数 を用いて,
とも表せる.
複素数上の四則演算は以下のようにまとめられる: に対して加法と乗法は
どちらの演算も可換かつ結合法則を満たす.
単位元は実数と同じく と である.
加法の逆元は任意の に対して であり,乗法の逆元は に対して
が存在する.
これは複素数の表現の1つに過ぎない.
たとえば複素平面が二次元であるなら に基本ベクトル ,虚数単位 に を対応させればベクトルのように
と表せる.
複素平面上の点は通常の二次元平面と同じく と表記できる.
しかしこの表現では複素数の加法は定義しやすいが乗法が定義しにくい.
そこでベクトルの線型変換として複素数を表現できないかと考える.
ベクトルの実スカラー倍は に対して
で定義される.
これを単位行列 が作用しているとみることもできる.
実スカラー倍はベクトルの向きを変えずに大きさだけを変える変換である.
他方で虚数倍 については複素平面上で特殊な動きをする.
複素数 に虚数単位 をかけると へ移る.
つまり複素平面上で から へ移っている.
行列で書けば
ここに現れた行列を とおくと 倍は複素平面上の点に を作用しているとみることができる.
に気付けば は複素平面内の の回転行列でもある.
ゆえに虚スカラー倍はベクトルを だけ回転して大きさを変える変換である.
線型変換なので2種類の変換の線型和も同様に定義される.
つまり任意の複素数 を行列
に対応づけることができる.
この対応付けを写像 と表記して
とする.
単位行列は任意の行列と可換であり であることから の演算は閉じていて複素数の演算も保っている.
また または であれば なので逆行列
が存在し に対応づけられる.
すると となる.
の複素共役 については の符号を逆転すればよいから,転置行列
が対応する.
このときたしかに となる.
極座標表示 では と表せるから
となる.
のときは複素数 は複素平面上の単位円周上に存在する.
で表すとこれは角度 の二次元回転行列が対応している.
つまり円周上の点が回転という線型変換に対応することになる.
こうして複素数 の代数構造を線型変換に対応づけて理解することできた.
複素数に関しては2つの実数をそのまま計算に用いる方が簡便である.
しかしもっと複雑で抽象的な代数構造を考えたい場合にこのような置き換えは非常に有用である.
特に線型変換では線型代数学の道具が使えるためこちらの方が計算が簡単になることがある.