|
数学、特に素朴集合論における写像の値域（ちいき、）は、その写像の終域または像の何れかの意味で用いられる。現代的な用法ではほとんど全ての場合において「像」の意味である。 * 写像の終域は任意の集合を取ることができる。実解析ならば通常は実数全体の成す集合を終域とする函数を考える。同様に、複素解析ならば複素数全体の成す集合である。 * 写像の像とはその写像の出力となる元全てからなる集合である。像は常に終域の部分集合になる。 == 注意 == 「値域」("range") は異なる意味で用いられうるから、教科書や論文を読む際にいずれの意味であるかを確かめるのは初手の演習として手頃であろう。 古い本では「値域」を今日でいうところの終域の意味で用いている傾向がある〔Hungerford 1974, page 3.〕〔Childs 1990, page 140.〕。より現代的な本では大半が今日でいう像の意味で用いる〔Dummit and Foote 2004, page 2.〕。紛れを無くす目的で「値域」という語は用いないという本もある〔Rudin 1991, page 99.〕。 これら二つの用例の違いを知るために、例として実函数（実変数実数値函数）としての を考える（つまり、実数を入力として、その自乗を出力する函数である）。この場合、終域は実数全体の成す集合 と考えるが、（ が実数であるとき は負にはならないから）像は非負実数全体の成す集合 になる。この函数に対して、「値域」を終域の意味で用いているのならばそれは のことであり、他方「値域」を像の意味で用いているのであればそれは を指していることになる。 像と終域が一致するような例として、入力した実数を二倍する函数 を考えよう。この函数は終域と像がともに実数全体の成す集合 となり一致する（全射である）から、この場合「値域」をいずれの意味で用いたとしても誤解は無い。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「値域」の詳細全文を読む スポンサード リンク
|