Kompleksilukujen kunnan konstruointi

Transkriptio

1 ckunta.nb Kompleksilukujen kunnan konstruointi Seuraava esitys osoittaa, miten kompleksilukujoukko voidaan määritellä tunnetuista reaalisista käsitteistä lähtien. Määrittelyjen jälkeen on helppoa osoittaa Mathematican laskentamahdollisuuksia käyttäen, että tulos on algebralliselta rakenteeltaan kunta. Laskutoimistusten määrittely joukkoon 2 Lähtökohtana on xy-taso, ts. joukko 2, jonka alkioiden välille määritellään yhteen- ja kertolasku. Alkiot ovat lukupareja, Mathematican terminologialla kaksialkioisia listoja. Määrittelyä varten muodostetaan aluksi testi, joka tarkistaa, että funkion argumentit ovat sallittua tyyppiä: In[1]:= ctest@z_d := Head@zD List && Length@zD 2 Laskutoimitukset ovat kahden argumentin funktioita, joiden arvona on argumenttien summa ja tulo siten kuin ne kompleksiluvuille määritellään: In[2]:= summa@z_?ctest, w_?ctestd := 8z P1T + w P1T,z P2T + w P2T < In[3]:= tulo@z_?ctest, w_?ctestd := 8z P1T w P1T z P2T w P2T,z P1T w P2T + z P2T w P1T < Merkintä z PkT viittaa listan z k:nteen alkioon. Jotta päästään luonnollisempiin summan ja tulon merkintöihin, asetetaan Mathematicassa valmiiksi määritelty (mutta merkitystä vailla oleva) funktio CirclePlus tarkoittamaan funktiota summa, vastaavasti CircleTimes tarkoittamaan funktiota tulo. Tällöin laskutoimitusten symboleina voidaan käyttää renkaan sisässä olevia plus- ja kertomerkkejä (vinoristiä). In[4]:= In[5]:= CirclePlus = summa; CircleTimes = tulo; Tämän jälkeen laskutoimitukset toimivat normaaliin tapaan: In[6]:= 81, 2< 83, 4< Out[6]= 84, 6< In[7]:= 81, 2< 83, 4< Out[7]= 8 5, 10< Nolla, ykkönen ja imaginaariyksikkö ovat erikoisasemassa olevia kompleksilukuja ja näille annetaan omat nimet: In[8]:= o = 80, 0< Out[8]= 80, 0<

2 2 ckunta.nb In[9]:= e = 81, 0< Out[9]= 81, 0< In[10]:= i = 80, 1< Out[10]= 80, 1< Tälöin pätee In[11]:= Out[11]= i i e Tuloksena on saatu yhteen- ja kertolaskulla varustettu kompleksilukujen joukko. Kuntastruktuuri Joukko voidaan osoittaa kunnaksi tarkistamalla kunta-aksioomien voimassaolo. Näissä esiintyy kolme mielivaltaisesti valittua kompleksilukua, joten luodaan kolme symbolista kaksialkioista listaa: In[12]:= a = 8α 1, α 2 <;b= 8β 1, β 2 <;c= 8γ 1, γ 2 <; Näitä käyttäen tarkistetaan kunta-aksioomien voimassaolo yksi kerrallaan. Yhteenlaskun vaihdannaisuus: In[13]:= Out[13]= a b b a Yhteenlaskun liitännäisyys: In[14]:= Out[14]= Ha bl c a Hb cl Yhteenlaskun neutraalialkio on nolla-alkio o: In[15]:= Out[15]= a o a Alkion a = 8α 1, α 2 < vasta-alkio löydetään ratkaisemalla yhtälö: In[16]:= x = 8ξ 1, ξ 2 <; In[17]:= Solve@a x o, xd Out[17]= 88ξ 1 α 1, ξ 2 α 2 << In[18]:= x ê. %@@1DD Out[18]= 8 α 1, α 2 < Kertolaskun vaihdannaisuus:

