複素数

数学における複素数とは、2つの実数 //a//, //b//}} と虚数単位 //i// =}} sqrt を用いて

と表すことのできる数のことである[[カール・フリードリヒ・ガウス。1, //i//}} は実数体上線型独立であり、複素数は、係数体を実数とする、1, //i//}} の線型結合である。実数体 R}} 上の二次拡大環の元であるため、二元数の一つである。

複素数全体からなる集合を、太字の C}} あるいは黒板太字で ℂ}} と表す。C}} は可換体である。体論の観点からは、複素数体 C}} は、実数体 R}} に sqrt を添加して得られる拡大体である。代数学の基本定理により、複素数体は代数的閉体である。

複素数体はケーリー＝ディクソン代数の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。

複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数全体に通常の大小関係を入れることはできない。つまり、複素数体 C}} は順序体でない辞書式順序は全順序であるが、複素数に入れると math2。

数学での分野、概念や構成において、考えている体構造が複素数体であるとき、それを、それらの概念等の名称に、多くは接頭辞「複素-」を付けることで反映させる。例えば、複素解析、複素行列、複素多項式、複素リー代数など。

1. 概観
-----

1.1. 定義
-------

//i//sup を満たす数 i}} を虚数単位という。実数 1}} と i}} は実数体上で線型独立である。実数 //a//, //b//}} を係数として 1, //i//}} の線型結合で表される数 //a// + //bi//}} を複素数と呼ぶ1 と実数体上線型独立なベクトル mvar。

任意の実数 a}} は //a// + 0//i//}} と表せるので複素数である。//bi// =}} 0 + //bi// }} の形の複素数を純虚数と呼ぶ。

複素数 //z// =}} //a// + //bi// }} に対して、

a}} を z}} の実部  といい、Re, ℜ, Re //z//, ℜ //z//}} などで表す。b}} を z}} の虚部  といい、Im, ℑ, Im //z//, ℑ //z//}} などで表す。虚部とは実数「b}}」を指し複素数「bi}}」ではないことに注意。
虚部が 0}} でない、すなわち実数でない複素数のことを虚数という。
実部、虚部がともに整数のときガウス整数といい、その全体を Z[//i//]}} と書く。
実部、虚部がともに有理数のときガウス有理数といい、その全体を Q}} と表す。

1.2. 複素数平面
----------

複素数 //z// =}} //x// + //iy//}}は実数の対 }} に 1 : 1 に対応するから、複素数全体からなる集合 C}} は、//z// =}} //x// + //iy//}} を }} と見なすことにより座標平面と考えることができる。この座標平面を複素数平面という。カール・フリードリヒ・ガウスに因んでガウス平面、ジャン゠ロベール・アルガンに因んでアルガン図と呼ばれることもある。これと異なる語法として、C}} は複素数体上一次元のアフィン線型多様体であるので、複素直線とも呼ばれる。

複素数平面においては、x}}座標が実部、y}}座標が虚部に対応し、x}}軸を実軸 、y}}軸を虚軸  と呼ぶ。

複素数 //z//, //w//}} に対して

とすると、}} は距離空間となる。この距離は、座標平面におけるユークリッド距離に対応する。複素数平面は複素数の計算を視覚化でき、数直線の概念そのものを拡張した。

1.3. 複素数球面
----------

複素関数論においては、複素数平面 C}} を考えるよりも、無限遠点を付け加えて1点コンパクト化した C ∪ mset を考える方が自然であり、議論が透明になることもある。複素数球面またはリーマン球面と呼ばれ、以下に示すように2次元球面 //S//sup と同相である。無限遠点にも幾何的な意味を与えることができる。

複素数平面 C}} を、xyz}}座標空間内の xy}}平面とみなし、//z// ≥ 0}} に含まれ xy}}平面と原点で接する球面 //x//sup を考える。この球における原点の対蹠点  }} を北極と呼ぶことにする。任意の複素数 w}} に対し w}} と北極を結んだ線分はこの球面と、北極以外の一点で必ず交わり、それを //f//}} と書けば f}} は単射、連続である。f}} の像は、球面から北極を除いた部分である。また、//w// → ∞}} のとき //f// → }}である。そこで、f}} の定義域を C ∪ mset に拡張すると、//f// : C ∪ mset は同相写像になる。

