大学数学

写像.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. 大学数学

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

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

  2. 大学数学

    集合.13 同値類と集合の分割

    同値類同値関係 \( \sim \) で結ばれているということ…

  3. 大学数学

    大学数学概説.4 大学3、4年生レベルの科目(幾何)

    多様体現代幾何学の中心的な対象である多様体について学びます。…

  4. 大学数学

    論理記号.4 ~がただ一つ存在する、定義

    \( \exists ! \) ~がただ一つ存在する\( \e…

  5. 大学数学

    写像.2 全射、単射、全単射、像、逆像、制限、拡張

    全射、単射、全単射既に集合の濃度のところで一度やりましたが、全…

  6. 大学数学

    論理記号.3 すべての、~が存在する

    \( \forall \) すべての、任意の集合 \( X \…

コメント

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

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

アーカイブ

  1. 大学数学

    集合.8 「同一視する」という考え方
  2. 大学数学

    大学数学概説.4 大学3、4年生レベルの科目(幾何)
  3. 大学数学

    集合.16 集合の濃度.1 濃度の定義と比較方法
  4. 大学数学

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

    写像.2 全射、単射、全単射、像、逆像、制限、拡張
PAGE TOP
error: Content is protected !!