複素数と複素平面

複素数と複素平面 #

複素解析では定義域と値域が複素数であるような関数について調べる。 特に微分可能な関数を正則関数といい、正則関数の性質を調べるのが目的である。

複素数と複素平面.複素微分 複素数と複素平面について復習した後,複素関数の連続性と微分を解説する.

複素数と四則 #

複素数とは、実数の組x,yx, yを用いて定まる数 z=x+yiz=x+yi xxzzの実部といいRe(z)Re(z)で表す。 yyzzの虚部といいIm(z)Im(z)で表す。 また、iiを虚数単位という。

複素数全体の集合をC\mathbb{C}と表す。 zCz\in\mathbb{C}であれば、一意的に実数x,yx, yを用いてz=x+yiz=x+yiと表すことができる。 二つの複素数が一致することは、実部と虚部が共に等しいこととして定義する。 つまり、z=x+yi,z=x+yiz=x+yi, z'=x'+y'iについて、z=zz=z'であることとx=xx=x'かつy=yy=y'であることが同値である。

複素数全体の集合は、集合としては実数の対全体の集合R2=R×R\mathbb{R}^2=\mathbb{R}\times \mathbb{R}と思うことができる。 この集合に四則演算を、特にi2=1i^2=-1となるように複素数の積を定める。

複素数の四則演算 #

