Last-modified: Tue, 11 Dec 2018 14:00:39 JST (2401d)
Top > 像

仮定

定義

\( f \) の像 \( \mathrm{Image} f \) (または \( \mathrm{Im}f \)) とは、 \( G_1 \) の元 \( x \) から写る先を全て集めた集合 \( \{f(x) \in G_2; x \in G_1\} \) である。
すなわち普通に像 \( f(G_1) \) ということかな?

環に対する定義

環同型写像に対する像も同様に定義する。