多項式空間

数学において多項式空間は、離散空間アレクサンドロフ一点コンパクト化の位相冪連続関数によるである位相空間である

歴史

多項空間は、1970年にS.ムロフカによって二項空間の一般化として初めて研究されました。[1]この理論はRHマーティ、ヤーノシュ・ゲルリッツ、マレー・G・ベルによってさらに発展させられ、[2]ベルはより一般的な中心空間の概念を導入しました。[1]

背景

位相空間Xの部分集合Kがコンパクトであるとは、 Kすべての開被覆が有限部分被覆を含むことを言う。XがXのあるコンパクト部分集合の内部に存在するとき、X は点xXにおいて局所コンパクトであるという。X局所コンパクト空間であるとは、空間内のすべての点において局所コンパクトであることを意味する。[3]

真部分集合AXは、閉包Ā = Xが成り立つとき稠密であると言われる。その集合が可算な稠密部分集合を持つ空間は可分空間と呼ばれる。

非コンパクトかつ局所コンパクトであるハウスドルフ位相空間 に対して、アレクサンドロフの一点コンパクト化を と表記される集合 を持つ位相空間として定義する。ここで は位相が以下のように定義される: [2] [4]

  • あらゆるコンパクト部分集合 に対して

意味

を離散位相空間とし、を のアレクサンドロフ一点コンパクト化とする。ハウスドルフ空間が多項式であるとは、ある基数に対して連続な射影関数 が存在するときである。ここで は、自身を回乗じて得られる積空間である[5]

離散位相を持つ自然数の集合をとる。そのアレクサンドロフ一点コンパクト化は である写像 を持つ同相写像を選び定義する。

定義からは、ハイネ・ボレル法を使わずに、コンパクト性の定義から直接、像空間が多項式かつコンパクトであることがわかります。

あらゆる二項空間(カントール集合[6]の連続像であるコンパクト空間)は多項空間である。[7]

X を可分コンパクト空間とする。X が計量化可能空間ならばそれ多項式空間である(逆もまた真である)。[2]

プロパティ

空間の細胞性

空間のタイトネスは次のように定義されます。 、、 とします。 定義する[8]

多項式空間の位相重みは 等式を満たす[9]

多項式空間とし、とする。すると、かつ となる多項式空間が存在する[9]

多項式空間は、計量コンパクト空間を含み、積と連続像に関して閉じている位相空間の最小のクラスである。[10]重みの多項式空間はすべて の連続像である[10]

位相空間がスースリン性を持つとは、 の互いに素で空でない開部分集合の無限族が存在しないことを意味する[11]がスースリン性を持ち、多項式であるとする。すると は二項式となる。[12]

をカバーするために必要な離散集合の最小数を としにおける空でない開集合の最小の濃度を とする。 が多項式空間である場合、 となる[9]

ラムゼーの定理

多項式空間の組合せ論におけるラムゼーの定理の類似物が存在する。これについて、ブール空間と多項式空間の関係を説明する。のすべての閉開部分集合の閉開代数を で表すとする。を基底とするコンパクトハウスドルフ空間としてブール空間を定義するとなる元を の生成集合という。 が最大で個の部分集合の和集合である場合、 は - 非連続集合であるといえる。ここで、 のそれぞれについては最大で 個の濃度の非連続集合である。がブール空間であり、 の生成集合- 非連続である場合と が の閉部分空間に同相である場合に限り、 が の閉部分空間に同相であることがペトル・サイモンによって証明された[8]ブール空間についてマレー・ベルによって述べられた多項式空間のラムゼーのような性質は、次のようになる。すべての無数の閉開集合には、連結または非連結のいずれかである無数の部分集合が含まれる。[13]

コンパクトさ

空間 のコンパクト数 (と表記) は、n 元閉部分基底を持つ最小の数であると定義します。任意のコンパクト数を持つ多項式空間を構築できます。これを、1985 年に Murray Bell が証明した 2 つの定理を使用して示します。を集合のコレクションとし、集合とします。集合をサイズのすべての部分集合を 、サイズが最大で のすべての部分集合と表記します。かつすべての に対してである場合、 は n 連結であるという。のすべてのn 連結部分集合に空でない共通部分がある場合、は n 元であるというがnである場合、 もn 元であるため、 を持つすべての空間には を持つ閉 n 元部分基底があることに注意

