Utjevner (matematikk)

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

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 | rediger kilde]

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  f \circ eq = g \circ eq, og slik at enhver annen funksjon m : OX slik at  f \circ m = g \circ m faktoriserer unikt gjennom E, dvs. det eksisterer en unik u : OE slik at  m = eq \circ u .

Equalizer-01.png

Eksterne lenker[rediger | rediger kilde]