像 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2013年11月22日 (金) 16:24時点におけるTkcom (トーク)による版 (逆像)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索
ファイル:Codomain2.SVG
f は始域 X から終域 Y への写像。Y の内側にある小さな楕円形が f の像である。

数学において、何らかの写像の(ぞう、テンプレート:Lang-en-short)は、写像の始域(域、定義域)の部分集合上での写像の出力となるもの全てからなる、写像の終域(余域)の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による(または f に関する、f のもとでの、f を通じた)X の像という。また、写像の終域の何らかの部分集合 S逆像(ぎゃくぞう、テンプレート:Lang-en-short)あるいは原像(げんぞう、テンプレート:Lang-en-short)は、S の元に写ってくるような始域の元全体からなる集合である。

像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。

定義

「像」という語は、その対象とするものによって互いに関連のある三種類の意味で用いられる。集合 X から集合 Y への写像 f: XY に対して、以下のように定義する。

元の像
xX の元ならば、f(x) = y を元 x の写像 f によるという。
これは x に写像 f を施したとか、引数 x に対する f出力などとも呼ばれる。
部分集合の像
部分集合 AXf による像 f[A] ⊆ Y は、(集合の内包的記法で)
<math>f[A] = \{f(x) \in Y \mid x \in A\}</math>
と定義される。
紛れの恐れの無い場合、f[A] は簡単に f(A) とも書かれる。これは一般によく用いられる記法だが、その意味は文脈から推察する必要がある。しかしこの記法は写像 f: XY の始域 XX冪集合に取り替え、終域 YY の冪集合へ取り替えて得られる部分集合間の写像(f が誘導する写像)とみる見方を与えるものになっている。
写像の像
写像 f の始域 X 全体に関する部分集合としての像 f[X] を単に写像 f の像と呼び、im f などで表す。

逆像

fX から Y への写像とするとき、部分集合 BYf による原像あるいは逆像とは

<math>f^{-1}[ B ] = \{x \in X \mid f(x) \in B\}</math>

で定義される X の部分集合である。f による引戻し (pull-back) とも呼ばれる。

一元集合の逆像 f−1[{y}] あるいは f−1[y] は y 上のファイバーあるいは yレベル集合などとも呼ばれる。y の各元の上のファイバー全体からなる集合は Y で添字付けられた集合族になっている。同様にしてファイバー付けられた圏の概念を考えることもできる。

やはり、f−1[B] を f −1(B) と書くことに紛れの恐れはなく、f−1Y の冪集合から X の冪集合への写像として考えることができる。ただし、記号 f−1逆写像と混同すべきではない(両者が一致するのは f全単射のときに限る)。

像および逆像の記号について

既に用いた部分集合の像や逆像に関する慣習的な記法はしばしば混乱を生ずる可能性を持つ。これを明示的に代替する表記として、冪集合間の写像としての像や原像に対しては、以下のような表記が提案されている[1]

矢印記法
<math>f^\to\colon \mathcal{P}(X)\to\mathcal{P}(Y);\; A\mapsto f^\to(A) = \{ f(a)\mid a \in A\}.</math>
<math>f^\gets\colon \mathcal{P}(Y)\to\mathcal{P}(X);\; B\mapsto f^\gets(B) = \{ a \in X \mid f(a) \in B\}.</math>
スター記法
<math>f_\star\colon \mathcal{P}(X)\to\mathcal{P}(Y)\quad (=f^\to).</math>
<math>f^\star\colon \mathcal{P}(Y)\to\mathcal{P}(X)\quad (=f^\gets).</math>
その他の用語法
数理論理学集合論 で用いられる f[A] の別記法として f "A がある[2]
写像 f の像のことを f の値域 (range) と呼ぶ文献もある。f の終域 (codomain) との区別はつけておくべきである。

ファイル:Circle2heart.png
単位円の像としてのハート型曲線。
  1. 写像 f: {1, 2, 3} → {a, b, c, d} を
    <math>f(x)=\left\{\begin{matrix} a, & \mbox{if }x=1 \\ a, & \mbox{if }x=2 \\ c, & \mbox{if }x=3. \end{matrix}\right.</math>
    で定義されるものとする。

    部分集合 {2, 3} の f による像は f({2, 3}) = {a, c} となる。また、元 a の逆像は f−1({a}) = {1, 2} であり、{a, b} の逆像も同じく {1, 2} となる。{b, d} の逆像は空集合 {} になる。

  2. 写像 f: RRf(x) = x2 で定義されるものとする。

    部分集合 {-2, 3} の f による像は f({-2, 3}) = {4, 9} であり、写像 f の像は非負実数全体 R+ である。一方 {4, 9} の f による逆像は f−1({4, 9}) = {-3, -2, 2, 3} であり、また負の実数の平方根は実数の範囲には存在しないから、N = {nR | n < 0} の f による逆像は空集合である。

  3. 写像 f: R2Rf(x, y) = x2 + y2 で定義されるものとする。

    ファイバー f−1({a}) は(a > 0, a = 0, a < 0 に従ってそれぞれ)原点を中心とする同心円、原点、空集合になる。

  4. M可微分多様体で π: TMM接束 TM から M への標準射影ならば、点 xM 上の π に関するファイバーは x における接空間 Tx(M) である。これはファイバー束の例にもなっている。

基本的な結果

写像 f: XYX の任意の部分集合 A, A1, A2 および Y の任意の部分集合 B, B1, B2 に関して

  • f(A1 ∪ A2) = f(A1) ∪ f(A2)[3]
  • f(A1 ∩ A2) ⊆ f(A1) ∩ f(A2)[3]
  • f −1(B1 ∪ B2) = f −1(B1) ∪ f −1(B2)
  • f −1(B1 ∩ B2) = f −1(B1) ∩ f −1(B2)
  • f(A) ⊆ BA ⊆  f −1(B)
  • f(f −1(B)) ⊆ B[4]
  • f −1(f(A)) ⊇ A[5]
  • A1A2f(A1) ⊆ f(A2)
  • B1B2f −1(B1) ⊆ f −1(B2)
  • f −1(BC) = (f −1(B))C
  • (f |A)−1(B) = Af −1(B).

などが成立する。像や逆像に関するこの結果は、任意の部分集合族に対して交わり結びに関するブール代数をうまく考えることができることを意味しており、部分集合の対だけでなくもっと一般に

  • <math>f\!\left(\bigcup_{s\in S}A_s\right) = \bigcup_{s\in S} f(A_s)</math>
  • <math>f\!\left(\bigcap_{s\in S}A_s\right) \subseteq \bigcap_{s\in S} f(A_s)</math>
  • <math>f^{-1}\!\left(\bigcup_{s\in S}A_s\right) = \bigcup_{s\in S} f^{-1}(A_s)</math>
  • <math>f^{-1}\!\left(\bigcap_{s\in S}A_s\right) = \bigcap_{s\in S} f^{-1}(A_s)</math>

なども成立する。ここで S は無限集合でも(もちろん非可算無限でも)よい。

これらのことから、部分集合のブール代数に関して、逆像は束準同型となるが像のほうは半束準同型にしかならない(像は交わりを保つとは限らない)ことがわかる。

関連項目

テンプレート:Reflist

参考文献

テンプレート:Planetmath
  1. Blyth 2005, p. 5
  2. テンプレート:Citation
  3. 3.0 3.1 Kelley (1985), テンプレート:Google books quote
  4. Equality holds if B is a subset of Im(f) or, in particular, if f is surjective. See Munkres, J.. Topology (2000), p. 19.
  5. Equality holds if f is injective. See Munkres, J.. Topology (2000), p. 19.