複素数の絶対値

[thumb|複素数  の絶対値  は、[複素数平面上において、原点  と  の距離  に等しい。]]
数学における複素数の**絶対値**（ぜったいち、, ）とは、複素数平面における、原点  とのユークリッド距離として定義できる。これは、実数の絶対値を複素数に拡張した、唯一の乗法的ノルムとして特徴付けることができる。複素数  の絶対値は  などで表される。

具体的には、複素数 （ は実数）（ は虚数単位）の**絶対値**は次の式で定義される：
:|z|:=\sqrt{a^2+b^2}
複素数の絶対値の概念は実数の絶対値の拡張であり、乗法的ノルムの公理を満たす。これにより複素数列の収束・発散の概念が-論法により導入でき、複素解析を講ずることができる。

用語として *module* を導入したのは  で、幾何学的構成による虚数の表現を説明するものとして用いられた。

## 定義
複素数 （ は実数）の絶対値  は、幾何学的な定義と代数的な定義がある。幾何学的には、絶対値  は、複素数平面における、原点  とのユークリッド距離として定義できる。具体的には、次の式で定義できる：
:|z|:=\sqrt{a^2+b^2}
代数的には、複素数の絶対値は、実数の絶対値を拡張した乗法的ノルムとして定義できる。つまり、複素関数 | \quad |: \mathbb{C} \rightarrow \mathbb{R} で以下の性質を満たすものを、複素変数の絶対値関数という：
* |x| = \max \{ x, -x \}（ は実数）
* 非負性：|z| \ge 0
* 非退化性：|z|=0 \iff z=0
* 乗法性：|z_1z_2| = |z_1||z_2|
* **[[三角不等式]]**：|z_1+z_2| \le |z_1|+|z_2|
複素数の乗法的ノルムは幾何学的定義の絶対値に等しいことの証明は、以下の流れになる：
# の極形式表示を  とする。
# を証明すればよい。
#ド・モアブルの定理より、 が有理数の場合については、 &nbsp; &nbsp; が示される。
#ノルム関数  は、三角不等式より連続である。
# を有理数列で近似していくと、余弦関数、正弦関数、ノルム関数の連続性より、（証明終）

## 性質
 を複素数とする。
* 非負性：|z|\ge 0
** 等号成立は  のとき。
* 非退化性：|z|=0 \iff z=0
* 乗法性：|z_1z_2|=|z_1||z_2|
** \left| \frac{z_1}{z_2} \right| = \frac \quad (z_2 \ne 0)
** | z^n | = |z|^n（ は整数、ド・モアブルの定理より）
** | z^r | = |z|^r（は実数、オイラーの公式より）
* **[[三角不等式]]**：|z_1+z_2|\le|z_1|+|z_2|
** 等号成立は \overline{z_1} z_2 \in \R_+ のとき。つまり、 以上のある実数  が存在してz_2=\lambda z_1 または z_1=\lambda z_2 と書けるときである。
** |z_1 + z_2 + \cdots + z_n| \leq |z_1| + |z_2| + \cdots + |z_n|
** 逆向き三角不等式：|z_1 \pm z_2| \ge \bigl| |z_1| - |z_2| \bigr|
** | \operatorname{Re} z| \le |z|, | \operatorname{Im} z| \le |z|
*** \lim_{n\to\infty} z_n = \alpha \iff \lim_{n\to\infty} \operatorname{Re} z_n = \operatorname{Re} \alpha , \ \lim_{n\to\infty} \operatorname{Im} z_n = \alpha
*** 複素関数 |z| は連続
上記の3性質は、絶対値を特徴付けるため、重要である。
* |z|=|-z|=|\overline{z}|=|-\overline{z}| ただし、上線  は複素共役を表す。
* |z|^2 = z\overline{z}
実数  について成り立つ等式  は、複素数では成り立たない。

複素絶対値関数  は正則でない。

## 演算の特徴
複素数全体からなる集合  において、
:d(z_1, z_2) = |z_1 - z_2|\quad (z_1, z_2 \in \mathbb{C})
で定義される関数  は距離函数である。つまり  は距離空間（特に位相空間）になる。さらに  は完備である。

 は、上で述べた非負性・非退化性・乗法性（の一部）と三角不等式の成立により、複素数の絶対値をノルムとする実二次元ノルム線型空間である。さらに複素数の持つ代数的演算は、この標準的な距離空間の位相（）に関して連続である。特に、絶対値の乗法性により、 は乗法的バナッハ環（したがって完備ノルム体）を成す。

より代数的な言葉で述べるならば、複素数の絶対値は複素数全体の成す集合に付値体の構造を与えるという意味において「絶対値」（付値）である。複素数の全体は完備アルキメデス付値体になる。

## 絶対値 1 の複素数

写像  は複素数の乗法群  を実数の乗法群  へ写す群準同型である。この準同型の核は の複素数全体の成す集合  である。したがって  は  の部分群（特に正規部分群）であり、 の円周群と呼ばれる。

写像  は実数の加法群  を円周群  へ写す群準同型である。この準同型は基本周期  を持つ周期函数になる。ブルバキの数学原論ではこれを  の定義におく。

## 一般化
### 合成代数のノルム・絶対値

任意の合成代数  は共軛と呼ばれる対合  を備えている。各元  とその共軛元  との積  は  のノルムと呼ばれる。

実数体 , 複素数体 , 四元数体  は何れも正定値二次形式によって与えられるノルムを持つ合成代数であり、これら多元体における絶対値は上記合成代数としてのノルムの平方根: \begin{cases}
 |x|_\mathbb{R} := \sqrt{x \cdot x} = \sqrt{x^2} &(\forall x\in \mathbb{R} )\\[5pt] 
 |z|_\mathbb{C} := \sqrt{z \cdot \overline{z}} = \sqrt{(a+bi)(a-bi)} = \sqrt{a^2+b^2} &(\forall z:=a+bi \in \mathbb{C};\,a,b\in\mathbb{R})\\[5pt]
 |h|_\mathbb{H} := \sqrt{h\cdot h^*} = \sqrt{(r+\mathbf{q})(r-\mathbf{q})} = \sqrt{r^2+ \Vert \mathbf{q} \Vert^2} & (\forall h:=r+\mathbf{q}\in\mathbb{H};\,r\in\mathbb{R},\,\mathbf{q}\in\mathbb{R}^3)
\end{cases} で与えられる。

一般には合成代数のノルムは二次形式として不定値となり得るし、等方ベクトルも持ち得る。それでも上記の多元体の場合と同様に非零ノルムを持つ元  は必ず乗法逆元として  を持つ。

## 注

### 注釈

### 出典

## 参考文献
* 
* 

## 関連項目

* 極座標系
* 複素数の偏角

## 外部リンク
* 
* 
* 
* 
*