Neutrális elem

A Wikipédiából, a szabad lexikonból.

A neutrális elem vagy egységelem a matematikában az algebrai struktúrák elméletének egyik alapvető fogalma. Pontatlanul fogalmazva, egy kétváltozós műveletre nézve a művelet alaphalmazának valamely elemét akkor nevezzük neutrálisnak, ha bármelyik másik elemen ezzel a kitüntetett elemmel végezve a műveletet, „semmi nem történik”, vagyis a neutrális elem helybenhagyja az összes többi elemet.

• Egy lehetséges pontos definíció a következő: adott egy U halmaz és egy * : U x U → U kétváltozós (bináris) művelet. Tehát bármely a,b ∈ U elemekhez tartozik egyetlen *(a,b) = a*b = c ∈ U elem. Ekkor az n ∈ U elem neutrális elem a * bináris műveletre nézve, ha tetszőleges x ∈ U elemre érvényes: x*n = n*x = x.
• Egy másik definíció a grupoid-transzláció fogalmára alapoz: eszerint az n ∈ U elem akkor neutrális eleme az (U,*) grupoidnak, ha az n elemhez tartozó Tj _n és Tb _n jobb oldali és bal oldali transzlációk egyaránt az U feletti identikus leképezéssel (helybenhagyással) egyenlőek, azaz ha tetszőleges x ∈ U elemre a Tj _n (x) = x és Tb _n(x) = x. Minthogy Tj _n (x) := x*n és Tb _n (x) = n*x, ez tényleg az előző definícióval ekvivalens.

• Elnevezések és írásmódok:
  • Ha a * műveletet összeadásnak nevezzük és +-nak írjuk (ezt gyakorta, bár nem kizárólag akkor tesszük, ha kommutatív); akkor a neutrális elemet szokás nullelemnek nevezni és 0-val jelölni.
  • Ha a * műveletet szorzásnak nevezzük és ×-nak írjuk (ezt gyakorta akkor tesszük, ha assszociatív), akkor a neutrális elemet szokás egységelemnek nevezni és 1-gyel vagy e-vel jelölni.

Tartalomjegyzék 1 Egyértelműség 2 Féloldali neutrális elemek 3 Példák 4 Egyebek 5 Lásd még

[szerkesztés] Egyértelműség

A neutrális elem egyértelmű (legfeljebb egy van belőle az alaphalmazban). Ugyanis ha n,m ∈ U neutrális elemek, akkor n*m = m*n = m; mivel n neutrális; és n*m = m*n = n, mivel m is neutrálsi, így m = n ( = n*m).

[szerkesztés] Féloldali neutrális elemek

Ha csak x*n = x teljesül, de n*x = x nem feltétlenül; akkor n neve jobbról neutrális elem vagy jobbegységelem, ha meg csak n*x = x (de x*n esetleg nem), akkor a neve balról neutrális elem vagy balegységelem. Persze n akkor és csak akkor neutrális elem, ha balról és jobbról is neutrális. Additív ill. multiplikatív írásmód esetén féloldali (bal-/jobb-) nullelemről ill. egységelemről beszélünk.

Míg a (kétoldali) neutrális elem egyértelmű, a féloldali neutrális elemek többen is lehetnek. Sőt létezik olyan művelet, mely végtelen alaphalmazának minden eleme féloldali neutrális (ld. 10. példa).

Ha egy elem balneutrális, de nem neutrális, akkor valódi balneutrálisnak nevezzük, hasonlóan ha jobbneutrális, de nem neutrális, akkor valódi jobbneutrálisnak.

Megjegyezzük, hogy ha egy műveletre nézve van jobb oldali j és van bal oldali b neutrális elem, akkor ezek szükségképp egyenlőek, és így van neutrális elem, hiszen x*j = x miatt b*j = b, ugyanakkor b*x = x miatt b*j = j. Azaz b*j = b = j.

Ebből következően

• egy műveletre nézve akkor és csak akkor létezik neutrális elem, ha létezik egy baloldali és egy jobboldali neutrális elem.
• Bármely műveletre bármely x ∈ U esetén a következő lehetőségek közül egy és csak egy teljesül:
  • x valódi balneutrális elem (s ekkor nincs jobbneutrális elem. tehát neutrális sincs);
  • x valódi jobbneutrális elem (s ekkor nincs balneutrális elem, tehát neutrális sincs);
  • x (kétoldali) neutrális elem (s ekkor nincs valódi neutrális elem).

[szerkesztés] Példák

1. Az egész számok körében értelmezett legnagyobb közös osztó műveletének neutrális eleme a 0.
2. Az egész számok körében értelmezett legkisebb közös többszörös műveletének neutrális eleme az 1.
3. egy U halmaz hatványhalmaza felett értelmezett unió műveletének a neutrális eleme az ∅ üres halmaz;
4. egy U halmaz hatványhalmaza felett értelmezett metszet műveletének a neutrális eleme maga az U;
5. Egy U halmaz hatványhalmaza felett értelmezett szimmetrikus differencia műveletének neutrális elem az ∅ üres halmaz;
6. a valós számok halmaza felett értelmezett összeadás műveletének neutrális eleme – nulleleme – a nulla;
7. a valós számok halmaza felett értelmezett szorzás műveletének neutrális eleme – egységeleme – az 1;
8. Adott egy A halmazt önmagára képező függvények halmaza (mind az értelmezési tartomány, mind az értékkészlet része A-nak). E függvények összetétele – egymás utáni végrehajtása, kompozíciója – olyan művelet, melyre nézve az A halmazon értelmezett identikus leképezés (identitás vagy helybenhagyás) neutrális elem.
9. Adott test feletti n×n-es mátrixok felett értelmezhető a szorzás művelete, erre nézve az egységmátrix kétoldali egységelem.
10. Olyan műveleteket sem nehéz elképzelni, melyek alaphalmazának minden eleme féloldali – vagy mind jobb-, vagy mind bal- – neutrális. Legyen U=a ₁ , a ₂ , a ₃ (az egyszerűség kedvéért 3 elemből áll, de hasonlóan megvalósítható akárt végtelen sok elemmel is). A következő művelettáblával defimiált két * _b és * _j művelet abszolúte jól definiált művelet (magyarázat a táblázatokhoz: az x elemmel jelölt sor és az y elemmel jelölt oszlop kereszteződésében álló cellába írtuk az x*y elemet):

* b a 1 a 2 a 3 a 1 a 1 a 2 a 3 a 2 a 1 a 2 a 3 a 3 a 1 a 2 a 3

* j a 1 a 2 a 3 a 1 a 1 a 1 a 1 a 2 a 2 a 2 a 2 a 3 a 3 a 3 a 3

Tehát az történik, hogy ha pl. b balneutrális, akkor az f(x)= b*x = x függvény (ezt egyébként az (U,*) grupoid b elem szerinti bal oldali transzlációjának szokás nevezni) az identikus leképezés az alaphalmazon. Ez az észrevétel lehet(ne) az alapja a neutrális elem több mint kétváltozós műveletekre való általánosításának.

[szerkesztés] Egyebek

A neutrális elemes grupoidok közül az asszociatívakat – azaz az egységelemes félcsoportokat – monoidoknak, míg az invertálható művelettel ellátottakat – a neutrális elemes kvázicsoportokat – hurkoknak nevezzük.

[szerkesztés] Lásd még

• grupoid