「等化子」の版間の差分

削除された内容 追加された内容
en:Equaliser (mathematics) 16:48, 27 September 2015
 
編集の要約なし
33行目:
 
ファイバー積 (引き戻し) と積を持つ任意の圏は等化子を持つ。
 
==性質==
*<math>X,\ X'</math> を位相空間, <math>f,\ g : X \to X'</math> を[[連続]]とする時,イコライザ <math>{\rm Eq}(f,g)</math> は[[閉集合|閉]].
*<math>X,\ X'</math> を位相空間, <math>f : X \to X'</math> を[[連続]]とする時,<math>f</math> の[[グラフ]] <math>\Gamma_f:=\{(x,y) \in X \times X'\ |\ y=f(x)\}</math> は[[閉集合|閉]].
 
== 関連項目 ==