複素数

数学におけるとは、2つの実数  と虚数単位  を用いて

と表すことのできる数のことである。 は実数体上線型独立であり、複素数は、係数体を実数とする、 の線型結合である。実数体  上の二次拡大環の元であるため、二元数の一つである。

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

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

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

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

 概観 
 定義 
 を満たす数  を虚数単位という。実数  と  は実数体上で線型独立である。実数  を係数として  の線型結合で表される数  を複素数と呼ぶ。

任意の実数  は  と表せるので複素数である（実数全体の複素数全体への埋め込みは、四則演算および絶対値を保つという意味で、位相体の埋め込みである）。 の形の複素数を純虚数と呼ぶ。

複素数  に対して、
 を  の実部 (real part) といい、 などで表す。
 を  の虚部 (imaginary part) といい、 などで表す。虚部とは実数「」を指し複素数「」ではないことに注意。
 虚部が  でない、すなわち実数でない複素数のことを虚数という。
 実部、虚部がともに整数のときガウス整数といい、その全体を  と書く。
 実部、虚部がともに有理数のときガウス有理数といい、その全体を  と表す。

 複素平面 

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

複素数平面においては、座標が実部、座標が虚部に対応し、軸（横軸）を実軸 (real axis) 、軸（縦軸）を虚軸 (imaginary axis) と呼ぶ。

複素数  に対して

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

 複素数球面 

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

複素数平面  を、座標空間内の 平面とみなし、 に含まれ 平面と原点で接する球面  を考える。この球における原点の  を北極と呼ぶことにする。任意の複素数  に対し  と北極を結んだ線分はこの球面と、北極以外の一点で必ず交わり、それを  と書けば  は単射、連続写像である。 の像は、球面から北極を除いた部分である。また、 のとき （北極）である。そこで、 の定義域を  に拡張すると、 は同相写像になる。

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

 基本的な性質 
 相等関係 
二つの複素数が等しいとは、それらの実部および虚部がそれぞれ等しいことである：

このことは、 が線型独立であることから示される。

 四則演算 
200px|thumb|二つの複素数の和は、複素数平面では、平行四辺形の対角線を作ることに当たる。
 （複号同順）


 は整数とする。




 複素共役（共役複素数） 

複素数  に対して、虚部  を反数にした複素数  を  の共役（きょうやく、conjugate, 本来は共軛）複素数といい、記号で （または ）と表す。

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

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


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

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

以下の性質が成り立つ。
  が実数 ⇔ 
  が純虚数 ⇔ 
 （複号同順）


 （ は整数）
 （対合）


  以外の複素数の逆数は、絶対値と共役で表せる：



代数方程式の解について、次が成り立つ：
「実係数多項式  が虚数根  をもつならば、 も  の虚数根である」
つまり、
実係数多項式  について、
（1746年、ダランベール）
このことは、複素共役変換が環準同型であることから容易に示せる。

 形式 
複素数は様々な形式で表現できる。以下はその一例である：
+表. 複素数の形式名称式係数直交形式実部 、虚部 極形式絶対値 、偏角 指数函数形式フェーザ形式

 極形式 

複素数を実部と虚部で表すのとは別の方法として、複素数平面上での点  を、原点  からの距離と、と線分  の見込む角を反時計回りに測ったものの対（ の極座標）で表す方法が挙げられる。これにより、複素数の極形式の概念が導入される。

 絶対値 

複素数 （ は実数）の絶対値は

で定義される。これは  以上の実数である。 が実数（つまり ）のとき  は実数の絶対値  に一致する。

複素数の絶対値は、ピタゴラスの定理により、複素平面における原点  とのユークリッド距離に等しい。そして次が成り立つ。
 非退化性：
 三角不等式：（劣加法性とも）
 乗法性：
逆に、複素数の絶対値は、実数の絶対値を複素数に拡張したノルム代数として特徴付けられる。

複素数  の絶対値  は、 を極形式表示：

したときの動径  に等しい。

共役複素数と自身の積は、絶対値の平方に等しい。すなわち複素数  に対して

が成り立つ。

 偏角 

複素数  の偏角（応用の場面ではしばしば「位相」とも呼ばれる） とは、複素平面上で、正の実軸から測った動径  の角度のことである。偏角  の値はラジアンで表すものとする。

角に  の任意の整数倍を加えてもそれが表す動径、複素数は同じであるから、偏角を与える関数は多価関数である。

そこで、偏角  を一価関数として定義するには、主値を区間  とする場合、逆正接関数から次のようにして定義される（計算機言語では、 の逆正接関数を、二つの引数  に対する atan2 として実装していることが多い）：

複素数が  のときだけ偏角は不定 (indeterminate) となる。

上記の定義で、負となる偏角の値に対しては  を加えることにすると、主値は  となる。

複素数  が主値の端の値の近傍を連続的に変化するならば、偏角の値もまたその近傍で連続的に変化するように枝をとるものとして、それを単に  のように書く。

 極形式の表示と記法 
