複素数

提供: miniwiki
移動先:案内検索
ファイル:Complex number illustration.svg
複素数は視覚的には実数の対 (a, b) として表すことができ、それは複素数平面を表現するアルガン図上のベクトルとして働く。"Re" は実軸、"Im" は虚軸を意味する符牒であり、i虚数単位と呼ばれる iテンプレート:Exp = −1 を満たす量である。

数学における複素数(ふくそすう、: complex number)は、実数の対 a, b1線型独立な(実数ではない)要素 i線型結合 a + bi の形に表される二元数: 実数体上の二次拡大環の元)で、基底元 i はその平方が −1 になるという特別な性質を持ち虚数単位と呼ばれる。[注釈 1]

複素数全体の成す集合を太字の C あるいは黒板太字 と表す。C は、実数全体の成す集合 R と同様に、可換体の構造を持ち、とくに R を含む代数閉体を成す。複素数体はケイリー–ディクソン代数四元数八元数十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。

複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない[1]。すなわち C順序体でない。

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

概観

定義

任意の実数と(実数体上)線型独立iiテンプレート:Exp = −1 を満たすものとするとき、これを虚数単位という[注釈 2]a, b を実数として形式的に a + bi の形に書かれる式を一種のと見做して複素数と呼ぶ。

任意の実数 aa + 0i と同一視して、実数の全体は自然に複素数の全体に埋め込むことができる(この埋め込みは、四則演算および絶対値を保つという意味で、位相体の埋め込みである)。また任意の純虚数 bi0 + bi に同一視して複素数となる。

複素数 a + bi に対して、a をその実部 (real part) といい、b をその虚部 (imaginary part) という。ここで複素数の虚部は実数であって、虚数単位を含めた純虚数を言うのではないことに注意[2][3]。複素数 z の実部および虚部は、それぞれ Re(z) あるいは ℜ(z) および Im(z) あるいは ℑ(z) などで表される。すなわち

[math]z = \operatorname{Re}(z) + \operatorname{Im}(z)\cdot i.[/math]

複素数平面

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

数平面においては、x座標が実部、y座標が虚部に対応し、x軸(横軸)を実軸 (real axis)、y 軸(縦軸)を虚軸 (imaginary axis) と呼ぶ[4]。 複素数 z, w に対して

d(z, w) = |zw|

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

複素数球面

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

複素数平面 C を、xyz-座標空間内の xy-平面とみなし、z ≥ 0 に含まれ xy-平面に原点で接する球面 xテンプレート:Exp + yテンプレート:Exp + (z − 1)テンプレート:Exp = 1 を考える。この球における原点の対蹠点English版 (0, 0, 2) を北極と呼ぶことにする。任意の複素数 w に対し w と北極を結んだ線分はこの球面と、両端以外の一点で必ず交わり、それを f(w) と書けば f単射である。f の像は、全球面から射影の中心である北極を除いた部分である。そこで、北極は無限遠点に対応すると定めることにすると、この球面は C ∪ {∞}一対一対応する。

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

基本的な性質

相等関係

二つの複素数が等しいとはそれらの実部および虚部がそれぞれ等しいことを言う。記号で書けば

[math]z_{1} = z_{2} \iff ( \operatorname{Re}(z_{1}) = \operatorname{Re}(z_{2}) \and \operatorname{Im} (z_{1}) = \operatorname{Im} (z_{2})).[/math]

四則演算

ファイル:Vector Addition.svg
二つの複素数の和は幾何学的には平行四辺形の対角線を作ることと解釈できる。
  • (a + bi) ± (c + di) = (a ± c) + (b ± d)i複号同順)
  • (a + bi)(c + di) = (acbd) + (bc + ad)i
  • [math]\frac{a+bi}{c+di} =\frac{ac+bd}{c^2 +d^2} +\frac{bc-ad}{c^2 +d^2} i[/math]
  • znzm = zn+m
  • (zn)m = znm
  • (zw)n = znwn

複素共役(共役複素数)

ファイル:Complex conjugate picture.svg
複素数 z およびその共軛 z の複素数平面における幾何学的表現

虚部の符号だけが異なる複素数 a + biabi を互いに複素共役あるいは単に共役(きょうやく、conjugate、本来は共軛)であるといい、z = a + bi と共役な複素数 abi を記号で z (または z*)と表す[4]。すなわち