この同相写像 f}} は、複素平面上の円を円に写し、複素平面上の直線を、無限遠点を通る円に写す。このことは、複素平面上の直線と円はほぼ同等であることを表している。

2. 基本的な性質
---------

2.1. 相等関係
---------

二つの複素数が等しいとは、それらの実部および虚部がそれぞれ等しいことである：

このことは、1, //i//}} が線型独立であることから示される。

2.2. 四則演算
---------

1= ±  =  + //i//}}
//n//, //m//}} は整数とする。

2.3. 複素共役
---------

複素数 //a// + //bi//}} に対して、虚部 b}} を反数にした複素数 //a// − //bi//}} を z}} の'//共役'//複素数といい、記号で overlineと表す。

z}} と //z//}} を複素共役あるいは単に共役という。

複素数の共役をとる複素関数 overline は環同型である。すなわち次が成り立つ。

複素共役は実数を変えない：

z}} が実数 逆に、C}} 上の環準同型写像で、実数を変えないものは、恒等写像か複素共役変換に限られる。

複素共役変換 overline は、C}} の全ての点で複素微分不可能である。

以下の性質が成り立つ。

z}} が実数 ⇔
z}} が純虚数 ⇔
1=overline
0}} 以外の複素数の逆数は、絶対値と共役で表せる複素数を拡張した四元数では、逆数はこの式で定義される：複素数が 0}} のときだけ偏角は不定  となる。

上記の定義で、負となる偏角の値に対しては 2//π//}} を加えることにすると、主値は [0, 2//π//)}} となる。

複素数 z}} が主値の端の値の近傍を連続的に変化するならば、偏角の値もまたその近傍で連続的に変化するように枝をとるものとして、それを単に arg //z// =}} arctan //sfrac のように書くこれは正確には適当なリーマン面を考えるべきであろうけれども、直観的には math2。//

2.4. 極形式の表示と記法
--------------

複素数 //z// =}} //x// + //yi//}}において、直交座標 }} に対応する極座標を }} }} とするとき、

と表すことができる。この表示式を極形式  という。r}} は z}} の絶対値、φ}} は z}} の偏角である。0}} を除いて、この表示は一意である。

極形式から元の直交座標を恢復するには、三角関数表示を展開すればよい。

オイラーの公式を用いれば、これを

と書くことができるし、cis函数を用いて

と書くこともある。

フェーザ表示

は電子工学において振幅 r}} と位相 φ}} を持つ正弦信号を表すのによく用いられる。

2.5. 極形式表示での乗除法
---------------

複素数の乗除・冪は、極形式表示をしてから行う方が、直交座標表示よりも、見通しがよくなる。2つの複素数の極形式を

1=//z//sub,とすると、積 //z//sub は、三角関数の加法定理：

により

となる。すなわち、積の絶対値は絶対値の積であり、積の偏角は偏角の和である。

//i//sup より、虚数単位 //i// =}} sqrt を掛けることは、複素数平面上で原点中心に反時計回りに直角回転させることである。ゆえに、虚数単位 i}} は、複素数平面上では、直交座標で }} の位置にある。

同様にして、商は

になる。

2.6. 偏角の計算規則
------------

偏角に関する等式 arg =}} arg + arg}} は、両辺の差が 2//π//}} の任意の整数倍であることを除いて成り立つ等式であることに注意しなければならない。

例えばにおいて、もし各項が任意の偏角をとるものとしてしまうと、1=arg = //θ// + 2//nπ//}}と書けば、右辺は 2//θ// + 4//nπ//}} だが左辺は 2//θ// + 2//mπ//}}となり厳密には等しくならない。それを明示するために合同式の記法を流用してしばしば

などとも書く。このように mod 2//π//}} に関して合同であるという理解は重要である。しかし、先述のように偏角をとるものと仮定すれば、2//π//}} の整数倍を加える不定性無く実際に等号が成り立つ。すなわち、三つの複素数 //zw//, //z//, //w//}} のそれぞれに対して独立に偏角をとるのではなく、ひとたび arg =}} arg + arg}} を満たすように偏角を一組選べば、z}} あるいは w}} を連続的に変化させるとき、arg}} も連続的に変化して、そのような三点の近傍において常に厳密な意味で等号が成立する木村。

この注意の下で以下が成り立つ：

