Kompleksilukujen kunnan konstruointi

Transkriptio

1 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 Lähtökohtana on xy-taso, ts. joukko, 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_ : Head z List && Length z Laskutoimitukset ovat kahden argumentin funktioita, joiden arvona on argumenttien summa ja tulo siten kuin ne kompleksiluvuille määritellään: In[]:= In[3]:= summa z_?ctest, w_?ctest : z 1 w 1, z w tulo z_?ctest, w_?ctest : z 1 w 1 z w, z 1 w z w 1 Merkintä z k 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]:= Out[6]= In[7]:= Out[7]= 1, 3, 4 4, 6 1, 3, 4 5, 10 Nolla, ykkönen ja imaginaariyksikkö ovat erikoisasemassa olevia kompleksilukuja ja näille annetaan omat nimet: In[8]:= Out[8]= In[9]:= Out[9]= o 0, 0 0, 0 e 1, 0 1, 0

2 ckunta.nb In[10]:= Out[10]= i 0, 1 0, 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[1]:= a Α 1, Α ; b Β 1, Β ; c Γ 1, Γ ; 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]= a b c a b c Yhteenlaskun neutraalialkio on nolla-alkio o: In[15]:= Out[15]= a o a Alkion a Α 1, Α vasta-alkio löydetään ratkaisemalla yhtälö: In[16]:= In[17]:= Out[17]= In[18]:= Out[18]= x Ξ 1, Ξ ; Solve a x o, x Ξ 1 Α 1, Ξ Α x. 1 Α 1, Α Kertolaskun vaihdannaisuus: In[19]:= Out[19]= a b b a Kertolaskun liitännäisyys, missä tarvitaan eksplisiittinen sievennyskäsky:

3 ckunta.nb 3 In[0]:= Out[0]= In[1]:= Out[1]= a b c a b c Α 1 Β 1 Α Β Γ 1 Α Β 1 Α 1 Β Γ, Α Β 1 Α 1 Β Γ 1 Α 1 Β 1 Α Β Γ Α Β Γ 1 Β 1 Γ Α 1 Β 1 Γ 1 Β Γ, Α 1 Β Γ 1 Β 1 Γ Α Β 1 Γ 1 Β Γ Simplify Kertolaskun neutraalialkio on ykkösalkio e: In[]:= Out[]= a e a Alkion a Α 1, Α käänteisalkio löydetään ratkaisemalla yhtälö: In[3]:= Out[3]= In[4]:= Out[4]= Solve a x e, x Ξ 1 x. 1 Α 1 Α 1 Α 1 Α, Ξ Α Α 1 Α Α 1 Α, Α Α 1 Α Osittelulaki: In[5]:= Out[5]= In[6]:= Out[6]= a b c a b a c Α 1 Β 1 Γ 1 Α Β Γ, Α Β 1 Γ 1 Α 1 Β Γ Α 1 Β 1 Α Β Α 1 Γ 1 Α Γ, Α Β 1 Α 1 Β Α Γ 1 Α 1 Γ 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. In[7]:= Out[7]= a b c summa Α 1, Α, Β 1, Β, Γ 1, Γ Tarvittavat lisämäärittelyt ovat seuraavat: In[8]:= In[9]:= summa z_?ctest : z summa z?ctest, w?ctest : summa summa z, summa w

4 4 ckunta.nb In[30]:= In[31]:= tulo z_?ctest : z tulo z?ctest, w?ctest : tulo tulo z, tulo w Tämän jälkeen sulkujen poisjättäminen tai mielivaltainen ryhmittely toimii: In[3]:= Out[3]= In[33]:= Out[33]= In[34]:= Out[34]= In[35]:= Out[35]= In[36]:= Out[36]= In[37]:= Out[37]= a b c Α 1 Β 1 Γ 1, Α Β Γ a b c a b c a 3 Α 1 Β 1 Γ 1, 3 Α Β Γ a a a Α 1 Α Α 1 Α 1 Α, Α 1 Α Α Α 1 Α lasku1 a a a b c a Α Α 1 Α Β 1 Α 1 Α Β Α 1 Α 1 Α Β 1 Α 1 Α Β Α Γ 1 Α 1 Γ Α 1 Α 1 Α Β 1 Α 1 Α Β Α Α 1 Α Β 1 Α 1 Α Β Α 1 Γ 1 Α Γ, Α 1 Α 1 Α Β 1 Α 1 Α Β Α Α 1 Α Β 1 Α 1 Α Β Α Γ 1 Α 1 Γ Α Α 1 Α Β 1 Α 1 Α Β Α 1 Α 1 Α Β 1 Α 1 Α Β Α 1 Γ 1 Α Γ lasku a a a b c a Α 1 Α 1 Α Β 1 Α 1 Α Β Α Γ 1 Α 1 Γ Α 1 Α Β 1 Α 1 Α Β Α 1 Γ 1 Α Γ Α Α 1 Α Β 1 Α 1 Α Β Α Γ 1 Α 1 Γ Α 1 Α Β 1 Α 1 Α Β Α 1 Γ 1 Α Γ, Α Α 1 Α Β 1 Α 1 Α Β Α Γ 1 Α 1 Γ Α 1 Α Β 1 Α 1 Α Β Α 1 Γ 1 Α Γ Α 1 Α 1 Α Β 1 Α 1 Α Β Α Γ 1 Α 1 Γ Α 1 Α Β 1 Α 1 Α Β Α 1 Γ 1 Α Γ lasku1 lasku Simplify 0, 0 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]= a b a c a b a c Myös ei-negatiivinen kokonaislukupotenssi voidaan määritellä: In[39]:= In[40]:= pottest n_ : IntegerQ n && NonNegative n z_?ctest n_?pottest : Nest z &, e, n Huomaa, että symbolina ei ole tavallinen hattumerkki,vaan pieni vinoneliö! In[41]:= Out[41]= a ExpandAll Α 1 Α, Α 1 Α