3 ckunta.nb 3 In[19]:= Out[19]= a b b a Kertolaskun liitännäisyys, missä tarvitaan eksplisiittinen sievennyskäsky: In[20]:= Out[20]= In[21]:= Out[21]= Ha bl c a Hb cl 8Hα 1 β 1 α 2 β 2 L γ 1 Hα 2 β 1 +α 1 β 2 L γ 2, Hα 2 β 1 +α 1 β 2 L γ 1 + Hα 1 β 1 α 2 β 2 L γ 2 < 8 α 2 Hβ 2 γ 1 +β 1 γ 2 L +α 1 Hβ 1 γ 1 β 2 γ 2 L, α 1 Hβ 2 γ 1 +β 1 γ 2 L +α 2 Hβ 1 γ 1 β 2 γ 2 L< % êê Simplify Kertolaskun neutraalialkio on ykkösalkio e: In[22]:= Out[22]= a e a Alkion a = 8α 1, α 2 < käänteisalkio löydetään ratkaisemalla yhtälö: In[23]:= Out[23]= In[24]:= Solve@a x e, xd α 99ξ 1 1 α 2 1 +α2, ξ α 2 2 α 2 1 +α2 == x ê. %@@1DD Out[24]= 9 Osittelulaki: α 1 α 2 1 +α2, α 2 α 2 1 +α2 = In[25]:= Out[25]= In[26]:= Out[26]= a Hb cl Ha bl Ha cl 8α 1 Hβ 1 +γ 1 L α 2 Hβ 2 +γ 2 L, α 2 Hβ 1 +γ 1 L +α 1 Hβ 2 +γ 2 L< 8α 1 β 1 α 2 β 2 +α 1 γ 1 α 2 γ 2, α 2 β 1 +α 1 β 2 +α 2 γ 1 +α 1 γ 2 < % êê Simplify Koska kaikki kunta-aksioomat ovat voimassa, joukko varustettuna edellä määritellyillä laskutoimituksilla on todellakin kunta. Lisäyksiä laskutoimitusten määrittelyyn Koska sekä summa että tulo ovat liitännäisiä, olisi luontevaa sallia sulkujen poisjättäminen useamman termin summassa ja useamman tekijän tulossa. Ilman lisämäärittelyjä tämä ei kuitenkaan onnistu, koska funktiot summa ja tulo on edellä määritelty vain kahden argumentin tapauksessa.

4 4 ckunta.nb In[27]:= a b c Out[27]= summa@8α 1, α 2 <, 8β 1, β 2 <, 8γ 1, γ 2 <D Tarvittavat lisämäärittelyt ovat seuraavat: In[28]:= In[29]:= In[30]:= In[31]:= summa@z_? ctestd := z summa@z? ctest, w? ctestd := summa@summa@zd, summa@wdd tulo@z_? ctestd := z tulo@z? ctest, w? ctestd := tulo@tulo@zd, tulo@wdd Tämän jälkeen sulkujen poisjättäminen tai mielivaltainen ryhmittely toimii: In[32]:= a b c Out[32]= 8α 1 +β 1 +γ 1, α 2 +β 2 +γ 2 < In[33]:= a b c a b c a Out[33]= 83 α β γ 1,3α β γ 2 < In[34]:= a a a Out[34]= 8 2 α 1 α 2 2 +α 1 Hα 1 2 α 2 2 L,2α 1 2 α 2 +α 2 Hα 1 2 α 2 2 L< In[35]:= lasku1 = Ha Ha al bl Hc al Out[35]= 8 Hα 2 HHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 L +α 1 H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LL Hα 2 γ 1 +α 1 γ 2 L + Hα 1 HHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 L α 2 H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LL Hα 1 γ 1 α 2 γ 2 L, Hα 1 HHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 L α 2 H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LL Hα 2 γ 1 +α 1 γ 2 L + Hα 2 HHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 L +α 1 H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LL Hα 1 γ 1 α 2 γ 2 L< In[36]:= lasku2 = a HHHa al bl c al Out[36]= 8α 1 H H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LHα 2 γ 1 +α 1 γ 2 L + HHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 LHα 1 γ 1 α 2 γ 2 LL α 2 HHHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 LHα 2 γ 1 +α 1 γ 2 L + H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LHα 1 γ 1 α 2 γ 2 LL, α 2 H H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LHα 2 γ 1 +α 1 γ 2 L + HHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 LHα 1 γ 1 α 2 γ 2 LL + α 1 HHHα 1 2 α 2 2 L β 1 2 α 1 α 2 β 2 LHα 2 γ 1 +α 1 γ 2 L + H2 α 1 α 2 β 1 + Hα 1 2 α 2 2 L β 2 LHα 1 γ 1 α 2 γ 2 LL< In[37]:= Out[37]= 80, 0< lasku1 lasku2 êê Simplify Summan ja tulon laskujärjestystä ei tarvitse erikseen määritellä, sillä Mathematicassa on valmiina määrittely, jonka mukaan lasketaan ensin ja sen jälkeen: In[38]:= Out[38]= Ha bl Ha cl a b a c Myös ei-negatiivinen kokonaislukupotenssi voidaan määritellä: In[39]:= pottest@n_d := IntegerQ@nD && NonNegative@nD

