Egalisateur et coégalisateur

Publié le 14 décembre 2015

1. Egalisateur ( equalizer)

$22-egalisateur-equalizer : 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: \mathrm{Eq}(f,g) := \{x \in X \mid f(x) = g(x)\}\mbox{.}\! 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 equaliser 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: \mathrm{Eq}(\mathcal{F}) := \{x \in X \mid \forall{f,g \,}{\in}\, \mathcal{F}, \; f(x) = g(x)\}\mbox{.}\! 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.$

2. Coégalisateur ( coequalizer )

$23-coégalisateur-coequalizer : Equalisers can be defined by a universal property, which allows the notion to be generalised 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 equaliser is simply the limit of that diagram. In more explicit terms, the equaliser 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.$

3. Noyaux et conoyaux

Younes Derfoufi
CRMEF OUJDA

Post Views: 159

Publié dans Catégories et Foncteurs

Très Facile

Tutoriels adaptés aux débutants

Copyright

Rechercher

Utilisateurs en ligne

Annonces Google

Tutoriels Informatiques

TICE & Multimédias

Math-pour-Informatiques

Anglais pour débutants

Nous somme sur Facebook