を無限集合とし、 となる数によってとなる。上の積位相を以下のように定義する: に対して、 とし、 とするを集合とする。上の位相の閉開基底としてをとる。この位相はコンパクトかつハウスドルフである。および であって となるものに対して、 はの離散部分空間であり、したがって は離散部分空間の和である[14]

定理( の上限): の各全順序に対して、- 元閉部分基底が存在する

証明: に対してとを定義します。 を設定しますおよび となるに対してが の -連結部分集合なるようにします。 であることを示します

位相空間と部分空間において、が 上の恒等写像であるとき、連続関数はのリトラクトであるといいます。 はのリトラクトであるといいます。 かつ がのリトラクトであるような開集合が存在するときは の近傍リトラクトであるといいます

定理( の下限) がとなるようなものとしましょう。すると は となる任意の空間において近傍後退として埋め込むことができません

上記の 2 つの定理から、となるようなに対して、 となることが推測できます

離散空間 のアレクサンドロフ一点コンパクト化を とすると、 となる。連続射影を で定義する。したがって、は多項式空間である。したがって、はコンパクト数 を持つ多項式空間である[14]

一般化

中心空間、ADコンパクト空間[15]、ξ進空間[16]は多項式空間の一般化である。

中心空間

を集合の集合とする。すべての有限部分集合 に対して が中心化されるとは、このことを言う[ 17 ]からの部分空間位相を持つブール空間 を定義する。が の連続像となるような集合が存在するとき、その空間は中心化されるという[18]

中心空間は 2004 年に Murray Bell によって導入されました。

ADコンパクトスペース

を空でない集合とし、その部分集合の族 を考える。 が適切な族であるとは、次の条件を満たすときである。

  • が与えられたとき、 のすべての有限部分集合が に含まれる場合、 となります

をカントール立方体のサブセットとみなして位相空間として扱うことができ、この場合は と表記します

をコンパクト空間とする。集合と十分な族 が存在しが の連続像となるとき、 はADコンパクト空間であるという。

ADコンパクト空間はグジェゴシュ・プレバネクによって導入された。彼は、ADコンパクト空間が任意の積と非素和のアレクサンドロフ・コンパクト化に関して閉じていることを証明した。したがって、すべてのポリアディック空間はADコンパクト空間となる。ただし、逆は成り立たず、ポリアディックではないADコンパクト空間も存在する。[15]

ξ進空間

とを基数し、をハウスドルフ空間とする。からへの連続射影が存在するときξ進空間であるという。[16]

ξ進空間はS.Mrówkaによって提案され、それに関する以下の結果はJános Gerlitsによって与えられました(それらはξ進空間の特別な場合であるため、多進空間にも適用されます)。[19]

を無限基数とし、を位相空間とする。の空でない開部分集合の任意の族(ただし )に対してとなる集合と点が見つかり、各近傍に対して となるとき、 がという性質を持つという

がξ進空間であるとき、任意の無限基数に対して の性質を持つ。この結果から、無限ξ進ハウスドルフ空間は極限不連続空間にはなり得ないことがわかる。[19]

ヒアディック空間

ヒアディック空間はエリック・ファン・ダウエンによって導入された[20]ヒアディック空間は以下のように定義される。

をハウスドルフ空間とする。の超空間を で表す部分空間を で定義するの基底は、の形式を持つ集合全体の族でありは任意の整数であり、において開である。がコンパクトで、 からの連続的な全射が存在するとき、ハウスドルフ空間はヒアディック空間であるという[21]

多項式空間はヒアディック空間である。[22]

参照

