Translation for "ekvivalenssirelaatio" to english

Ekvivalenssirelaatio

• an equivalence
• equivalence relation

Translation examples

an equivalence

Se, että on olemassa polku pisteestä x pisteeseen y, on avaruuden pisteiden välinen ekvivalenssirelaatio, ja tämän ekvivalenssirelaation ekvivalenssiluokkia sanotaan avaruuden polkukomponenteiksi.
A path-component of X is an equivalence class of X under the equivalence relation which makes x equivalent to y if there is a path from x to y.

Joukkojen järjestys­isomorfisuus on selvästikin ekvivalenssirelaatio.
Therefore, order isomorphism is an equivalence relation.

(H9) Janojen yhtenevyys on ekvivalenssirelaatio.
The bisimilarity relation ∼ {\displaystyle \,\sim \,} is an equivalence relation.

Voidaan tarkistaa välittömästi, että kyseessä on ekvivalenssirelaatio.
It is easily shown that this is an equivalence relation.

Lukujen kongruenssi on ekvivalenssirelaatio, johon liittyviä ekvivalenssi­luokkia sanotaan jäännös­luokiksi.
Wilf equivalence is an equivalence relation and its equivalence classes are called Wilf classes.

Kongruenssirelaatio on ekvivalenssirelaatio, joten se jakaa kokonaislukujen joukon ekvivalenssiluokkiin.
It is easy to show that RL is an equivalence relation on strings, and thus it divides the set of all strings into equivalence classes.

Tästä seuraa, että kumpikin edellä mainituista relaatioista on ekvivalenssirelaatio, joka määrittelee X:n jaon ekvivalenssiluokkiin.
Thus each relation is an equivalence relation, and defines a partition of X into equivalence classes.

Voidaan taas todistaa, että = F {\displaystyle =_{F}} on ekvivalenssirelaatio ja ekvivalenssiluokkien välille voidaan asettaa hyvinmääritellyt laskutoimitukset.
It can be easily shown that conjugacy is an equivalence relation and therefore partitions G into equivalence classes.

Jos ∼ {\displaystyle \sim } on ekvivalenssirelaatio joukossa X {\displaystyle X} , kanoninen kuvaus q : X → X / ∼ {\displaystyle q:X\to X/{\sim }} on samastuskuvaus.
Given an equivalence relation ∼ {\displaystyle \sim } on X {\displaystyle X} , the canonical map q : X → X / ∼ {\displaystyle q:X\to X/{\sim }} is a quotient map.