大学数学

写像.3　写像の合成

写像の合成

高校数学で合成関数というものをやったかと思いますが、より一般に２つの写像 f \colon X \rightarrow Y と g \colon Y \rightarrow Z があるとき（ f の行き先と g の定義域が一致していることが重要です）、f と g の合成（写像）を考えることができます。

◆Def.SetTop.3.3.1.

f \colon X \rightarrow Y と g \colon Y \rightarrow Z を写像とするとき、写像 g \circ f \colon X \rightarrow Z を

(g \circ f)(x) \overset{\mathrm{def}}{=} g(f(x))

で定め、f と g の合成（写像）という。

写像の合成については、次の結合法則が成り立ちます。

◆Prop.SetTop.3.3.2.

f \colon X \rightarrow Y,g \colon Y \rightarrow Z,h \colon Z \rightarrow W を写像とすると、

(h \circ g) \circ f = h \circ (g \circ f)

が成り立つ。したがって、単に h \circ g \circ f と書いて問題ない。

■Prf.

x \in X とすると、

((h \circ g) \circ f )(x)=(h \circ g)(f(x))=h(g(f(x)))=h((g \circ f)(x))= (h \circ (g \circ f))(x)

である。 □

◇Ex.SetTop.3.3.3.

f \colon \mathbb{R} \rightarrow \mathbb{R},f(x) = x^2
g \colon \mathbb{R} \rightarrow \mathbb{R},g(x) = x^2+1

とすると、g \circ f および f \circ g が定義できて、

(g \circ f)(x)=g(f(x))=g(x^2)=(x^2)^2+1=x^4+1
(f \circ g)(x)=f(g(x))=f(x^2+1)=(x^2+1)^2=x^4+2x^2+1

です。

一般に、g \circ f が定義できたとしても  f \circ g が定義できるとは限らないし、定義できたとしてもこの例のように g \circ f \neq f \circ g であることが普通です。

すなわち、写像の合成に関しては一般には交換法則は成り立たないので注意しましょう。

 

関連記事

  1. 大学数学

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

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

  2. 大学数学

    集合.2　部分集合、べき集合

    部分集合集合 \( X,Y \) とします。\( X …

  3. 大学数学

    集合.14　商集合

    商集合前回の話で、同値類が集合の分割を与えるので、同値類をすべ…

  4. 大学数学

    論理記号.6　否定の作り方

    否定の作り方～一定のルールに則って否定を作ろう～数学において、…

  5. 大学数学

    集合.12　二項関係.2　同値関係

    同値関係前回、二項関係として恒等関係（＝）や合同関係（≡）など…

  6. 大学数学

    集合.7　積集合（n個の場合）

    積集合（ \(n \) 個の場合）例えば、\( x,y \in…

コメント

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

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

アーカイブ

  1. 大学数学

    集合.22　整列可能定理、超限帰納法

  2. 大学数学

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

  3. 大学数学

    集合.14　商集合

  4. 大学数学

    集合.5　添字集合と集合族

  5. 大学数学

    集合.19　集合の濃度.4　対角線論法と連続体濃度を持つ集合
PAGE TOP
error: Content is protected !!