复数的表示#
-
用实部和虚部:
z=x+yi,Rez=x,Imz=y
-
极坐标形式:
z=x+yi=r(cosθ+i⋅sinθ)其中{x=rcosθ,y=rsinθr=∣z∣
θ定义为z的辐角,记作 θ=Argz
-
用欧拉公式:
eiθ=cosθ+isinθ这也是|z|=1时极坐标的形式∴z=x+yi=r(cosθ+i⋅sinθ)=reiθz=reiθ
简单推导一下欧拉公式:(用x替代θ,懒)
eix=1+ix+2!(ix)2+3!(ix)3+4!(ix)4+5!(ix)5+6!(ix)6...=偶交错是cos展开(1−2!x2+4!x4−6!x6...)+奇交错是sin展开i(x−3!x3+5!x5−...)=cosx+isinx
-
共轭复数
就是把θ 变成-θ
复数的运算#
-
实部虚部四则运算
-
极坐标形式的运算(处理乘除方便)
-
z1⋅z2=r1r2(cos(θ1+θ2)+isin(θ1+θ2))
-
z2z1=r2r1(cos(θ1−θ2)+isin(θ1−θ2))
-
棣莫弗定理:zn=rn(cos(nθ)+isin(nθ))
-
这个定理还可以定义复数的开根:给定z=reiθ,θ=argz,如果∃w=ρeiϕ,wn=z则称w是z的n次方根,ϕ=nθ+2kπ,k=0,1,2,3...n−1,ρ=nr。注意,开根函数是多值函数,值的个数=开根次数n,实数在复数域下开根也能开出来多值。
-
欧拉公式
- z1⋅z2=r1r2ei(θ1+θ2)
-
共轭复数及其运算:
-
z⋅z=∣z∣2
-
z1⋅z2=z1⋅z2(用欧拉公式证)
-
z2z1=z2z1(用欧拉公式证)
例题1:求3i
solution
θ=π/2+2kπ3i=ei(6π+32kπ),k=0,1,2∴3i=ei6πorei65πorei23π
例题2:求31(在复数域上)
solutiion
θ=2kπ31=ei32kπ,k=0,1,2∴31=1orei32πorei34π
复球面与扩充复平面#
(有限)复平面#
直角坐标系中,复数实部虚部对应实轴虚轴形成的平面就是复平面,记作C。当然,也可以用极坐标表示。
复数的幅角:以x轴正半轴为始边,以向量为终边。
z=x+yi⇔OP=(x,y)tan(Argz)=xy=θ=θ+2kπ(−π<θ≤π,z=0,k=0,1,2...)满足−π<Argz<π 的辐角为主辐角,记作argz辐角逆时针为正,顺时针为负
- θ区间长度2π,且满足区间端点一开一闭。
复数的辐角函数:
arg(z)=⎩⎨⎧arctanxy2π−2πarctanxy−ππx<0,y=0arctanxy+πundefinedx>0,y∈Rx=0,y>0x=0,y<0x<0,y<0x<0,y>0x=0,y=0复数的辐角函数是多值函数,辐角函数通常在复数的负实轴上具有不连续性。因为辐角函数的定义涉及到从
−π到π的区间,在复平面的负实轴(x<0,y=0)处,辐角函数会发生跳跃。辐角函数在整个复平面上是非解析的。特别是,它在复平面的负实轴上具有分支点,因此必须使用分支切割来使其成为一个良定义的单值函数。
在复平面内,复数的乘法有几何意义:
z1⋅z2将z1逆时针(Argz2>0)转θ2度,然后缩放∣z2∣倍为什么复数有旋转缩放的能力呢?这不禁让人联想到旋转矩阵的作用。事实上,复数也有复数的矩阵表示
对于一个复数z,乘一次虚数单位i相当于逆时针转了90度
(a+bi)i=−b+ai显然,这个?矩阵是记作J,不难发现J2=−E注意到,一般的旋转矩阵R(θ)这正好是θ=π/2的情况!Ja+bi⇔[????]⋅[ab]=[−ba][01−10]=[cosθsinθ−sinθcosθ]↔i↔aE+bJ=a[1001]+b[01−10]=[ab−ba]复数的矩阵形式有如下性质:
- 矩阵的转置↔共轭复数(交换副对角线,b变号)
- 矩阵的模=复数模的平方 ∣J∣=∣z∣2
继续往下探索还能和四元数结合在一起,这里就不过多赘述。
复球面#
首先定义一个特殊的复数,记作∞,读作无穷大(复数无法比大小,不存在正负无穷大)满足
∞=01
- 无穷大的模∣∞∣=∞,而无穷大的实部、虚部和辐角均没有意义
- 类比于实数的无穷大,对于复数的无穷大满足
∞±z=∞(z=∞)∞⋅z=∞(z=0)z∞=∞;∞z=0(z=∞)
在复平面上不存在这样一个点对应复数无穷大,或者说只存在理想的无穷远点对应复数无穷大。因此引入复球面:球的南极与复平面坐标原点重合,北极在z轴上(xyz为右手系)。
复球面和复平面有这样的对应关系:
- 复平面上的任一点与球北极的连线交球表面于一点
- 复球面上除北极以外的点和复平面上的点一一对应,北极对应了复平面上的理想的无穷远点
扩充复平面#
包含无穷远点在内的复平面称为扩充复平面。记作C∪{∞}