f は始域 X から終域 Y への写像。Y の内側にある小さな楕円形が f の像である。数学 において、何らかの写像の像 （ぞう、英 : image 始域 （域、定義域 ）の部分集合上での写像の出力となるもの全てからなる、写像の終域 （余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による（または f に関する、f のもとでの、f を通じた）X の像という。また、写像の終域の何らかの部分集合 S の逆像 （ぎゃくぞう、英 : inverse image 原像 （げんぞう、英 : preimage S の元に写ってくるような始域の元全体からなる集合である。
像および逆像は、写像のみならず一般の二項関係 に対しても定義することができる。
「像」という語は、その対象とするものによって互いに関連のある三種類の意味で用いられる。集合 X から集合 Y への写像 f : X → Y に対して、以下のように定義する。
元の像
x が X の元ならば、f (x ) = y を元 x の写像 f による像 という。これは x に写像 f を施した値 x に対する f の出力 などとも呼ばれる。
部分集合の像
部分集合 A ⊆ X の f による像 f [A ] ⊆ Y は、（集合の内包的記法で）
f
[
A
]
:=
{
f
(
x
)
∈ ∈ -->
Y
∣ ∣ -->
x
∈ ∈ -->
A
}
=
{
y
∈ ∈ -->
Y
∣ ∣ -->
∃ ∃ -->
x
∈ ∈ -->
A
:
y
=
f
(
x
)
}
{\displaystyle f[A]:=\{f(x)\in Y\mid x\in A\}=\{y\in Y\mid \exists x\in A:y=f(x)\}}
と定義される。後者の方が厳密な表現である。
紛れる恐れが無い場合、f [A ] は簡単に f (A ) とも書かれる。これは一般によく用いられる記法だが、その意味は文脈から推察する必要がある。しかしこの記法は写像 f : X → Y の始域 X を X の冪集合 に取り替え、終域 Y を Y の冪集合へ取り替えて得られる部分集合間の写像（f が誘導する写像）とみる見方を与えるものになっている。
写像の像
写像 f の始域 X 全体に関する部分集合としての像 f [X ] を単に写像 f の像と呼び、im f などで表す。
f が X から Y への写像とするとき、部分集合 B ⊆ Y の f による原像 あるいは逆像 とは
f
− − -->
1
[
B
]
:=
{
x
∈ ∈ -->
X
∣ ∣ -->
f
(
x
)
∈ ∈ -->
B
}
{\displaystyle f^{-1}[B]:=\{x\in X\mid f(x)\in B\}}
で定義される X の部分集合である。f による引戻し (pull-back ) とも呼ばれる。
この集合は f が全単射 でなくとも定義されるが、全単射のときには
f
− − -->
1
[
B
]
{\displaystyle f^{-1}[B]}
f
− − -->
1
{\displaystyle f^{-1}}
B の像を表す記号とも解釈できるため、文脈によってどちらの意味なのか判断せねばならない。
一元集合 の逆像 f −1 [{y }] あるいは f −1 [y ] は y 上のファイバー あるいは y のレベル集合 などとも呼ばれる。y の各元の上のファイバー全体からなる集合は Y で添字付けられた集合族 になっている。同様にしてファイバー付けられた圏 の概念を考えることもできる。
やはり、f −1 [B ] を f −1 (B ) と書くことに紛れの恐れはなく、f −1 を Y の冪集合から X の冪集合への写像として考えることができる。ただし、記号 f −1 を逆写像 と混同すべきではない（両者が一致するのは f が全単射のときに限る）。
既に用いた部分集合の像や逆像に関する慣習的な記法はしばしば混乱を生ずる可能性を持つ。これを明示的に代替する表記として、冪集合間の写像としての像や原像に対しては、以下のような表記が提案されている[ 1]
矢印記法
f
→ → -->
: : -->
P
(
X
)
→ → -->
P
(
Y
)
;
A
↦ ↦ -->
f
→ → -->
(
A
)
=
{
f
(
a
)
∣ ∣ -->
a
∈ ∈ -->
A
}
.
{\displaystyle f^{\to }\colon {\mathfrak {P}}(X)\to {\mathfrak {P}}(Y);\;A\mapsto f^{\to }(A)=\{f(a)\mid a\in A\}.}
f
← ← -->
: : -->
P
(
Y
)
→ → -->
P
(
X
)
;
B
↦ ↦ -->
f
← ← -->
(
B
)
=
{
a
∈ ∈ -->
X
∣ ∣ -->
f
(
a
)
∈ ∈ -->
B
}
.
{\displaystyle f^{\gets }\colon {\mathfrak {P}}(Y)\to {\mathfrak {P}}(X);\;B\mapsto f^{\gets }(B)=\{a\in X\mid f(a)\in B\}.}
スター記法
f
⋆ ⋆ -->
: : -->
P
(
X
)
→ → -->
P
(
Y
)
(
=
f
→ → -->
)
.
{\displaystyle f_{\star }\colon {\mathfrak {P}}(X)\to {\mathfrak {P}}(Y)\quad (=f^{\to }).}
f
⋆ ⋆ -->
: : -->
P
(
Y
)
→ → -->
P
(
X
)
(
=
f
← ← -->
)
.
{\displaystyle f^{\star }\colon {\mathfrak {P}}(Y)\to {\mathfrak {P}}(X)\quad (=f^{\gets }).}
その他の用語法
数理論理学 や集合論 で用いられる f [A ] の別記法として f "A がある[ 2] 写像 f の像のことを f の値域 (range) と呼ぶ文献もある。f の終域 (codomain) との区別はつけておくべきである。
単位円 のΨM による像としてのマンデルブロ集合 の境界。単位円の像としての心臓形（カージオイド） 。 単位円の像としてのハート型曲線。 写像 f : {1, 2, 3} → {a , b , c , d } を
f
(
1
)
=
f
(
2
)
=
a
,
f
(
3
)
=
c
{\displaystyle f(1)=f(2)=a,\ f(3)=c}
部分集合 {2, 3} の
f による像は
f ({2, 3}) = {
a ,
c } となる。また、元
a の逆像は
f −1 ({
a }) = {1, 2} であり、{
a ,
b } の逆像も同じく {1, 2} となる。{
b ,
d } の逆像は
空集合 {} になる。
写像 f : R → R を f (x ) = x 2 で定義されるものとする。部分集合 {-2, 3} の f による像は f ({-2, 3}) = {4, 9} であり、写像 f の像は非負実数全体 R + である。一方 {4, 9} の f による逆像は f −1 ({4, 9}) = {-3, -2, 2, 3} であり、また負の実数の平方根は実数の範囲には存在しないから、N = {n ∈ R | n < 0} の f による逆像は空集合である。
写像 f : R 2 → R を f (x , y ) = x 2 + y 2 で定義されるものとする。ファイバー
f −1 ({
a }) は（
a > 0,
a = 0,
a < 0 に従ってそれぞれ）
原点 を中心とする
同心円 、原点、
空集合 になる。
M が可微分多様体 で π: TM → M が接束 TM から M への標準射影ならば、点 x ∈ M 上の π に関するファイバーは x における接空間 T x M ) である。これはファイバー束 の例にもなっている。
写像 f : X → Y と X の任意の部分集合 A , A 1 , A 2 および Y の任意の部分集合 B , B 1 , B 2 に関して
f (A 1 ∪ A 2 ) = f (A 1 ) ∪ f (A 2 )[ 3] f (A 1 ∩ A 2 ) ⊆ f (A 1 ) ∩ f (A 2 )[ 3] f −1 (B 1 ∪ B 2 ) = f −1 (B 1 ) ∪ f −1 (B 2 )f −1 (B 1 ∩ B 2 ) = f −1 (B 1 ) ∩ f −1 (B 2 )f (A) ⊆ B ⇔ A ⊆ f −1 (B )f (f −1 (B )) ⊆ B [ 4] f −1 (f (A )) ⊇ A [ 5] A 1 ⊆ A 2 ⇒ f (A 1 ) ⊆ f (A 2 )B 1 ⊆ B 2 ⇒ f −1 (B 1 ) ⊆ f −1 (B 2 )f −1 (B C ) = (f −1 (B ))C (f |A −1 (B ) = A ∩ f −1 (B ). などが成立する。像や逆像に関するこの結果は、任意の部分集合族に対して交わり と結び に関するブール代数 をうまく考えることができることを意味しており、部分集合の対だけでなくもっと一般に
f
(
⋃ ⋃ -->
s
∈ ∈ -->
S
A
s
)
=
⋃ ⋃ -->
s
∈ ∈ -->
S
f
(
A
s
)
{\displaystyle f\!\left(\bigcup _{s\in S}A_{s}\right)=\bigcup _{s\in S}f(A_{s})}
f
(
⋂ ⋂ -->
s
∈ ∈ -->
S
A
s
)
⊆ ⊆ -->
⋂ ⋂ -->
s
∈ ∈ -->
S
f
(
A
s
)
{\displaystyle f\!\left(\bigcap _{s\in S}A_{s}\right)\subseteq \bigcap _{s\in S}f(A_{s})}
f
− − -->
1
(
⋃ ⋃ -->
s
∈ ∈ -->
S
A
s
)
=
⋃ ⋃ -->
s
∈ ∈ -->
S
f
− − -->
1
(
A
s
)
{\displaystyle f^{-1}\!\left(\bigcup _{s\in S}A_{s}\right)=\bigcup _{s\in S}f^{-1}(A_{s})}
f
− − -->
1
(
⋂ ⋂ -->
s
∈ ∈ -->
S
A
s
)
=
⋂ ⋂ -->
s
∈ ∈ -->
S
f
− − -->
1
(
A
s
)
{\displaystyle f^{-1}\!\left(\bigcap _{s\in S}A_{s}\right)=\bigcap _{s\in S}f^{-1}(A_{s})}
なども成立する。ここで S は無限集合でも（もちろん非可算無限 でも）よい。
これらのことから、部分集合のブール代数に関して、逆像は束準同型 となるが像のほうは半束準同型 にしかならない（像は交わりを保つとは限らない）ことがわかる。
^ Blyth 2005, p. 5
^ Jean E. Rubin (1967), Set Theory for the Mathematician , Holden-Day, p. xix, ASIN B0006BQH7S ^ a b Kelley (1985), p. 85
^ Equality holds if B is a subset of Im(f ) or, in particular, if f is surjective. See Munkres, J.. Topology (2000), p. 19.
^ Equality holds if f is injective. See Munkres, J.. Topology (2000), p. 19.
Artin, Michael (1991), Algebra , Prentice Hall, ISBN 81-203-0871-9 T.S. Blyth, Lattices and Ordered Algebraic Structures , Springer, 2005, ISBN 1-85233-905-5 .
Munkres, James R. (2000), Topology (2 ed.), Prentice Hall, ISBN 9780131816299 Kelley, John L. (1985), General Topology , Graduate texts in mathematics, 27 (2 ed.), Birkhäuser, ISBN 9780387901251 この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植 のもと提供されているオンライン数学辞典『PlanetMath 』の項目Fibre の本文を含む
![{\displaystyle f[A]:=\{f(x)\in Y\mid x\in A\}=\{y\in Y\mid \exists x\in A:y=f(x)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbc1e61af53e4f3bf592b31169974519eb062187)
![{\displaystyle f^{-1}[B]:=\{x\in X\mid f(x)\in B\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5176ab5dd6797bac80837e08ac548b03bf0cae0)
![{\displaystyle f^{-1}[B]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6089e39c5def7b9907ba317bbb0593f74e5550aa)
