复数 (数学)

尽管可以使用其他表示法，复数通常写为如下形式：

${\displaystyle a+bi}$

这裡的${\displaystyle a}$和${\displaystyle b}$是实数，而i是虛數單位，它有着性质${\displaystyle {{i}^{2}}=-1}$。实数${\displaystyle a}$叫做复数的实部，而实数${\displaystyle b}$叫做复数的虚部。实数可以被认为是虚部为零的复数；就是说实数${\displaystyle a}$等价于复数${\displaystyle a+0i}$。实部为零且虚部不为零的复数也被称作“纯虚数”；而实部不為零且虚部也不为零的复数也被称作“非純虚数”或“雜虛數”。

例如，${\displaystyle 3+2i}$是复数，它的实部为3虚部为2。如果${\displaystyle z=a+ib}$，则实部（${\displaystyle a}$）被指示为${\displaystyle \operatorname {Re} (z)}$或${\displaystyle \Re (z)}$，而虚部（${\displaystyle b}$）被指示为${\displaystyle \operatorname {Im} (z)}$或${\displaystyle \Im (z)}$。

在某些领（特别是电子工程，这裡的i是电流的符号）中，虚部${\displaystyle i}$被替代写为${\displaystyle j}$，所以复数有时写为${\displaystyle a+jb}$。

所有复数的集合通常指示为${\displaystyle C}$，或者用黑板粗体写为${\displaystyle \mathbb {C} }$。实数${\displaystyle \mathbb {R} }$可以被当作${\displaystyle \mathbb {C} }$的子集，通过把实数的所有成员当作复数：${\displaystyle a=a+0i}$。

复数中的虚数是无法比较大小的，即两个虚数有相等和不等两种等量关系。

两个复数是相等的，当且仅当它们的实部是相等的并且它们的虚部是相等的。就是说，設${\displaystyle a}$,${\displaystyle b}$,${\displaystyle c}$,${\displaystyle d}$為實數，則${\displaystyle a+bi=c+di}$当且仅当${\displaystyle a=c}$并且${\displaystyle b=d}$。

通过形式上应用代数的结合律、交换律和分配律，再加上等式${\displaystyle {{i}^{2}}=-1}$，定义复数的加法、减法、乘法和除法:

• 加法：${\displaystyle \,(a+bi)+(c+di)=(a+c)+(b+d)i}$
• 减法：${\displaystyle \,(a+bi)-(c+di)=(a-c)+(b-d)i}$
• 乘法：${\displaystyle \,(a+bi)(c+di)=ac+bci+adi+bdi^{2}=(ac-bd)+(bc+ad)i}$
• 除法：${\displaystyle \,{\frac {(a+bi)}{(c+di)}}={\frac {(a+bi)(c-di)}{(c+di)(c-di)}}={\frac {ac+bci-adi-bdi^{2}}{c^{2}-(di)^{2}}}={\frac {(ac+bd)+(bc-ad)i}{c^{2}+d^{2}}}=\left({ac+bd \over c^{2}+d^{2}}\right)+\left({bc-ad \over c^{2}+d^{2}}\right)i}$

複數可定義為實數${\displaystyle a,b}$組成的有序對，而其相關之和及積為：

• ${\displaystyle (a,b)+(c,d)=(a+c,b+d)}$，

• ${\displaystyle (a,b)\cdot (c,d)=(ac-bd,bc+ad)}$，

複數數系是一個體，複數體常以${\displaystyle \mathbb {C} }$來表示。

一個實數${\displaystyle a}$等同於複數${\displaystyle (a,0)}$，故實數體為複數體的子體。虛數單位${\displaystyle i}$就是複數${\displaystyle (0,1)}$。此外，還有:

• 加法单位元（“零元”）: ${\displaystyle (0,0)}$
• 乘法单位元（“幺元”）: ${\displaystyle (1,0)}$
• ${\displaystyle (a,b)}$的加法逆元: ${\displaystyle (-a,-b)}$
• 非零${\displaystyle (a,b)}$的乘法逆元（倒数）: ${\displaystyle \left({a \over a^{2}+b^{2}},{-b \over a^{2}+b^{2}}\right)}$。

複數體亦可定為代數數的拓撲閉包或實數體的代數閉包。