複素数 （ は実数）において、直交座標系  に対応する極座標系を   とするとき、
（三角関数表示）
と表すことができる。この表示式を極形式 (polar form) という。 は  の絶対値、 は  の偏角である。 を除いて、この表示は一意である。

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

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

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

と書くこともある。

フェーザ表示

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

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

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

により

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

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

同様にして、商は

になる。

 偏角の計算規則 
偏角に関する等式  は、両辺の差が  の任意の整数倍であることを除いて成り立つ等式であることに注意しなければならない。
例えば

において、もし各項が任意の偏角をとるものとしてしまうと、
（ は任意の整数）
と書けば、右辺は  だが左辺は （ は任意の整数）となり厳密には等しくならない。
それを明示するために合同式の記法を流用してしばしば

などとも書く。このように  に関して合同であるという理解は重要である。しかし、先述のように（適当なリーマン面上で）偏角をとるものと仮定すれば、 の整数倍を加える不定性無く実際に等号が成り立つ。すなわち、三つの複素数  のそれぞれに対して独立に偏角をとるのではなく、ひとたび  を満たすように偏角を一組選べば（例えば右辺の各項の値を決め、それによって左辺の値を定義すれば）、 あるいは  を連続的に変化させるとき、 も連続的に変化して、そのような三点の近傍において常に厳密な意味で等号が成立する。

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


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

 ド・モアブルの定理 

実数 , 整数  に対して、

が成り立つ（ド・モアブルの定理）。オイラーの公式より

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

 性質と特徴付け 

 体構造 

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

実数と異なり、虚数に通常の大小関係 () はない。つまり、複素数体  は順序体にはならない。これは、自乗すると負である数（例えば虚数単位 ）が存在することによる。

 代数的閉体 

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

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

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

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

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

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

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

また  は複素体に同型である（が、その同型を決めるには選択公理が必要となる）。

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

 は以下の三条件を満たす部分集合  を持つ。
  は加法、乗法および逆元を取ることについて閉じている。
  の異なる元  に対して、 または  のうちの何れか一方のみが  に属する。
  が  の空でない部分集合ならば、適当な  に対して  が成り立つ。
この  はつまり正の実数全体の成す集合である。さらに言えば、 は非自明な対合的として複素共軛変換  を持ち、任意の非零複素数  に対して  が成り立つ。

これらの性質を満たす任意の体  には、任意の  に対する集合  を開基とすることによって、位相を入れることができ、この位相に関して  は  に位相体として同型になる。

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

 乗法群の構造 
非零複素数の全体  は、複素数体  の乗法群  であり、 における距離空間としての部分位相空間と見て、位相群を成す。また、絶対値  の複素数全体の成す群（円周群） はその部分位相群であり、写像

および写像

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

 形式的構成 
 実数の対として 

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

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

により定めるとき、 を複素数という。実数  は  で表され、虚数単位  は  に当たる。このとき、 は  に関して体となり、零元は 、単位元は  である高木『解析概論』付録I, §10.。

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

 剰余環としての構成 

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

体とは、四則演算ができてよく知られた計算法則を満たすものである（例えば有理数体など）。実数全体の成す集合  は体である。また、係数体が  の多項式全体の成す集合  は、通常の加法、乗法に関して環を成す（多項式環と呼ばれる）ことに注意する。

剰余環  は、 を含む体であることは示すことができる。この拡大体において、（の属する剰余類）は  の平方根である。この剰余環の任意の元は、多項式の除法の原理より、（ は実数）の形の多項式を代表元に一意に持つ。ゆえに、 は  上の2次元ベクトル空間であり、（が属する剰余類）はその基底である。

 の元（剰余類）（ は実数）を、実数の順序対  に対応させると、前節で述べた体が得られる。この2つの体は体同型である。

 行列表現 

複素数  を、 上の（左からの）作用と見ると、それに対応する  上での一次変換の表現行列を考えることができる。

対応

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

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

極形式表示を  とすると、

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

複素数  の表現行列を  とすると、 の行列式

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

複素数のこの行列表現はよく用いられる標準的なものだが、虚数単位  に対応する行列  を例えば  に置き換えても、平方が単位行列の  倍であり、複素数の別の行列表現が無数に考えられる（後述、また実二次正方行列の項も参照）。

 複素函数 
270px|thumb| の色相環グラフ。内側の黒の部分は、とる値の絶対値が大きいことを表す。 における  は真性特異点である。

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

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

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

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

 指数・対数 
 複素指数函数 
複素指数函数  あるいは  は級数

で定義される。この級数の収束半径は  であるから、複素指数函数は  上正則関数（整関数）である。

任意の実数  に対して次の等式が成り立つ：
（オイラーの公式）

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

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

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

 複素対数函数 

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

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

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

 複素数の複素数乗 
複素数の複素数乗  は

