Ekvivalenciaosztály

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Hunfn

  1. Sablon:Humatek Ha ρ egy ekvivalenciareláció, akkor az aρ* halmazt az a elem ekvivalenciaosztályának hívjuk. A különböző elemekhez tartozó ekvivalenciaosztályok vagy egybeesnek vagy diszjunktak.

Példa: Tekintsük a halmazon a ρ={(m,n)2:3|(nm)} ekvivalenciarelációt. Ennek 3 különböző ekvivalenciaosztálya van: {,6,3,0,3,6,},{,5,2,1,4,7,} és a {,4,1,2,5,8,} halmazok. Az egyes ekvivalenciaosztályokban szereplő számok 3-mal osztva ugyanazt a maradékot adják: 0,1 illetve 2.

Példa: Legyen φ:AB adott leképezés, és tekintsük a leképezés magja ekvivalenciarelációt. Ennek ekvivalenciaosztályai a leképezés szintvonalai, azaz azon elemek alkotnak egy osztályt, amelyhez a leképezés ugyanazt az értéket rendeli. Például, ha φ:,φ(x)=x2 , akkor az egyik ekvivalenciaosztály {0} egyelemű, az összes többi kételemű: {a,a} alakú. Sablon:-ford-

Sablon:Hunl