先把坐标轴画出来，横的叫实轴，竖的叫虚轴，然后确定0的位置，${\displaystyle z=a+bi}$可以用二维空间来表示出来。
复数${\displaystyle z}$可以被看作在被称为阿甘得图（得名於让-罗贝尔·阿冈，也叫做高斯平面）的二维笛卡尔坐标系内的一个点或位置向量。这个点也就是这个复数${\displaystyle z}$可以用笛卡尔（直角）坐标指定。复数的笛卡尔坐标是实部${\displaystyle x=\Re z}$和虚部${\displaystyle y=\Im z}$。复数的笛卡尔坐标表示叫做复数的“笛卡尔形式”、“直角形式”或“代数形式”。

${\displaystyle z=re^{i\phi }}$，则${\displaystyle |z|=r}$是${\displaystyle z}$的「絕對值」（「模」、「幅值」）。如果${\displaystyle z=a+bi}$，則${\displaystyle |z|={\sqrt {a^{2}+b^{2}}}}$.

對所有${\displaystyle z}$及${\displaystyle w}$，有

${\displaystyle |z|-|w|\leq |z+w|\leq |z|+|w|}$

${\displaystyle |zw|=|z|\;|w|}$

${\displaystyle \left|{\frac {z}{w}}\right|={\frac {|z|}{|w|}}}$

當定義了距離${\displaystyle d(z,w)=\left|z-w\right|}$，複數體便成了度量空间，我們亦可談極限和連續。加法、乘法及除法都是連續的運算。

${\displaystyle z=a+ib}$的共軛複數定義為${\displaystyle z=a-ib}$，記作${\displaystyle {\overline {z}}}$或${\displaystyle z^{*}}$。如圖所示，${\displaystyle {\overline {z}}}$是${\displaystyle z}$关于實數轴的「对称点」。有

${\displaystyle {\overline {z+w}}={\overline {z}}+{\overline {w}}}$

${\displaystyle {\overline {zw}}={\overline {z}}\cdot {\overline {w}}}$

${\displaystyle {\overline {\left({\frac {z}{w}}\right)}}={\frac {\overline {z}}{\overline {w}}}}$

${\displaystyle {\overline {\overline {z}}}=z}$

${\displaystyle {\overline {z}}=z}$ 當且僅當${\displaystyle z}$是實數

${\displaystyle |z|=|{\overline {z}}|}$

${\displaystyle |z|^{2}=z{\overline {z}}}$

${\displaystyle z^{-1}={\overline {z}}|z|^{-2}}$ 若${\displaystyle z}$非零。這是計算乘法逆最常用的等式。

對於所有代數運算${\displaystyle f}$，共軛值是可交換的。這即是說${\displaystyle f({\overline {z}})={\overline {f(z)}}}$。一些非代數運算如正弦「${\displaystyle \sin }$」亦有此性質。這是由於${\displaystyle i}$的不明確選擇——${\displaystyle x^{2}=-1}$有二解。可是，共軛值是不可微分的（參見全纯函数）。

一複數${\displaystyle z=re^{i\phi }}$的「幅角」或「相位」為${\displaystyle \phi }$。此值對模${\displaystyle 2\pi }$而言是唯一的。

對於乘法和除法分別有：

${\displaystyle \,re^{\alpha i}se^{\beta i}=(rs)e^{(\alpha +\beta )i}}$（即“模值相乘，幅角相加”）

${\displaystyle \,{\frac {re^{\alpha i}}{se^{\beta i}}}={\frac {r}{s}}e^{(\alpha -\beta )i}}$（即“模值相除，幅角相减”)

X = A + B

X = AB

X = A*

考虑一个平面。一个点是原点0。另一个点是单位1。

两个点A和B的和是点X = A + B使得顶点0, A, B的三角形和顶点X, B, A的三角形是全等的。

两个点A和B的积是点X = AB使得顶点0, 1, A的三角形和顶点0, B, X的三角形是相似的。

点A的共轭复数是点X = A^*使得顶点0, 1, A的三角形和顶点0, 1, X的三角形相互是镜像。

${\displaystyle x=r\cos \varphi }$

${\displaystyle y=r\sin \varphi }$

${\displaystyle r={\sqrt {x^{2}+y^{2}}}}$

${\displaystyle \varphi ={\begin{cases}\arctan({\frac {y}{x}})&{\mbox{if }}x>0\\\arctan({\frac {y}{x}})+\pi &{\mbox{if }}x<0{\mbox{ and }}y\geq 0\\\arctan({\frac {y}{x}})-\pi &{\mbox{if }}x<0{\mbox{ and }}y<0\\+{\frac {\pi }{2}}&{\mbox{if }}x=0{\mbox{ and }}y>0\\-{\frac {\pi }{2}}&{\mbox{if }}x=0{\mbox{ and }}y<0\\\mathrm {undefined} &{\mbox{if }}x=0{\mbox{ and }}y=0.\end{cases}}}$

