複素平面

複素平面

数学において、複素平面（ふくそへいめん、テンプレート:Lang-de-short, テンプレート:Lang-en-short）あるいは数平面（すうへいめん、テンプレート:Lang-de-short）、テンプレート:Mvar-平面とは、複素数 テンプレート:Math2 を直交座標 テンプレート:Math に対応させた直交座標平面のことである。複素数の実部を表す軸を実軸 (real axis) （実数直線）、虚部を表す軸を虚軸 (imaginary axis) という。

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

英称 complex plane の訳として複素数平面と呼ぶことも少なくないが、大学以上の数学書では『複素平面』または『ガウス平面』の方が〔複素数平面よりも〕圧倒的に主流であるとの見解がある。しかし、接頭辞「複素—」を「係数体を複素数体とする」という意味に解釈すると、複素数を成分とする「平面」という意味になり、テンプレート:Math（実部と虚部に分けると実4次元線形空間）テンプレート:Efn（二次元複素解析空間）を指すので、文脈によってどちらを指しているかは注意が必要である。1997年以降、日本の高等学校の学習指導要領では「複素数平面」が用いられている。

概観

複素数 テンプレート:Math2（テンプレート:Math2, テンプレート:Mvar は実数）に テンプレート:Math（テンプレート:Mvar は実数）を掛けると、テンプレート:Mvar の偏角が テンプレート:Mvar 増える。このことから、虚数単位 テンプレート:Math2 は、実数直線における実数単位 テンプレート:Math を原点中心、反時計回りに テンプレート:Math 回転した位置にあると考えることができる。そこで、実数直線を拡張し、実軸と虚軸からなる座標平面を導入すると、複素数の演算が幾何学的な操作に対応し、見通しが良くなる。この平面を複素平面という。複素平面では、複素数の実部、虚部が点（位置ベクトル）のそれぞれ テンプレート:Mvar座標（テンプレート:Mvar成分）、テンプレート:Mvar座標（テンプレート:Mvar成分）に対応する。

絶対値は、複素平面においては、その複素数が表す点と原点 テンプレート:Math の距離に等しい。複素共役は、実軸対称に当たる。

複素数 テンプレート:Mvar を直交座標表示すると、テンプレート:Math2（テンプレート:Math2 は実数）となり、加法・減法・テンプレート:仮リンク は、幾何学的には平面上の平行移動および原点中心のテンプレート:仮リンクに対応する。テンプレート:Mvar を極形式表示すると、テンプレート:Math2（テンプレート:Math2, テンプレート:Mvar は実数）となり、ド・モアブルの定理より、乗法・除法・冪乗は原点中心の テンプレート:Mvar 回転に対応する。

複素数を、複素数への左からのテンプレート:Efn作用と考えると、平面 テンプレート:Math 上での原点を動かさない反転や回転を含む線型変換（一次変換）を引き起こす。この一次変換の表現行列は、複素数の実二次正方行列としての実現と考えることができる。

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

導入

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

空間としての複素平面

複素平面の導入により、複素数全体 テンプレート:Mathbf には幾何学的な意味づけができる。

線形空間

複素平面は、実数体 テンプレート:Mathbf 上の2次元線形空間である。テンプレート:Math は、複素平面の基底である。

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

係数体を複素数体 テンプレート:Mathbf とすると、テンプレート:Mathbf は複素「直線」（次元 テンプレート:Math）である。

距離空間

複素平面 テンプレート:Math は、距離函数

$d(z_1,z_2)=|z_1-z_2|(z_1,z_2\in ℂ)$

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

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

コンパクト化

複素全体 テンプレート:Mathbf に無限遠点を付け加えるとコンパクト空間 テンプレート:Math になる（1点コンパクト化）。テンプレート:Math は2次元球面 テンプレート:Math に同相である。この2次元球面をリーマン球面という。 テンプレート:For2 係数体を テンプレート:Mathbf と見た場合、 テンプレート:Mathbf は複素直線と呼ばれ、テンプレート:Math は複素射影直線と呼ばれる。

複素数の積と回転

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

複素数 テンプレート:Math2（テンプレート:Math2 は実数）に対して、直交座標表示 テンプレート:Math の極座標表示を テンプレート:Math テンプレート:Math2 とすると、テンプレート:Math2 より、

$z=r(\cos \theta +i\sin \theta )$

と表すことができる。この右辺の表示式を複素数 テンプレート:Mvar の極形式 (polar form) と呼ぶ。

テンプレート:Mvar は テンプレート:Mvar の絶対値 $|z|=\sqrt{x^2+y^2}$ に等しく、テンプレート:Mvar を テンプレート:Mvar の偏角 (argument) と呼び、記号で テンプレート:Math で表す。

$\theta =\arg z=\arctan \frac{y}{x}(z\ne 0)$

（テンプレート:Mvar は テンプレート:Math の整数倍の差を除いて決まり、一つの値ではない。一つの値に決める場合、テンプレート:Mvar の範囲を区間 テンプレート:Math2 などに制限する。この区間を偏角の主値といい、値域を制限した テンプレート:Math を、大文字のAを使って テンプレート:Math で表す）

オイラーの公式 テンプレート:Math2 を使うと、極形式は

$z=r{e}^{i\theta }$

と簡単に記述できる。

2つの複素数 テンプレート:Math2 の積 テンプレート:Mvar を計算するのに、テンプレート:Math2 を極形式表示し

テンプレート:Math,

テンプレート:Math

とすると、三角関数の加法定理：

テンプレート:Math

テンプレート:Math

より、

$zw=rs\{\cos (\alpha +\beta )+i\sin (\alpha +\beta )\}$

となり、テンプレート:Mvar の極形式が得られる。ゆえに

$|zw|=|z||w|$

$\arg zw\equiv \arg z+\arg w(\mathrm{mod}2\pi )$

となり、積 テンプレート:Mvar は、複素平面において、テンプレート:Mvar を原点中心に テンプレート:Math 回転、テンプレート:Math 倍に相似拡大して得られる点だと分かる。

特に、絶対値が テンプレート:Math の複素数を掛けることは、複素数平面において原点中心の回転を施すことと同等であると分かる。

参考文献

• テンプレート:Cite book 第一章: 複素数（特に §3: 数平面）

関連項目

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

外部リンク

• テンプレート:MathWorld
• テンプレート:Nlabテンプレート:En icon
• テンプレート:PlanetMath
• テンプレート:ProofWikiテンプレート:En icon