https://en.formulasearchengine.com/index.php?title=Lower_limit_topology&feed=atom&action=historyLower limit topology - Revision history2024-03-28T15:30:37ZRevision history for this page on the wikiMediaWiki 1.42.0-wmf.5https://en.formulasearchengine.com/index.php?title=Lower_limit_topology&diff=287934&oldid=preven>Trappist the monk: /* References */replace mr template with mr parameter in CS1 templates; using AWB2014-09-25T00:30:01Z<p><span dir="auto"><span class="autocomment">References: </span>replace mr template with mr parameter in CS1 templates; using <a href="/index.php?title=Testwiki:AWB&action=edit&redlink=1" class="new" title="Testwiki:AWB (page does not exist)">AWB</a></span></p>
<a href="https://en.formulasearchengine.com/index.php?title=Lower_limit_topology&diff=287934&oldid=287933">Show changes</a>en>Trappist the monkhttps://en.formulasearchengine.com/index.php?title=Lower_limit_topology&diff=287933&oldid=preven>Kephir: link right-sided limit2014-02-27T20:12:54Z<p>link right-sided limit</p>
<a href="https://en.formulasearchengine.com/index.php?title=Lower_limit_topology&diff=287933&oldid=3871">Show changes</a>en>Kephirhttps://en.formulasearchengine.com/index.php?title=Lower_limit_topology&diff=3871&oldid=preven>Michael Hardy: /* Properties */2013-10-10T01:08:56Z<p><span dir="auto"><span class="autocomment">Properties</span></span></p>
<p><b>New page</b></p><div>{{About|equalisers in mathematics|other meanings|Equalizer (disambiguation)}}<br />
In [[mathematics]], an '''equaliser''', or '''equalizer''', is a set of arguments where two or more [[function (mathematics)|function]]s have [[equality (math)|equal]] values.<br />
An equaliser is the [[solution set]] of an [[equation]].<br />
In certain contexts, a '''difference kernel''' is the equaliser of exactly two functions.<br />
<br />
== Definitions ==<br />
<br />
Let ''X'' and ''Y'' be [[Set (mathematics)|sets]].<br />
Let ''f'' and ''g'' be [[function (mathematics)|function]]s, both from ''X'' to ''Y''.<br />
Then the ''equaliser'' of ''f'' and ''g'' is the set of elements ''x'' of ''X'' such that ''f''(''x'') equals ''g''(''x'') in ''Y''.<br />
Symbolically:<br />
: <math> \mathrm{Eq}(f,g) := \{x \in X \mid f(x) = g(x)\}\mbox{.}\! </math><br />
The equaliser may be denoted Eq(''f'',''g'') or a variation on that theme (such as with lowercase letters "eq").<br />
In informal contexts, the notation {''f'' = ''g''} is common.<br />
<br />
The definition above used two functions ''f'' and ''g'', but there is no need to restrict to only two functions, or even to only [[finite set|finite]]ly many functions.<br />
In general, if '''F''' is a [[Set (mathematics)|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''.<br />
Symbolically:<br />
: <math> \mathrm{Eq}(\mathcal{F}) := \{x \in X \mid \forall{f,g \,}{\in}\, \mathcal{F}, \; f(x) = g(x)\}\mbox{.}\! </math><br />
This equaliser may be written as Eq(''f'',''g'',''h'',...) if <math> \mathcal{F}</math> is the set {''f'',''g'',''h'',...}.<br />
In the latter case, one may also find {''f'' = ''g'' = ''h'' = ···} in informal contexts.<br />
<br />
As a [[degenerate (math)|degenerate]] case of the general definition, let '''F''' be a [[singleton (set theory)|singleton]] {''f''}.<br />
Since ''f''(''x'') always equals itself, the equaliser must be the entire domain ''X''.<br />
As an even more degenerate case, let '''F''' be the [[empty set]] {}.<br />
Then the equaliser is again the entire domain ''X'', since the [[universal quantification]] in the definition is [[vacuously true]].<br />
<br />
== Difference kernels ==<br />
<br />
A binary equaliser (that is, an equaliser of just two functions) is also called a ''difference kernel''.<br />
This may also be denoted DiffKer(''f'',''g''), Ker(''f'',''g''), or Ker(''f'' &minus; ''g'').<br />
The last notation shows where this terminology comes from, and why it is most common in the context of [[abstract algebra]]:<br />
The difference kernel of ''f'' and ''g'' is simply the [[kernel (algebra)|kernel]] of the difference ''f'' &minus; ''g''.<br />
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 [[0 (number)|zero]].<br />
<br />
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.<br />
However, the terminology "difference kernel" has no other meaning.<br />
<br />
== In category theory ==<br />
<br />
Equalisers can be defined by a [[universal property]], which allows the notion to be generalised from the [[category of sets]] to arbitrary [[category theory|categories]].<br />
<br />
In the general context, ''X'' and ''Y'' are objects, while ''f'' and ''g'' are morphisms from ''X'' to ''Y''.<br />
These objects and morphisms form a [[commutative diagram|diagram]] in the category in question, and the equaliser is simply the [[limit (category theory)|limit]] of that diagram.<br />
<br />
In more explicit terms, the equaliser consists of an object ''E'' and a morphism ''eq'' : ''E'' → ''X'' satisfying <math>f \circ eq = g \circ eq</math>,<br />
and such that, given any object ''O'' and morphism ''m'' : ''O'' → ''X'', if <math>f \circ m = g \circ m</math>, then there exists a [[unique]] morphism ''u'' : ''O'' → ''E'' such that <math>eq \circ u = m</math>.<br />
<br />
<div style="text-align: center;">[[Image:Equalizer-01.svg|200px]]</div><br />
<br />
A morphism <math>m:O \rightarrow X</math> is said to '''equalize''' <math>f</math> and <math>g</math> if <math>f \circ m = g \circ m</math>.<br />
<ref>{{cite book |last1=Barr |first1=Michael |authorlink1=Michael Barr (mathematician) |last2=Wells |first2=Charles |authorlink2=Charles Wells (mathematician) |year=1998 |title=Category theory for computing science |page=266 |url=http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf |accessdate=2013-07-20 |format=PDF}}</ref><br />
<br />
In any [[universal algebra]]ic 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 equaliser, and the morphism ''eq'' can in that case be taken to be the [[inclusion function]] of ''E'' as a [[subset]] of ''X''.<br />
<br />
The generalisation of this to more than two morphisms is straightforward; simply use a larger diagram with more morphisms in it.<br />
The degenerate case of only one morphism is also straightforward; then ''eq'' can be any [[isomorphism]] from an object ''E'' to ''X''.<br />
<br />
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 (category theory)|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''.<br />
<br />
It can be proved that any equaliser in any category is a [[monomorphism]].<br />
If the [[converse (logic)|converse]] holds in a given category, then that category is said to be ''regular'' (in the sense of monomorphisms).<br />
More generally, a [[regular monomorphism]] in any category is any morphism ''m'' that is an equaliser of some set of morphisms.<br />
Some authorities require (more strictly) that ''m'' be a ''binary'' equaliser, that is an equaliser of exactly two morphisms.<br />
However, if the category in question is [[complete category|complete]], then both definitions agree.<br />
<br />
The notion of difference kernel also makes sense in a category-theoretic context.<br />
The terminology "difference kernel" is common throughout category theory for any binary equaliser.<br />
In the case of a [[preadditive category]] (a category [[enriched category|enriched]] over the category of [[Abelian group]]s), the term "difference kernel" may be interpreted literally, since subtraction of morphisms makes sense.<br />
That is, Eq(''f'',''g'') = Ker(''f'' - ''g''), where Ker denotes the [[kernel (category theory)|category-theoretic kernel]].<br />
<br />
Any category with fibre products (pull backs) and products has equalisers.<br />
<br />
== See also ==<br />
<br />
*[[Coequaliser]], the [[dual (category theory)|dual]] notion, obtained by reversing the arrows in the equaliser definition.<br />
*[[Coincidence theory]], a topological approach to equalizer sets in [[topological space]]s.<br />
*[[Pullback (category theory)|Pullback]], a special [[Limit (category theory)|limit]] that can be constructed from equalisers and products.<br />
<br />
==Notes==<br />
{{reflist}}<br />
<br />
==References==<br />
* {{nlab|id=equalizer|title=Equalizer}}<br />
<br />
== External links ==<br />
<br />
*[http://www.j-paine.org/cgi-bin/webcats/webcats.php Interactive Web page ] which generates examples of equalizers in the category of finite sets. Written by [http://www.j-paine.org/ Jocelyn Paine].<br />
<br />
[[Category:Set theory]]<br />
[[Category:Limits (category theory)]]</div>en>Michael Hardy