コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

固有写像

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学において、位相空間の間のある函数固有写像(こゆうしゃぞう、: proper map)であるとは、コンパクト部分集合に対するその逆像がコンパクトであることをいう。代数幾何学において、類似の概念は固有射と呼ばれる。

なお、「固有」はproperの直訳であるが、properには「適切な」「妥当な」「ちゃんとした」といった意味もあり[1][2]、proper embeddingを「適切な埋め込み」と訳す例もある[3]

定義

[編集]

二つの位相空間の間の函数 f : XY固有(proper)であるとは、Y 内のすべてのコンパクト集合原像X においてコンパクトであることをいう。

この他にもいくつかの異なる定義がある。例えば、連続写像 f が固有であるとは、それが閉写像であり、Y 内のすべての点の原像がコンパクトであることをいう。Y が局所コンパクトかつハウスドルフであるなら、それらの定義は同値となる。この事実の証明についてはこの節の最後を参照されたい。より抽象的に、f が固有であるとは f が普遍的に閉(universally closed)であること、すなわち任意の位相空間 Z に対して、写像

f × idZ: X × ZY × Z

が閉であることをいう。これらの定義は、Xハウスドルフであり、Y局所コンパクトハウスドルフであるときには一致する。

XY距離空間であるときの、より直感的な定義は次のものである:ある位相空間 X の無限点列 {pi} が無限大に逃げる(escapses to infinity)とは、すべてのコンパクト集合 SX に対して高々有限個の点 pi のみが S に含まれることをいう。連続写像 f : XY が固有であるとは、X において無限大に逃げるすべての点列 {pi} に対して、{f(pi)} が Y において無限大に逃げることをいう。

この最後の点列のアイデアは、列固有(sequentially proper)の概念と関連するように思われる。この点については参考文献を見られたい。

証明

[編集]

を、すべての に対して が(X において)コンパクトであるような連続閉写像とする。 のコンパクト部分集合とする。このとき がコンパクトであることを示す。

の開被覆とする。するとすべての に対して、これは の開被覆でもある。後者はコンパクトであると仮定されているので、有限の部分被覆を持つ。言い換えると、すべての に対して、 を満たすような有限の集合 が存在する。集合 は閉である。f は閉写像であるため、その像は Y において閉である。したがって、集合 は Y において開である。 が点 を含むことを確かめることは容易である。今 であり、K はコンパクトと仮定されているため、 であるような高々有限個の点 が存在する。さらに、集合 は有限集合の有限の合併であるため、 は有限である。

が従い、 の有限部分被覆を見つけることが出来るため、証明は完成される。

性質

[編集]

一般化

[編集]

位相空間の固有写像の概念は、locales英語版トポスへ一般化することが可能である。(Johnstone 2002) を参照されたい。

関連項目

[編集]

脚注

[編集]
  1. ^ proper、 Weblio辞書”. 2023年11月8日閲覧。
  2. ^ proper、goo辞書”. 2023年11月8日閲覧。
  3. ^ 森元勘治『三次元多様体入門』培風館、1996年7月1日、12頁。ISBN 978-4563002404 
  4. ^ Palais, Richard S. (1970). “When proper maps are closed”. Proc. Amer. Math. Soc. 24: 835–836. doi:10.1090/s0002-9939-1970-0254818-x. http://www.ams.org/journals/proc/1970-024-04/S0002-9939-1970-0254818-X/S0002-9939-1970-0254818-X.pdf. 

参考文献

[編集]
  • Brown, Ronald (2006), Topology and groupoids, N. Carolina: Booksurge, ISBN 1-4196-2722-8 , esp. p. 90 "Proper maps" and the Exercises to Section 3.6.
  • Brown, R. "Sequentially proper maps and a sequential compactification", J. London Math Soc. (2) 7 (1973) 515-522.