Kompleksiluku
Kompleksilukujen joukko on reaalilukujen joukon luonnollinen laajennus.
Kompleksiluku z on muotoa
jossa x ja y ovat reaalilukuja ja i on imaginaariyksikkö, jolle pätee .[1][2][3] Lukua x kutsutaan kompleksiluvun reaaliosaksi (Re(z)) ja lukua y vastaavasti sen imaginaariosaksi (Im(z)).[3]
Reaalilukujen joukko on kompleksilukujen osajoukko, joka saadaan asettamalla kompleksiluvun imaginaariosa nollaksi: .[3] Jos , kompleksilukua kutsutaan puhtaasti imaginaariseksi.
Jokaiselle ℂ-kertoimiselle polynomiyhtälölle voidaan algebran peruslauseen mukaan löytää sen astetta vastaava määrä kompleksiratkaisuja, jotka tosin eivät ole välttämättä keskenään erisuuria.[3] Alun perin kompleksiluvut kehitettiinkin osin tarpeesta saada entistä suurempi osa polynomiyhtälöistä ratkeaviksi. Esimerkiksi yhtälöllä ei ole reaalisia juuria, sillä on positiivinen kaikilla reaalisilla :n arvoilla. Kompleksilukujen joukosta sille sen sijaan löytyy ratkaisut ja .
Kompleksilukuja hyödynnetään usein muun muassa sähkötekniikassa, vaihtosähköön liittyvässä analyysissä, sillä signaalit sisältävät kaksi muuttuvaa suuretta, amplitudin sekä vaiheen, ja kompleksiaritmetiikan avulla jännitteet ja virrat voidaan esittää yhdellä kompleksiluvulla.[4][5] Sähkötekniikassa kompleksiluvun imaginaariyksikkö merkitään kirjaimella j.[4][6][7]
Historia
[muokkaa | muokkaa wikitekstiä]Kompleksilukujen historia alkaa kolmannen ja neljännen asteen yhtälöiden ratkaisukaavojen keksimisestä. Italialainen matemaatikko Girolamo Cardano esitteli nämä kaavat vuonna 1545 julkaisemassaan Ars Magnassa. Cardano ei keksinyt ratkaisukaavoja itse, vaan sai kolmannen asteen yhtälön ratkaisukaavan Niccolo Tartaglialta, jolle Cardano oli vakuuttanut ettei paljasta tämän salaisuutta, sillä tämä aikoi julkaista ratkaisun itse. Tartaglia katkeroitukin Cardanolle pahan kerran tämän petettyä lupauksensa. Tartagliakaan ei tosin ollut ratkaisukaavan alkuperäinen keksijä, vaan sen keksi ilmeisesti ensimmäisenä Scipione dal Ferro. Neljännen asteen yhtälön ratkaisukaavan taas keksi Cardanon apulainen Ludovico Ferrari.
Kolmannen asteen yhtälöä ratkaistaessa ratkaisukaavan avulla päädytään väistämättä neliöjuuren ottamiseen negatiivisista luvuista, jos yhtälöllä on kolme nollasta poikkeavaa reaalijuurta. Tätä tapausta kutsutaan casus irreducibilikseksi , eli redusoimattomaksi tapaukseksi, sillä ratkaisua ei voi tässä tapauksessa löytää ilman jonkinlaista käsitystä kompleksisten lukujen laskusäännöistä. Cardano laskee Ars Magnassa formaalisti tulon ja saa oikean tuloksen 40, huolimatta siitä että hän kieltää negatiivisten lukujen neliöjuurten olemassaolon. On muistettava että Cardanon aikaan negatiivisiakaan lukuja ei aina hyväksytty, Cardano itse kutsui niitä nimellä numeri ficti. René Descartes ei hyväksynyt kompleksisia lukuja ja pilkkasi niitä kutsumalla niitä imaginaarisiksi vuonna 1637 julkaistussa La Géométriessaan.
Leonhard Euler julkaisi vuonna 1748 kirjassaan Introductio nykyään Eulerin lauseena tunnetun tärkeän identiteetin, jonka erityistapaus on . Euler myös otti käyttöön merkinnän kuvaamaan lukua . Aikaisemmin samalla vuosisadalla ranskalainen matemaatikko Abraham de Moivre oli keksinyt toisen tärkeän kompleksilukuihin liittyvän kaavan, de Moivren kaavan, vaikka ei sitä nykyään tunnetussa muodossa esittänytkään.
Laskutoimitukset
[muokkaa | muokkaa wikitekstiä]Kompleksilukuja voi laskea yhteen, vähentää toisistaan tai kertoa keskenään soveltamalla liitäntä-, vaihdanta- ja osittelulakeja, sekä yhtälöä :
kaikilla reaaliluvuilla x,x',y,y'
Kompleksilukujen jakolasku lasketaan jakajan liittoluvun eli konjugaatin avulla.[3] Kompleksiluvun liittoluku on . Määritellään kompleksiluvun moduuli eli itseisarvo . Kun kompleksiluku kerrotaan liittoluvullaan, saadaan luvun itseisarvon neliö, joka on reaaliluku:[3]
Kompleksilukujen jakolasku sieventyy laventamalla jakajan liittoluvulla kompleksilukujen kertolaskuksi:
Liittolukua merkitään myös :lla.[11]
Kompleksiset potenssit ja juuret
[muokkaa | muokkaa wikitekstiä]Kompleksilukujen potenssit voidaan laskea käyttäen De Moivren kaavaa. Tällöin saadaan, että kompleksiluvun :s potenssi on , missä tarkoittaa kompleksiluvun moduulia[12]. Kompleksilukun :s juuri saadaan seuraavasti: merkitään . Tällöin . Tällöin :s juuri on , missä tarkoittaa kompleksiluvun moduulia[12].
Kompleksiluvun neliöjuuri
[muokkaa | muokkaa wikitekstiä]Jokaista kompleksilukua z = a + bi (paitsi lukua 0) kohti on olemassa kaksi sellaista kompleksilukua, joiden neliö on z. Koska
- ,
voidaan nämä johtaa ratkaisemalla toisen asteen yhtälöpari:
- .
Ratkaisuiksi saadaan:[13]
ja
Koska , on x:llä ja y:llä sama etumerkki, jos b on positiivinen, muussa tapauksessa niillä on vastakkaiset etumerkit. Koska toisaalta kompleksiluvun z = a + bi itseisarvo on , todetaan, että yhtälön toteuttavat kompleksiluvut ovat:
- ,
kun eli z ei ole reaaliluku.[13]
Tavallisesti määritellään lisäksi, että kompleksiluvun neliöjuurella tarkoitetaan näistä nimenomaan sitä, jonka reaaliosa on positiivinen.
Jos kompleksiluku on esitetty muodossa
- ,
missä r ja ovat reaalilukuja, saadaan sen neliöjuurelle yksinkertaisempi lauseke:
- .
Geometrinen tulkinta
[muokkaa | muokkaa wikitekstiä]Koska kompleksiluku on järjestetty reaalilukupari, se voidaan esittää kaksiulotteisen koordinaatiston pisteenä[14] tai paikkavektorina[15]. Argandin kaaviossa kompleksilukua kuvaa tason piste ja paikkavektori OP. Koordinaatiston toinen akseli ilmaisee kompleksiluvun reaalikomponentin ja toinen imaginaarikomponentin. Kompleksilukujen ja vektorien yhteenlaskut vastaavat toisiaan. Tasoa, jonka pisteet on määritelty vastaamaan kompleksilukuja, sanotaan kompleksitasoksi.
Kompleksiluku voidaan esittää napakoordinaatiston avulla muodossa , jossa on kompleksiluvun itseisarvo , ja on :n argumentti, eli positiivisen reaaliakselin ja vektorin OP välinen suunnattu kulma.[16] Napakoordinaattimuodossa kompleksilukujen kerto- ja jakolaskut saadaan havainnolliseen muotoon:
Kompleksilukujen kertolasku voidaan siis jakaa kahteen vaiheeseen: itseisarvojen kertomiseen keskenään, eli paikkavektorin pituuden muutokseen, ja argumenttien yhteenlaskuun, eli vektorin kiertoon. Jakolaskun suhteen voidaan menetellä vastaavalla tavalla sillä erotuksella, että itseisarvojen kertolaskua vastaa jakolasku ja argumenttien yhteenlaskua vähennyslasku.
Kompleksilukujen kertolasku voidaan tulkita geometrisesti myös seuraavasti: Kun kompleksiluku kerrotaan reaaliluvulla, sen paikkavektorin pituus kerrotaan tällä reaaliluvulla, mutta sen suunta pysyy ennallaan tai vaihtuu päinvastaiseksi, jos kerroin on negatiivinen. Kun kompleksiluku kerrotaan imaginaariyksiköllä i, sen paikkavektorin suuntaa kierretään 90 astetta vastapäivään, mutta sen pituus pysyy ennallaan. Kertominen muulla kompleksiluvulla voidaan yhdistää näistä sekä vektorien yhteenlaskusta.
Analyyttiset funktiot
[muokkaa | muokkaa wikitekstiä]Kompleksilukujen joukossa määriteltyjä analyyttisia funktiota tutkii funktioteoria eli kompleksianalyysi. Funktioiden määrittelyjoukkona käytetään usein laajennettua kompleksitasoa, jossa kompleksitasoon on lisätty yksi piste, äärettömyyspiste.
Katso myös
[muokkaa | muokkaa wikitekstiä]Lähteet
[muokkaa | muokkaa wikitekstiä]- Saff, Edward B. ja Snider, Arthur David: Fundamentals of Complex Analysis: Engineerging, Science, and Mathematics, Pearson 3. painos
Viitteet
[muokkaa | muokkaa wikitekstiä]- ↑ Dennis Zill & Patrick Shanahan: Complex Analysis, s. 3. Jones & Bartlett Publishers, 2013. ISBN 9781449694623. (englanniksi)
- ↑ Antti Niemi: Fourier-analyysi ja Laplace-muunnos, s. 9–13. (Neljäs, uudistettu painos) Helsinki: Opetushallitus, 1997. ISBN 952-13-0040-x.
- ↑ a b c d e f Erwin Kreyszig: Advanced Engineering Mathematics, s. 601–776 (englanniksi). (9th edition) John Wiley & Sons, Inc., 2006. ISBN 978-0-471-72897-9.
- ↑ a b Martti Valtonen & Anu Lehtovuori: Piirianalyysi osa 1: tasa- ja vaihtovirtapiirien analyysi, s. 111, 269. Helsinki: Unigrafia Oy, 2011. ISBN 978-952-92-8720-8.
- ↑ Nigel P. Cook: Introductory DC/AC Circuits, s. 565–568(englanniksi). (Sixth Edition) Pearson Prentice Hall, 2005. ISBN 0-13-114006-X.
- ↑ Linja-Aho, Vesa: Vaihtosähköpiirien osoitinlaskenta kompleksiluvuilla. Solmu, 2017, nro 1. Artikkelin verkkoversio.
- ↑ Kimmo Silvonen: Elektroniikka ja sähkötekniikka, s. 327 Vuosi = 2018. Otatieto. ISBN 978-951-672-377-1.
- ↑ a b c Saff ja Snider, s. 3
- ↑ Saff ja Snider, s. 11
- ↑ Saff ja Snider, s. 12
- ↑ Saff ja Snider, s. 10
- ↑ a b Saff ja Snider, s. 33
- ↑ a b Square roots of a complex number braincart.com. Viitattu 3.6.2022.
- ↑ Saff ja Snider, s. 7–8
- ↑ Saff ja Snider, s. 14
- ↑ Saff ja Snider, s. 16–17
- ↑ a b Saff ja Snider, s. 20
Kirjallisuutta
[muokkaa | muokkaa wikitekstiä]- Spiegel, Murray R.; Lipschutz, Seymour; Schiller, John J.; Spellman, Dennis: Complex Variables. (Shaum's Outline Series) McGraw-Hill Book Company, 2009 (1964). ISBN 978-0-07-161569-9, ISBN 978-0-07-161570-9 (eBook).
- Rikkonen, Harri: Matematiikan pitkä peruskurssi II – Reaalimuuttujan funktioiden differentiaalilasku. Helsinki: Otakustantamo, 1969. ISBN 951-671-022-0.
- Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-6 (pdf).
Aiheesta muualla
[muokkaa | muokkaa wikitekstiä]- Kuvia tai muita tiedostoja aiheesta Kompleksiluku Wikimedia Commonsissa
Numeroituvia joukkoja: | |
---|---|
Reaaliluvut ja niiden laajennokset: |
|
Muita: |