対応 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』

数学における対応（たいおう、Correspondence）とは、関数や写像の一般化された概念で、ある集合の各元に対して別の集合の部分集合を結びつける規則を言う。

最も自然に現れる対応は、写像 f に対して、f の値域の各元にその原像（逆像）を対応させる対応 f ^-1 である。

[編集] 定義

集合 A と集合 B が与えられたとき、A の各元 a に対して、a の像と呼ばれ f(a) と記される B の部分集合（空集合であってもよい）がそれぞれ指定されているとき

f: A → B

とか

$\begin{matrix}{}_f\\[-7pt] A\to B \end{matrix}$

などと表して、f は A から B への対応であるという。このとき、

$G_f := \{(a,b) \mid a\in A,\,b\in f(a)\}$

は f のグラフと呼ばれる直積集合 A × B の部分集合であるが、逆にA × B の部分集合 G を任意に与えるとき、それをグラフとする対応 f_G が存在することが知られている。ゆえに集合の言葉のみで述べると、対応の定義は以下のようになる：

f が集合 A から B への対応であるとは、直積集合 A × B の部分集合 G が与えられたとき、三つ組 f = (A, B; G) のことをいう。

このとき、A, B, G_f はそれぞれ f の始域、終域、グラフと呼ばれる。また、グラフのそれぞれの成分への射影

$D(f) = {\rm pr}_A(G_f) = \{a\in A \mid \exists b\in B\mbox{ such that } (a,b)\in G_f\}$

のことを定義域といい、

$V(f) = {\rm pr}_B(G_f) = \{b\in B \mid \exists a\in A\mbox{ such that } (a,b)\in G_f\}$

を値域と呼ぶ。

[編集] 諸概念

[編集] 対応の相等

二つの対応 f: A → B と g: C → D が等しいとは、始域、終域を共有し、始域の各元の像が常に等しいことをいう。すなわち、集合として A = C, B = D であって、なおかつどんな a ∈ A (= C) に対しても、f(a) = g(a) を満たすとき、対応 f と g は等しいといい、f = g と記す。