journey of Froakie (ケロマツの旅路)

Introduction sorry, this page is Japanese only 今回は写像の厳密な定義をして行きたいと思います。写像は大学数学では線形代数や微積分の分野で 序盤から正しい定義をされることもなく当たり前のように使われているのではないでしょうか。 写像とは何となく関数のようなものだが、しかし先生は関数ではないといいます。これに私も、 ずいぶん悩まされましたが、大学二回生の集合と位相という講義で厳密な定義を習ったので、 ここで共有させていただこうと思います。 写像(map) 写像f:A->Bの定義 任意のAの要素はBの中に対応するbという要素がただ一つ存在する。 記号で書くと以下のようになります。 $$\forall a \in A \exists ! b \in B ~~s.t~~ f(a) = b$$ この定義は二つの事柄について分けて考えることで写像の定義を正しく確認できます。 全てのAの要素aについてfで送ると対応するbの要素がBの中に存在する。 Aの中の一つの要素から対応するBの要素が二つ存在することはあり得ない。 この二つは後に述べる逆写像が存在するための必要十分条件のために必要なので覚えておいてください。 全射 写像$f:A \rightarrow B$が全射 $$f(A) = B$$ つまり、Bの全ての要素が余ることなく、Aの中のある要素aをfで送ることで対応しているということです。 単射 写像$f:A \rightarrow B$が単射 $$\forall a_1, \forall a_2 \in A if f(a_1) = f(a_2) \implies a_1 = a_2$$ これは対偶をとると以下のように解釈できます。 $$\forall a_1, \forall a_2 \in A if a_1 \neq a_2 \implies f(a_1) = f(a_2)$$ つまり、fで送る要素$a_1,a_2$が違えば必ず違う行く先に対応しているということです。 写像fが全射であり、単射であるとき、fは全単射といいます。 逆写像 逆写像とは写像$f:A \rightarrow B$...