📢 Webサイト閉鎖と移転のお知らせ
このWebサイトは2026年9月に閉鎖いたします。
新しい記事は移転先で追加しております。（旧サイトでは記事を追加しておりません）
| (同じ利用者による、間の6版が非表示) | |||
| 104行目: | 104行目: | ||
<math>y = f(x) \, \iff \, x = f^{-1}(y)</math> | <math>y = f(x) \, \iff \, x = f^{-1}(y)</math> | ||
<br> | <br> | ||
[[ファイル:Logical Mathematics InvMapping 1.png|フレームなし|中央]] | |||
<center>図(a). 写像<br>図(b). 逆写像</center><br> | <center>図(a). 写像<br>図(b). 逆写像</center><br> | ||
<br> | <br> | ||
| 122行目: | 122行目: | ||
一般的に、写像はxの式で表すので、yをxに置き換えて次式のように表す。 | 一般的に、写像はxの式で表すので、yをxに置き換えて次式のように表す。 | ||
<math>f^{-1} (x) = \frac{1}{2} y - \frac{1}{2}</math> | <math>f^{-1} (x) = \frac{1}{2} y - \frac{1}{2}</math> | ||
<br><br> | |||
== 逆像 == | |||
定義 : | |||
始域Xから終域Yへの写像<math>f : X \rightarrow Y</math> とYの部分集合Bが与えられた時、<br> | |||
Xの部分集合 <math>f^{-1}(B) = \{ x \, | \, x \in X, \, \, f(x) \in B \}</math> をfによるBの逆像という。<br> | |||
補足 : | |||
多価写像に対しても、上と同様に逆像が定義される。 | |||
<br> | |||
例 : | |||
<math>f: \R \rightarrow \R</math> を <math>f(x) = x^{2}</math> とする。 | |||
この時、<math>f([1, \, 2]) = [1, \, 4]</math> である。 | |||
<br> | |||
[[ファイル:Logical Mathematics InvImage 1.png|フレームなし|中央]]<br> | |||
<center>図. 像・逆像のイメージ</center><br> | |||
<br> | |||
また、<math>f^{-1} ([1, \, 4]) = [-2, \, -1] \cup [1, \, 2]</math> である。 | |||
<br> | |||
[[ファイル:Logical Mathematics InvImage 2.png|フレームなし|中央]] | |||
<center>図. 像・逆像の例 <math>y = x^{2}</math></center><br> | |||
<br><br> | |||
== 恒等写像 == | |||
全ての元を同じものに写す写像を恒等写像とよぶ。<br> | |||
<br> | |||
定義 : | |||
写像 <math>f: A \rightarrow A</math> が、任意の <math>a \in A</math> に対して <math>f(a) = a</math> を満たす時、fを恒等写像という。 | |||
この時、<math>f = i d_{A}</math> と記述することがある。 | |||
<br><br> | |||
== 写像の合成 == | |||
定義 : | |||
写像 <math>f: X \rightarrow Y</math> と写像 <math>g: Y \rightarrow Z</math> に対して、 | |||
<math>x \longmapsto g(f(x))</math> で定められる写像 <math>h: X \rightarrow Z</math> をfとgの合成写像といい、 | |||
<math>h = g \circ f \qquad \mbox{or} \qquad h(x) = g \circ f(x) \equiv g(f(x))</math> | |||
で表す。 | |||
<br> | |||
[[ファイル:Logical Mathematics Composition 1.png|フレームなし|中央]] | |||
<center>図. 写像の合成</center><br> | |||
<br> | |||
補足 : | |||
写像の合成は、合成の順序に依存することに注意する。 | |||
<math>g \circ f \ne f \circ g</math> | |||
例 : | |||
<math>f(x) = x^{2}, \quad g(x) = x + 1</math> の時、 | |||
<math>g \circ f(x) = g(f(x)) = g(x^{2}) = x^{2} + 1</math> | |||
<math>f \circ g(x) = f(g(x)) = f(x + 1) = (x + 1)^{2} = x^{2} + 2x + 1</math> | |||
<br><br> | <br><br> | ||