1=arg(//zsup//偏角の計算法則は対数のそれとほぼ同じであるが、それは複素対数函数の虚部が偏角に等しいことに起因している。

2.7. ド・モアブルの定理
--------------

実数 θ}}, 整数 n}} に対して、

が成り立つ。オイラーの公式より

と表現することもできる。n}} が整数でないとき一般には成り立たない。

3. 性質と特徴付け
----------

3.1. 体構造
--------

複素数全体からなる集合 C}} は可換体になる。つまり、以下の事実が成り立つ。

演算が閉じている：任意の二つの複素数の和および積は再び複素数になる。
反数の存在：任意の複素数 z}} に加法逆元 −//z//}} が存在してそれもまた複素数である。
逆数の存在：任意の非零複素数に対して乗法逆元 sfrac が存在する。
さらにいくつかの法則を満足する。複素数 //z//sub に対して
和の交換法則：
和の結合法則：
積の交換法則：
積の結合法則：
分配法則：これらの性質は、実数全体からなる集合 R}} が可換体であるという事実の下、先に与えた基本的な和と積の定義式から証明することができる。

実数と異なり、虚数に通常の大小関係  はない。つまり、複素数体 C}} は順序体にはならない。これは、自乗すると負である数が存在することによる。

3.2. 代数的閉体
----------

代数学の基本定理より、複素数を係数とする代数方程式の解は存在しまた複素数になる。つまり、

は、少なくとも一つの複素根 z}} を持つ。

上記の多項式の複素根の一つを //α//sub とし、因数定理を帰納的に用いると、上記の多項式は

と複素数の範囲で因数分解される。これは、複素数が代数方程式による数の拡張の最大であることを意味している。つまり、C}} は代数的閉体である。

代数学の基本定理の証明にはさまざまな方法がある。例えばリウヴィルの定理などを用いる解析的な方法や、巻き数などを使う位相的な証明、あるいは奇数次の実係数多項式が少なくとも一つの実根を持つ事実にガロア理論を組み合わせた証明などがある。

この事実により、「任意の代数的閉体に対して成り立つ定理」を C}} にも適用できる。例えば、任意の空でない複素正方行列は少なくとも一つの複素固有値を持つ。

3.3. 代数的特徴付け
------------

体 C}} は以下の三つの性質：

標数は 0}} である。これは 1}} を何回足しても 1 + 1 + … + 1 ≠ 0}} となるという意味である。
C}} の素体 Q}} 上の超越次数は連続体濃度に等しい。
代数的閉体である。を満足する。この三つの性質を持つ任意の体は、体として C}} に同型であることが示せる。例えば Qsub の代数的閉包はこれら三つを満たすので、C}} に同型となる。この代数的な C}} の特徴付けの帰結として、C}} は自身に同型な真の部分体を無数に含むことが分かる。

また C}} は複素ピュイズー級数体に同型である。

3.4. 位相体としての特徴付け
----------------

C}} には代数的側面のみならず、近傍や連続性などの解析学や位相空間論の分野で考慮の対象となる性質も備わっている。そのような位相的性質に関して C}} は、適当な意味で収束の概念を考えることのできる位相体を成すことに注意しよう。

C}} は以下の三条件を満たす部分集合 P}} を持つ。

P}} は加法、乗法および逆元を取ることについて閉じている。
P}} の異なる元 //x//, //y//}} に対して、//x// − //y//}} または //y// − //x//}} のうちの何れか一方のみが P}} に属する。
S}} が P}} の空でない部分集合ならば、適当な //x// ∈ C}} に対して //S// + //P// =}} //x// + //P//}} が成り立つ。この P}} はつまり正の実数全体の成す集合である。さらに言えば、C}} は非自明な対合的反自己同型として複素共軛変換 //x// ↦ //x//*}} を持ち、任意の非零複素数 x}} に対して //xx//* ∈ //P//}} が成り立つ。

これらの性質を満たす任意の体 F}} には、任意の //x// ∈ //F//, //p// ∈ //P//}} に対する集合 //B// =}} mset を開基とすることによって、位相を入れることができ、この位相に関して F}} は C}} に位相体として同型になる。

