数学における写像の制限(せいげん、: restriction)は、写像のもともとの定義域に対して、写像による対応関係を変えることなくそれよりも小さい集合を定義域に取り直す操作を言う。同様の概念はより一般に二項関係や多項関係などに対しても定義することができる。

実数全体の成す集合 R 上で定義された函数 x2逆函数を持たない。これを非負実数の集合に制限するならば逆函数を持ち、それは x正の平方根函数と呼ばれる。

写像 f の定義域の部分集合 A への制限として得られる写像を f|A あるいは で表す。

定義

編集

f: EF は集合 E から集合 F への写像を表すものとする。つまり、f定義域E (dom f = E) である。E部分集合 A に対し、写像 fA への制限とは

 

なる写像を言う[1]。大雑把に言えば fA への制限は、もともとの f と同じだが A ∩ dom f の上でのみ定義されているというような写像である。

写像 fデカルト積 E × F 上の関係 {x, f(x))} として考えれば、fA への制限はグラフとして

 

で表すことができる。

  1. 単射関数    への制限は、単射   である。
  2. 階乗函数はガンマ函数の自然数の集合 N への制限である。

性質

編集
  • 写像 f: XY の定義域全体 X への制限 f|X = f はもとの函数自身である。
  • 写像の制限をさらに小さな集合へ制限したものは、もとの写像を直接小さな集合へ制限することと同じである。すなわち、AB ⊆ dom f ならば (f|B)|A = f|A が成り立つ。
  • 集合 X 上の恒等写像の、部分集合 A への制限は A から X の中への包含写像である[2]
  • 連続写像の制限は連続である[3][4]

応用

編集

逆写像

編集

写像が逆を持つためには単射であることが必要である。写像 f が単射でないとき、f の「部分的な逆」を定義域を制限して与えることができる場合がある。例えば函数

 

x2 = (−x)2 となるから単射ではない。しかし定義域を x ≥ 0 に制限するならば単射であり、この場合

 

は逆函数である。(あるいは代わりに定義域を x ≤ 0 に制限するならば、y の負の平方根を与える函数が逆函数になる。)別な方法として逆函数が多価函数となることを許すならば制限は必要なくなる。

貼合せ補題

編集

位相空間論における連続写像の貼り合せ補題は、写像の連続性を制限写像の連続性に結び付けるものである。

貼合せ補題
位相空間 A の部分集合 X, Y がともに閉(またはともに開)で A = XY を満たすものとし、B も位相空間とする。写像 f: ABX および Y への制限がともに連続ならば、f 自身連続である。

この結果に基づけば、位相空間の閉集合たち(あるいは開集合たち)の上で定義されたふたつの連続写像から、それらを貼り合せて新しい連続写像を作ることができる。

写像以外の対象のへの制限の概念の一般化はの言葉で与えられる。 論では、位相空間の各開集合 U に対しての対象 F(U) が割り当てられ、それらが適当な条件を満足することが要求される。その最も重要な条件が、包含関係にある開集合に対応する対象の任意の対の間の制限である。即ち、VU であるとき、射 resV,U: F(U) → F(V) が存在して、写像の制限と同様に以下の条件を満足する:

  • X の任意の開集合 U に対し、制限射 resU,U: F(U) → F(U)F(U) 上の恒等射である。
  • WVU なる三つの開集合に対し、制限射の合成resW,V ∘ resV,U = resW,U を満たす。
  • (局所性): (Ui) が開集合 U開被覆のとき、切断s,tF(U)s|Ui = t|Ui を各 Ui で満たすならば s = t が成り立つ。
  • (貼合せ条件): (Ui) が開集合 U の開被覆、各 i に対して切断 siF(Ui) が与えられ、各対 Ui, Uj に対してその交わりへの si, sj の制限が一致するとき、即ち si|UiUj = sj|UiUj が成立するとき、任意の i に対して s|Ui = si を満たす切断 sF(U) が存在する。

これら条件をすべて満足する対象のあつまりはを成すという。最初の二つのみを満たすならば前層という。

左および右制限

編集

より一般に、EF の間のある二項関係 R の制限(あるいは定義域制限または左制限A ◁ R は、定義域が A、値域が F でグラフが G(AR) = {(x, y) ∈ G(R) | xA}  であるような二項関係として定義できる。同様に、右制限あるいは値域制限 RB を定義することが出来る。実際には、二項関係が E×F 部分集合であるのと同様に、関係とは部分集合のことであると理解することで、n関係の制限も定義することが出来る。これらのケースはのスキームには適合しない。[要説明]

反制限

編集

定義域 E, 終域 F の二項関係 R の、集合 A による定義域反制限 (domain anti-restriction) あるいは定義域減算 (domain subtraction) は、(E ∖ A) ◁ R と定義される。これは、A のすべての元を定義域 E から除くものである。しばしば AR とも書かれる[5]。同様に、二項関係 R の集合 B による値域反制限 (range anti-restriction) あるいは値域減算 (range subtraction) は、R ▷ (F ∖ B) で定義される。これは、B のすべての元を終域 F から除くものである。しばしば RB と表記される。

出典

編集

参考文献

編集
  • 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 

関連項目

編集