[math]\bar{z} = \Re e(z) - \Im m(z)\cdot i.[/math]
  • z が実数 ⇔ z = z
  • z が純虚数 ⇔ z = −z ≠ 0
  • [math]\overline{\overline{z}}=z[/math]対合
  • [math]|z|=|\overline{z}|[/math]
  • z + z = 2 Re z
  • zz = 2i Im z
  • zz = |z|2
特に [math]z^{-1} =\frac{\bar{z}}{|z|^2} \ (z \ne 0)[/math]
  • [math]\overline{z\pm w} =\overline{z} \pm \overline{w}[/math](複号同順)
  • zw = z w
  • [math]\overline{\left(\frac{z}{w}\right)} =\frac{\overline{z}}{\overline{w}}[/math]
  • [math]\overline{z^n} =\left( \overline{z} \right)^n[/math]

これらから、

「複素数 α が実数係数の多項式 P(x) の解ならば、αP(x) の解である」

が容易に示せる(1746年:ダランベール)。すなわち、

実数係数多項式 P(x) について、P(α) = 0 ⇔ P(α) = 0

が成り立つ。

極形式

ファイル:Complex number illustration modarg.svg
偏角 φ および絶対値 r は複素数平面上の点の位置を定める。すなわち各点の「極」表示が r(cos(φ) + i sin(φ)) あるいは reテンプレート:Exp で与えられる。

x-軸および y-軸をそれぞれ実軸および虚軸ととるのとは別の仕方で、複素数を複素数平面上の点 P として定義する方法として、原点 O: (0,0) からの距離と、正の実軸English版と線分 OP の見込む角を反時計回りに測ったものの対(P極座標)を考えることが挙げられる。これにより、複素数の極形式の概念が導入される。

絶対値

複素数 z = x + yi絶対値 (absolute value, modulus) とは

[math]r = |z|=\sqrt{x^2 +y^2}[/math]

で与えられる実数を言う。z が実数(つまり y = 0)のとき r = テンプレート:Abs は実数の絶対値 (テンプレート:Abs = max{x, −x}) に一致する。一般の場合には、ピュタゴラスの定理により、r は原点と z の表す点 P との距離に等しい。絶対値の平方は、自身とその共軛複素数との積に等しい。すなわち複素数 z に対して

[math]|z|^2=z\bar{z}=x^2+y^2[/math]

が成り立つ。

偏角

複素数 z偏角(応用の場面ではしばしば「位相」とも呼ばれる)arg(z) は正の実軸から測った動径 OP の角度をいう。偏角 φ の値はラジアンで表すものとする。絶対値のときと同様、直交形式 x + yi から偏角を

[math]\varphi = \arg(z) = \begin{cases} \arctan(\frac{y}{x}) & \text{if } x \gt 0 \\ \arctan(\frac{y}{x}) + \pi & \text{if } x \lt 0 \text{ and } y \ge 0\\ \arctan(\frac{y}{x}) - \pi & \text{if } x \lt 0 \text{ and } y \lt 0\\ \frac{\pi}{2} & \text{if } x = 0 \text{ and } y \gt 0\\ -\frac{\pi}{2} & \text{if } x = 0 \text{ and } y \lt 0\\ \text{indeterminate } & \text{if } x = 0 \text{ and } y = 0. \end{cases}[/math]

と求めることができる[5](計算機言語ではしばしばこのような対応を x, y 二つの引数を持つ函数 atan2English版 として実装する)。例外として複素数 0に対する極形式の偏角は不定 (indeterminate) とするが、角度 0 は如何なる偏角の取り方においても共通して正の実数を表す。

通常はこのように、区間 (−π, πテンプレート:)! に値を取るものとして、それを主値とする。あるいはこのとき負の値となるものに対して 2π を加えるものとすれば [0, 2π) の範囲で値を取ることができる。同じ角に対してその角度に 2π の任意の整数倍を加えても同じ角を表すのだから、偏角を与える函数は多価であるものとして考えることもしばしばである。このような多価性は、数学的には以下のように捉えられる。すなわち arctan(z) がひとたび与えられたとき、z がその近傍を連続的に変化するならば、函数の値もまたその近傍で連続的に変化するように枝をとるものとして、それを単に arg(z) = arctan(y/x) のように書く[注釈 3]

表示形式と記法

