等化子
(イコライザ_(数学) から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/29 21:36 UTC 版)
数学における等化子（とうかし、英: equalizer, equaliser）は、与えられた複数の写像に対してそれらの値が等しくなるような引数全体の成す集合を言う。従って各等化子は特定の形の方程式の解集合として得られる。特定の文脈では、ちょうど二つの写像の等化子を、それら写像の差核 (difference kernel) と呼ぶ。
定義
集合 X, Y と二つの写像 f, g: X → Y に対し、f と g との等化子（ここでは Eq(f, g) と書く）とは、Y において f(x) = g(x) が成り立つような x ∈ X 全体の成す集合、記号で書けば
-
等化子の普遍性 を可換にする（すなわち eq ∘ u = m を満たす）ものが一意的に存在する」を満足するものを言う。射 m: O → X は f ∘ m = g ∘ m を満たすとき、f と g を等化する (equalise) という[1]。
差核が用いられる圏を含む任意の普遍代数学的圏において、集合の圏のとき同様に、対象 E は常に通常の集合としての等化子として取ることができ、この場合の射 eq は X の部分集合としての E に関する包含写像として取ることができる。
この圏論的な定義は二つより多くの射に関するものへ直接的に一般化することができる（単に上記の図式と同様の、複数の射を含むより大きな図式を用いればよい）。退化して一つの射しかない場合も同様で、eq は対象 E から X への任意の同型射として取れる。一方、退化して射が一つもない場合に対する正確な図式は少々微妙である。普通に対象 X, Y からなり射を持たない図式を書くと、この図式の極限は等化子ではなく X と Y の積となる（そして実際に、例えば集合論的に定義した積と上述の如く集合論的に定義した等化子とは一致しないので、積と等化子とは相異なる概念である）から、この図式は等化子に対するものとしては正しくない。そうではなく、Y は図式に現れる射の余域に過ぎないのであるから、任意の等化子図式は基本的に X に注目するのが適切なのである。このように見るとき、図式に射がないならば Y も図式に現れず、等化子図式は X のみからなり、そしてこの図式の極限は E と X の間の任意の同型射となる。
任意の圏において任意の等化子が単型射（圏論的単射）であることが示せる。この逆が与えられた圏において成り立つならば、その圏は（単型射の意味において）正則 (regular) であるという。より一般に、任意の圏における正則単型射とは、適当な射集合の等化子と一致するような任意の射 m のことを言う。より狭義に、二項の等化子（つまりちょうど二つの射の等化子）に限って正則と呼ぶ文献もあるが、考えている圏が完備ならば両者の定義は一致する。
差核の概念も圏論的文脈において意味を成し、任意の二項等化子に対して「差核」と呼ぶ用語法は圏論全体を通じて広く用いられる。前加法圏（つまりアーベル群の圏で豊饒化された圏）の場合には射の差が意味を持つから、「差核」という用語は文字通り差の（圏論的な）核 Eq(f, g) = Ker(f - g) として解釈することができる。
ファイバー積 (引き戻し) と積を持つ任意の圏は等化子を持つ。
性質
関連項目
注
- ^ Barr, Michael; Wells, Charles (1998) (PDF). Category theory for computing science. p. 266 2013年7月20日閲覧。
参考文献
外部リンク
- Interactive Web page which generates examples of equalisers in the category of finite sets. Written by Jocelyn Paine.
- Weisstein, Eric W. "Equalizer". mathworld.wolfram.com (英語).
- equalizer - PlanetMath.（英語）
- 等化子のページへのリンク
