Neutraalialkio

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun

Joukon alkio on neutraalialkio eli identiteetti jonkin joukossa määritellyn binäärioperaation suhteen, jos laskutoimituksien tulokset ovat tai . Alkiolla ei näytä olevan vaikutusta tulokseen eli sen vaiktus on neutraali. [1] Kirjain tulee saksankielisestä sanasta Einheit.[2]

Esimerkiksi kertolaskun neutraalialkio reaalilukujen joukossa on luku 1, sillä mikä tahansa reaaliluku kerrottuna yhdellä on luku itse eli Tämän vuoksi neutraalialkiota kutsutaan myös kertolaskun yksikköalkioksi eli ykkösalkioksi. Reaalilukujen yhteenlaskun neutraalialkio on luku 0, koska nollan lisääminen lukuun on luku eli Tällöin neutraalialkiota kutsutaan myös yhteenlaskun nolla-alkioksi. [1]

Formaalinen määritelmä ja nimityksiä[muokkaa | muokkaa wikitekstiä]

Olkoon operaatio joukossa määritelty binäärioperaatio, jota on tapana merkitä parina . Neutraalialkiosta voidaan käyttää seuraavia nimityksiä. Joukon alkio on vasemmanpuoleinen neutraalialkio, jos kaikilla joukkoon kuuluvilla alkioilla . Samoin, jos kaikilla joukkoon kuuluvilla alkioilla , on oikeanpuoleinen neutraalialkio. [1]

Jos on monoidi, on neutraalialkio sekä vasemman- että oikeanpuoleinen ja sitä kutsutaan molemmanpuoleiseksi neutraalialkioksi tai yksinkertaisesti pelkäksi neutraalialkioksi. Tällöin on voimassa [1][3]

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

Neutraalialkioita voi olla useitakin ellei peräti äärettömän monta. Jos vallan erikoinen laskutoimitus määritellään seuraavasti: kun Tällöin mikä reaaliluku, esimerkiksi luku 2, on oikeanpuoleinen neutraalialkio, koska määritelmän mukaan Sen sijaan vasenmmanpuoleista neutraalialkiota ei ole. Määrittelemällä on tilanne päinvastainen. [4]

Joskus ei ole olemassa neutraalialkioita. Jos lukujoukko koostuu luonnollisista luvuista , ei ole olemassa neutraalialkiota tavallisella kertolaskulla (koska luku 1 puuttuu). Samoin käy parille , kun laskutoimitus määritellään [4]

Jos laskutoimituksella on sekä vasemmanpuoleinen- että oikeanpuoleinen neutraalialkio, on sen oltava sama alkio. Helppoja esimerkkejä on reaalilukujen nolla-alkio yhteenlaskun tapauksessa () ja ykkösalkio kertolaskun tapauksessa (). [4][5] Keksimällä esimerkiksi sellainen laskutoimitus, jossa reaaliluvuilla lasketaan siten, että Luku yksi on tämän laskutoimituksen vasemman- ja oikeanpuoleinen neutraalialkio, sillä ja [4]

Muita esimerkkejä[muokkaa | muokkaa wikitekstiä]

joukko binäärioperaattori neutraalialkio
reaaliluvut yhteenlasku ( + ) 0 [6]
reaaliluvut kertolasku ( · ) 1 [7]
vektorit yhteenlasku ( + ) nollavektori
n x n neliömatriisi yhteenlasku ( + ) nollamatriisi [6]
n x n neliömatriisi kertolasku ( · ) yksikkömatriisi [7]
kaikki funktiot joukosta M itseensä yhdistetty funktio ( o ) identiteettifunktio
merkkijonot yhdistäminen tyhjä merkkijono
vain kaksi alkiota {e, f} * määritelty niin että e * e = f * e = e ja
f * f = e * f = f
e ja f ovat molemmat vasemmanpuoleisia neutraalialkioita, mutta ei ole olemassa oikean- tai molemmanpuoleista neutraalialkiota.

Kuten viimeinen esimerkki näyttää, on mahdollista että (S,×):lla on useampi kuin yksi vasemmanpuoleinen identiteetti. Samoin voi olla olemassa useita oikeanpuoleisia identiteettejä. Mutta jos joukossa on olemassa sekä oikeanpuoleinen ja vasemmanpuoleinen identiteetti, ne ovat yhteneviä ja onkin oikeastaan olemassa vain yksi molemmanpuoleinen identiteetti. Tämän todistamiseksi merkitään vasenta identiteettiä v:llä ja oikeaa o:lla. Tällöin v = v × o = o. Tästä seuraa myös, ettei ryhmällä voi olla useampia kuin yksi molemmanpuoleinen identiteetti.

Neutraalialkio ja käänteisalkio[muokkaa | muokkaa wikitekstiä]

Luvun käänteisalkio ovat lukuja, jotka muodostavat laskutoimituksessa neutraalialkion eli . Jos parilla on vain yksi neutraalialkio, on jokaisella muulla luvulla yksikäsitteinen käänteisalkio. [4]

Katso myös[muokkaa | muokkaa wikitekstiä]

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]

Lähteet[muokkaa | muokkaa wikitekstiä]

  1. a b c d Häsä, Jokke: Algebra II (pdf) (Luku 0: Kertausta (luentomoniste)) 2010. Helsinki: Helsingin yliopisto.
  2. Weisstein, Eric W.: Identity Element (Math World - A Wolfram Web Resource) Wolfram Research. (englanniksi)
  3. Weisstein, Eric W.: Monoid (Math World - A Wolfram Web Resource) Wolfram Research. (englanniksi)
  4. a b c d e Dr. Marcel B. Finan: MATH 4033: Elementary Modern Algebra (pdf) (Luku 3. Binary operations (luento)) Arkansas: Arkansas Tech University. (englanniksi)
  5. Turunen, Esko: MAT–41150 Algebra 1(s)
  6. a b Margherita Barile: Additive Identity (Math World - A Wolfram Web Resource) Wolfram Research. (englanniksi)
  7. a b Margherita Barile: Multiplicative Identity (Math World - A Wolfram Web Resource) Wolfram Research. (englanniksi)