絶対値 r と偏角 φ を併せれば複素数平面上の点の位置を完全に特定することができ、極形式 (polar form) と呼ばれる複素数の表現方法が与えられる。極形式からもとの直交座標 (rectangular co-ordinates) を恢復するには、「三角函数形式」

[math] z = r(\cos(\varphi) + i\sin(\varphi))[/math]

を考えればよい。オイラーの公式を用いれば、これを z = reテンプレート:Exp と書くことができるし、cis函数を用いて z = r cis(φ) と書くこともある。

フェーザ形式English版

[math]z = r \ang \varphi[/math]

電子工学において振幅 r と位相 φ を持つフェーザを表すのによく用いられる[6]

極形式の下での乗除法

ファイル:Complex multi.svg
2 + i (青) と 3 + i (赤) の積。赤三角は青三角の頂点の見込む角の分だけ回転され、青三角の斜辺の長さ 5 の分だけ引き延ばされて : [math](2+i)(3+i)=5+5i[/math] を表す三角 (灰) に変形される。5 + 5i の実部と虚部は等しいので、偏角は π/4 である(ラジアンで測った角)。もとの青および赤の三角形の原点にある角はそれぞれ arctan(1/3) および arctan(1/2) であるから : [math]\frac{\pi}{4} = \arctan\frac{1}{2} + \arctan\frac{1}{3} [/math] が成り立つ。逆正接函数は高効率で近似することができることに応じて、π を高精度に近似するこのような式(マチン類似の公式と呼ばれる)に用いられる。

乗法、除法および冪の計算は、極形式のもとで行うほうが直交座標によるよりも簡明である。二つの複素数を zテンプレート:Ind = rテンプレート:Ind(cos(φテンプレート:Ind) + i sin(φテンプレート:Ind)) および zテンプレート:Ind = rテンプレート:Ind(cos(φテンプレート:Ind) + i sin(φテンプレート:Ind)) とすれば、よく知られた三角函数の加法定理

[math] \cos(a)\cos(b) - \sin(a)\sin(b) = \cos(a + b),[/math]
[math] \cos(a)\sin(b) + \sin(a)\cos(b) = \sin(a + b)[/math]

によって

[math]z_1 z_2 = r_1 r_2 (\cos(\varphi_1 + \varphi_2) + i \sin(\varphi_1 + \varphi_2))[/math]

が導かれる。すなわち積の極形式表示において、積の絶対値は絶対値の積であり、積の偏角は偏角の和である。例えば i を掛けることは反時計回りに直角に回転させることであり、その意味において iテンプレート:Exp = −1 であることが再び確かめられる。

同様にして、商は

[math]\frac{z_1}{ z_2} = \frac{r_1}{r_2} \left(\cos(\varphi_1 - \varphi_2) + i \sin(\varphi_1 - \varphi_2)\right)[/math]

と与えられる。

偏角の計算規則

偏角に関する等式 arg(zw) = arg(z) + arg(w) は、各項に 2π の任意の整数倍を加える不定性を除いて成り立つ等式であることに注意しなければならない。例えば arg(zテンプレート:Exp) = arg(z) + arg(z) = 2 arg(z) において、もし各項任意に偏角をとるものとしてしまうと、arg(z) = θ + 2 (n は任意の整数) と書けば、右辺は 2θ + 4 だが左辺は 2θ + 2 (m は任意の整数) となり厳密には等しくならない。それを明示するために合同式の記法を流用してしばしば arg(zw) ≡ arg(z) + arg(w) (mod 2π) などとも書く。これが mod 2π に関して合同であるという理解は重要である。しかし、先述のように(適当なリーマン面上で)偏角をとるものと仮定すれば、2π の整数倍を加える不定性無く実際に等号が成り立つ。すなわち、三つの複素数 zw, z, w のそれぞれに対して独立に偏角をとるのではなく、ひとたび arg(zw) = arg(z) + arg(w) を満たすように偏角を一組選べば(例えば右辺の各項の値を決め、それによって左辺の値を定義すれば)、z あるいは w を連続的に変化させるとき、arg(zw) も連続的に変化して、そのような三点の近傍において常に厳密な意味で等号が成立する[7]

同様の注意のもと以下が成り立つ:

  • arg(zw) = arg(z) + arg(w)
  • arg(z/w) = arg(z) − arg(w)
  • arg(zテンプレート:Exp) = n arg(z)n は整数)

