複素数と複素平面
#
複素解析では定義域と値域が複素数であるような関数について調べる。
特に微分可能な関数を正則関数といい、正則関数の性質を調べるのが目的である。
複素数と複素平面.複素微分
複素数と複素平面について復習した後,複素関数の連続性と微分を解説する.
複素数と四則
#
複素数とは、実数の組x,yを用いて定まる数
z=x+yi
xをzの実部といいRe(z)で表す。
yをzの虚部といいIm(z)で表す。
また、iを虚数単位という。
複素数全体の集合をCと表す。
z∈Cであれば、一意的に実数x,yを用いてz=x+yiと表すことができる。
二つの複素数が一致することは、実部と虚部が共に等しいこととして定義する。
つまり、z=x+yi,z′=x′+y′iについて、z=z′であることとx=x′かつy=y′であることが同値である。
複素数全体の集合は、集合としては実数の対全体の集合R2=R×Rと思うことができる。
この集合に四則演算を、特にi2=−1となるように複素数の積を定める。
複素数の四則演算
#
足し算と引き算はベクトル空間R2のものと同じである。
つまり実部同士と虚部同士をそれぞれ足し引きすればいい。
(a+bi)+(c+di)=(a+c)+(b+d)i(a+bi)−(c+di)=(a−c)+(b−d)i
この定義のもとで、a+bi=(a+0i)+(0+bi)である。
掛け算は次のように定める。
(a+bi)(c+di)=(ac−bd)+(ad+bc)i
これは、i2=−1かつ実双線形(分配法則を満たす)という条件で特徴づけられる。
この定義のもとで、bi=(b+0i)(0+1i)である。
割り算をどう定義するかを考えよう。
(a+bi)/(c+di)=(a+bi)×c+di1
とすることで、逆数を定めればよいことになる。
では逆数はどう定めるかというと、
(a+bi)(x+yi)=(ax−by)+(ay+bx)i=1
となる複素数x+yiがa+biの逆数であるから、この方程式を解けばよい。
すなわち
{ax−by=1ay+bx=0
あるいは行列とベクトルを用いて
(ab−ba)(xy)=(10)
を解くことで、x=a2+b2a,y=a2+b2−bとなり、
a+bi1=a2+b2a+a2+b2−bi
とわかる。
あるいは、(a+bi)(a−bi)=a2+b2となることを利用して、分子分母にa−biをかけると考えることもできる。
この四則演算について、通常の実数の和や積と同様に結合法則や交換法則、分配法則が成り立つことが証明できる。
複素共役
#
z∈Cに対し、z=a+biであるときzˉ∈Cをzˉ=a−biにより定める。
これをzの複素共役という。
複素共役は2回行うと元に戻る。
つまり、zˉˉ=zである。
複素共役をとる操作と四則演算は順序を入れ替えることができる。
すなわち以下が成り立つ。
α±β=α±βαβ=αβ(βα)=βα
zが実数であることは、z=zˉと同値である。
zとzˉからzの実部虚部を復元できる。
Re(z)=2z+zIm(z)=2iz−z
複素数の絶対値
#
複素数z=x+yiに対し、
∣z∣=zz=x2+y2
と定義し、これをzの絶対値と呼ぶ。
∣z∣=1のとき、zˉ=z1である。
複素平面
#
複素数z=x+yiに対して(x,y)という点を対応させることで、複素数をxy座標平面にプロットできる。
x軸とy軸の代わりに実軸と虚軸と呼ぶ。
複素数の和は平面ベクトルの和と同じで、平行四辺形により定まる。
また、複素共役はx軸に関する鏡映変換である。
複素数zの絶対値∣z∣は線分0zの長さである。
複素数の和と絶対値に関しては、三角不等式が成り立つ。
距離、位相に関連して、収束などを議論する上で重要な性質である。
∣z∣−∣w∣≤∣z+w∣≤∣z∣+∣w∣
0でない複素数zに対し、その偏角とは、線分0zと実軸のなす角のこと。
角の範囲を0から2πとすれば一意に定まるが、一般角としては一意ではないことに注意しよう。
極形式
#
複素数の積と複素平面の関係については極形式の方が見やすい。
積の絶対値が積、積の偏角が和に対応する。
積と和を結びつけるものとして、指数関数と対数関数があるが、後で見るように偏角は対数関数と関係する。
0でない複素数zの極形式とは、
z=r(cosθ+isinθ)
のことをいう。
単位円を用いた三角関数の定義を思いだそう。
ここで、z=x+yiに対し、r=∣z∣=x2+y2はzの絶対値で
θはzの偏角である。
つまり、θ=arctanyxであり、rcosθ=x,rsinθ=yで定まるもの。
θは2πの不定性がある。
積と回転。
複素数の積に対し、絶対値は積、偏角は和になる。
z1=r1(cosθ1+isinθ1),z2=r2(cosθ2+isinθ2)とすると、
z1z2=r1r2(cos(θ1+θ2)+isin(θ1+θ2))
となる。
これは加法定理から証明できる。
α=1+i=2(cos4π+isin4π),β=3+i=2(cos6π+isin6π)に対し、
αβ=22(cos125π+isin125π)となることを用いて
cos125π,sin125πを求めることができる。
複素平面における直線
#
xy座標平面における直線はx,yの一次式で表すことができた。
複素平面において、zとzˉの一次式でも表すことができる。
例えばz−zˉ=0が実軸、z+zˉ=0が虚軸である。
αz−αzˉ=0が原点とz=αˉを通る直線。
α(z−β)−αˉ(zˉ−βˉ)=0がz=βを通る直線である。
複素平面における円
#
平面における円は、ある点(これを中心という)から等しい距離(これを半径という)にある点の集まり。
∣z∣=rは原点中心で半径rの円の方程式である。
また、∣z−α∣=rがz=αが中心で半径rの円の方程式である。
一次分数変換と円
#
一次分数変換w=cz+daz+bにより、円∣w∣=kにうつるzの条件を求めよう。
∣cz+daz+b∣=kを整理する。
∣az+b∣=k∣cz+d∣∣a∣∣z+ab∣=k∣c∣∣z+cd∣∣z+ab∣:∣z+cd∣=∣a∣:k∣c∣
となる。
−abからの距離と−cdからの距離の比が∣a∣:k∣c∣になる点の集まりが求める集まり。
これはアポロニウスの円である。
一次分数変換により円と円が対応する。
ドモアブルの公式
#
z=r(cosθ+isinθ)に対し、
zn=rn(cosnθ+isinnθ)となる。
z=r(cosθ+isinθ)に対し、zのn乗根は
r1/n(cos(nθ+n2πk)+isin(nθ+n2πk))
である。
zの偏角が一通りではなかったことに注意しよう。
特に1のn乗根は、整数kを用いて
cosn2πk+isinn2πk
と表すことができる。
また、一般のαのn乗根は、rのn乗根に1のn乗根をかけることで全て得られる。