差核

ウィキペディア

等化子

出典: フリー百科事典『ウィキペディア（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 全体の成す集合、記号で書けば

${\displaystyle \operatorname {Eq} (f,g):=\{x\in X\mid f(x)=g(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) として解釈することができる。

ファイバー積 (引き戻し) と積を持つ任意の圏は等化子を持つ。

性質

• X を位相空間、Y をハウスドルフ空間、f, g: X → Y を連続写像とするとき、イコライザ Eq(f, g) は X の閉集合である。

関連項目

• 余等化子: 等化子の双対概念
• 一致論（英語版）: 位相空間に対する等化子を用いた手法
• 引戻し (圏論): 等化子や圏論的積で構成される特定の極限

注

1. ^ Barr, Michael; Wells, Charles (1998) (PDF). Category theory for computing science. p. 266. http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf 2013年7月20日閲覧。 

参考文献

• Equalizer in nLab

外部リンク

• 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.（英語）

表 話 編 歴 圏論
主要項目	圏 射 エピ モニック 図式 可換図式 自然変換 圏同値 反対圏 始対象と終対象 普遍性 米田の補題 双対 極限 帰納極限 射影極限 積 余積 像 余像 等化子 余等化子 トポス 核 余核 引き戻し モナド Kan拡張
関手	加法的 完全 充満 随伴 対角 忠実 導来 表現可能 本質的全射 Hom関手
具体的圏	関手圏 前加法圏 集合の圏 マグマの圏 群の圏 アーベル群の圏 擬環の圏 環の圏 加群の圏 ベクトル空間の圏 多元環の圏 位相空間の圏 距離空間の圏 多様体の圏
圏の類	完備圏 コンマ圏 部分圏 モノイド閉圏 デカルト閉圏 アーベル圏 導来圏 クライスリ圏 デカルトモノイド圏
一般化	豊穣圏 2-圏 圏の圏
人物	ソーンダース・マックレーン サミュエル・アイレンベルグ アレクサンドル・グロタンディーク ウィリアム・ローヴェア ハインリッヒ・クライスリ
関連分野	代数幾何学 普遍代数 ホモロジー代数
関連項目	『圏論の基礎』
カテゴリ

ウィキペディア小見出し辞書

差核

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/08/02 13:40 UTC 版)

「等化子」の記事における「差核」の解説

二変数の等化子（つまり、ちょうど二つの写像の等化子）は差核とも呼ばれ、DiffKer(f,g), Ker(f,g), Ker(f − g) などのようにも書かれる。最後の記法は「f, g の差核とは単に差 f − g の核のことである」ことによるもので、この用語の由来でもあり、これが抽象代数学の文脈で後半に現れる理由を説明するものである。さらに言えば、単一の写像 f に対する核は、零写像すなわち値 0 の定値写像との差核 Eq(f, 0) として定式化しなおすことができる。 もちろんこれらの議論は写像の核が 0 の逆像となっているような代数学的な文脈でのことであって、どんな場合にも成り立つというわけではないが、「差核」という用語法に他意はない。