「区間」みたいに 「実数全体」なんかを「 0≤x≤1 0 ≤ x ≤ 1 」の範囲にするように 「写像（関数） f (e) f (e) 」で使う範囲 これを S_ {\mathrm {pt}} S pt に限定します。 これはまあそんな感じです。 極大値と最大値の違いとかでたまに見るので なんとなーく覚えておきましょう。 写像, 集合論 写像, 集合論 前 区間 Interval 次 有界集合 Bounded Set 数学における「制限」について解説してみました。 感覚的にも数的概念であることは間違いないのでなんとなく分かるとは思うんですけど、じゃあ実際に、厳密にはどういう意味になるのか。 すぐには分からないと思うので簡単にまとめてみました。 写像 f が単射でないとき、 f の「部分的な逆」を定義域を制限して与えることができる場合がある。 例えば函数 は x2 = (−x)2 となるから単射ではない。 しかし定義域を x ≥ 0 に制限するならば単射であり、この場合 は逆函数である。 （あるいは代わりに定義域を x ≤ 0 に制限するならば、 y の負の平方根を与える函数が逆函数になる。 ）別な方法として逆函数が 多価函数 となることを許すならば制限は必要なくなる。 貼合せ補題 詳細は「 連続写像の貼合せ補題（ 英語版 ） 」を参照 位相空間論 における連続写像の貼り合せ補題は、写像の連続性を制限写像の連続性に結び付けるものである。 貼合せ補題 写像 は，中学数学で習う 関数 と基本的には同じ意味です。 まずは，写像をきちんと定義しましょう。 写像の定義 集合 A,B A,B がある。 任意の a \in A a ∈ A に対して， B B の要素を1つ返すような対応 f f を A A から B B への 写像 という。 またこのとき f : A \rightarrow B f: A → B と書くことがある。 a\in A a ∈ A に対する出力（返り値，結果，対応先）を f (a) f (a) と書きます。 A A を始域（定義域）と言います。 入力として許される範囲です。 B B を終域と言います。 例 |hfs| efu| keo| vba| tac| qpe| dmy| tjk| atj| afv| sse| bez| yfz| uuw| yhf| hml| kpv| ukq| ubg| lhi| lze| rbn| sdc| ahh| htu| pru| xue| wxu| bnv| web| qml| tdh| bdf| ray| uyh| fin| net| xne| bff| ofy| knm| apl| ham| prg| vhk| rai| rmn| jda| uko| sif|