大学数学

写像.6 標準的な写像の例

標準的な写像の例

今回はいくつかの標準的な写像について例を挙げていきます。いずれもよく用いられるものです。


◆Def.SetTop.3.4.3. (恒等写像)(再掲)

X を集合とする。f \colon X \rightarrow X,f(x)=x で定義される写像を X恒等写像といい、\mathrm{id}_X1_X などと表す。



Rem.1. \mathrm{id}_X のグラフは \Delta_{X}= \{ (x,x) \mid x \in X \} であり、対角線集合となります。恒等写像は明らかに全単射です。



◆Def.SetTop.3.6.1.(写像

空集合 \emptyset から集合 X への写像はただ一つ存在し、f_{X}=(\emptyset,X,\emptyset) である。これを空写像という。



Rem.2. 空写像は一般の集合を取り扱うときに特異な例として現れることがあり(この後にやる定値写像などがよい例)、時たま悩ましい存在だったりします。ちなみに、空集合から空集合への空写像は存在します(空集合から空集合への恒等写像になります)が、空集合でない集合から空集合への写像は存在しません。空写像は単射になります。



◆Def.SetTop.3.6.2.(定値写

f \colon X \rightarrow Y が定値写像であるとは、任意の x,y \in X について f(x)=f(y) が成り立つことを言う。



Rem.3. X が空集合のときが問題になります。この定義では空写像を定値写像と考えていますが、流儀によっては特定の値 f(x)=c を持つ場合のみを定値写像として定義し、X が空集合のときは除外するものもあります。



◆Def.SetTop.3.6.3. (包含写像

A \subset X のとき、包含写像 i_{A} : A \rightarrow Xi_{A}(x)=x,x \in A で定義される。



Rem.4. 恒等写像との違いは、AX 自身とは限らない部分集合ということです。恒等写像は包含写像の特別な場合だと考えることもできます。包含写像は単射になります。



◆Def.SetTop.3.2.5. (制限)(一部再掲)

f \colon X \rightarrow Y を写像とし、A \subset X とする。

写像 f |_{A} \colon A \rightarrow Yf |_{A}(x) = f(x),x \in A で定め、fA への制限という。



Rem.5. 実は制限は包含写像によって分解することができて、i_{A} \colon A \rightarrow X を包含写像とすれば、f|_{A}= f \circ i_{A} となります。



◆Def.SetTop.3.6.4. (特性関数

A \subset X のとき、特性関数 \chi_{A} \colon X \rightarrow 2=\{0,1\}

\chi_{A}(x) = \begin{cases} 1 & (x \in A) \\ 0 & ( x \notin A ) \end{cases}

で定義する。



Rem.6. 特性関数 \chi_{A} は部分集合 A に属するか属しないかというだけで値が 10 で分かれているので、部分集合 A の情報を完全に持っています。なので、\chi_{A}A と同一視することができます。

べき集合としての 2^{X} と関数の集合としての Map(X,2) が同一視できるという話を以前しましたが、それはつまりこの同一視に他なりません。写像の言葉で言い替えれば、

写像 \chi \colon 2^{X} \rightarrow Map(X,2), \chi(A)=\chi_{A},A \subset X が全単射であるということになります。

実際、逆写像が構成できて、それは
\phi \colon Map(X,2) \rightarrow 2^{X},\phi(f)= \{ x \in X \mid f(x)=1 \},f \in map(X,2)
として定義できます。言葉で説明すると、\phi とは写像 f : X \rightarrow 2 があったとき、f(x) = 1 になるような集合を定める写像です。

実際にこれが逆写像になっていることを示しましょう。すなわち、\phi \circ \chi = \mathrm{id}_{2^{X}} かつ  \chi \circ \phi = \mathrm{id}_{Map(X,2)} を示します。

A \in 2^{X} とすると、
(\phi \circ \chi)(A)=\phi(\chi_{A})=\{ x \in X \mid \chi_{A}(x)=1 \} = A
ですから、\phi \circ \chi = \mathrm{id}_{2^{X}} です。

f \in Map(X,2) とすると、
(\chi \circ \phi)(f) = \chi( \{ x \in X \mid f(x)=1 \})= \chi_{ \{ x \in X \mid f(x)=1 \} }
ここで、 \chi_{ \{ x \in X \mid f(x)=1 \} } の定義より、f(x)= 1 のとき  \chi_{ \{ x \in X \mid f(x)=1 \} }(x)= 1f(x)=0 のとき  \chi_{ \{ x \in X \mid f(x)=1 \} }(x)= 0 ですから、写像の相等の定義より、 \chi_{ \{ x \in X \mid f(x)=1 \} }=f
したがって、(\chi \circ \phi)(f) = f ですから、\phi \circ \chi = \mathrm{id}_{2^{X}} が成り立ちます。



◆Def.SetTop.3.6.5. (値写像

x \in X に対して、値写像 \mathrm{ev}_{x} \colon Map(X,Y) \rightarrow Y, \mathrm{ev}_{x}(f) =f(x),f \in Map(X,Y) が定義される。

すなわち、値写像とは f : X \rightarrow Y に対して、その一点 x での値を与える写像である。



◆Def.SetTop.3.6.6. (引き戻し押し出し

f \colon X \rightarrow Y を写像とする。

g \colon Y \rightarrow Z に対して、合成 g \circ f \colon X \rightarrow Z を考えると、これは Y から Z への写像を X から Z へのの写像に引き戻したと考えられる。これを f による引き戻しといい、

写像 f^{*} \colon Map(Y,Z) \rightarrow Map(X,Z), f^{*}(g) = g \circ f,g \in Map(Y,Z) が定まる。

また、h \colon W \rightarrow X に対して、合成 f \circ h \colon W \rightarrow Y を考えると、これは W から X への写像を W から Y への写像に押し出したと考えられる。これを f \( による押し出しといい、

写像 f_{*} \colon Map(W,X) \rightarrow Map(W,Y),f_{*}(h)= f \circ h,h \in Map(W,X) が定まる。



◆Def.SetTop.3.6.7. (射影

(X_i)_{i \in I} を集合族とする。このとき、積集合 \prod_{i \in I} X_i の元 (x_i)_{ i \in I } に対して、その i 成分 x_i \in X_i を対応させる写像

pr_i \colon  \prod_{i \in I} X_i \rightarrow X_i,  (x_i)_{ i \in I } \mapsto x_i

が定まる。これを  \prod_{i \in I} X_i から X_i への(標準的)射影という。


Rem.7. いわゆる xy 平面 \mathbb{R}^2 のときのことを考えるとわかりやすいかと思います。

pr_1 \colon \mathbb{R}^2 \rightarrow \mathbb{R},(x,y) \mapsto x を第1射影(俗に x 軸への射影)といい、
 pr_2 \colon \mathbb{R}^2 \rightarrow \mathbb{R},(x,y) \mapsto y を第2射影(俗に y 軸への射影)というのでした。

射影はこれを一般化したものに過ぎません。



◆Def.SetTop.3.6.8. (

(X_i)_{i \in I} を集合族とする。このとき、各 X_i の元 x_i に対して、直和 \amalg_{i \in I } X_i の元 (x_i, i) を対応させる写像

\iota_{i} \colon X_i \rightarrow \amalg_{i \in I } X_i, x_i \mapsto (x_i,i)

が定まる。これを X_i から \amalg_{i \in I } X_i への(標準的)入射という。



◆Def.SetTop.3.6.9. (商写像

X を集合とし、\simX 上の同値関係とする。x \in X に対して、商集合 X / {\sim} における x の同値類 [x] を対応させる写像

p \colon X \rightarrow X / {\sim}, x \mapsto [x]

を商写像もしくは商集合への(標準的)射影という。


 

関連記事

  1. 大学数学

    集合.3 補集合、差集合

    補集合集合 \( A \) は全体集合 \( X \) の部分…

  2. 大学数学

    集合.17 集合の濃度.2 可算集合

    どこまでが高々可算集合なのか?自然数全体の集合 \( \mat…

  3. 大学数学

    集合.19 集合の濃度.4 対角線論法と連続体濃度を持つ集合

    対角線論法集合 \( X \) のべき集合は \( 2^{X}…

  4. 大学数学

    写像.9 圏、特別な射と記号、可換図式

    圏、特別な射ここで、あまり深入りはしませんが、圏論的な全射、単…

  5. 大学数学

    集合.21 上界、下界、上限、下限、最大元、最小元、極大元、極小元

    上界、下界、上限、下限、最大元、最小元、極大元、極小元整列可能…

  6. 大学数学

    集合.16 集合の濃度.1 濃度の定義と比較方法

    有限集合と無限集合、濃度直観的に意味がわかると思うのでここまで…

コメント

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

アーカイブ

  1. 大学数学

    集合.10 直和(非交和、無縁和)
  2. 大学数学

    集合.11 二項関係.1 順序
  3. 大学数学

    論理記号.1 よく使う論理記号一覧、命題
  4. 大学数学

    集合.23 ツォルンの補題
  5. 大学数学

    写像.13 集合の準同型定理、引き起こされる写像
PAGE TOP
error: Content is protected !!