対応 (数学)
表示
数学における対応︵たいおう、Correspondence︶は、古い文献に頻繁に現れていた多価函数︵多値写像︶の概念を明確にしたものである。通常の意味の函数︵写像︶が定義集合の各元に値の集合の一つの元を値として割り当てるのに対して、多価函数は値の集合の複数の元を割り当てることが許されるのであった。対応の概念を考えるときには、これら複数の函数値を一つの集合︵値の集合の部分集合︶として割り当てる。言い換えれば、対応とは定義域の各元に終域の部分集合を割り当てる写像である。
定義[編集]
集合 Aから Bへの︵部分︶対応とは、直積集合 A× Bの部分集合 Gが与えられたとき、三つ組 f= (A, B; G) のことをいう。このとき、 などと表す。A, B, G はそれぞれ対応 f の始域 (initial set, source)、終域、グラフと呼ばれる。グラフの各成分への射影
は f の定義域といい、
を f の像または値域と呼ぶ。D(f) = A であるとき、f は(左)全域的対応あるいは単に対応であるといい、V(f) = B であるとき f は全射あるいは右全域的対応という。左全域的かつ右全域的であるときに限って対応と呼ぶこともある[1]。
対応 f: A → B が与えられたとき、dom(f) の元 a に対して、B の部分集合(空集合であってもよい)
は、対応 f による a の像または値 (value) と呼ばれる。このとき、
は f のグラフ G に一致する。
対応と関係[編集]
詳細は「二項関係」を参照
対応 f: A→ Bが与えられているとき、A の元 aと Bの元 bに対して aRfb⇔ (a, b) ∈ G(f) と置いて得られる Rfは二項関係である。逆に二項関係 R⊂ A× Bが与えられたとき、a ∈ Aに対して、f(a) = {b | aRb} を割り当てる対応 fR: 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 が与えられているとき、
をグラフとする対応 g: B → A を f の逆対応と呼び、f−1 で表す。
写像[編集]
定義
対応 f= (A, B, Gf) は、
﹁各元 a∈ Aに対して (a, b) ∈ Gfとなるような b∈ Bが一つしかない︵すなわち、A のどの元 aについても f(a) がただ一つの元からなる︶﹂
という条件をみたすとき、部分写像︵一意対応︶という。特に D(f) = A︵全域的︶なとき写像と呼ばれる。
対応 fが︵部分︶写像であるとき、f(a) = {b} となることを f(a) = bと略記して、この元 bを aの像と呼ぶ。
写像の言葉で言えば、集合 Aから集合 Bへの対応 φとは、A から Bの冪集合 𝒫(B) への写像、すなわち集合値写像
として理解できる。
参考文献[編集]
- 松坂和夫『集合・位相入門』岩波書店、1968年。ISBN 978-4000054249。
関連項目[編集]
外部リンク[編集]
- correspondence in nLab
- Definition:Correspondence at ProofWiki
- Tsalenko, M.Sh. (2001), “Correspondence”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4