Utjevner (matematikk)

matematikk

En utjevner eller differansekjerne for to eller flere funksjoner mellom to mengder består av de elementene der funksjonene er identiske. En utjevner utgjør løsningsmengden til en eller flere likninger.

Definisjon rediger

For en generell kategori defineres en utjevner ved hjelp av følgende universelle egenskap: For to morfier f : XY og g : XY, er en utjevner et objekt E og en morfi eq : EX slik at  , og slik at enhver annen funksjon m : OX slik at   faktoriserer unikt gjennom E, dvs. det eksisterer en unik u : OE slik at  .

Eksterne lenker rediger