5 ckunta.nb 5 In[4]:= Out[4]= pot1 a 5 b 3 ExpandAll Α 1 5 Β Α 1 3 Α Β Α 1 Α 4 Β Α 1 4 Α Β 1 Β 30 Α 1 Α 3 Β 1 Β 3 Α 5 Β 1 Β 3 Α 1 5 Β 1 Β 30 Α 1 3 Α Β 1 Β 15 Α 1 Α 4 Β 1 Β 5 Α 1 4 Α Β 3 10 Α 1 Α 3 Β 3 Α 5 Β 3, 5 Α 1 4 Α Β Α 1 Α 3 Β 1 3 Α 5 Β Α 1 5 Β 1 Β 30 Α 1 3 Α Β 1 Β 15 Α 1 Α 4 Β 1 Β 15 Α 1 4 Α Β 1 Β 30 Α 1 Α 3 Β 1 Β 3 Α 5 Β 1 Β Α 1 5 Β 3 10 Α 1 3 Α Β 3 5 Α 1 Α 4 Β 3 In[43]:= Out[43]= pot a a a a a b b b ExpandAll Α 1 5 Β Α 1 3 Α Β Α 1 Α 4 Β Α 1 4 Α Β 1 Β 30 Α 1 Α 3 Β 1 Β 3 Α 5 Β 1 Β 3 Α 1 5 Β 1 Β 30 Α 1 3 Α Β 1 Β 15 Α 1 Α 4 Β 1 Β 5 Α 1 4 Α Β 3 10 Α 1 Α 3 Β 3 Α 5 Β 3, 5 Α 1 4 Α Β Α 1 Α 3 Β 1 3 Α 5 Β Α 1 5 Β 1 Β 30 Α 1 3 Α Β 1 Β 15 Α 1 Α 4 Β 1 Β 15 Α 1 4 Α Β 1 Β 30 Α 1 Α 3 Β 1 Β 3 Α 5 Β 1 Β Α 1 5 Β 3 10 Α 1 3 Α Β 3 5 Α 1 Α 4 Β 3 In[44]:= Out[44]= pot1 pot Simplify 0, 0 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_?ctest : z 1 z Tässä tarkoittaa imaginaariyksikköä. Esimerkiksi: In[46]:= normmuoto a Out[46]= Α 1 Α In[47]:= normmuoto a Out[47]= Α 1 Α 1 Α Α In[48]:= Out[48]= In[49]:= Out[49]= ipot Table i n, n, 0, 10 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0 Map normmuoto, ipot 1,, 1,, 1,, 1,, 1,, 1 Varsinaisesti kompleksiluvuilla laskettaessa ne syötetään Mathematicassa suoraan normaalimuodossa. Laskutoimitussymbolit ovat samoja kuin reaalisten muuttujien tapauksessa. Esimerkiksi: In[50]:= Out[50]=

6 6 ckunta.nb In[51]:= Out[51]= In[5]:= Out[5]= Table ^n, n, 0, 10 1,, 1,, 1,, 1,, 1,, 1 Harjoitustehtäviä 1) Laske kompleksilukujen z ja z 11 summa, tulo ja osamäärä sekä edellä olevan määritelmän mukaisella formalismilla että normaalia tapaa käyttäen. ) Laske kompleksilukujen z 1 cos φ 1 sin φ 1 ja z cos φ sin φ 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 z 1 z, b) z 1 z z 1 z, c) z z, d) z z, e) z z z, f) z 1 z z 1 z. Simo K. Kivelä