- MATH.APP.120
- 2. Kompleksiluvut
- 2.2 Peruslaskutoimitukset
Peruslaskutoimitukset¶
Määritelmä 2.2.1
Kompleksiluvut, \(\C\), koostuvat luvuista \(z = a + b\iu\), missä \(a\) ja \(b\) ovat reaalilukuja, sekä \(\iu\) on imaginaariyksikkö. Kompleksilukujen summa määritellään kaavalla
ja tulo kaavalla
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ä
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
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\).
Määritelmä 2.2.2
Kompleksiluvun \(z=a+b\iu\) vastaluku (negative) on
(jolloin \(z+(-z)=0\)). Kompleksilukujen \(z=a+b\iu\) ja \(w=c+d\iu\) erotus (difference) \(z-w\) määritellään asettamalla
Lasketaan reaaliluvun \(t=t+0\iu\) ja kompleksiluvun \(a+b\iu\) tulo määritelmän mukaan.
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 2.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 2.2.4
\(\iu^2=\iu\cdot \iu=-1\).
Kirjoitetaan \(\iu=0+1\iu\) ja lasketaan tulo määritelmän mukaan. Nyt \(a=c=0\) ja \(b=d=1\), joten
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\).
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 2.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 2.2.6
Jokaisella kompleksiluvulla \(z\ne0\) on olemassa yksikäsitteinen käänteisluku (reciprocal) \(z^{-1}\), joka toteuttaa ehdon \(zz^{-1}=1\).
Käänteisluvun olemassaolo ja yksikäsitteisyys on todistettava erikseen. Olkoon \(z=a+b\iu\ne0\) ja merkitään
Suoralla laskulla nähdään, että
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ä
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.
Määritelmä 2.2.7
Kompleksilukujen \(z\) ja \(w\) osamäärä (quotient) \(\dfrac{z}{w}\), missä \(w\ne0\), määritellään asettamalla
Erityisesti \(\dfrac{1}{w}=1 \cdot w^{-1}=w^{-1}\).
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 2.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).
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
Muut kohdat vastaavasti.
Lemma 2.2.9
Jos \(z \not= 0\) ja \(w \not= 0\) ovat kompleksilukuja, niin \((zw)^{-1} = z^{-1}w^{-1}\), eli
Määritelmän nojalla \(zz^{-1}=1\) ja \(ww^{-1}=1\), joten tulon liitännäisyyden ja vaihdannaisuuden nojalla
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
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
joka on sama luku kuin aiemmassa lauseen 2.2.6 todistuksessa.
Esimerkki 2.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\).
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\]