Ekvivalensklass

En ekvivalensklass är inom matematik en mängd definierad av en ekvivalensrelation $R\subseteq A\times A$ och ett element $a\in A$. Elementet a sägs vara en representant för ekvivalensklassen

$[a{]}_R:=\{x\in A:(x,a)\in R\}.$

Med andra ord är en ekvivalensklass mängden av alla element som är ekvivalenta (under den givna ekvivalensrelationen) med ett givet element. Ur egenskaperna för en ekvivalensrelation ser man att följande gäller:

$[a{]}_R=[b{]}_R\iff (a,b)\in R\iff a\in [b]\iff b\in [a]$

Exempel

• Låt X vara mängden av alla bilar. Definiera ekvivalensrelationen R genom att bilarna x och y är relaterade om x och y har samma färg. Ekvivalensklasserna som uppstår kan då identifieras med mängden av alla bilfärger.
• Betrakta mängden Z av alla heltal med låt x och y vara ekvivalenta om och endast om $x-y$ är ett jämnt heltal, modulo 2-relationen. Detta ger upphov till ekvivalensklasserna $[0]$ och $[1]$ bestående av alla jämna respektive udda tal.