として定義される。対数函数は多価であったから、その結果として複素数の複素数乗も一般には多価になる。特に （ は自然数）の形のときは、複素数  の 乗根  を表し、値は一意に定まらない。

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

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

 正則函数 

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

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

や

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

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

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

2つの正則函数  が  のある小さな、正則曲線上で一致するならば、それらは全体でも一致する（一致の定理、解析接続）。

有理型関数は、局所的には正則函数  を用いて  で近似でき、正則函数といくつかの特徴が共通する。有理型でない函数は真性特異点をもつ（例えば は  で真性特異点を持つ）。

 歴史 

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

1150年頃、インドのバースカラ2世は著作『ビジヤガニタ（根の計算）』の中で、負債の平方根は存在しない、すなわち負債は平方数にならない、とかいた。

1484年、はと計算した。

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

ボンベリは  を piu di memo とよび、計算規則



を導入した。

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

18世紀のはじめ、不定積分を研究していたベルヌーイ家は複素数の対数にぶつかった。これが複素数の本格的研究への道を開いた。

ヨハン・ベルヌーイは、負数  と正数  の対数は等しい、と主張した。その根拠の一つは、 の微分は  であるから  の微分と等しい、したがって  である、というものだった。

ライプニッツはベルヌーイに反論し、ヨハン・ベルヌーイとライプニッツの間で論争が繰り広げられた。ライプニッツは、負数の対数は存在しない、それは虚である、と主張した
。 は存在しない  の半分であるから、やはりこれも存在しない、とした。

1714年、ロジャー・コーツは

が成立することを発見した（オイラーの公式）。そしてこの式から

を出した。オイラーはこの等式をヨハン・ベルヌーイの等式と呼んだ。

オイラーはコーツのこの式を使ってベルヌーイの主張に反論した。オイラーは1777年頃から  を  で表すことをはじめた。オイラーは複素関数  の積分を考え、コーシー・リーマンの方程式も発見していた。オイラーが複素関数を実部と虚部に分けコーシー・リーマン方程式を導いたことは、後年、実数の組として複素数の定義を与えるにあたって、ハミルトンに強い影響を与えた。

1752年、ダランベールは、均質な流体が剛体のまわりを流れるときの速度の研究において計算の補助手段として虚数を用いた。

こうして、18世紀の間に、複素数の形式的な性質が広く利用され、多くの重要な結果が得られた。そして複素数は不可欠なものとなった。

ある数学的対象の存在を幾何学的方法で表し、幾何学的解釈が可能となったとき、それを数学的実在とみるのはギリシア時代以来の伝統である。複素数の幾何学的解釈はウォリスにより1673年にはじめて試みられたが、ウォリスは成功しなかった。

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

1814年にコーシーが複素解析を始め、複素数を変数に取る解析関数や複素線積分が論じられるようになった。コーシーは共役複素数という用語も導入した。

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

1837年、ハミルトンは2つの数  の順序対  に計算規則を定義することで複素数を定義した。

1847年、現代の代数学の言葉でいうと、コーシーは実係数の多項式全体の  による剰余環が複素数体と同型になることを示した。コーシーの研究に刺激されたクロネッカーは、数とは何かという問題を取り上げ、自然数は神が創造した、他は人間が作った、という哲学に達した。1887年の論文「Ueber den Zahlbegriff（数の概念について）」では、負数や分数を多項式を使って捉えている。これらの考えは後にエルンスト・シュタイニッツが1910年の論文で商体を作るときに利用した。

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

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

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

 複素数の拡張 

複素数とは実数体上の、実数単位 , 虚数単位  の線型結合であるが、これに新たな単位を有限個加えて可換体（通常の四則演算ができる数の体系）を作ることはできない。実数体  から拡張して  を得る過程はケーリー＝ディクソンの構成法と呼ばれる。この過程を推し進めると、より高次元の四元数体 , 八元数体  が得られる。これらの、実数体上の線形空間としての次元はそれぞれ  である。この文脈において複素数は「二元数」(binarions) とも呼ばれるKevin McCrimmon (2004) A Taste of Jordan Algebras, p.64, Universitext, Springer ISBN 0-387-95447-3 。

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

ケーリー＝ディクソン構成は、（を -線型環、つまり乗法を持つ -線型空間と見て）の正則表現と近しい関係にある。すなわち、複素数  に対して、-線型写像  を

とすると、 の（順序付き）基底  に関する表現行列は、実二次正方行列

である（つまり、#行列表現で述べた行列に他ならない）。これは  の標準的な線型表現だが、唯一の表現ではない。実際、

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

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

多元数は  もさらに一般化するもので、例えば分解型複素数環は剰余環  である（複素数は剰余環  であった）。この環において方程式  は4つの解を持つ。

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

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

 脚注 

 注釈 

 出典 

 参考文献 

 関連項目 

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

 外部リンク 

Category:初等数学
Category:数学に関する記事
*