偏角の計算法則は対数のそれとほぼ同じであるが、それは複素数を変数とする自然対数の虚部が偏角によって表されることに起因している。

ド・モアブルの定理

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

(e)n = einθ

が成り立つ(ド・モアブルの定理)。同じことであるが

(exp )n = exp inθ
(cos θ + i sin θ)n = cos + i sin

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

性質と特徴付け

体構造

複素数全体の成す集合 Cを成す。これは以下のような事実が成り立つことを意味する。

これらの性質は、実数全体の成す集合 R が体であるという事実のもと、先に与えた基本的な和と積の定義式から証明することができる。

実数のときと異なり、C順序体にはならない。つまり、加法および乗法に両立する順序関係 zテンプレート:Ind < zテンプレート:Ind を定義することはできない[4]。実は、任意の順序体において任意の元の平方は 0 以上でなければならず、それゆえ iテンプレート:Exp = −1 となることは C 上のそのような全順序の存在を否定することになる。

代数閉体

任意の複素数 aテンプレート:Ind, …, aテンプレート:Ind係数とする多項式

[math]a_n z^n + \dotsb + a_1 z + a_0[/math]

は、高次の係数 aテンプレート:Ind, …, aテンプレート:Ind のうちの少なくとも一つが非零のとき、少なくとも一つの複素根 z を持つ。これが代数学の基本定理である。この事実により C代数閉である。この性質は有理数Q や実数体 R では成り立たない(前者は例えば xテンプレート:Exp − 2 が有理根を持たず、後者は例えば a > 0 に対して xテンプレート:Exp + a が実根を持たない)。

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

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

代数的特徴付け

C は以下の三つの性質:

  • 標数0 である。これは各項がすべて 1 であるような和は項の数がいくつであっても 1 + 1 + ⋯ + 1 ≠ 0 となるという意味である。
  • C素体 Q 上の超越次数連続体濃度に等しい。
  • 代数閉体である。(前の節を参照)

を満足する。この三つの性質を持つ任意の体は、体として C に同型であることが示せる。例えば [[p進数|Qテンプレート:Ind]] の代数閉包はこれら三つを満たすので、C に同型となる。この代数的な C の特徴付けの帰結として、C は自身に同型な真の部分体を無数に含むことがわかる。

また C は複素ピュイズー級数English版体に同型である(が、その同型を決めるには選択公理が必要となる)。

位相体としての特徴付け

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

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

  • P は加法、乗法および逆元を取ることについて閉じている
  • x, yP の相異なる元ならば xy または yx のうちの何れか一方のみが P に属する。
  • SP の空でない部分集合ならば、適当な xC に対してS + P = x + P が成り立つ。

この P はつまり正の実数全体の成す集合である。さらに言えば、C は非自明な対合反自己同型English版として複素共軛変換 xx* を持ち、任意の非零複素数 x に対して xx* ∈ P が成り立つ。

これらの性質を満たす任意の体 F には、任意の xF, pP に対する集合 B(x, p) = { y | p − (yx)(yx)* ∈ P}開基とすることによって、位相を入れることができ、この位相に関して FC位相体として同型になる。

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

乗法群の構造

