Ekvivalentklaso

En matematiko, por aro X kaj ekvivalentrilato ~ sur X, la ekvivalentoklaso de la elemento a en X estas la subaro, kiu konsistas el ĉiuj elementoj x el X ekvivalentaj al a:

${\displaystyle [a]=\{x\in X|x\sim a\}.}$

Tiam:

a~b se kaj nur se [a] = [b].

La aro de ĉiuj ekvivalentklasoj en X por donita ekvivalentrilato ~ estas la kvocienta aro de X per ~ kaj kutime estas skribata kiel X/~.

Ĉi tiu operacio povas esti konsiderata neformale kiel la divido de la aro per la ekvivalentrilato kaj la rezulto estas ne interkovrantaj ekvivalentoklasoj. De ĉi tie estas la nomo "kvocienta aro" kaj la skribmaniero. Se rezultiĝas finia kvanto de ekvivalentklasoj ĉiuj de la sama amplekso, do amplekso de la kvocienta egalas al amplekso de X dividita je amplekso de ĉiu ekvivalentklaso.

Por ĉiu ekvivalentrilato, estas kanona projekcio π de X al X/~ donita per π(x) = [x]. Ĉi tiu funkcio ĉiam estas surĵeto. En okazoj, kiam X havas iun aldonan strukturon, oni povas konsideri ekvivalentrilatojn, kiuj konservas ĉi tiun strukturon. Tiam oni diras, ke la strukturo estas bone difinita (aŭ kohere difinita), kaj la kvocienta aro heredas la strukturon kaj estas objekto de la sama kategorio en natura maniero. Vidu en kongrueca rilato.

Pli ekzakta notacio [a]_R povas esti uzata por priskribi, kiu rilato R difinas la ekvivalentklason.

Se ~ estas ekvivalentrilato sur X, kaj P(x) estas tia eco de elementoj x de X, ke por x~y la valido de P(x) garantias validon de P(y), tiam oni diras, ke la eco P estas bone difinita aŭ klasa invarianto sub la rilato ~.

Pli ĝenerale, por funkcio f el aro X al alia aro Y: se x₁ ~ x₂ implicas validon de f(x₁) = f(x₂), tiam f estas klasa invarianto sub ~, aŭ simple invarianto sub ~.