前面的公式要求非常繁杂的情况区分。但是很多编程语言提供了经常叫做atan2一个变体的反正切函数来处理这些细节。使用反余弦函数的公式要求更少的情况区分:

${\displaystyle \varphi ={\begin{cases}+\arccos {\frac {x}{r}}&{\mbox{if }}y\geq 0{\mbox{ and }}r\neq 0\\-\arccos {\frac {x}{r}}&{\mbox{if }}y<0\\\mathrm {undefined} &{\mbox{if }}r=0.\end{cases}}}$

极坐标形式的符号

${\displaystyle z=r\,(\cos \varphi +i\sin \varphi )}$，

被叫做“三角形式”。有时使用符号cis φ简写cosφ + isinφ。 使用欧拉公式还可以写为

${\displaystyle z=r\,\mathrm {e} ^{i\varphi }\,,}$

这叫做“指数形式”。

在极坐标形式下乘法、除法、指数和开方根要比笛卡尔形式下容易许多。

使用三角恒等式得到

${\displaystyle r_{1}\,e^{i\varphi _{1}}\cdot r_{2}\,e^{i\varphi _{2}}=r_{1}\,r_{2}\,e^{i(\varphi _{1}+\varphi _{2})}}$，

和

${\displaystyle {\frac {r_{1}\,e^{i\varphi _{1}}}{r_{2}\,e^{i\varphi _{2}}}}={\frac {r_{1}}{r_{2}}}\,e^{i(\varphi _{1}-\varphi _{2})}}$。

依据棣莫弗定理做整数幂的指数运算，

${\displaystyle {\big (}r\,e^{i\varphi }{\big )}^{n}=r^{n}\,e^{in\varphi }}$。

任意复数幂的指数运算在条目指数函数中讨论。

两个复数的加法只是两个向量的向量加法，乘以一个固定复数的可以被看作同时旋转和伸缩。

乘以${\displaystyle i}$对应于一个逆时针旋转90 度(${\displaystyle {\frac {\pi }{2}}}$ 弧度)。方程${\displaystyle i^{2}=-1}$的几何意义是顺序的两个90度旋转导致一个180度(${\displaystyle \pi }$弧度)旋转。甚至算术中的${\displaystyle (-1)\times (-1)=+1}$都可以被在几何上被理解为两个180度旋转的组合。

任何数的所有方根，实数或复数的，都可以用简单的算法找到。${\displaystyle n}$次方根给出为

${\displaystyle {\sqrt[{n}]{re^{i\varphi }}}={\sqrt[{n}]{r}}\ e^{i\left({\frac {\varphi +2k\pi }{n}}\right)}}$

对于${\displaystyle k=0,1,2,\ldots ,n-1}$，这裡的${\displaystyle {\sqrt[{n}]{r}}}$表示${\displaystyle r}$的主${\displaystyle n}$次方根。

這是個實用價值不大，但具數學意義的表達式，是將複數看作能旋轉及縮放二維位置矢量的2×2實數矩陣，即是

${\displaystyle a+ib\leftrightarrow {\begin{pmatrix}a&-b\\b&\;\;a\end{pmatrix}}=r{\begin{bmatrix}\cos \varphi &-\sin \varphi \\\sin \varphi &\cos \varphi \end{bmatrix}}=r\exp \left(\varphi {\begin{bmatrix}0&-1\\1&0\end{bmatrix}}\right),}$

其中${\displaystyle a}$及${\displaystyle b}$為實數。可算出此類矩陣的和、積及乘法逆都是此類矩陣。此外

${\displaystyle {\begin{pmatrix}a&-b\\b&\;\;a\end{pmatrix}}=a{\begin{pmatrix}1&\;\;0\\0&\;\;1\end{pmatrix}}+b{\begin{pmatrix}0&-1\\1&\;\;0\end{pmatrix}}}$

即實數1對應着單位矩陣

${\displaystyle {\begin{pmatrix}1&\;\;0\\0&\;\;1\end{pmatrix}}}$，

而虛數單位${\displaystyle i}$對應着

${\displaystyle {\begin{pmatrix}0&-1\\1&\;\;0\end{pmatrix}}}$。

此矩陣令平面作逆時鐘90度旋轉，它的平方就是-1。

