複素平面

数学において、複素平面あるいは数平面、z}}-平面とは、複素数 1=//z// = //x// + //iy//}} を直交座標 }} に対応させた直交座標平面のことである。複素数の実部を表す軸を実軸 、虚部を表す軸を虚軸  という。

1811年頃にガウスによって導入されたため、ガウス平面  とも呼ばれる。一方、それに先立つ1806年に Jean-Robert Argandも同様の手法を用いたため、アルガン図  とも呼ばれている。さらに、それ以前の1797年の Caspar Wesselの書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである。三者の名前をとってガウス・アルガン平面、ガウス・ウェッセル平面などとも言われる。

英称 complex plane の訳として複素数平面と呼ぶことも少なくなく、大学以上の数学書では『複素平面』または『ガウス平面』の方が〔複素数平面よりも〕圧倒的に主流であるとの見解がある。しかし、接頭辞「複素—」を「係数体を複素数体とする」という意味に解釈すると、複素数を成分とする「平面」という意味になり、Csupこの文脈で mathbfを指すので、文脈によってどちらを指しているかは注意が必要である。日本の高等学校の学習指導要領では現在は「複素数平面」が用いられている。

1. 概観
-----

複素数 //z// =}} //r//}}に cos⁡//β// + //i// sin⁡//β//}}を掛けると、z}} の偏角が β}} 増える。このことから、虚数単位 //i// =}} cos⁡sfrac は、実数直線における実数単位 1}} を原点中心、反時計回りに 90°}} 回転した位置にあると考えることができる。そこで、実数直線を拡張し、実軸と虚軸からなる座標平面を導入すると、複素数の演算が幾何学的な操作に対応し、見通しが良くなる。この平面を複素平面という。複素平面では、複素数の実部、虚部が点のそれぞれ x}}座標、y}}座標に対応する。

絶対値は、複素平面においては、その複素数が表す点と原点 O}} の距離に等しい。複素共役は、実軸対称に当たる。

複素数 z}} を直交座標表示すると、//z// =}} //x// + //yi//}}となり、加法・減法・スカラー倍 は、幾何学的には平面上の平行移動および原点中心の拡大縮小に対応する。z}} を極形式表示すると、//z// =}} //r//}}となり、ド・モアブルの定理より、乗法・除法・冪乗は原点中心の θ}} 回転に対応する。

複素数を、複素数への左からの左から掛けるとしたのは写像の記法との整合のためである。複素数の積は[[交換法則作用と考えると、平面 Rsup 上での原点を動かさない反転や回転を含む線型変換を引き起こす。この一次変換の表現行列は、複素数の実二次正方行列としての実現と考えることができる。

複素数の代数的演算により、ガウス平面上で平行移動と任意の一次変換が行えるから、したがって任意のアフィン変換を施すことが可能である。ここで、ガウス平面に無限遠点を付け加えて1点コンパクト化し、ガウス平面を拡張したリーマン球面上で考えると、複素数 //x// + //iy//}} はリーマン球面上の点 [//x// : //y// : 1]}} と見なせる。リーマン球面上のアフィン変換は一次分数変換であり、複素数をアフィン変換の表現行列として実現することもできる。

2. 導入
-----

歴史上、複素平面のアイデアをはじめて発表したのは、当時デンマークの支配下にあったノルウェー生まれの測量技師、Caspar Wesselだといわれている。Wesselは、虚数および複素数を測量技師の仕事に役立てるための研究を独自に行った。その結果、今でいう複素平面のアイデアにたどり着き、それを『方程式の解析的表現について』と題する論文にまとめて1799年に発表した。またその2年前の1797年には、同じ内容をデンマーク科学アカデミーに発表している。しかし、これらの発表はデンマーク語で行われたものだった。当時のヨーロッパではデンマーク語で書かれた文献が国外で広く読まれることは多くなく、それから100年もの間、日の目を見ることはなかった。彼のアイデアが社会に広く知れわたることになったのは、彼の死からはるか後の1899年、論文がフランス語に翻訳されたときのことだった。このときには既に、フランスの数学者Jean-Robert Argandやドイツの数学者カール・フリードリヒ・ガウスの発見したアイデアとして広く知られるようになっていた。とくにガウスは、Wesselより先に複素平面のアイデアにたどり着いていた可能性が高いとみられている。1796年、ガウスは正十七角形が定規とコンパスだけで作図できることを発見した。この作図には、複素数や複素平面を駆使しなければならない。この事実は、ガウスが少なくとも1796年の時点で複素数平面のアイデアにたどり着いていたことを示している。

3. 空間としての複素数平面
--------------

複素数平面の導入により、複素数全体 C}} には幾何学的な意味づけができる。

3.1. 線形空間
---------

複素数平面は、実数体 R}} 上の2次元線形空間である。}} は、複素数平面の基底である。

複素数の絶対値により、複素数平面は乗法的ノルム空間である。

係数体を複素数体 C}} とすると、C}} は複素「直線」である。

3.2. 距離空間
---------

複素数平面 C}} は、距離函数

について完備距離空間である。

この事実は、代数学の基本定理の証明に使われる。

3.3. コンパクト化
-----------

複素数全体 C}} に無限遠点を付け加えるとコンパクト空間 C ∪ mset になる。C ∪ mset は2次元球面 //S//sup に同相である。この2次元球面をリーマン球面という。 係数体を C}} と見た場合、 C}} は複素直線と呼ばれ、C ∪ mset は複素射影直線と呼ばれる。

4. 複素数の積と回転
-----------

複素数の乗除は、極形式表示し、ガウス平面上での幾何学的操作を考えると、見通しが良くなる。

複素数 //z// =}} //x// + //yi//}}に対して、直交座標表示 }} の極座標表示を }} }} とすると、//x// =}} //r// cos⁡//θ//, //y// =}} //r// sin⁡//θ//}} より、

と表すことができる。この右辺の表示式を複素数 z}} の極形式  と呼ぶ。

r}} は z}} の絶対値 に等しく、θ}} を z}} の偏角  と呼び、記号で arg⁡//z//}} で表す。

オイラーの公式 //esup を使うと、極形式は//

と簡単に記述できる。

2つの複素数 //z//, //w//}} の積 zw}} を計算するのに、//z//, //w//}} を極形式表示し

1=//z// = //r//}},とすると、三角関数の加法定理：

より、

となり、zw}} の極形式が得られる。ゆえに

となり、積 zw}} は、複素平面において、z}} を原点中心に arg⁡//w//}} 回転、abs 倍に相似拡大して得られる点だと分かる。

特に、絶対値が 1}} の複素数を掛けることは、複素数平面において原点中心の回転を施すことと同等であると分かる。

5. 注
----

5.1. 注釈
-------

5.2. 出典
-------

6. 参考文献
-------

和書 第一章: 複素数

7. 関連項目
-------

複素数
オイラーの公式
アイゼンシュタイン整数

8. 外部リンク
--------

urlname=complex+number#geometry_of_complex_numbers
urlname=Definition:Complex_Number/Complex_Plane