|
数学の代数学において、ある種の代数系における準同型写像 : ''f'': ''A'' → ''B'' の余像(よぞう、)とは、定義域と核の : coim ''f'' = A/ker ''f'' のことを言う。その代数系において第一同型定理が成り立つならば、定理に言うところの同型写像 : によって余像と像とは自然同型(canonical isomorphism)である。 より一般に、圏論において、射の余像とはの双対概念である。''f'' : ''X'' → ''Y'' とするとき、''f'' の余像は(存在するならば)次を満たす全射 ''c'' : ''X'' → ''C'' を言う: # ''f'' = ''f''''c''''c'' であるような写像 ''f''''c'' : ''C'' → ''Y'' が存在する; # ''f'' = ''f''''z''''z'' であるような写像 ''f''''z'' : ''Z'' → ''Y'' が存在する任意の全射 ''z'' : ''X'' → ''Z'' に対し、''c'' = π''z'' および ''f''''z'' = ''f''''c''π のいずれも成立するような唯一つの写像 π : ''Z'' → ''C'' が存在する。 == 関連項目 == * 商対象: の双対概念 * 余核 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「余像」の詳細全文を読む スポンサード リンク
|