我们把形如z=a+bi(a,b均为实数)的数称为复数,其中a称为实部,b称为虚部,i称为虚数单位。当z的虚部等于零时,常称z为实数;当z的虚部不等于零时,实部等于零时,常称z为纯虚数。复数域是实数域的代数闭包,即任何复系数多项式在复数域中总有根。复数是由意大利米兰学者卡当在十六世纪首次引入,经过达朗贝尔、棣莫弗、欧拉、高斯等人的工作,此概念逐渐为数学家所接受
数集拓展到实数范围内,仍有些运算无法进行(比如对负数开偶数次方),为了使方程有解,我们将数集再次扩充。
在实数域上定义二元有序对z=(a,b),并规定有序对之间有运算"+"、"×" (记z1=(a,b),z2=(c,d)):
z1 + z2=(a+c,b+d)
z1 × z2=(ac-bd,bc+ad)
容易验证,这样定义的有序对全体在有序对的加法和乘法下成一个域,并且对任何复数z,我们有
z=(a,b)=(a,0)+(0,1) × (b,0)
令f是从实数域到复数域的映射,f(a)=(a,0),则这个映射保持了实数域上的加法和乘法