複數的絶對值就是行列式的平方根。這些矩陣對應相應的平面變換，其旋轉角度等於複數的徧角，改變比例等於複數的絶對值。複數的軛就是矩陣的轉置。

若矩陣中的${\displaystyle a}$和${\displaystyle b}$本來就是複數，則構成的代數便是四元數。由此，矩陣代表法可看成代數的凱萊-迪克森結構法。

${\displaystyle \mathbb {C} }$可以視作二維實綫性空間。[5]不同於實數體，複數體上不可能有與其算術相容的全序：${\displaystyle \mathbb {C} }$並非有序體。

滿足${\displaystyle p(z)=0}$的複數z是多項式${\displaystyle p}$的“根”。代數基本定理指出，所有${\displaystyle n}$次多項式，不管實數系數抑或複數系數的，都剛好有${\displaystyle n}$個複數根（${\displaystyle k}$重根按${\displaystyle k}$个计算）。這定理等價於複數體是代數閉體。

事實上，複數體是實數體的代數閉包。它是多項式環${\displaystyle \mathbb {R} [X]}$經由理想${\displaystyle \left\langle X^{2}+1\right\rangle }$顯生出的商環：

${\displaystyle \mathbb {C} =\mathbb {R} [X]/(X^{2}+1)}$。

這是一個體因為${\displaystyle X^{2}+1}$為不可約多項式，而${\displaystyle X}$在商環內對應着虛數單位${\displaystyle i}$。

複數體${\displaystyle \mathbb {C} }$唯一（就體同構來說）的體擁有三項代數特征:

• 它的特徵值是0
• 它對質數體的超越度是實數的基數
• 它是代數閉的

而然，${\displaystyle \mathbb {C} }$包含很多與${\displaystyle \mathbb {C} }$同構的子體。

在${\displaystyle \mathbb {C} }$上不可能建立與其加法及乘法相容之全序關係，即不存在一全序${\displaystyle \preceq }$使得對於任意複數${\displaystyle z_{1},z_{2}}$，有${\displaystyle 0\preceq z_{1},z_{2}\Rightarrow 0\preceq z_{1}+z_{2},0\preceq z_{1}z_{2}}$。

计算一个实数的复数幂是可以的。${\displaystyle a^{z}}$可以定义为${\displaystyle e^{z\cdot \ln(a)}}$。

在系统分析中，系统常常通过拉普拉斯变换从时变换到频。因此可在複平面上分析系统的极点和零点。分析系统稳定性的根轨迹法、奈奎斯特图法和尼科尔斯图法都是在複平面上进行的。

无论系统极点和零点在左半平面还是右半平面，根轨迹法都很重要。如果系统极点

• 位于右半平面，则因果系统不稳定；
• 都位于左半平面，则因果系统稳定；
• 位于虚轴上，则系统为临界稳定的。

如果稳定系统的全部零点都位于左半平面，则这是个最小相位系统。如果系统的极点和零点关于虚轴对称，则这是全通系统。

信号分析和其他领使用复数可以方便的表示周期信号。模值${\displaystyle \left\vert z\right\vert }$表示信号的幅度，辐角${\displaystyle \arg z}$表示给定频率的正弦波的相位。

利用傅里叶变换可将实信号表示成一系列周期函数的和。这些周期函数通常用形式如下的複函數的实部表示：

${\displaystyle f(t)=ze^{i\omega t}}$，

其中${\displaystyle \omega }$对应角频率，复数${\displaystyle z}$包含了幅度和相位的信息。

电路分析中，引入电容、电感与频率有关的虚部可以方便的将电压、电流的关系用简单的线性方程表示并求解。（有时用字母${\displaystyle j}$作为虚数单位，以免与电流符号i混淆。）

在應用層面，複分析常用以計算某些實值的反常積分，藉由複值函數得出。方法有多種，見圍道積分方法。

量子力學中複數是十分重要的，因其理論是建基於複數體上無限維的希尔伯特空间。

如將時間變數視為虛數的話便可簡化一些狹義和廣義相對論中的時空度量张量 (Metric Tensor)方程。

實際應用中，求解給定差分方程模型的系統，通常首先找出線性差分方程對應的特徵方程的所有複特徵根r，再將系統以形爲f(t)= e^rt的基函數的線性組合表示。

複函數於流力學中可描述二維勢流。

物理和工程領域中的交流電路分析，使用到相量作表達正弦信號。

一些分形如曼德博集合和茹利亚集（Julia set）是建基於複平面上的點的。