対応 (数学)

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

$${\displaystyle f\colon A\to B,\quad A{\stackrel {f}{{}\to {}}}B,\quad f\colon A\multimap B}$$

などと表す。A, B, G はそれぞれ対応 f の始域 (initial set, source)、終域、グラフと呼ばれる。グラフの各成分への射影

$${\displaystyle D(f)=\operatorname {dom} (f):=\operatorname {pr} _{l}(G)=\{a\in A\mid (a,\exists b)\in G\}}$$

は f の定義域といい、

$${\displaystyle V(f)=\operatorname {ran} (f):=\operatorname {pr} _{r}(G)=\{b\in B\mid (\exists a,b)\in G\}}$$

を f の像または値域と呼ぶ。D(f) = A であるとき、f は（左）全域的対応あるいは単に対応であるといい、V(f) = B であるとき f は全射あるいは右全域的対応という。左全域的かつ右全域的であるときに限って対応と呼ぶこともある[1]。 対応 f: A → B が与えられたとき、dom(f) の元 a に対して、B の部分集合（空集合であってもよい）

$${\displaystyle f(a):=\{b\in B\mid (a,b)\in G\}}$$

は、対応 f による a の像または値 (value) と呼ばれる。このとき、

$${\displaystyle G(f)=\{(a,b)\mid a\in A,\,b\in f(a)\}}$$

は f のグラフ G に一致する。

対応 f: A → B が与えられているとき、A の元 a と B の元 b に対して a R_f b ⇔ (a, b) ∈ G(f) と置いて得られる R_f は二項関係である。逆に二項関係 R ⊂ A × B が与えられたとき、a ∈ A に対して、f(a) = {b  |  a R b} を割り当てる対応 f_R: A → B が定まる。

直積の部分集合をグラフとして定まるという意味では、対応は二項関係と同じ概念を表すものと考えることができるが、対応というときはある集合から別な集合へ元を写すというニュアンスが強い。例えば、対応 f: A → A に対して、a ∈ f(a) となるような A の元 a を対応 f の不動点という。

対応によって、一つの元に（部分集合に属する）複数の元が割り当てられているとみなすと、多価函数に近いものと考えることもできるが、対応による像の濃度は元ごとに異なっていてもよいという点で多価函数とは異なる。

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

なお、終域を重視しない立場もあり、その場合はグラフの相等 G(f) = G(g) を以って対応の相等 f = g と定める。f = g となるための必要十分条件は dom(f) = dom(g) かつ a ∈ dom(f) ならば f(a) = g(a) を満たすことであり、また、(dom(f), ran(f), G(f)) と (dom(g), ran(g), G(g)) が順序三つ組として相等であることである。

対応 f: A → B が与えられているとき、

$${\displaystyle G(g)=\{(b,a)\in B\times A\mid (a,b)\in G(f)\}}$$

をグラフとする対応 g: B → A を f の逆対応と呼び、f⁻¹ で表す。

定義

対応 f = (A, B, G_f) は、

「各元 a ∈ A に対して (a, b) ∈ G_f となるような b ∈ B が一つしかない（すなわち、A のどの元 a についても f(a) がただ一つの元からなる）」

という条件をみたすとき、部分写像（一意対応）という。特に D(f) = A（全域的）なとき写像と呼ばれる。

対応 f が（部分）写像であるとき、f(a) = {b} となることを f(a) = b と略記して、この元 b を a の像と呼ぶ。

写像の言葉で言えば、集合 A から集合 B への対応 φとは、A から B の冪集合 𝒫(B) への写像、すなわち集合値写像

$${\displaystyle \varphi \colon A\to {\mathcal {P}}(B)}$$

として理解できる。

• 松坂和夫『集合・位相入門』岩波書店、1968年。ISBN 978-4000054249。

• 集合
• 二項関係

• correspondence in nLab
• Definition:Correspondence at ProofWiki
• Tsalenko, M.Sh. (2001), "Correspondence", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。