5 ckunta.nb 5 In[40]:= z_?ctest n_?pottest := Nest@z #&,e,nd Huomaa, että symbolina ei ole tavallinen hattumerkki,vaan pieni vinoneliö! In[41]:= a 2 êê ExpandAll Out[41]= 8α 1 2 α 2 2,2α 1 α 2 < In[42]:= Out[42]= In[43]:= Out[43]= pot1 = a 5 b 3 êê ExpandAll 8α 1 5 β α 1 3 α 2 2 β α 1 α 2 4 β α 1 4 α 2 β 1 2 β α 1 2 α 2 3 β 1 2 β 2 3 α 2 5 β 1 2 β 2 3 α 1 5 β 1 β α 1 3 α 2 2 β 1 β α 1 α 2 4 β 1 β α 1 4 α 2 β α 1 2 α 2 3 β 2 3 +α 2 5 β 2 3, 5 α 1 4 α 2 β α 1 2 α 2 3 β 1 3 +α 2 5 β α 1 5 β 1 2 β 2 30 α 1 3 α 2 2 β 1 2 β α 1 α 2 4 β 1 2 β 2 15 α 1 4 α 2 β 1 β α 1 2 α 2 3 β 1 β α 2 5 β 1 β 2 2 α 1 5 β α 1 3 α 2 2 β α 1 α 2 4 β 2 3 < pot2 = a a a a a b b b êê ExpandAll 8α 1 5 β α 1 3 α 2 2 β α 1 α 2 4 β α 1 4 α 2 β 1 2 β α 1 2 α 2 3 β 1 2 β 2 3 α 2 5 β 1 2 β 2 3 α 1 5 β 1 β α 1 3 α 2 2 β 1 β α 1 α 2 4 β 1 β α 1 4 α 2 β α 1 2 α 2 3 β 2 3 +α 2 5 β 2 3, 5 α 1 4 α 2 β α 1 2 α 2 3 β 1 3 +α 2 5 β α 1 5 β 1 2 β 2 30 α 1 3 α 2 2 β 1 2 β α 1 α 2 4 β 1 2 β 2 15 α 1 4 α 2 β 1 β α 1 2 α 2 3 β 1 β α 2 5 β 1 β 2 2 α 1 5 β α 1 3 α 2 2 β α 1 α 2 4 β 2 3 < In[44]:= Out[44]= 80, 0< pot1 pot2 êê Simplify Siirtyminen kompleksilukujen tavanomaiseen esitykseen Edellä on rakennettu kompleksilukuaritmetiikkaa Mathematicaan tarkoituksena osoittaa, miten tämä määritelmien pohjalta tulisi periaatteessa tehdä. Lopuksi on syytä katsoa, miten voidaan siirtyä kompleksilukujen tavanomaiseen esitykseen, mikä toki on Mathematicassa valmiinakin. Edellä käsitellyt kaksialkioisen listan muotoiset kompleksiluvut voidaan muuntaa normaaliin muotoon funktiolla In[45]:= normmuoto@z_?ctestd := z P1T + z P2T Tässä tarkoittaa imaginaariyksikköä. Esimerkiksi: In[46]:= normmuoto@ad Out[46]= α 1 + α 2 In[47]:= normmuoto@a 2D Out[47]= α α 1 α 2 α 2 2 In[48]:= ipot = Table@i n, 8n, 0, 10<D Out[48]= 881, 0<, 80, 1<, 8 1, 0<, 80, 1<, 81, 0<, 80, 1<, 8 1, 0<, 80, 1<, 81, 0<, 80, 1<, 8 1, 0<< In[49]:= Map@normMuoto, ipotd Out[49]= 81,, 1,, 1,, 1,, 1,, 1<

6 6 ckunta.nb Varsinaisesti kompleksiluvuilla laskettaessa ne syötetään Mathematicassa suoraan normaalimuodossa. Laskutoimitussymbolit ovat samoja kuin reaalisten muuttujien tapauksessa. Esimerkiksi: In[50]:= Out[50]= In[51]:= Out[51]= H2 + 3 L H4 + 5 L H2 + 3 LêH4 + 5 L In[52]:= Table@ ^n, 8n, 0, 10<D Out[52]= 81,, 1,, 1,, 1,, 1,, 1< Harjoitustehtäviä 1) Laske kompleksilukujen z 1 = Â ja z 2 =-2-11 Â summa, tulo ja osamäärä sekä edellä olevan määritelmän mukaisella formalismilla että normaalia tapaa käyttäen. 2) Laske kompleksilukujen z 1 = coshj 1 L +ÂsinHj 1 L ja z 2 = coshj 2 L +ÂsinHj 2 L tulo ja osamäärä sekä luvun z 1 käänteisluku edellä olevan määritelmän mukaisesti. Sievennä tulokset. 3) Määrittele funktiot, jotka antavat reaalilukuparina esitetyn kompleksiluvun liittoluvun ja itseisarvon. Tarkista näitä käyttäen, että seuraavat yhtälöt ovat voimassa kaikille kompleksiluvuille: a) z 1 + z 2 = z ê 1 + z ê 2, b) z 1 z 2 = z ê 1 z ê 2, c) z ê = z, d)» z ê» =» z», e) zz ê =» z» 2, f)» z 1 z 2» =» z 1»» z 2». Simo K. Kivelä