これとは別の位相的な特徴付けに、連結な局所コンパクト位相体は R}} および C}} に限ることが利用できる。実際このとき、非零複素数の全体 C setminus}} mset は連結だが、非零実数の全体 R setminus}} mset は連結でないという事実を併せれば、R}} と峻別することができる。

3.5. 乗法群の構造
-----------

非零複素数の全体 C* =}} C setminus}} mset は、複素数体 C}} の乗法群 Csup であり、C}} における距離空間としての部分位相空間と見て、位相群を成す。また、絶対値 1}} の複素数全体の成す群U}} はその部分位相群であり、写像

および写像

は位相群としての同型である。ここに、R/Z}} は商位相群、Rsubsup は正の実数の全体が乗法についてなす群であり、×}} は位相群の直積を表す。

4. 形式的構成
--------

4.1. 実数の対として
------------

1835年にハミルトンによって、負の数の平方根を用いない複素数の定義が与えられた。

実数の順序対 }} および }} に対して和と積を

により定めるとき、}} を複素数という。実数 a}} は }} で表され、虚数単位 i}} は }} に当たる。このとき、Rsup は +, ×}} に関して体となり、零元は }}、単位元は }} である。

ハミルトンの代数的な見方に対するこだわりは、複素数をさらに拡張した四元数の発見へと結び付いた。

4.2. 剰余環としての構成
--------------

複素数体 C}} の代数的な構造は、体および多項式の概念により、自然に構成することができる。

体とは、四則演算ができてよく知られた計算法則を満たすものである。実数全体の成す集合 R}} は体である。また、係数体が R}} の多項式全体の成す集合 R[//X//]}} は、通常の加法、乗法に関して環を成すことに注意する。

剰余環 R[//X//]/}}はその基底である。

R[//X//]/}} に対応させると、前節で述べた体が得られる。この2つの体は体同型である。

4.3. 行列表現
---------

複素数 //α// =}} //a// + //bi//}} を、C}} 上の作用と見ると、それに対応する Rsup 上での一次変換の表現行列を考えることができる。

対応

により、複素数は実二次正方行列で表現することができる。特に、実数単位 1}}, 虚数単位 i}} は

である。この対応により、複素数の加法および乗法は、この対応によって通常の行列の和および行列の積に対応する。複素共役は行列の転置に対応している。

極形式表示を //a// + //bi// =}} //r//}} とすると、

は角度 θ}} の回転行列のスカラー r}} 倍であり、これは複素数の積が Rsup 上で原点を中心とする相似拡大と回転の合成を引き起こすことに対応する。

複素数 //z// =}} //a// + //bi//}} の表現行列を A}} とすると、A}} の行列式

は対応する複素数の絶対値の平方である。

複素数のこの行列表現はよく用いられる標準的なものだが、虚数単位 i}} に対応する行列 を例えば に置き換えても、平方が単位行列の −1}} 倍であり、複素数の別の行列表現が無数に考えられる。

5. 複素函数
-------

複素変数の函数の研究は複素函数論と呼ばれ、純粋数学の多くの分野のみならず応用数学においても広汎な応用がもたれる。実函数論や数論等における命題の最も自然な証明が、複素解析の手法によって為されることもしばしば起こる。実函数が一般に実二次元のグラフとして視覚的に理解することができたのとは異なり、複素函数のグラフは実四次元となるから、その視覚化に際しては二次元や三次元グラフに色相による次元を加えたり、あるいは複素函数の引き起こす複素数平面の動的な変換をアニメーションで表したりすることが有効になる。

実解析における収斂級数や連続性などの概念は、いわゆるε}}-δ}}論法において実数の絶対値を用いたところを複素数の絶対値で置き換えることにより、複素解析においても自然に考えられる。例えば、複素数列が収束するための必要十分条件は、その実部および虚部の成す実数列がともに収束することである。もう少し抽象的な観点では、C}} は距離函数

を備える完備距離空間で、特に三角不等式

が成立する。実解析と同様に、収束の概念はいくらかの初等函数の構成において用いられる。

5.1. 指数・対数
----------

5.1.1. 複素指数函数
-------------

複素指数函数 exp //z//}} あるいは esup は級数

で定義される。この級数の収束半径は ∞}} であるから、複素指数函数は C}} 上正則である。

任意の実数 φ}} に対して次の等式が成り立つ：

一般の複素変数 z}} に拡張した余弦函数 cos //z//}}, 正弦函数 sin //z//}} は次の式で定義できる：

