Loading AI tools
ウィキペディアから
数学における写像の制限(せいげん、英: restriction)は、写像のもともとの定義域に対して、写像による対応関係を変えることなくそれよりも小さい集合を定義域に取り直す操作を言う。同様の概念はより一般に二項関係や多項関係などに対しても定義することができる。
写像 f の定義域の部分集合 A への制限として得られる写像を f|A あるいは で表す。
f: E → F は集合 E から集合 F への写像を表すものとする。つまり、f の定義域は E (dom f = E) である。E の部分集合 A に対し、写像 f の A への制限とは
なる写像を言う[1]。大雑把に言えば f の A への制限は、もともとの f と同じだが A ∩ dom f の上でのみ定義されているというような写像である。
写像 f をデカルト積 E × F 上の関係 {x, f(x))} として考えれば、f の A への制限はグラフとして
で表すことができる。
写像が逆を持つためには単射であることが必要である。写像 f が単射でないとき、f の「部分的な逆」を定義域を制限して与えることができる場合がある。例えば函数
は x2 = (−x)2 となるから単射ではない。しかし定義域を x ≥ 0 に制限するならば単射であり、この場合
は逆函数である。(あるいは代わりに定義域を x ≤ 0 に制限するならば、y の負の平方根を与える函数が逆函数になる。)別な方法として逆函数が多価函数となることを許すならば制限は必要なくなる。
位相空間論における連続写像の貼り合せ補題は、写像の連続性を制限写像の連続性に結び付けるものである。
この結果に基づけば、位相空間の閉集合たち(あるいは開集合たち)の上で定義されたふたつの連続写像から、それらを貼り合せて新しい連続写像を作ることができる。
写像以外の対象のへの制限の概念の一般化は層の言葉で与えられる。 層論では、位相空間の各開集合 U に対して圏の対象 F(U) が割り当てられ、それらが適当な条件を満足することが要求される。その最も重要な条件が、包含関係にある開集合に対応する対象の任意の対の間の制限射である。即ち、V ⊆ U であるとき、射 resV,U: F(U) → F(V) が存在して、写像の制限と同様に以下の条件を満足する:
これら条件をすべて満足する対象のあつまりは層を成すという。最初の二つのみを満たすならば前層という。
より一般に、E と F の間のある二項関係 R の制限(あるいは定義域制限または左制限)A ◁ R は、定義域が A、値域が F でグラフが G(A ◁ R) = {(x, y) ∈ G(R) | x ∈ A} であるような二項関係として定義できる。同様に、右制限あるいは値域制限 R ▷ B を定義することが出来る。実際には、二項関係が E × F 部分集合であるのと同様に、関係とは部分集合のことであると理解することで、n 項関係の制限も定義することが出来る。これらのケースは層のスキームには適合しない。[要説明]
定義域 E, 終域 F の二項関係 R の、集合 A による定義域反制限 (domain anti-restriction) あるいは定義域減算 (domain subtraction) は、(E ∖ A) ◁ R と定義される。これは、A のすべての元を定義域 E から除くものである。しばしば A ⩤ R とも書かれる[5]。同様に、二項関係 R の集合 B による値域反制限 (range anti-restriction) あるいは値域減算 (range subtraction) は、R ▷ (F ∖ B) で定義される。これは、B のすべての元を終域 F から除くものである。しばしば R ⩥ B と表記される。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.