写像が逆を持つためには単射であることが必要である。写像 f が単射でないとき、f の「部分的な逆」を定義域を制限して与えることができる場合がある。例えば函数 f ( x ) = x 2 {\displaystyle f(x)=x^{2}}
は x2 = (?x)2 となるから単射ではない。しかし定義域を x ? 0 に制限するならば単射であり、この場合 f − 1 ( y ) = y {\displaystyle f^{-1}(y)={\sqrt {y}}}
は逆函数である。(あるいは代わりに定義域を x ? 0 に制限するならば、y の負の平方根を与える函数が逆函数になる。)別な方法として逆函数が多価函数となることを許すならば制限は必要なくなる。
貼合せ補題詳細は「連続写像の貼合せ補題(英語版)」を参照
位相空間論における連続写像の貼り合せ補題は、写像の連続性を制限写像の連続性に結び付けるものである。
貼合せ補題
位相空間 A の部分集合 X, Y がともに閉(またはともに開)で A = X ∪ Y を満たすものとし、B も位相空間とする。写像 f: A → B の X および Y への制限がともに連続ならば、f 自身連続である。
この結果に基づけば、位相空間の閉集合たち(あるいは開集合たち)の上で定義されたふたつの連続写像から、それらを貼り合せて新しい連続写像を作ることができる。
層詳細は「層の理論」を参照
写像以外の対象のへの制限の概念の一般化は層の言葉で与えられる。層論では、位相空間の各開集合 U に対して圏の対象 F(U) が割り当てられ、それらが適当な条件を満足することが要求される。その最も重要な条件が、包含関係にある開集合に対応する対象の任意の対の間の制限射である。即ち、V ⊆ U であるとき、射 resV,U: F(U) → F(V) が存在して、写像の制限と同様に以下の条件を満足する:
X の任意の開集合 U に対し、制限射 resU,U: F(U) → F(U) は F(U) 上の恒等射である。
W ⊆ V ⊆ U なる三つの開集合に対し、制限射の合成は resW,V ? resV,U = resW,U を満たす。
(局所性): (Ui) が開集合 U の開被覆のとき、切断s,t ∈ F(U) が s|Ui = t|Ui を各 Ui で満たすならば s = t が成り立つ。
(貼合せ条件): (Ui) が開集合 U の開被覆、各 i に対して切断 si ∈ F(Ui) が与えられ、各対 Ui, Uj に対してその交わりへの si, sj の制限が一致するとき、即ち si|Ui∩Uj = sj|Ui∩Uj が成立するとき、任意の i に対して s|Ui = si を満たす切断 s ∈ F(U) が存在する。
これら条件をすべて満足する対象のあつまりは層を成すという。最初の二つのみを満たすならば前層という。 より一般に、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 と表記される。
左および右制限
反制限
出典^ Stoll, p. 5
^ Halmos 1960
^ Munkres 2000
^ Conrad & Franzosa 2008
^ Dunne & Stoddart 2006
参考文献
Stoll, Robert. Sets, Logic and Axiomatic Theories. W. H. Freeman and Company
Halmos, Paul (1960), Naive Set Theory, Princeton, NJ: D. Van Nostrand Company Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (Paperback edition).
Munkres, James R (2000), Topology, 2, Upper Saddle River: Prentice Hall
Colin Conrad, Adams; David Franzosa, Robert (2008), Introduction to topology: pure and applied, Pearson Prentice Hall
Dunne, S.; Stoddart, Bill (2006), Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected ... Computer Science and General Issues), Springer
関連項目
変位レトラクト
写像#制限と延長
二項関係#関係の制限
関係代数 (関係モデル)#制限 / 選択 (関係代数)