参考文献

  1. ^ ab ハート、クラース・ピーター;永田 淳一;ヴォーン、ジェリー E. (2003)。 「二項コンパクタ」。一般トポロジの百科事典エルゼビアサイエンス。 p. 193.ISBN 978-0444503558
  2. ^ abc Al-Mahrouqi, Sharifa (2013). 組み合わせ論的構成に着想を得たコンパクト位相空間(学位論文).イースト・アングリア大学. pp.  8– 13.
  3. ^ Møller, Jesper M. (2014). 「位相空間と連続写像」.一般位相学. CreateSpace Independent Publishing Platform. p. 58. ISBN 9781502795878
  4. ^ Tkachuk, Vladimir V. (2011). 「位相空間と関数空間の基本概念」. Cp理論問題集:位相空間と関数空間. Springer Science+Business Media . p. 35. ISBN 9781441974426
  5. ^ トゥルザンスキー、マリアン (1996)。カントール キューブ: チェーン条件Wydawnictwo Uniwersytetu Śląskiego。 p. 19.ISBN 978-8322607312
  6. ^ 永田純一(1985-11-15). 「マッピングに関するトピック」。最新の一般的なトポロジ。エルゼビアサイエンス。 p. 298.ISBN 978-0444876553
  7. ^ ディクランジャン、ディクラン;サルセ、ルイージ (1998)。アーベル群、モジュール理論、トポロジーCRC を押します。 p. 339.ISBN 9780824719371
  8. ^ ab Bell, Murray (2005). 「多項式空間におけるタイトネス」(PDF) . Topology Proceedings . 25.オーバーン大学: 2–74 .
  9. ^ abc スパダロ、サンティ (2009-05-22)。 「離散集合に関するメモ」。コメント カロライナ大学数学50 (3): 463–475 . arXiv : 0905.3588
  10. ^ ab Koszmider, Piotr (2012). 「普遍対象とバナッハ空間のクラスとコンパクト空間のクラス間の関連」arXiv : 1209.4294 [math.FA].
  11. ^ 「トポロジー総合試験」(PDF) .オハイオ大学. 2005年. 2015年2月14日時点のオリジナル(PDF)からアーカイブ。 2015年2月14日閲覧
  12. ^ トゥルザンスキー、マリアン (1989)。 「二項空間の一般化について」。カロライナ大学アクタ大学。数学と物理学30 (2): 154. ISSN  0001-7140。
  13. ^ Bell, Murray (1996年1月11日). 「多項式空間におけるラムゼー定理」.テネシー大学マーティン校. 2015年2月14日閲覧。
  14. ^ abc Bell, Murray (1985). 「任意のコンパクト数の多項式空間」. Commentationes Mathematicae Universitatis Carolinae . 26 (2). Charles University in Prague : 353– 361. 2015年2月27日閲覧
  15. ^ ab Plebanek, Grzegorz (1995-08-25). 「適切な集合族から得られるコンパクト空間」.位相学とその応用. 65 (3). Elsevier: 257– 270. doi : 10.1016/0166-8641(95)00006-3 .
  16. ^ ab ベル、マレー (1998). 「商品画像の文字とチェーンの状態について」(PDF)数学の基礎158 (1)。ポーランド科学アカデミー: 41–49 .
  17. ^ ベル、マレー G. (1985)。 「一般化二項空間」。数学の基礎125 (1): 47–58 .土井:10.4064/fm-125-1-47-58。MR  0813988。
  18. ^ Bell, Murray (2004). 「τ-コルソンコンパクト上の関数空間と多項式空間のタイトネス」. Czechoslovak Mathematical Journal . 54 (4): 899– 914. doi :10.1007/s10587-004-6439-z. S2CID  123078792.
  19. ^ ab Gerlits, János (1971). Novák, Josef (ed.). 「m進空間について」.一般位相幾何学と現代解析学・代数との関係, 第3回プラハ位相幾何学シンポジウム議事録.プラハ: チェコスロバキア科学アカデミーアカデミア出版社: 147–148 .
  20. ^ Bell, Murray (1988). 「ヒアディック空間のGk部分空間」(PDF) .アメリカ数学会報. 104 (2).アメリカ数学会誌: 635–640 . doi :10.2307/2047025. JSTOR  2047025. S2CID  201914041.
  21. ^ van Douwen, Eric K. (1990). 「超空間と収束列からの写像」.トポロジーとその応用. 34 (1). エルゼビア: 35– 45. doi : 10.1016/0166-8641(90)90087-i .
  22. ^ バナク、タラス (2003). 「位相的逆クリフォード半群の基数不変量と計量化可能性について」.トポロジーとその応用. 128 (1). エルゼビア: 38. doi : 10.1016/S0166-8641(02)00083-4 .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Polyadic_space&oldid=1320671474"