対応 (数学)

数学における対応（たいおう、"Correspondence"）は、古い文献に頻繁に現れていた多価函数（多値写像）の概念を明確にしたものである。通常の意味の函数（写像）が定義集合の各元に値の集合の一つの元を値として割り当てるのに対して、多価函数は値の集合の複数の元を割り当てることが許されるのであった。対応の概念を考えるときには、これら複数の函数値を一つの集合（値の集合の部分集合）として割り当てる。言い換えれば、対応とは定義域の各元に終域の部分集合を割り当てる写像である。
定義.
集合 から への（部分）対応とは、直積集合 の部分集合 が与えられたとき、三つ組 のことをいう。このとき、formula_1 などと表す。 はそれぞれ対応 の始域 (initial set, source)、終域、と呼ばれる。グラフの各成分への射影formula_2 は の定義域といい、formula_3 を の像または値域と呼ぶ。 であるとき、 は（左）全域的対応あるいは単に対応であるといい、 であるとき は全射あるいは右全域的対応という。左全域的かつ右全域的であるときに限って対応と呼ぶこともある。
対応 が与えられたとき、 の元 に対して、 の部分集合（空集合であってもよい）formula_4は、対応 による の像または値 (value) と呼ばれる。このとき、formula_5 は のグラフ に一致する。
対応と関係.
対応 が与えられているとき、 の元 と の元 に対して と置いて得られる は二項関係である。逆に二項関係 が与えられたとき、 に対して、 を割り当てる対応 が定まる。
直積の部分集合をグラフとして定まるという意味では、対応は二項関係と同じ概念を表すものと考えることができるが、対応というときはある集合から別な集合へ元を写すというニュアンスが強い。例えば、対応 に対して、 となるような の元 を対応 の不動点という。
対応によって、一つの元に（部分集合に属する）複数の元が割り当てられているとみなすと、多価函数に近いものと考えることもできるが、対応による像の濃度は元ごとに異なっていてもよいという点で多価函数とは異なる。
対応の相等.
二つの対応 と が相等しい: とは、順序三つ組としての相当をいう。これは、始域、終域を共有し、始域の各元の像が常に等しいこと、すなわち集合として であって、なおかつどんな に対しても、 を満たすことである。
なお、終域を重視しない立場もあり、その場合はグラフの相等 を以って対応の相等 と定める。 となるための必要十分条件は かつ ならば を満たすことであり、また、 と が順序三つ組として相等であることである。
逆対応.
対応 が与えられているとき、formula_6 をグラフとする対応 を の逆対応と呼び、 で表す。
写像.
対応 が（部分）写像であるとき、 となることを と略記して、この元 を の像と呼ぶ。
写像の言葉で言えば、集合 から集合 への対応 とは、 から の冪集合 への写像、すなわち集合値写像formula_7 として理解できる。