足し算と引き算はベクトル空間R2\mathbb{R}^2のものと同じである。 つまり実部同士と虚部同士をそれぞれ足し引きすればいい。 (a+bi)+(c+di)=(a+c)+(b+d)i(a+bi)(c+di)=(ac)+(bd)i (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=(a+0i)+(0+bi)である。

掛け算は次のように定める。 (a+bi)(c+di)=(acbd)+(ad+bc)i (a+bi)(c+di)=(ac-bd)+(ad+bc)i これは、i2=1i^2=-1かつ実双線形(分配法則を満たす)という条件で特徴づけられる。

この定義のもとで、bi=(b+0i)(0+1i)bi=(b+0i)(0+1i)である。

割り算をどう定義するかを考えよう。 (a+bi)/(c+di)=(a+bi)×1c+di (a+bi)/(c+di)=(a+bi)\times\frac{1}{c+di} とすることで、逆数を定めればよいことになる。

では逆数はどう定めるかというと、 (a+bi)(x+yi)=(axby)+(ay+bx)i=1 (a+bi)(x+yi)=(ax-by)+(ay+bx)i=1 となる複素数x+yix+yia+bia+biの逆数であるから、この方程式を解けばよい。

すなわち {axby=1ay+bx=0 \begin{cases} ax-by=1\\ ay+bx=0 \end{cases} あるいは行列とベクトルを用いて (abba)(xy)=(10) \begin{pmatrix} a&-b\\ b&a \end{pmatrix} \begin{pmatrix} x\\ y \end{pmatrix} = \begin{pmatrix} 1\\ 0 \end{pmatrix} を解くことで、x=aa2+b2,y=ba2+b2x=\dfrac{a}{a^2+b^2}, y=\dfrac{-b}{a^2+b^2}となり、 1a+bi=aa2+b2+ba2+b2i \frac{1}{a+bi}=\dfrac{a}{a^2+b^2}+\dfrac{-b}{a^2+b^2}i とわかる。

あるいは、(a+bi)(abi)=a2+b2(a+bi)(a-bi)=a^2+b^2となることを利用して、分子分母にabia-biをかけると考えることもできる。

この四則演算について、通常の実数の和や積と同様に結合法則や交換法則、分配法則が成り立つことが証明できる。

複素共役 #

zCz\in\mathbb{C}に対し、z=a+biz=a+biであるときzˉC\bar{z}\in\mathbb{C}zˉ=abi\bar{z}=a-biにより定める。 これをzzの複素共役という。

複素共役は2回行うと元に戻る。 つまり、zˉˉ=z\bar{\bar{z}}=zである。

複素共役をとる操作と四則演算は順序を入れ替えることができる。 すなわち以下が成り立つ。

α±β=α±βαβ=αβ(αβ)=αβ \overline{\alpha\pm\beta}=\overline{\alpha}\pm\overline{\beta}\\ \overline{\alpha\beta}=\overline{\alpha}\overline{\beta}\\ \overline{\left(\dfrac{\alpha}{\beta}\right)}=\dfrac{\overline{\alpha}}{\overline{\beta}}

zzが実数であることは、z=zˉz=\bar{z}と同値である。

zzzˉ\bar{z}からzzの実部虚部を復元できる。 Re(z)=z+z2Im(z)=zz2i Re(z)=\frac{z+\overline{z}}{2}\\ Im(z)=\frac{z-\overline{z}}{2i}

複素数の絶対値 #

複素数z=x+yiz=x+yiに対し、 z=zz=x2+y2 \lvert z\rvert=\sqrt{z\overline{z}}=\sqrt{x^2+y^2} と定義し、これをzzの絶対値と呼ぶ。

z=1\lvert z\rvert=1のとき、zˉ=1z\bar{z}=\dfrac{1}{z}である。

複素平面 #

複素数z=x+yiz=x+yiに対して(x,y)(x,y)という点を対応させることで、複素数をxyxy座標平面にプロットできる。 xx軸とyy軸の代わりに実軸と虚軸と呼ぶ。

複素数の和は平面ベクトルの和と同じで、平行四辺形により定まる。 また、複素共役はxx軸に関する鏡映変換である。 複素数zzの絶対値z\lvert z\rvertは線分0z0zの長さである。

複素数の和と絶対値に関しては、三角不等式が成り立つ。 距離、位相に関連して、収束などを議論する上で重要な性質である。 zwz+wz+w \lvert z\rvert-\lvert w\rvert\leq\lvert z+w\rvert\leq\lvert z\rvert+\lvert w\rvert

00でない複素数zzに対し、その偏角とは、線分0z0zと実軸のなす角のこと。 角の範囲を00から2π2\piとすれば一意に定まるが、一般角としては一意ではないことに注意しよう。

極形式 #

複素数の積と複素平面の関係については極形式の方が見やすい。 積の絶対値が積、積の偏角が和に対応する。 積と和を結びつけるものとして、指数関数と対数関数があるが、後で見るように偏角は対数関数と関係する。

00でない複素数zzの極形式とは、 z=r(cosθ+isinθ) z=r(\cos\theta+i\sin\theta) のことをいう。 単位円を用いた三角関数の定義を思いだそう。

ここで、z=x+yiz=x+yiに対し、r=z=x2+y2r=\lvert z\rvert=\sqrt{x^2+y^2}zzの絶対値で θ\thetazzの偏角である。

つまり、θ=arctanxy\theta=\arctan\dfrac{x}{y}であり、rcosθ=x,rsinθ=yr\cos\theta=x, r\sin\theta=yで定まるもの。 θ\theta2π2\piの不定性がある。

積と回転。 複素数の積に対し、絶対値は積、偏角は和になる。 z1=r1(cosθ1+isinθ1),z2=r2(cosθ2+isinθ2)z_1=r_1(\cos\theta_1+i\sin\theta_1), z_2=r_2(\cos\theta_2+i\sin\theta_2)とすると、 z1z2=r1r2(cos(θ1+θ2)+isin(θ1+θ2)) z_1z_2=r_1r_2(\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)) となる。 これは加法定理から証明できる。

α=1+i=2(cosπ4+isinπ4),β=3+i=2(cosπ6+isinπ6)\alpha=1+i=\sqrt{2}(\cos\dfrac{\pi}{4}+i\sin\dfrac{\pi}{4}), \beta=\sqrt{3}+i=2(\cos\dfrac{\pi}{6}+i\sin\dfrac{\pi}{6})に対し、 αβ=22(cos512π+isin512π)\alpha\beta=2\sqrt{2}(\cos\dfrac{5}{12}\pi+i\sin\dfrac{5}{12}\pi)となることを用いて cos512π,sin512π\cos\dfrac{5}{12}\pi, \sin\dfrac{5}{12}\piを求めることができる。

複素平面における直線 #

xyxy座標平面における直線はx,yx, yの一次式で表すことができた。 複素平面において、zzzˉ\bar{z}の一次式でも表すことができる。 例えばzzˉ=0z-\bar{z}=0が実軸、z+zˉ=0z+\bar{z}=0が虚軸である。 αzαzˉ=0\alpha z-\bar{\alpha z}=0が原点とz=αˉz=\bar{\alpha}を通る直線。 α(zβ)αˉ(zˉβˉ)=0\alpha(z-\beta)-\bar{\alpha}(\bar{z}-\bar{\beta})=0z=βz=\betaを通る直線である。

複素平面における円 #

平面における円は、ある点(これを中心という)から等しい距離(これを半径という)にある点の集まり。

z=r\lvert z\rvert=rは原点中心で半径rrの円の方程式である。

また、zα=r\lvert z-\alpha\rvert=rz=αz=\alphaが中心で半径rrの円の方程式である。

一次分数変換と円 #

一次分数変換w=az+bcz+dw=\dfrac{az+b}{cz+d}により、円w=k\lvert w\rvert = kにうつるzzの条件を求めよう。

az+bcz+d=k\lvert\dfrac{az+b}{cz+d}\rvert=kを整理する。 az+b=kcz+daz+ba=kcz+dcz+ba:z+dc=a:kc \lvert az+b\rvert=k\lvert cz+d\rvert\\ \lvert a\rvert\lvert z+\dfrac{b}{a}\rvert=k\lvert c\rvert\lvert z+\dfrac{d}{c}\rvert\\ \lvert z+\dfrac{b}{a}\rvert:\lvert z+\dfrac{d}{c}\rvert=\lvert a\rvert:k\lvert c\rvert となる。 ba-\dfrac{b}{a}からの距離とdc-\dfrac{d}{c}からの距離の比がa:kc\lvert a\rvert : k\lvert c\rvertになる点の集まりが求める集まり。 これはアポロニウスの円である。

一次分数変換により円と円が対応する。

ドモアブルの公式 #

z=r(cosθ+isinθ)z=r(\cos\theta+i\sin\theta)に対し、 zn=rn(cosnθ+isinnθ)z^n=r^n(\cos n\theta+i\sin n\theta)となる。

z=r(cosθ+isinθ)z=r(\cos\theta+i\sin\theta)に対し、zznn乗根は r1/n(cos(θn+2πnk)+isin(θn+2πnk)) r^{1/n}(\cos(\dfrac{\theta}{n}+\dfrac{2\pi}{n}k)+i\sin(\dfrac{\theta}{n}+\dfrac{2\pi}{n}k)) である。 zzの偏角が一通りではなかったことに注意しよう。

特に11nn乗根は、整数kkを用いて cos2πnk+isin2πnk \cos\frac{2\pi}{n}k+i\sin\frac{2\pi}{n}k と表すことができる。

また、一般のα\alphann乗根は、rrnn乗根に11nn乗根をかけることで全て得られる。