[論文レビュー] Measure and distribution monads in categorical functional analysis, I: The functional distribution monad

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|Jan 27, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 3

ひとこと要約

この論文は、一般化された関数解析の圏的枠組みにおいて、豊密化された代数的理論の可換子を用いて測度、分布、フィルターのモノイドを構成する、関数的分布モノイドを導入する。これは、順序付き環 R 上の R-加群、R-アフィン空間、R-凸空間を含む文脈において、これらのモノイドを特徴づけ、測度論的構造の統一的圏的基盤を提供する。

ABSTRACT

We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional analysis, called a $ extit{functional-analytic context}$, formulated in terms of a given monad or algebraic theory $\mathcal{T}$ enriched in a closed category $\mathcal{V}$. By employing the notion of $ extit{commutant}$ for enriched algebraic theories and monads, we define the $ extit{functional distribution monad}$ associated to a given functional-analytic context. We establish certain general classes of examples of functional-analytic contexts in cartesian closed categories $\mathcal{V}$, wherein $\mathcal{T}$ is the theory of $R$-modules or $R$-affine spaces for a given ring or rig $R$ in $\mathcal{V}$, or the theory of $ extit{$R$-convex spaces}$ for a given preordered ring $R$ in $\mathcal{V}$. We prove theorems characterizing the functional distribution monads in these contexts, and on this basis we establish several specific examples of functional distribution monads.

研究の動機と目的

• 豊密化された代数的設定における測度および分布のモノイドの一般的圏的構成を発展させること。
• 豊密化された代数的理論における可換子の概念を用いて関数的分布モノイドを定義し、特徴づけること。
• R-加群、R-アフィン空間、R-凸空間を含む、直積閉圏における関数解析的文脈の具体例を確立すること。
• これらの特定の文脈における関数的分布モノイドを特徴づける構造定理を証明すること。
• 多様な代数的および位相的設定において測度および分布のモノイドを統一的に扱う枠組みを提供すること。

提案手法

• 閉圏 V に豊密化されたモノイドまたは代数的理論 T を用いて関数解析的文脈を形式化すること。
• 豊密化された代数的理論の可換子の概念を用いて関数的分布モノイドを定義すること。
• 豊密化圏の文脈における普遍性の解決としてモノイドを構成すること。
• T が順序付き環 R 上の R-加群、R-アフィン空間、または R-凸空間である場合に、この枠組みを特殊化すること。
• V の直積閉構造を用いて関数空間構成と整合性を保つこと。
• 得られるモノイドが、与えられた文脈における測度および分布の普遍的性質を満たすことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 どのように統一的圏的構成が、異なる代数的構造にわたって測度および分布のモノイドを生じさせ得るか？
• RQ2 豊密化された代数的理論の可換子が、関数的分布モノイドの定義において果たす役割は何か？
• RQ3 順序付き環 R 上の R-加群、R-アフィン空間、R-凸空間は、関数的分布モノイドの具体的な例としてどのように生じるか？
• RQ4 関数的分布モノイドの構造的性質は、基になる圏 V および理論 T にどのように依存するか？
• RQ5 関数解析的文脈において、関数的分布モノイドを特徴づける普遍的性質は何か？

主な発見

• 関数的分布モノイドは、豊密化された代数的理論の可換子として構成され、測度および分布のモノイドを生成する圏的メカニズムを提供する。
• このモノイドは、一様な圏的枠組みを通じて、関数解析における既知の測度および分布の構成を一般化する。
• R-加群または R-アフィン空間を含む文脈では、圏 V 内で環 R 上の線形的およびアフィン的分布を関数的分布モノイドが捉える。
• 順序付き環 R 上の R-凸空間では、モノイドは凸結合および正の測度をモデル化し、確率論的および凸解析的構造へ拡張される。
• この構成はベースチェンジに関して安定であり、適切な設定において極限および余極限の保存といった重要な圏的性質を保持する。
• この枠組みにより、フィルターのモノイドが双対的構成として体系的に導出可能となり、収束および位相の圏的理解が豊かになる。