余弦函数、正弦函数は整関数である。整関数であるような拡張の仕方は、一致の定理より一意である。

cosh}}, sinh}} などの双曲線函数も、同様に複素指数函数により定義できる。

5.1.2. 複素対数函数
-------------

実函数の場合と異なり、複素数 z}} に関する方程式

は任意の非零複素数 w}} に対して無限個の複素数解を持つ。そのような解 z}}、すなわち w}} の複素対数函数 log //w//}} は

と表すことができる。ただし、ln}} は実函数としての自然対数で、arg}} は上述の偏角である。この値は、偏角のときと同様に 2//π//}} の整数倍の差を除いて一意であるから、複素対数函数もまた多価函数である。主値としては、虚部 arg //w//}} を区間 (−//π//, //π//]}} にすることが多い。

5.1.3. 複素数の複素数乗
---------------

複素数の複素数乗 zsup は

として定義される。対数函数は多価であったから、その結果として複素数の複素数乗も一般には多価になる。特に //ω// =}} sfracの形のときは、複素数 z}} の n}}乗根 radic を表し、値は一意に定まらない。

対数函数の適当な枝をとって一価函数として扱うとき、実数の実数乗に対して成立していた指数法則や対数法則は、複素数の複素数乗では一般に成り立たない。例えば、

は //a//, //b//, //c//}} が複素数である場合には一般には成立しない。この式の両辺を今述べたような多価の値を持つものと見なす場合、左辺の値の全体は右辺の値の全体の成す集合の部分集合になっていることに注意する。

5.2. 正則函数
---------

D}} を複素数平面 C}} の領域とする。

複素函数 //f// : //D// → C}} が正則であるとは、定義域 D}} の各点で複素微分可能であることである。実部と虚部に分けて考えると、f}} が正則である必要十分条件は、Re //f//}}, Im //f//}} が微分可能で、コーシー・リーマンの方程式を満たすことである。例えば、複素函数

や

は正則でない。これらはコーシー・リーマンの方程式を満たさず複素微分可能でない。

複素解析には実解析に無いいくつかの特徴がある。

正則函数は解析関数である。したがって、正則函数は何回でも微分可能である。

2つの正則函数 //f//, //g//}} が D}} のある小さな、正則曲線上で一致するならば、それらは全体でも一致する。

有理型函数は、局所的には正則函数 f}} を用いて //f///(//z// − //z//sub で近似でき、正則函数といくつかの特徴が共通する。有理型でない函数は真性特異点をもつ。

6. 歴史
-----

負の数の平方根について、いささかなりとも言及している最も古い文献は、数学者で発明家のアレクサンドリアのヘロンによる『測量術』 である。そこで彼は、現実には不可能なピラミッドの錐台について考察しているものの、計算を誤り、不可能であることを見逃している。

16世紀にイタリアの数学者カルダノやボンベリによって三次方程式の解の公式が考察され、特に相異なる 3 個の実数解を持つ場合に解の公式を用いると、負の数の平方根を取ることが必要になることが分かった。当時は、まだ、負の数でさえあまり認められておらず、回避しようと努力したが、それは不可能なことであった。

17世紀になりルネ・デカルトによって、虚  という言葉が用いられ、虚数と呼ばれるようになった。デカルトは作図の不可能性と結び付けて論じ、虚数に対して否定的な見方を強くさせた。

その後、ウォリスにより幾何学的な解釈が試みられ、ヨハン・ベルヌーイやオイラー、ダランベールらにより、虚数を用いた解析学、物理学に関する研究が多くなされた。

複素平面が世に出たのは、1797年にノルウェーの数学者カスパー・ベッセル  によって提出された論文が最初とされている。しかしこの論文はデンマーク語で書かれ、デンマーク以外では読まれずに1895年に発見されるまで日の目を見ることはなかった。1806年にジャン＝ロベール・アルガン  によって出版された複素平面に関するパンフレットは、ルジャンドルを通して広まったものの、その後、特に進展は無く忘れられていった。

1814年にコーシーが複素関数論を始め、複素数を変数に取る解析関数や複素積分が論じられるようになった。

