終域

数学において写像の終域（しゅういき、; 余域）あるいは終集合（しゅうしゅうごう、）は、写像を  と表すときの集合 、すなわち写像  の出力する値がその中に属するべきという制約を定める集合をいう。終域の代わりに「値域」という語を用いる場合もあるが、値域は写像の像（出力される値すべてからなる集合、 で言えば ）の意味で用いることが多いので注意すべきである。

 定義と注意 
写像（函数）を  の意味で定義するのであれば、終域は写像  の構成要素として含まれる。写像  とは三つ組  であって  が直積集合  の函数的部分集合（すなわち函数関係）順序対の集合が「函数的」とは、第一成分が一致するような相異なる二つの対が存在しないことをいう [Bourbaki, op. cit., p. 76]かつ  に属する順序対の第一成分の成す集合（すなわち定義域）が  に一致するものをいう。このとき集合  はこの写像のグラフと呼ばれ、またこの定義における集合  を終域という。 が写像  の定義域  の元を亙るとき、 の形に書ける元全てからなる集合を  の値域と呼ぶ。一般に値域は終域の部分集合であって、従って一般には両者は一致しないことが起こり得る。一致する場合（すなわち全射）でないならば、終域に属する適当な元  に対して、方程式  は解を持たない。

ブルバキはまた別な定義として、「写像」を単に函数的グラフそのものと定め[Bourbaki, op. cit., p. 77]、これはまた広く用いられている定義である, [ pages 10–11]が、これには終域が定義として含まれない。例えば集合論において、定義域  が真の類であることを許す方が望ましいという場合には、三つ組  といったものは厳密な意味では存在しないため定義に用いるには不適当だが、グラフによる定義ならば自然である。ただ、文献によっては  という見かけ上終域に言及する形で写像を導入していながら、その後は暗黙にこの終域を含めない定義を用いる場合もあるので注意が必要である, [ quote 1], [ quote 2], [ page 8]Mac Lane, in , [ page 232], [ page 91], [ page 89]。

 値域と終域 
 例 1 
函数

を「元の対応」

によって定義するとき、 の終域は  だが、 は任意の負の数に写る元を持たない。然るに  の値域は非負の数全体 （, 無限半開区間  などとも書く）である。

別な函数  を 

と定める。 と  は与えられた  をまったく同じ数に写すけれども、終域を重視する立場では、終域が異なるから同じ函数とは考えない。このことが意味のある区別であることを見るために、もう一つ函数  を

導入する。 が定義されるためには定義域が  （に含まれる）でなければならないから、

で考えるものとして、写像の合成  および  を比較しよう。 

このとき  の値域はほかで特に言及するのでなければ（ の部分集合であることだけが分かっているが）未知であるから、 が有効であるかどうかも未知である。つまり、 を  と合成するとき、 が値を定義されていない引数（つまり  の定義域に属さない負の数）を  から受け取る可能性がある。その意味で、写像の合成は合成の右側に来る写像の終域が左に来る写像の定義域に一致する場合のみ有効な概念である（つまり右側の写像の「値域」ではいけない、というのは写像ごとに値域がどうなるかは異なるし、それは合成するという話の段で未知ということが起こり得るから）ということができる。

終域は、写像が全射か否かということにも関係する。つまり写像が全射であるための必要十分条件はその終域と値域が一致することである。先の例で言えば  は全射であり  はそうでない。一方、写像が単射か否かには終域は何も関係しない。

 例 2 
値域と終域との違いを見るもう一つの例として、線型空間の間の線型写像を考えよう。特に  からそれ自身への任意の線型変換を考えれば、それは実数を成分とする  正方行列によって表すことができる。そのような行列はどれも 定義域が  で終域が  であるような写像を表すのだけれども、値域は未知である。値域が終域に一致する変換（これはフルランクつまり階数 の場合）もあれば、そうでなくより小さい線型部分空間に写る場合（階数  や  の行列）もある。例えば行列  が

で与えられるものとすると、これは点  を  へ写す線型変換を表す。点  は  の値域には属さないが、終域には属する（いまは明示的に  から  への線型変換を考えている。すべての -行列がそうであるように、 もそのような線型変換を表している）。

値域と終域が異なるということが、しばしば考えている写像の性質を発見するのに有効となり得る。例えば、先の  は終域よりも真に小さい値域を持つから、フルランクではない。

 関連項目 
 値域
 定義域
 全射
 単射
 全単射

 注意 

 参考文献 







Category:写像
Category:集合の基本概念
Category:数学に関する記事