ART

In mathematics, an equalizer is a set of arguments where two or more functions have equal values. An equalizer is the solution set of an equation. In certain contexts, a difference kernel is the equalizer of exactly two functions.

Definitions

Let X and Y be sets. Let f and g be functions, both from X to Y. Then the equaliser of f and g is the set of elements x of X such that f(x) equals g(x) in Y. Symbolically:

\( {\displaystyle \operatorname {Eq} (f,g):=\{x\in X\mid f(x)=g(x)\}.} \)

The equaliser may be denoted Eq(f, g) or a variation on that theme (such as with lowercase letters "eq"). In informal contexts, the notation {f = g} is common.

The definition above used two functions f and g, but there is no need to restrict to only two functions, or even to only finitely many functions. In general, if F is a set of functions from X to Y, then the equalizer of the members of F is the set of elements x of X such that, given any two members f and g of F, f(x) equals g(x) in Y. Symbolically:

\( {\displaystyle \operatorname {Eq} ({\mathcal {F}}):=\{x\in X\mid \forall f,g\in {\mathcal {F}},\;f(x)=g(x)\}.} \)

This equaliser may be written as Eq(f, g, h, ...) if \( {\mathcal {F}} \) is the set {f, g, h, ...}. In the latter case, one may also find {f = g = h = ···} in informal contexts.

As a degenerate case of the general definition, let F be a singleton {f}. Since f(x) always equals itself, the equaliser must be the entire domain X. As an even more degenerate case, let F be the empty set. Then the equaliser is again the entire domain X, since the universal quantification in the definition is vacuously true.
Difference kernels

A binary equalizer (that is, an equalizer of just two functions) is also called a difference kernel. This may also be denoted DiffKer(f, g), Ker(f, g), or Ker(f − g). The last notation shows where this terminology comes from, and why it is most common in the context of abstract algebra: The difference kernel of f and g is simply the kernel of the difference f − g. Furthermore, the kernel of a single function f can be reconstructed as the difference kernel Eq(f, 0), where 0 is the constant function with value zero.

Of course, all of this presumes an algebraic context where the kernel of a function is its preimage under zero; that is not true in all situations. However, the terminology "difference kernel" has no other meaning.
In category theory

Equalizers can be defined by a universal property, which allows the notion to be generalized from the category of sets to arbitrary categories.

In the general context, X and Y are objects, while f and g are morphisms from X to Y. These objects and morphisms form a diagram in the category in question, and the equalizer is simply the limit of that diagram.

In more explicit terms, the equalizer consists of an object E and a morphism eq : E → X satisfying \( f\circ eq=g\circ eq \), and such that, given any object O and morphism m : O → X, if \( f\circ m=g\circ m \), then there exists a unique morphism u : O → E such that \( eq\circ u=m \).
Equalizer-01.svg

A morphism \( m:O\rightarrow X \) is said to equalize f and g if \( f\circ m=g\circ m \).[1]

In any universal algebraic category, including the categories where difference kernels are used, as well as the category of sets itself, the object E can always be taken to be the ordinary notion of equalizer, and the morphism eq can in that case be taken to be the inclusion function of E as a subset of X.

The generalization of this to more than two morphisms is straightforward; simply use a larger diagram with more morphisms in it. The degenerate case of only one morphism is also straightforward; then eq can be any isomorphism from an object E to X.

The correct diagram for the degenerate case with no morphisms is slightly subtle: one might initially draw the diagram as consisting of the objects X and Y and no morphisms. This is incorrect, however, since the limit of such a diagram is the product of X and Y, rather than the equalizer. (And indeed products and equalizers are different concepts: the set-theoretic definition of product doesn't agree with the set-theoretic definition of the equalizer mentioned above, hence they are actually different.) Instead, the appropriate insight is that every equalizer diagram is fundamentally concerned with X, including Y only because Y is the codomain of morphisms which appear in the diagram. With this view, we see that if there are no morphisms involved, Y does not make an appearance and the equalizer diagram consists of X alone. The limit of this diagram is then any isomorphism between E and X.

It can be proved that any equalizer in any category is a monomorphism. If the converse holds in a given category, then that category is said to be regular (in the sense of monomorphisms). More generally, a regular monomorphism in any category is any morphism m that is an equalizer of some set of morphisms. Some authors require more strictly that m be a binary equalizer, that is an equalizer of exactly two morphisms. However, if the category in question is complete, then both definitions agree.

The notion of difference kernel also makes sense in a category-theoretic context. The terminology "difference kernel" is common throughout category theory for any binary equalizer. In the case of a preadditive category (a category enriched over the category of Abelian groups), the term "difference kernel" may be interpreted literally, since subtraction of morphisms makes sense. That is, Eq(f, g) = Ker(f - g), where Ker denotes the category-theoretic kernel.

Any category with fibre products (pullbacks) and products has equalizers.
See also

Coequalizer, the dual notion, obtained by reversing the arrows in the equalizer definition.
Coincidence theory, a topological approach to equalizer sets in topological spaces.
Pullback, a special limit that can be constructed from equalizers and products.

Notes

Barr, Michael; Wells, Charles (1998). Category theory for computing science (PDF). p. 266. Archived from the original (PDF) on 2016-03-04. Retrieved 2013-07-20.

References

Equalizer in nLab

External links

Interactive Web page which generates examples of equalizers in the category of finite sets. Written by Jocelyn Paine.

Category theory
Key concepts
Key concepts

Category Adjoint functors CCC Commutative diagram Concrete category End Exponential Functor Kan extension Morphism Natural transformation Universal property

Universal constructions
Limits

Terminal objects Products Equalizers
Kernels Pullbacks Inverse limit

Colimits

Initial objects Coproducts Coequalizers
Cokernels and quotients Pushout Direct limit

Algebraic categories

Sets Relations Magmas Groups Abelian groups Rings (Fields) Modules (Vector spaces)

Constructions on categories

Free category Functor category Kleisli category Opposite category Quotient category Product category Comma category Subcategory


A simple triangular commutative diagram
Higher category theory

Key concepts
Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model category Simplex category String diagram Topos
n-categories
Weak n-categories

Bicategory (pseudofunctor) Tricategory Tetracategory Kan complex ∞-groupoid ∞-topos

Strict n-categories

2-category (2-functor) 3-category

Categorified concepts

2-group 2-ring En-ring (Traced)(Symmetric) monoidal category n-group n-monoid

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License