1831年に、機は熟したと見たガウスが、複素平面を論じ、複素平面はガウス平面として知られるようになった。ここに、虚数に対する否定的な視点は完全に取り除かれ、複素数が受け入れられていくようになる。実は、ガウスはベッセルより前の1796年以前にすでに複素平面の考えに到達していた。1799年に提出されたガウスの学位論文は、今日、代数学の基本定理と呼ばれる定理の証明であり、複素数の重要な特徴付けを行うものだが、複素数の概念を表に出さずに巧妙に隠して論じている。

7. 他分野における複素数の利用
----------------

複素数 A}} と実数 ω}} により定まる、一変数 t}} の関数 Aesup は時間 t}} に対して周期的に変化する量を表していると見なすことができる。周期的に変化し、ある種の微分方程式を満たすような量を示すこのような表示はフェーザ表示と呼ばれ、電気・電子工学における回路解析や、機械工学・ロボット工学における制御理論、土木・建築系における振動解析で用いられている。

7.1. 物理学
--------

物理における振動や波動など、互いに関係の深い2つの実数の物理量を複素数の形に組み合わせて表現すると便利な場面が多いため、よく用いられる。

量子力学では複素数が本質的である。物体の位置と運動量とはフーリエ変換を介して同等の扱いがなされ、波動関数たちのなす複素ヒルベルト空間とその上の作用素たちが理論の枠組みを与える。

8. 複素数の拡張
---------

複素数とは実数体上の、実数単位 1}}, 虚数単位 i}} の線形結合であるが、これに新たな単位を有限個加えて可換体を作ることはできない。実数体 R}} から拡張して C}} を得る過程はケーリー＝ディクソンの構成法と呼ばれる。この過程を推し進めると、より高次元の四元数体 H}}, 八元数体 O}} が得られる。これらの、実数体上の線形空間としての次元はそれぞれ 4, 8}} である。この文脈において複素数は「二元数」 とも呼ばれる。

注意すべき点として、実数体にケーリー＝ディクソンの構成を施したことにより、順序に関する性質が失われていることである。より高次元へ進めば実数や複素数に関してよく知られた性質が失われていくことになる。四元数は唯一の非可換体であり、八元数では乗法に関する結合法則も失われる。一般に、実数体 R}} 上のノルム多元体は、同型による違いを除いて、実数体 R}}, 複素数体 C}}, 四元数体 H}}, 八元数体 O}} の4種類しかない。ケーリー＝ディクソン構成の次の段階で得られる十六元数環ではこの構造は無くなってしまう。

ケーリー＝ディクソン構成は、C}}の正則表現と近しい関係にある。すなわち、複素数 w}} に対して、R}}-線型写像 fsub を

とすると、fsub の基底 }} に関する表現行列は、実二次正方行列

である。これは C}} の標準的な線型表現だが、唯一の表現ではない。実際、

なる形の任意の行列はその平方が単位行列の −1}} 倍、すなわち //J//sup を満たすから、行列の集合

もまた C}} に同型となり、Rsup 上に別の複素構造を与える。これは線型複素構造の概念によって一般化することができる。

超複素数は R, C, H, O}} もさらに一般化するもので、例えば分解型複素数環は剰余環 R[//x//]/(//x//sup である。この環において方程式 //a//sup は4つの解を持つ。

実数体 R}} は有理数体 Q}} の通常の絶対値による距離に関する完備化である。Q}} 上の別の距離函数をとれば、任意の素数 p}} に対して p}} 進数体 Qsub が導かれる。オストロフスキーの定理によれば、この R}} と Qsub 以外に Q}} の非自明な完備化は存在しない。Qsub の代数的閉包 overline にもノルムは伸びるが、C}} の場合と異なり、そのノルムに関して overline は完備にならない。overline の完備化 Csub は再び代数的閉体であり、C}} の類似対応物として p}}-進複素数体と呼ぶ。

体 R}}, Qsub およびそれらの有限次拡大体は、すべて局所体である。

9. 脚注
-----

9.1. 注釈
-------

9.2. 出典
-------

10. 参考文献
--------

11. 関連項目
--------

オイラーの等式
虚数単位
四元数
実数
等角写像
ド・モアブルの定理
二重数
フェーザ表示
複素解析
複素数の絶対値
複素数の偏角
複素平面
分解型複素数
平方根
マンデルブロ集合
メビウス変換

12. 外部リンク
---------