非零複素数の全体 C* = C テンプレート:Setminus {0} は、複素数体 C乗法群 Cテンプレート:Msup であり、C における距離空間としての部分位相空間と見て、位相群を成す。また、絶対値 1 の複素数全体の成す群(円周群U はその部分位相群であり、写像

[math]\mathbb{R/Z} \to \mathbb{U};\; x + \mathbb{Z} \mapsto e^{2\pi ix}[/math]

および写像

[math]\mathbb{C}^* \to \mathbb{R}_+^* \times \mathbb{U};\; re^{i\theta} \mapsto (r,e^{i\theta})[/math]

は位相群としての同型である。ここに、R/Z商位相群Rテンプレート:Subsup は正の実数の全体が乗法についてなす群であり、× は位相群の直積を表す。

形式的構成

実数の対として

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

実数の順序対 (a, b) および (c, d) に対して和と積を

(a, b) + (c, d) = (a + c, b + d)
(a, b) × (c, d) = (acbd, ad + bc)

により定めるとき、(a, b) を複素数という。実数 a は (a, 0) の形で表され、虚数単位 i は (0, 1) に当たる。このとき、R2 は+, × に関してとなり、零元は (0, 0)、単位元は (1, 0) である。[8]

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

剰余環としての構成

C の代数的な姿をより明確にする特徴付けは、体および多項式の概念に基づく構成によって示される。とは有理数全体の成す集合のように四則演算ができてよく知られたいくつかの性質を満たすものである。実数全体の成す集合 R が体であり、また R に係数を持つ多項式全体の成す集合 R[X] が通常の多項式の和および積に関して多項式環と呼ばれるを成すことに注意する。

剰余環 Rテンプレート:Bracket/(Xテンプレート:Exp + 1)R を含む体となることは示すことができる。この拡大体は X および X(の属する剰余類)を −1 の二つの平方根として含む。この剰余環の任意の元は a + bX (a, b は実数) の形の多項式を代表元に持ち、多項式の除法の原理によってこのような多項式は一意的に決まるから、1 および X の属する剰余類は実ベクトル空間としての Rテンプレート:Bracket/(Xテンプレート:Exp + 1) の基底である。

さらに言えば、このような元(剰余類)を(その代表元となる上記の一次式の係数によって)実数の順序対 (a, b) によって表すならば、この体における(抽象代数学的に与えられた)加法および乗法は前節で述べた(形式的に与えられた)加法と乗法の定義式に整合する。すなわち、二つのやり方で得られた体 C は体として同型である。

行列表現

対応

[math]a+bi\leftrightarrow \begin{pmatrix} a &-b\\ b &a \end{pmatrix}\quad (a,b\in\mathbb{R})[/math]

により、複素数を行列で表現することができる。つまり、複素数の加法および乗法は、この対応によって通常の行列の和English版および行列の積に写される。また複素共軛は行列の転置に対応することが確認できる。

極形式を用いて a + bi = r(cos(θ) + i sin(θ)) と書けば、

[math]\begin{pmatrix} a &-b\\ b &a \end{pmatrix} =\begin{pmatrix} r\cos \theta &-r\sin \theta \\ r \sin \theta &r\cos \theta \end{pmatrix} =r\begin{pmatrix} \cos \theta &-\sin \theta \\ \sin \theta &\cos \theta \end{pmatrix}[/math]

は角度 θ回転行列のスカラー r-倍であり、これは複素数の積が Rテンプレート:Msup 上の(原点を中心とする)相似拡大English版回転の合成を引き起こすことに対応する。

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

det(A) = aテンプレート:Exp + bテンプレート:Exp = テンプレート:Absテンプレート:Exp

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

この行列表現はよく用いられる標準的なものだが、行列 [math](\begin{smallmatrix}1&-1\\0&1\end{smallmatrix})[/math] を平方が単位行列−1-倍となる任意の行列に取り換えて、別の行列表現が無数に考えられる(後述、また実二次正方行列の項も参照)。

複素函数

ファイル:Sin1perz.png
Color wheel graph of sin(1/z). Black parts inside refer to numbers having large absolute values.

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

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

[math]d(z_1, z_2) = |z_1 - z_2|\quad (z_1,z_2\in \mathbb{C})[/math]

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

[math]|z_1 + z_2| \le |z_1| + |z_2|[/math]

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

指数・対数

複素指数函数

複素指数函数 exp(z) あるいは eテンプレート:Exp無限級数

[math]\exp(z):= 1+z+\frac{z^2}{2\cdot 1}+\frac{z^3}{3\cdot 2\cdot 1}+\cdots = \sum_{n=0}^{\infty} \frac{z^n}{n!}[/math]

として定義され、この級数を用いて(実変数の指数函数によって sinhcosh のような双曲線函数を定義するように)実変数の正弦函数 sin(x)余弦函数 cos(x) を定義すれば、それらは何も変えることなく複素変数 z において定義された複素函数 sin(z), cos(z) にすることができる。オイラーの等式の述べるところによれば、任意の実数 φ に対して

[math]\exp(i\varphi) = \cos(\varphi) + i\sin(\varphi)[/math]

が成立する(特に exp(πi) = −1 である)。

複素対数函数

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

[math]\exp(z) = w[/math]

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

[math]\log(w)=\ln|w| + i\arg(w)[/math]

と表すことができる。ただし、ln は実函数としての自然対数で、arg上述偏角である。この値は、偏角のときと同様に 2π の整数倍を加える違いを除いて一意であるから、複素対数函数もまた多価函数である。主値としては、この虚部が区間 (−π, πテンプレート:)! の範囲にあるように制限したものを取ることが多い。

複素数の複素数乗

複素数の複素数乗 zテンプレート:Exp

[math]z^\omega = \exp(\omega \log z)[/math]

として定義される。対数函数は多価であったから、その結果として複素数の複素数乗も一般には多価になる。適当な自然数 n に対する ω = 1/n を考えるときには、これは複素数の n-冪根が一意でないことを意味するものになる(例えば テンプレート:Radic = z は一般には成り立たない)。より一般に、対数函数の適当な枝をとって一価函数として扱うとき、実数の実数乗の場合に成立していた指数法則や対数法則は、複素数の複素数乗では一般に成り立たない。例えば、

[math]a^{bc} = (a^b)^c[/math]

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

正則函数

複素函数 f: CC正則函数であるとは、それがコーシー–リーマン方程式を満足するときに言う。例えば、複素係数 a, b を持つ

[math]f(z)=az+b\bar{z}[/math]

の形の任意の R-線型写像 f: CC が正則であるのは b = 0 のとき、かつそのときに限る。第二項 bz は実函数として微分可能だがコーシー–リーマン方程式を満たさず複素微分可能でない。

複素解析には実解析に無いいくつかの特徴がある。例えば任意に与えられた正則函数 f, gC の任意に小さな開集合上で一致するならば、それらは全体でも一致する。有理型函数は、局所的に正則函数 f を用いて f(z)/(zzテンプレート:Msub)テンプレート:Exp とかくことができ、正則函数といくつかの特徴が共通する。有理型でない函数は真性特異点をもつ(例えばsin(1/z)z = 0 に真性特異点を持つ)。

歴史

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

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

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

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

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

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

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

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

複素数 A と実数 ω により定まる、一変数 t の関数 Aeiωt は時間 t に対して周期的に変化する量を表していると見なすことができる。周期的に変化し、ある種の微分方程式を満たすような量を示すこのような表示はフェーザ表示と呼ばれ、電気電子工学における回路解析や、機械工学ロボティクスにおける制御理論、土木・建築系における震動解析で用いられている。なお電気回路上では電流(の密度)「i」と混同を避けるため、虚数単位は「j」を用いることが多い。

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

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


複素数の拡張

複素数とは実数を係数とする実数単位 1虚数単位 i線形結合であるが、これに新たな単位を有限個加えて通常の四則演算ができる数の体系()を作ることはできない[12][13]。実数体 R から拡張して C を得る過程はケイリー–ディクソン構成と呼ばれる。この過程を推し進めて、より高次元の四元数H および八元数O が得られ、これらは実数体上のベクトル空間としての次元がそれぞれ 4 および 8 である。この文脈において複素数は「二元数」(binarions) とも呼ばれる[14]

注意すべき点として、実数体にケイリー–ディクソン構成を施したことにより、順序に関する性質が失われていることである。より高次元へ進めば実数や複素数に関してよく知られた性質が失われていくことになる。四元数は唯一の非可換体であり[12][13](つまり、適当な二つの四元数 x, y に対して x·yy·x となることが起きる)、八元数の乗法は(非可換なばかりでなく)結合性も失われる(つまり、適当な x, y, z に対して (xy)⋅zx⋅(yz) となりうる)。一般に、実数体 R 上のノルム多元体は、同型による違いを除いて、実数体 R, 複素数体 C, 四元数体 H, 八元数O、の4種類しかない(フルヴィッツの定理English版[15]。ケイリー–ディクソン構成の次の段階で得られる十六元数環ではこの構造は無くなってしまう。

ケイリー–ディクソン構成は、C(を R-線型環、つまり乗法を持つ R-線型空間と見ての)の正則表現と近しい関係にある。すなわち、任意に複素数 w をとるとき、R-線型写像 fテンプレート:Msub

[math]f_w\colon \mathbb{C} \to \mathbb{C};\; z \mapsto wz[/math]

とすると、これは線型代数学でよく知られた仕方によって(適当な基底を選ぶことにより)、行列で表現することができる。順序付けられた基底 (1, i) に関して fテンプレート:Msub2×2-実行列

[math] \begin{pmatrix} \operatorname{Re}(w) & -\operatorname{Im}(w) \\ \operatorname{Im}(w) & \quad \operatorname{Re}(w) \end{pmatrix} [/math]

で表現される(つまり、行列表現の節で述べた行列に他ならない)。これは C の標準的な線型表現だが、唯一の表現ではない。実際、

[math]J = \begin{pmatrix}p & q \\ r & -p \end{pmatrix}, \quad(p^2 + qr + 1 = 0)[/math]

なる形の任意の行列はその平方が単位行列−1 倍、すなわち Jテンプレート:Exp = −I を満たすから、行列の集合

[math]\{ z = a I + b J : a,b \in \mathbb{R} \}[/math]

もまた C に同型となり、Rテンプレート:Msup 上に別の複素構造を与える。これは線型複素構造English版の概念によって一般化することができる。

超複素数R, C, H, O もさらに一般化するもので、例えば分解型複素数環は剰余環 Rテンプレート:Bracket/(xテンプレート:Exp − 1) である(複素数は剰余環 Rテンプレート:Bracket/(xテンプレート:Exp + 1) であった)。この環において方程式 aテンプレート:Exp = 1 は四つの解を持つ。

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

R, Qテンプレート:Ind およびそれらの有限次拡大体は、すべて局所体である。

注釈

  1. 1 と実数体上線型独立なベクトル uuテンプレート:Exp = 1 or 0 となるものとすれば、別の種類の二元数が得られる。
  2. これは正確には適当なリーマン面を考えるべきであろうけれども、直観的には tan(arctan(α)) = α かつ arctan(tan(β)) = β が常に成り立っているように枝を渡る(特定の一つの枝を固定したのでは不連続となる点の前後で、実際には隣の枝に遷る)と理解することができる。

出典

  1. Weisstein, Eric W. “Complex Number”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
  2. Complex Variables (2nd Edition), M.R. Spiegel, S. Lipschutz, J.J. Schiller, D. Spellman, Schaum's Outline Series, Mc Graw Hill (USA), ISBN 978-0-07-161569-3
  3. Aufmann, Richard N.; Barker, Vernon C.; Nation, Richard D. (2007), “Chapter P”, College Algebra and Trigonometry (6 ed.), Cengage Learning, p. 66, ISBN 0-618-82515-0, https://books.google.com/?id=g5j-cT-vg_wC&pg=PA66 
  4. 4.0 4.1 4.2 表 (1988)
  5. Kasana, H.S. (2005), “Chapter 1”, Complex Variables: Theory And Applications (2nd ed.), PHI Learning Pvt. Ltd, p. 14, ISBN 81-203-2641-5, https://books.google.com/books?id=rFhiJqkrALIC&pg=PA14 
  6. Nilsson, James William; Riedel, Susan A. (2008), “Chapter 9”, Electric circuits (8th ed.), Prentice Hall, p. 338, ISBN 0-13-198925-1, https://books.google.com/books?id=sxmM8RFL99wC&pg=PA338 
  7. 木村 & 高野 1991, p. 4.
  8. 高木『解析概論』付録I, §10.
  9. 高木 (1996, 14. 函数論縁起)
  10. 10.0 10.1 高木 (1996, pp. 94f.)
  11. 高木 (1965, §9. 代数学の基本定理)
  12. 12.0 12.1 志賀 (1989, pp. 212–214)
  13. 13.0 13.1 高木 (1996, pp. 102–116)
  14. Kevin McCrimmon (2004) A Taste of Jordan Algebras, p. 64, Universitext, Springer ISBN 0-387-95447-3 テンプレート:Mr
  15. エビングハウスほか (2012)

参考文献

  • H.D.エビングハウス ほか 『数』下、成木勇夫 訳、丸善出版〈シュプリンガー数学リーディングス 7〉、2012-09、新装版。ISBN 978-4-621-06387-3。
  • 表実 『複素関数』 岩波書店〈理工系の数学入門コース 5〉、1988-12-08。ISBN 4-00-007775-9。
  • 志賀浩二 『複素数30講』 朝倉書店、1989-04-10。ISBN 978-4-254-11481-2。
  • 高木貞治 『代数学講義』 共立出版、1965-11-25、改訂新版。ISBN 978-4-320-01000-0。
  • 高木貞治 『復刻版 近世数学史談・数学雑談』 共立出版、1996-12-10。ISBN 978-4-320-01551-7。
  • 木村俊房 『関数論』 朝倉書店〈新数学講座〉、1991年。

関連項目

外部リンク