- MATH.APP.440
- 1. Kompleksiluvut
- 1.1 Kompleksiluvut
Kompleksiluvut¶
Tässä luvussa käydään läpi kompleksilukujen määritelmä ja niihin liittyvät peruskäsitteet, niiden muodostaman algebrallisen rakenteen perusominaisuudet, geometrinen tulkinta, kompleksinen juuri sekä topologian peruskäsitteitä. Nämä esitetään mahdollisimman suppeasti ja useiden yksinkertaisten tulosten perusteleminen jätetään lukijalle. Todistettavat tulokset on valittu siten, että lukijalle syntyisi mielikuva siitä, kuinka näitä helpohkoja todistuksia voi tehdä. Aluksi oleellista on hahmottaa, kuinka kompleksilukujen kanssa toimitaan, sillä niiden opettelu jo näin alkuvaiheessa auttaa huomattavasti myöhemmässä osassa kurssia, kun keskitytään täysin uuteen asiaan. Toisaalta nämä perusasiat kertautuvat jatkossa ja niihin viitataan tarvittaessa.
Kompleksiluvut voidaan mieltää reaalilukupareina, mutta vasta niille määritellyt yhteen- ja kertolaskut antavat kompleksiluvuille niiden tyypilliset ominaisuudet. Kompleksiluvuilla laskeminen hoituu varsin samaan tapaan kuin reaaliluvuilla, kun taas niiden geometrinen tulkinta on hyvin pitkälle samanlaista kuin tason vektoreilla. Esimerkiksi kompleksiluvut voidaan esittää kulman ja pituuden avulla napakoordinaattimuodossa aivan kuten tason vektorit. Polaarimuodon avulla kätevästi saatava kompleksisen juuren esitys taas osoittaa, että valitsemalla kompleksilukujen esitystapa sopivasti voi helpottaa ongelman hahmottamista ja käsittelyä. Käytännössä topologiset ominaisuudet ovat samat kuin karteesisen tason \(\R^2\) vektorien topologia ja siksi tässä lähinnä tyydytään esittelemään käsitteet, joita tarvitaan myöhemmin, ja tutustumaan niihin esimerkkien kautta.
Jatkossa huomataan, että kuten kompleksilukujen peruslaskenta ja geometrinen tulkinta myös monet kompleksinanalyysin tulokset ovat tuttuja reaalianalyysistä ja/tai käyttävät hyväksi niitä. Tämän vuoksi vahvat pohjatiedot (usean muuttujan) reaalianalyysista ja vektorilaskennasta auttavat jatkossa (vaikkakaan eivät missään nimessä ole pakollisia).
Kompleksiluvut saivat alkunsa yrityksistä ratkaista polynomiyhtälöitä, kuten
Kummallakaan niistä ei ole asteensa verran reaalisia ratkaisuja, mutta käyttämällä sokeasti tuttuja reaalilukujen laskusääntöjä voidaan ajatella, että
ja
Tavanomaisen määritelmän mukaan siis \(-1 + \sqrt{-1}\) on ensimmäisen ja \(2 + \sqrt{-3}\) toisen yhtälön ratkaisu. Nämä eivät kuitenkaan ole reaalilukuja! Tästä “mahdottomuudesta” alkoi kompleksilukujen matemaattisen teorian kehitys. Lisätietoa kompleksilukujen historiasta löytyy tästä artikkelista. Viihdyttävä johdatus ja historiallinen kertaus löytyy taas tästä videosta.
Pohdi 1.1.1
Miksi negatiivisen reaaliluvun neliöjuurta ei voida pitää reaalilukuna?
Määritelmä 1.1.2
Kompleksiluku on reaalilukujen \(x\) ja \(y\) pari, jota merkitään lausekkeena \(x+\im y\). Symbolia \(\im\) kutsutaan imaginaariyksiköksi. Kompleksilukujen joukko on \(\C = \{x+\im y \mid x,y\in\R\}\). Kompleksiluvun \(x + \im y\) reaaliosa on \(\real(z) = x\) ja imaginaariosa on \(\imag(z) = y\). Kompleksiluvut \(z_1\) ja \(z_2\) ovat samat, jos \(\real(z_1) = \real(z_2)\) ja \(\imag(z_1) = \imag(z_2)\).
Kompleksiluku \(x + \im y\) voidaan ymmärtää myös reaalilukuparina \((x, y) \in \R^2\). Tästä syystä kompleksilukujen joukkoa \(\C\) kutsutaan myös kompleksitasoksi, ja sitä voidaan havainnollistaa karteesisen tason \(\R^2\) tapaan koordinaatistona. Seuraava tulkinta kuitenkin erottaa kompleksiluvut järjestetyistä pareista: jos \(z \in \C\) ja \(\imag(z) = 0\), niin \(z = x + \im \cdot 0 = x\) jollekin reaaliluvulle \(x\), ja siten \(z \in \R\). Toisin sanoen reaaliluvut sisältyvät kompleksilukujen joukkoon, \(\R \subset \C\). Näin ei voida sanoa suoraan reaaliluvuista ja karteesisesta tasosta.
Kompleksiluvut reaalilukupareina eivät ole kovin mielenkiintoisia, vaan käyttökelpoinen ja erittäin mukavia ominaisuuksia omaava algebrallinen rakenne saadaan määrittelemällä kompleksiluvuille sopivat yhteen- ja kertolaskut. Tämä voidaan tehdä reaalilukujen yhteen- ja kertolaskun avulla.
Määritelmä 1.1.3
Olkoot kompleksiluvut \(z_1 = x_1 + \im y_1\) ja \(z_2 = x_2 + \im y_2\). Tällöin summa
ja tulo
Kompleksiluvut yhdessä yllä esitettyjen yhteen- ja kertolaskutoimitusten kanssa muodostavat kunnan \((\C, +, \cdot)\), eli seuraavat laskusäännöt (kunta-aksioomat) ovat voimassa.
- \(z_1 + z_2 \in\C\) ja \(z_1z_2\in\C\) aina, kun \(z_1, z_2 \in \C\) (suljettuus).
- \(z_1 + z_2 = z_2 + z_1\) ja \(z_1z_2 = z_2z_1\) aina, kun \(z_1, z_2 \in \C\) (vaihdannaisuus).
- \((z_1 + z_2) + z_3 = z_1 + (z_2 + z_3)\) ja \((z_1 z_2) z_3 = z_1 (z_2 z_3)\) aina, kun \(z_1, z_2, z_3 \in \C\) (liitännäisyys).
- \(z_1(z_2 + z_3) = z_1 z_2 + z_1 z_3\) aina, kun \(z_1, z_2, z_3 \in \C\) (osittelulaki).
- On olemassa yksikäsitteinen kompleksiluku \(0 = 0 + \im \cdot 0\), jolle \(z + 0 = z\) aina, kun \(z \in \C\) (nolla-alkio).
- Aina, kun \(z \in \C\), on olemassa yksikäsitteinen kompleksiluku \(-z\), jolle \(z + (-z) = 0\) (vastaluku).
- On olemassa yksikäsitteinen kompleksiluku \(1 = 1 + \im \cdot 0\), jolle \(1z = z\) aina, kun \(z \in \C\) (ykkösalkio).
- Aina, kun \(z \in \C \setminus \{0\}\), on olemassa yksikäsitteinen kompleksiluku \(z^{-1}\), jolle \(zz^{-1} = 1\) (käänteisluku).
Esimerkki 1.1.4
Todistetaan kompleksilukujen osittelulaki. Oletetaan, että \(z_k = x_k + \im y_k\) reaaliluvuille \(x_k\) ja \(y_k\), kun \(k \in \{1, 2, 3\}\). Tällöin
joten
Reaalilukujen osittelulain, sekä summan ja tulon vaihdannaisuuden ja liitännäisyyden avulla päätellään edelleen, että
Koska
voidaan todeta, että \(z_1(z_2 + z_3) = z_1z_2 + z_1z_3\), kuten väitettiinkin.
Muiden kunta-aksioomien todistaminen jätetään edellisen kaltaisiksi harjoitustehtäviksi. Peruslaskutoimitukset seuraavat tavalliseen tapaan summan ja tulon määritelmistä.
Määritelmä 1.1.5
Olkoot kompleksiluvut \(z_1 = x_1 + \im y_1\) ja \(z_2 = x_2 + \im y_2\). Tällöin erotus
Jos lisäksi \(z_2 \neq 0\), niin osamäärä
Jos \(z \in \C\) ja \(n \in \Z\), niin potenssi
On tärkeää huomata, että edellä imaginaariyksikköä \(\im\) on käsitelty vain symbolina, jolla erotetaan toisistaan kompleksiluvun reaali- ja imaginaariosat. Sille saadaan kuitenkin myös hyvin konkreettinen tulkinta omana kompleksilukunaan. Tämä perustuu täysin siihen, että imaginaariyksikön \(\im\) sovitaan esittävän kompleksilukua \(0 + \im 1\).
Lause 1.1.6
Imaginaariyksikön neliö \(\im^2 = -1\).
Väite seuraa suoraan kompleksiluvun potenssin määritelmästä, kun \(\im = 0 + \im 1\):
Huomautus 1.1.7
Imaginaariyksikköä merkitään joskus mukavuussyistä \(\im = \sqrt{-1}\). Tämä ei kuitenkaan ole yleisesti käytetty merkintätapa, joten sen kanssa on syytä olla hyvin varovainen.
Kun nyt yhdistetään kompleksilukujen osittelulaki, reaalilukujen tulkinta kompleksilukuina ja tulos \(\im^2 = -1\), saadaan seuraava miellyttävä laskutapa kompleksilukujen tulolle. Jos \(z_1 = x_1 + \im y_1\) ja \(z_2 = x_2 + \im y_2\), missä reaaliluvut \(x_1\), \(x_2\), \(y_1\) ja \(y_2\) tulkitaan kompleksilukuina, niin osittelulain, sekä vaihdannaisuus- ja liitännäisyyslakien nojalla
Sijoittamalla \(\im^2 = -1\) päätellään, että
mikä on tulon \(z_1z_2\) määritelmä. Kompleksilukujen tulo voidaan laskea siis täsmälleen samoin kuin reaalisten binomien tulo, kun imaginaariyksikköä pidetään tuntemattomana, ja sieventää lopuksi perusmuotoiseksi kompleksiluvuksi käyttämällä tietoa \(\im^2 = -1\).
Esimerkki 1.1.8
Kompleksilukujen \(1 + 2\im\) ja \(3 - \im\) summa, tulo ja erotus ovat
Luvun \(1 + 2\im\) käänteisluku \((1 + 2\im)^{-1}\) on \(\frac{1}{5} - \frac{2}{5}\im\), sillä
Täten osamäärä
Huomautus 1.1.9
Kompleksiluvun merkinnän \(x + \im y\) rinnalla käytetään saumattomasti myös merkintää \(x + y\im\). Molemmat tarkoittavat samaa asiaa, joskin näistä jälkimmäinen on tyypillisempi silloin, kun käsitellään konkreettisia lukuarvoja \(x\) ja \(y\).
Reaalilukujen itseisarvon määritelmää on syytä laajentaa kompleksilukuja varten. Intuitiona käytetään edelleen sitä, että luvun itseisarvo kertoo sen etäisyyden origosta. Karteesisen tason pisteiden \((0, 0)\) ja \((x, y)\) etäisyys voidaan tuttuun tapaan päätellä Pythagoraan lauseen avulla. Lisäksi on hyödyllistä käsitellä kompleksiluvun “peilikuvaa \(x\)-akselin suhteen”.
Määritelmä 1.1.10
Olkoon kompleksiluku \(z = x + \im y\). Tällöin luvun \(z\) itseisarvo, eli moduli on reaaliluku
ja luvun \(z\) liittoluku, eli kompleksikonjugaatti on kompleksiluku
Kuva 1.1.1. Kompleksiluvun itseisarvo on sen etäisyys origosta ja liittoluku sen peilikuva reaaliakselin suhteen.
Kompleksilukuja voidaan todellakin havainnollistaa karteesisessa tasossa kuten kuvassa 1.1.1 pitämällä reaaliosaa \(x\)-koordinaattina ja imaginaariosaa \(y\)-koordinaattina. Havainnollistuksessa käytetyn kompleksitason vaaka- ja pystyakseleita kutsutaan reaali- ja imaginaariakseleiksi. Näin saadaan myös itseisarvolle ja liittoluvulle geometrinen tulkinta. Kuvissa esiintyvän kulman \(\phi\) tulkintaan palataan myöhemmin.
Huomautus 1.1.11
Vaikka kompleksilukujen juuria ei vielä olekaan määritelty, on syytä muistuttaa että niiden reaalisten vastineiden kaavat \(\sqrt{a^2}=|a|\) ja \(a^2=|a|^2\) eivät ole yleisesti voimassa kompleksiluvuille. Esimerkiksi
ja
Seuraavien hyödyllisten aputulosten todistaminen jätetään pääosin harjoitustehtäviksi. Todistukset on helpointa muotoilla merkitsemällä kompleksiluvut reaali- ja imaginaariosien avulla, ja sen jälkeen noudattamalla laskutoimitusten määritelmiä.
Lemma 1.1.12
Olkoot \(z_1\), \(z_2\) ja \(z\) kompleksilukuja. Tällöin
- \(\overline{z_1+z_2}=\overline{z}_1+\overline{z}_2\),
- \(\overline{z_1 z_2}=\overline{z}_1 \overline{z}_2\),
- \(\overline{\overline{z}}=z\),
- \(z\overline{z}=|z|^2\),
- \(\displaystyle z^{-1}=\frac{\overline{z}}{|z|^2}\), jos \(z\neq 0\).
- \(|z_1 z_2|=|z_1||z_2|\),
- \(|\overline{z}|=|z|\),
- \(z + \overline{z} = 2\real(z) \leq 2|z|\),
- \(z - \overline{z} = 2\im\imag(z)\),
- \(||z_1| - |z_2|| \leq |z_1 \pm z_2| \leq |z_1| + |z_2|\) (kolmioepäyhtälö).
Todistetaan esimerkin vuoksi kohdat 2, 8 ja 10. Oletetaan, että \(z = x + \im y\) reaaliluvuille \(x\) ja \(y\) ja että \(z_k = x_k + \im y_k\) reaaliluvuille \(z_k\) ja \(y_k\), kun \(k \in \{1, 2\}\). Tällöin
Näin kohta 2 on todistettu. Kohtaa 8 varten todetaan ensin, että
Epäyhtälön todistamista varten muistetaan, että \(x \leq |x| = \sqrt{x^2} \leq \sqrt{x^2 + y^2}\), kun \(x\) ja \(y\) ovat mielivaltaisia reaalilukuja, joten
Mainittu epäyhtälö seuraa tästä. Kolmioepäyhtälön todistamista varten todetaan, että kohtien 4, 1, 3, 8, 6 ja 7 perusteella
Tässä sekä \(|z_1 + z_2|\) että \(|z_1| + |z_2|\) ovat ei-negatiivisia reaalilukuja, jolloin myös
Loput osat väitteestä seuraavat tästä (harjoitustehtävä).
Kompleksiluvut toteuttavat muodoltaan saman kolmioepäyhtälön kuin reaaliluvut ja avaruuden \(\R^n\) vektoritkin. Ainoa ero näiden välillä on itseisarvon paikalla käytettävän operaation määritelmä (reaalilukujen itseisarvo, vektorin normi). Geometrisesti kolmioepäyhtälö ilmaisee sen, että yksikään kompleksitason pisteiden muodostaman kolmion sivuista ei ole kahden muun sivun summaa suurempi (kuva 1.1.2). Tästä seuraa myös, että kompleksitason pisteiden välinen lyhyin reitti on niiden välinen jana.
Kuva 1.1.2. Kolmion jokainen sivu on lyhyempi kuin kahden muun sivun pituuksien summa.
Edellisen lemman avulla kompleksilukujen \(z_1\) ja \(z_2\) jakolaskulle saadaan myös miellyttävä laskukaava
Laventamalla nimittäjän liittoluvulla saadaan reaalinen nimittäjä, joka voidaan ositella osamäärän reaali- ja imaginaariosien määrittämiseksi.
Esimerkki 1.1.13
Osamäärä
kuten esimerkissä 1.1.8. Vastaavasti käänteisluku
Kompleksilukuja käsittelevät yhtälöt kannattaa usein palauttaa yhtäsuuruuden määritelmän avulla reaali- ja imaginaariosien yhtäsuuruuteen.
Esimerkki 1.1.14
Etsi kaikki kompleksiluvut, jotka toteuttavat yhtälön
Jos \(z = x + \im y\), niin
Koska reaaliluvut ovat samat jos ja vain jos niiden reaali- ja imaginääriosat ovat samat, niin
Siis \(y = -2\), ja sijoittamalla tämä ylempään yhtälöön nähdään, että
Neliöidään ja sievennetään, jolloin saadaan yhtälö \(4 = 2x + 1\), eli \(x = \frac{3}{2}\). Alkuperäisen yhtälön ainoa ratkaisu on siis \(z = \frac{3}{2} - 2\im\).