Käänteisalkio
Käänteisalkion käsite liittyy abstraktiin algebraan, jossa kahden joukkoon kuuluvan alkion binäärioperaation laskutulos on joukon neutraalialkio eli [1] Tällöin sanotaan, että ja ovat toistensa käänteisalkioita. Käänteisalkion nimitys tulee reaalilukujen kertolaskusta, jossa neutraalialkio on luku 1 ja jokaisella luvulla on olemassa yksi käänteisluku , jolle
Yksikkö tarkoittaa alkiota, jolla on käänteisalkio [2] mutta joskus vain ykkösalkiota eli identiteettialkiota.
Formaali määritelmä, nimitykset ja merkinnät
muokkaaAlkiolla on vasemmanpuoleinen käänteisalkio , jos ja oikeanpuoleinen käänteisalkio, jos Mikäli alkiolla on samanaikaisesti sekä vasemmanpuoleinen- että oikeanpuoleinen käänteisalkio, sanotaan vain, että sillä on olemassa käänteisalkio.[3][4] Jos alkiolla on olemassa käänteisalkio sanotaan, että alkio on kääntyvä.[5]
Jos laskutoimitusta pidetään luonteeltaan multiplikatiivisena, merkitään alkion käänteisalkiota . Jos se taas on additiivinen, se merkitään kuten vastaluvutkin yhteenlaskussa eli .[4][6][7]
Esimerkkejä
muokkaaKokonaislukujen joukossa pari sisältää vain muutaman käänteisalkion eli käänteisluvun, kun laskutoimitus on kertolasku. Selvästikään luvulla 2 ei ole käänteislukua olemassa, koska sen pitäisi olla . Ainoat luvut, jolla on olemassa käänteisluvut, ovat -1 ja 1. Näiden käänteisluvut ovat luvut itse.[3]
Jos määritetään erikoinen laskutoimitus kokonaislukujen joukossa. Jos valitaan ensin kokonaisluku , voidaan laskea sille käänteisalkio ehdosta . Sillä on oikeanpuoleinen käänteisluku , koska . Sama voidaan osoittaa vasemmanpuoleisesti.[3]
Funktioiden joukossa , missä on funktioiden määrittely- ja arvojoukko, identtinen kuvaus on yhdisteen neutraalialkio. Silloin voidaan määritelmän mukaan kirjoittaa Jos on bijektio, on funktion käänteiskuvaus laskutoimituksen suhteen ja . Muilla joukon alkioilla, jotka eivät ole bijektioita, ei ole käänteiskuvausta.[4]
Käänteisalkiot algebrassa
muokkaaLukujoukko ja laskutoimitus muodostavat parin, joka voi olla monoidi. Monoidilla ei tarvitse olla käänteisalkioita, vaikka sillä on neutraalialkio.[8] Sen sijaan ryhmällä on käänteisalkiot, sillä se saadaan monoidista vaatimalla jokaiselle alkiolle yksikäsitteinen käänteisalkio.[9] Kun ryhmälle tehdään laajennus toisella laskutoimituksella, tulee vähintään additiivisella laskutoimituksella olla käänteisalkiot. Tätä algebraa kutsutaan renkaaksi.[10] Jos sekä additiivisella- että multiplikatiivisella laskutoimituksella on molemmilla olemassa käänteisalkiot, kutsutaan sitä kunnaksi.[11][12]
Aiheesta muualla
muokkaa- Ray Mayer’s notes: Binary operations on sets (Arkistoitu – Internet Archive)
Lähteet
muokkaa- ↑ Häsä, Jokke & Rämö, Johanna: Johdatus abstraktiin algebraan, s. 47. Helsinki: Gaudeamus, 2015. ISBN 978-952-495-361-0
- ↑ Jokke Häsä: Algebra II (sivu 5: 0\ne 1, s. 82) kevät 2010. Helsingin yliopisto.
- ↑ a b c Dr. Marcel B. Finan: MATH 4033: Elementary Modern Algebra (pdf) (Luku 3. Binary operations (luento)) Arkansas: Arkansas Tech University. Arkistoitu 4.4.2015. (englanniksi)
- ↑ a b c Turunen, Esko: MAT–41150 Algebra 1(s)[vanhentunut linkki]
- ↑ Häsä, Jokke: Algebra II (pdf) (Luku 0: Kertausta (luentomoniste)) 2010. Helsinki: Helsingin yliopisto. Arkistoitu 5.1.2012.
- ↑ Barile, Margherita: Additive Inverse (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
- ↑ Barile, Margherita: Multiplicative Inverse (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
- ↑ Weisstein, Eric W.: Monoid (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
- ↑ Rowland, Todd & Weisstein, Eric W.: Group (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
- ↑ Weisstein, Eric W.: Ring (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
- ↑ Weisstein, Eric W.: Field (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)
- ↑ Barile, Margherita: Invertible Element (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)