\[\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\C}{\mathbb C}
\newcommand{\ba}{\mathbf{a}}
\newcommand{\bb}{\mathbf{b}}
\newcommand{\bc}{\mathbf{c}}
\newcommand{\bd}{\mathbf{d}}
\newcommand{\be}{\mathbf{e}}
\newcommand{\bff}{\mathbf{f}}
\newcommand{\bh}{\mathbf{h}}
\newcommand{\bi}{\mathbf{i}}
\newcommand{\bj}{\mathbf{j}}
\newcommand{\bk}{\mathbf{k}}
\newcommand{\bN}{\mathbf{N}}
\newcommand{\bn}{\mathbf{n}}
\newcommand{\bo}{\mathbf{0}}
\newcommand{\bp}{\mathbf{p}}
\newcommand{\bq}{\mathbf{q}}
\newcommand{\br}{\mathbf{r}}
\newcommand{\bs}{\mathbf{s}}
\newcommand{\bT}{\mathbf{T}}
\newcommand{\bu}{\mathbf{u}}
\newcommand{\bv}{\mathbf{v}}
\newcommand{\bw}{\mathbf{w}}
\newcommand{\bx}{\mathbf{x}}
\newcommand{\by}{\mathbf{y}}
\newcommand{\bz}{\mathbf{z}}
\newcommand{\bzero}{\mathbf{0}}
\newcommand{\nv}{\mathbf{0}}
\newcommand{\cA}{\mathcal{A}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cD}{\mathcal{D}}
\newcommand{\cE}{\mathcal{E}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cH}{\mathcal{H}}
\newcommand{\cI}{\mathcal{I}}
\newcommand{\cJ}{\mathcal{J}}
\newcommand{\cK}{\mathcal{K}}
\newcommand{\cL}{\mathcal{L}}
\newcommand{\cM}{\mathcal{M}}
\newcommand{\cN}{\mathcal{N}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\cP}{\mathcal{P}}
\newcommand{\cQ}{\mathcal{Q}}
\newcommand{\cR}{\mathcal{R}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\cT}{\mathcal{T}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cV}{\mathcal{V}}
\newcommand{\cW}{\mathcal{W}}
\newcommand{\cX}{\mathcal{X}}
\newcommand{\cY}{\mathcal{Y}}
\newcommand{\cZ}{\mathcal{Z}}
\newcommand{\rA}{\mathrm{A}}
\newcommand{\rB}{\mathrm{B}}
\newcommand{\rC}{\mathrm{C}}
\newcommand{\rD}{\mathrm{D}}
\newcommand{\rE}{\mathrm{E}}
\newcommand{\rF}{\mathrm{F}}
\newcommand{\rG}{\mathrm{G}}
\newcommand{\rH}{\mathrm{H}}
\newcommand{\rI}{\mathrm{I}}
\newcommand{\rJ}{\mathrm{J}}
\newcommand{\rK}{\mathrm{K}}
\newcommand{\rL}{\mathrm{L}}
\newcommand{\rM}{\mathrm{M}}
\newcommand{\rN}{\mathrm{N}}
\newcommand{\rO}{\mathrm{O}}
\newcommand{\rP}{\mathrm{P}}
\newcommand{\rQ}{\mathrm{Q}}
\newcommand{\rR}{\mathrm{R}}
\newcommand{\rS}{\mathrm{S}}
\newcommand{\rT}{\mathrm{T}}
\newcommand{\rU}{\mathrm{U}}
\newcommand{\rV}{\mathrm{V}}
\newcommand{\rW}{\mathrm{W}}
\newcommand{\rX}{\mathrm{X}}
\newcommand{\rY}{\mathrm{Y}}
\newcommand{\rZ}{\mathrm{Z}}
\newcommand{\pv}{\overline}
\newcommand{\iu}{\mathrm{i}}
\newcommand{\ju}{\mathrm{j}}
\newcommand{\im}{\mathrm{i}}
\newcommand{\e}{\mathrm{e}}
\newcommand{\real}{\operatorname{Re}}
\newcommand{\imag}{\operatorname{Im}}
\newcommand{\Arg}{\operatorname{Arg}}
\newcommand{\Ln}{\operatorname{Ln}}
\DeclareMathOperator*{\res}{res}
\newcommand{\re}{\operatorname{Re}}
\newcommand{\im}{\operatorname{Im}}
\newcommand{\arsinh}{\operatorname{ar\,sinh}}
\newcommand{\arcosh}{\operatorname{ar\,cosh}}
\newcommand{\artanh}{\operatorname{ar\,tanh}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\diag}{\operatorname{diag}}
\newcommand{\proj}{\operatorname{proj}}
\newcommand{\rref}{\operatorname{rref}}
\newcommand{\rank}{\operatorname{rank}}
\newcommand{\Span}{\operatorname{span}}
\newcommand{\vir}{\operatorname{span}}
\renewcommand{\dim}{\operatorname{dim}}
\newcommand{\alg}{\operatorname{alg}}
\newcommand{\geom}{\operatorname{geom}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\norm}[1]{\lVert #1 \rVert}
\newcommand{\tp}[1]{#1^{\top}}
\renewcommand{\d}{\mathrm{d}}
\newcommand{\sij}[2]{\bigg/_{\mspace{-15mu}#1}^{\,#2}}
\newcommand{\abs}[1]{\lvert#1\rvert}
\newcommand{\pysty}[1]{\left[\begin{array}{@{}r@{}}#1\end{array}\right]}
\newcommand{\piste}{\cdot}
\newcommand{\qedhere}{}
\newcommand{\taumatrix}[1]{\left[\!\!#1\!\!\right]}
\newenvironment{augmatrix}[1]{\left[\begin{array}{#1}}{\end{array}\right]}
\newenvironment{vaugmatrix}[1]{\left|\begin{array}{#1}}{\end{array}\right|}
\newcommand{\trans}{\mathrm{T}}
\newcommand{\EUR}{\text{\unicode{0x20AC}}}
\newcommand{\SI}[3][]{#2\,\mathrm{#3}}
\newcommand{\si}[2][]{\mathrm{#2}}
\newcommand{\num}[2][]{#2}
\newcommand{\ang}[2][]{#2^{\circ}}
\newcommand{\meter}{m}
\newcommand{\metre}{\meter}
\newcommand{\kilo}{k}
\newcommand{\kilogram}{kg}
\newcommand{\gram}{g}
\newcommand{\squared}{^2}
\newcommand{\cubed}{^3}
\newcommand{\minute}{min}
\newcommand{\hour}{h}
\newcommand{\second}{s}
\newcommand{\degreeCelsius}{^{\circ}C}
\newcommand{\per}{/}
\newcommand{\centi}{c}
\newcommand{\milli}{m}
\newcommand{\deci}{d}
\newcommand{\percent}{\%}
\newcommand{\Var}{\operatorname{Var}}
\newcommand{\Cov}{\operatorname{Cov}}
\newcommand{\Corr}{\operatorname{Corr}}
\newcommand{\Tasd}{\operatorname{Tasd}}
\newcommand{\Ber}{\operatorname{Ber}}
\newcommand{\Bin}{\operatorname{Bin}}
\newcommand{\Geom}{\operatorname{Geom}}
\newcommand{\Poi}{\operatorname{Poi}}
\newcommand{\Hyperg}{\operatorname{Hyperg}}
\newcommand{\Tas}{\operatorname{Tas}}
\newcommand{\Exp}{\operatorname{Exp}}
\newcommand{\tdist}{\operatorname{t}}
\newcommand{\rd}{\mathrm{d}}\]
Peruslaskutoimitukset
Havaitaan, että kompleksilukujen summa ja tulo ovat myös kompleksilukuja, sillä edellisessä määritelmässä luvut \(a + c\), \(b + d\), \(ac - bd\) ja \(ad + bc\) ovat reaalilukuja. Kompleksiluvusta käytetään myös merkintöjä
\[a + b\iu = a + \iu b = a + b\ju = a + \ju b.\]
Kompleksilukuja voidaan havainnollistaa esittämällä ne pisteinä tai vektoreina kompleksitasossa (complex plane), kuten alla olevassa kuvassa.
Kompleksiluku \(a + 0\iu\) samastetaan reaaliluvun \(a\) kanssa ja merkitään \(a + 0\iu = a\). Niinpä voidaan sanoa, että jokainen reaaliluku on myös kompleksiluku. Samoin voidaan merkitä \(0 + b\iu = b\iu\). Erityisesti
\[1 + 0\iu = 1 \qquad\text{ja}\qquad 0 + 1\iu = 1\iu = \iu.\]
Imaginaariyksikkö \(\iu\) on siis myös kompleksiluku. Otetaan käyttöön seuraava kompleksilukua \(z=a+b\iu\) koskeva terminologia.
- \(a = \re z\) on luvun \(z\) reaaliosa ja \(b = \im z\) on luvun \(z\) imaginaariosa.
- Jos \(b = 0\), luku \(z\) on reaalinen.
- Jos \(b \ne 0\), luku \(z\) on imaginaarinen.
- Jos \(a = 0\) ja \(b \ne 0\), luku \(z\) on puhtaasti imaginaarinen.
Kompleksiluvut \(z\) ja \(w\) ovat samoja, jos niiden reaali- ja imaginaariosat ovat samoja. Toisin sanoen \(z = w\) jos ja vain jos \(\re z = \re w\) ja \(\im z = \im w\).
Lasketaan reaaliluvun \(t=t+0\iu\) ja kompleksiluvun \(a+b\iu\) tulo määritelmän mukaan.
\[t(a+b\iu)=(t+0\iu)(a+b\iu)=(ta-0\cdot b)+(tb+0\cdot a)\iu=ta+tb\iu,\]
eli samaan tulokseen päästään vain kertomalla sekä reaali- että imaginaariosa luvulla \(t\). Tiivistetysti voidaan todeta, että kompleksilukujen summa, vastaluku, erotus ja reaaliluvulla kertominen toimivat täsmälleen samoin kuin tasovektorien vastaavat operaatiot. Näiden geometriset tulkinnat voidaan siis esittää kuten alla.
Esimerkki 8.2.3
- \(\re(-2-3\iu)=-2\) ja \(\im(-2-3\iu)=-3\)
- \((3-2\iu)-(-5+3\iu)=8-5\iu\)
Kompleksilukujen kertolaskun määritelmästä seuraa mielenkiintoinen ja hyödyllinen luvun \(\iu\) ominaisuus.
Lause 8.2.4
\(\iu^2=\iu\cdot \iu=-1\).
Piilota/näytä todistus
Kirjoitetaan \(\iu=0+1\iu\) ja lasketaan tulo määritelmän mukaan. Nyt \(a=c=0\) ja \(b=d=1\), joten
\[\iu^2=\iu\cdot \iu=(0+1\iu)(0+1\iu)=(0\cdot0-1\cdot1)+(0\cdot1+1\cdot0)\iu=-1+0\iu=-1.\]
Käsitellään seuraavaksi kompleksilukuja \(a+b\iu\) ja \(c+d\iu\) kuten reaalisia binomeja ja lasketaan niiden tulo käyttämällä tulosta \(\iu^2 = -1\).
\[(a+b\iu)(c+d\iu)=ac+ad\iu+bc\iu+bd\iu^2=ac+ad\iu+bc\iu-bd=(ac-bd)+(ad+bc)\iu\]
Tulos on sama kuin kertolaskun määritelmässä, joten kompleksilukujen tulo voidaan laskea kuten binomien tulo osittelulakia käyttäen. Tulon geometriseen tulkintaan palataan myöhemmin.
Esimerkki 8.2.5
\((-3-2\iu)(5+\iu)=-15-3\iu-10\iu-2\iu^2=-13-13i\).
Reaaliluvuille \(a=a+0\iu\) ja \(b=b+0\iu\) kompleksilukujen laskutoimitukset antavat samat tulokset kuin vastaavat reaaliset laskutoimitukset. Lisäksi seuraavan lauseen mukaan kaikkia tuttuja laskusääntöjä saa soveltaa myös kompleksilukuja käsiteltäessä
Lause 8.2.6
Jokaisella kompleksiluvulla \(z\ne0\) on olemassa yksikäsitteinen käänteisluku (reciprocal) \(z^{-1}\), joka toteuttaa ehdon \(zz^{-1}=1\).
Piilota/näytä todistus
Käänteisluvun olemassaolo ja yksikäsitteisyys on todistettava erikseen. Olkoon \(z=a+b\iu\ne0\) ja merkitään
\[w=\frac{1}{a^2+b^2}(a-b\iu).\]
Suoralla laskulla nähdään, että
\[zw = \frac{1}{a^2 + b^2}(a + b\iu)(a - b\iu) = \frac{1}{a^2 + b^2}(a^2 - ab\iu + ab\iu - b^2\iu^2) = \frac{a^2 + b^2}{a^2 + b^2} = 1,\]
eli luku \(w\) toteuttaa käänteisluvun ehdon. Täten \(z^{-1} = w\) on olemassa.
Yksikäsitteisyyden osoittamiseksi väitetään, että \(u\) ja \(v\) ovat luvun \(z \not= 0\) käänteislukuja, eli esimerkiksi \(uz = 1\) ja \(zv = 1\). Tällöin kuitenkin välttämättä
\[u = u \cdot 1 = u(zv) = (uz)v = 1 \cdot v = v,\]
eli luvut \(u\) ja \(v\) ovat samat. Täten käänteisluku on yksikäsitteinen.
Koska jokaiselle nollasta poikkeavalle kompleksiluvulle löytyy käänteisluku, niille on mahdollista määritellä jakolasku vastaavasti kuin reaaliluvuille.
Reaaliluvuille \(a=a+0\iu\) ja \(b=b+0\iu\) kompleksiset laskutoimitukset antavat samat tulokset kuin vastaavat reaalilukujen laskutoimitukset. Lisäksi seuraavan luvun mukaan kompleksiset laskutoimitukset toteuttavat samat peruslait kuin reaalilukujen laskutoimitukset. Siis kompleksilukujen laskutoimitukset laajentavat reaalilukujen laskutoimitukset \(\R^2\):een.
Lause 8.2.8
Kun \(x\), \(y\) ja \(z\) ovat kompleksilukuja, niin
- \(x + y = y + x\) ja \(xy = yx\) (vaihdantalait),
- \(x + (y + z) = (x + y) + z\) ja \(x(yz) = (xy)z\) (liitäntälait),
- \(x(y + z) = xy + xz\) (osittelulaki).
Piilota/näytä todistus
Nämä voidaan todistaa suorilla laskuilla, kun sopivissa välivaiheissa sovelletaan reaalilukujen laskusääntöjä. Todistetaan esimerkkinä tulon vaihdantalaki. Merkitään \(x=x_1+x_2\iu\) ja \(y=y_1+y_2\iu\). Tällöin
\[\begin{split}\begin{aligned}
xy&=(x_1+x_2\iu)(y_1+y_2\iu)=x_1y_1+x_1y_2\iu+x_2y_1\iu+x_2y_2\iu^2\\
&=y_1x_1+y_1x_2\iu+y_2x_1\iu+y_2x_2\iu^2=(y_1+y_2\iu)(x_1+x_2\iu)=yx.
\end{aligned}\end{split}\]
Muut kohdat vastaavasti.
Lemma 8.2.9
Jos \(z \not= 0\) ja \(w \not= 0\) ovat kompleksilukuja, niin \((zw)^{-1} = z^{-1}w^{-1}\), eli
\[\frac1z\cdot\frac1w=\frac{1}{zw}.\]
Piilota/näytä todistus
Määritelmän nojalla \(zz^{-1}=1\) ja \(ww^{-1}=1\), joten tulon liitännäisyyden ja vaihdannaisuuden nojalla
\[\left(zw\right)\left(z^{-1}w^{-1}\right)=z\left(wz^{-1}\right)w^{-1}=\left(zz^{-1}\right)\left(ww^{-1}\right)=1\cdot1=1.\]
Niinpä \(z^{-1}w^{-1}\) on luvun \(zw\) käänteisluku.
Tästä tuloksesta seuraa, että tavanomainen laventaminen ja supistaminen on luvallista myös kompleksiluvuilla. Jos \(z\ne0\), niin \(zz^{-1} = 1\) ja siten
\[\frac{v}{w} = \left(vw^{-1}\right)\left(zz^{-1}\right) = (vz)\left(w^{-1}z^{-1}\right) = (vz)\left(wz\right)^{-1} = \frac{vz}{wz}.\]
Laventaminen tarjoaa yksinkertaisimman tavan etsiä kompleksiluvun käänteisluku. Suoralla laskulla voidaan tarkistaa, että \((a + b\iu)(a - b\iu) = a^2 + b^2\), missä \(a\) ja \(b\) ovat reaalisia. Tällöin myös luku \(a^2 + b^2\) on reaalinen, eli
\[\frac{1}{a + b\iu} = \frac{a - b\iu}{(a + b\iu)(a - b\iu)} = \frac{a - b\iu}{a^2 + b^2} = \frac{1}{a^2 + b^2}(a - b\iu),\]
joka on sama luku kuin aiemmassa lauseen 8.2.6 todistuksessa.
Esimerkki 8.2.10
- Etsi luvun \(2 + 3\iu\) käänteisluku muodossa \(a + b\iu\).
- Ilmoita luku \(\dfrac{3 - 4\iu}{-2 + \iu}\) muodossa \(a + b\iu\).
- Ratkaise \(z\) muodossa \(a + bi\) yhtälöstä \((2 - \iu)z = 1 + \iu\).
Piilota/näytä ratkaisu
Hyödynnetään sopivalla luvulla laventamista.
Lavennetaan luvulla \(2 - 3\iu\).
\[(2+3\iu)^{-1}=\frac{1}{2+3\iu}=\frac{2-3\iu}{(2+3\iu)(2-3\iu)}=\frac{2-3\iu}{4-9\iu^2}=\frac{2-3\iu}{13}=\frac{2}{13}-\frac{3}{13}\iu\]
Lavennetaan luvulla \(-2 - \iu\).
\[\frac{3-4\iu}{-2+\iu}=\frac{(3-4\iu)(-2-\iu)}{(-2+\iu)(-2-\iu)}=\frac{-10+5\iu}{5}=-2+\iu\]
Ratkaisu on olemassa, sillä luvulla \(2 - \iu\) on käänteisluku. Jaetaan yhtälö puolittain sillä ja lavennetaan luvulla \(2 + \iu\).
\[z=\frac{1+\iu}{2-\iu}=\frac{(1+\iu)(2+\iu)}{(2-\iu)(2+\iu)}=\frac{1+3\iu}{5}=\frac15+\frac35\iu\qedhere\]