Käänteisalkio

Alkiolla ${\displaystyle b}$ on vasemmanpuoleinen käänteisalkio ${\displaystyle a}$ , jos ${\displaystyle a*b=e,}$ ja oikeanpuoleinen käänteisalkio, jos ${\displaystyle b*a=e.}$ Mikäli alkiolla on samanaikaisesti sekä vasemmanpuoleinen- että oikeanpuoleinen käänteisalkio, sanotaan vain, että sillä on olemassa käänteisalkio.^[2][3] Jos alkiolla on olemassa käänteisalkio sanotaan, että alkio on kääntyvä.^[4]

Jos laskutoimitusta pidetään luonteeltaan multiplikatiivisena, merkitään alkion ${\displaystyle x}$ käänteisalkiota ${\displaystyle x^{-1}}$ . Jos se taas on additiivinen, se merkitään kuten vastaluvutkin yhteenlaskussa eli ${\displaystyle -x}$ .^[3][5][6]

Kokonaislukujen joukossa pari ${\displaystyle (\mathbb {Z} ,*)}$ sisältää vain muutaman käänteisalkion eli käänteisluvun, kun laskutoimitus ${\displaystyle *}$ on kertolasku. Selvästikään luvulla 2 ei ole käänteislukua olemassa, koska sen pitäisi olla ${\displaystyle {\tfrac {1}{2}}\notin \mathbb {Z} }$ . Ainoat luvut, jolla on olemassa käänteisluvut, ovat -1 ja 1. Näiden käänteisluvut ovat luvut itse.^[2]

Jos määritetään erikoinen laskutoimitus ${\displaystyle a\star b=a+b-1}$ kokonaislukujen joukossa. Jos valitaan ensin kokonaisluku ${\displaystyle s}$ , voidaan laskea sille käänteisalkio ehdosta ${\displaystyle a+b-1=1}$ . Sillä on oikeanpuoleinen käänteisluku ${\displaystyle -s=2-s}$ , koska ${\displaystyle a\star b=s\star (-s)=s+(2-s)-1=1}$ . Sama voidaan osoittaa vasemmanpuoleisesti.^[2]

Funktioiden joukossa ${\displaystyle {\mathcal {F}}(X)}$ , missä ${\displaystyle X}$ on funktioiden määrittely- ja arvojoukko, identtinen kuvaus ${\displaystyle id(x)=x}$ on yhdisteen ${\displaystyle \circ }$ neutraalialkio. Silloin voidaan määritelmän mukaan kirjoittaa ${\displaystyle id\circ f=f=f\circ id.}$ Jos ${\displaystyle f\in {\mathcal {F}}(X)}$ on bijektio, on ${\displaystyle f^{-1}\in {\mathcal {F}}(X)}$ funktion ${\displaystyle f}$ käänteiskuvaus laskutoimituksen ${\displaystyle \circ }$ suhteen ja ${\displaystyle f\circ f^{-1}=id=f^{-1}\circ f}$ . Muilla joukon ${\displaystyle f\in {\mathcal {F}}(X)}$ alkioilla, jotka eivät ole bijektioita, ei ole käänteiskuvausta.^[3]

Lukujoukko ja laskutoimitus muodostavat parin, joka voi olla monoidi. Monoidilla ei tarvitse olla käänteisalkioita, vaikka sillä on neutraalialkio.^[7] Sen sijaan ryhmällä on käänteisalkiot, sillä se saadaan monoidista vaatimalla jokaiselle alkiolle yksikäsitteinen käänteisalkio.^[8] Kun ryhmälle tehdään laajennus toisella laskutoimituksella, tulee vähintään additiivisella laskutoimituksella olla käänteisalkiot. Tätä algebraa kutsutaan renkaaksi.^[9] Jos sekä additiivisella- että multiplikatiivisella laskutoimituksella on molemmilla olemassa käänteisalkiot, kutsutaan sitä kunnaksi.^[10][11]

• Ray Mayer’s notes: Binary operations on sets (Arkistoitu – Internet Archive)