[論文レビュー] On structured spaces and their properties

Manuel Norman|arXiv (Cornell University)|Feb 26, 2020

Advanced Algebra and Logic参考文献 44被引用数 6

ひとこと要約

本稿は、各点が局所的に固定された代数的構造を備えた位相空間である「構造付き空間」を導入する。これは構造写像を用いて定式化され、定義の曖昧さを回避する。主たる貢献は定理4.1であり、特定の条件下で構造付き空間とラティスの間の双方向の対応関係を確立し、深い代数的位相的双対性を明らかにする。

ABSTRACT

In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed with an algebraic structure using tools from algebra. The definition of these spaces will be made more precise via one of our main result, which involves the 'structure map'. This will also lead us to a rigorous and unambiguous definition of algebraic structure. After showing some examples which naturally arise in this context, we study various properties and develop some theory for these new spaces; in particular, we consider partitions (with respect to some measure $μ$). We then prove one of the most important Theorem of this paper (Theorem 4.1), which states that every structured space, under some assumptions, induces a lattice, and conversely every lattice induces a structured space satisfing such hypothesis. We conclude with some relations with connected spaces.

研究の動機と目的

• 局所的に代数的構造に似た位相空間を形式的に定式化し、従来の定義における曖昧さを解消すること。
• 構造写像を用いて代数的構造および構造付き空間を厳密に定義し、局所的な代数的割り当ての曖昧さを回避すること。
• 測度、分割、ラティス構造に関連する性質を含む、構造付き空間の基礎理論を確立すること。
• 構造付き空間と連結性、超連結性、極限連結性などの位相的概念との関係を調査すること。
• 構成的かつ双方向的な定理を通じて、構造付き空間とラティスの間の双対性を示すこと。

提案手法

• 各点の近傍に固定された代数的構造を割り当てるための構造写像を導入し、一貫性と曖昧さのない定義を保証する。
• 構造付き空間を、各近傍に特定の代数的構造が備わった位相空間として定義する。
• 構造写像を用いて商写像 $ h: X \to \mathcal{L} $ を定義し、ここで $ \mathcal{L} $ は部分集合のラティスである。これにより、結合および交わりの半ラティスの構成が可能になる。
• 写像 $ h $ の全射性および局所的構造の空でない共通部分集合を用いて、$ X/\sim $ が結合および交わりの演算に関してラティスをなすことを証明する。
• 任意のラティスが、必要な仮定を満たす構造付き空間を誘導できることを示すことにより、双対的対応を構築する。
• 連結性を分類し、構造付き空間を完全に開集合または閉集合として分類し、その分割可能性が超連結性や極限連結性などの位相的性質と関係することを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 各点が局所的に固定された代数的構造を備えた位相空間をどのように形式的に定義すれば、曖昧さを避けることができるか？
• RQ2 構造写像は、構造付き空間における近傍への代数的構造の曖昧さのない割り当てをどのように果たすか？
• RQ3 どのような条件下で、構造付き空間がその商空間にラティス構造を誘導することができ、逆にラティスが構造付き空間を誘導するか？
• RQ4 連結性、超連結性、極限連結性などの位相的性質は、構造付き空間の分割可能性とどのように関係するか？
• RQ5 構造付き空間とラティスの構成は、どのような点で双方向の双対性を示すか？

主な発見

• 定理4.1は、特定の仮定の下で構造付き空間（とラティス）の間の全単射対応を確立し、すべてのこのような構造付き空間がラティスを誘導し、逆にすべてのラティスが同じ条件を満たす構造付き空間を誘導することを示している。
• 構造写像 $ h $ を通じて構成された商空間 $ X/\sim $ は、$ h $ の全射性および局所的構造の空でない共通部分集合の性質により、結合および交わりの演算に関してラティスをなす。
• 任意の位相を備えた代数的構造が、各点の近傍として全体空間をとることで、構造付き空間として成立する。これは、この枠組みの一般性を示している。
• 完全に開集合かつ超連結な構造付き空間は、その固定された近傍が互いに交わらないため、分割可能ではない。これは分割可能性の定義に反する。
• 各点に局所的代数的構造の集合を割り当てる写像 $ h $ は全射であり、商空間にラティス構造を構成するのを可能にし、一意な最小上界および最大下界の存在を保証する。
• この枠組みは、ベクトルバンドルやプレシェーブと概念的に類似しており、開集合にセクションやベクトル空間を割り当てるのと同様に、近傍に代数的構造を割り当てることで類似した構造を持つ。