[论文解读] 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-凸空间，该单子建模了凸组合与正测度，扩展至概率与凸分析结构。
• 该构造在基变换下保持稳定，并在适当语境中保持极限与余极限等关键范畴性质。
• 该框架允许系统地推导出滤子单子作为对偶构造，深化了对收敛性与拓扑的范畴理解。