[论文解读] Riesz-Schwartz extensive quantities and vector-valued integration in closed categories

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|Jul 30, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 32被引用 10

一句话总结

本文通过张量范畴与丰富范畴论构建了泛函分析的抽象公理化框架，引入了Riesz-Schwartz型广延量与闭范畴中的向量值积分。研究证明，通过抽象分布定义的向量积分在Pettis型与Bourbaki型表述下一致，完备性通过丰富正交性定义，并证明了抽象积分的Fubini型定理，借助范畴论对偶性与单子理论统一了泛函分析中的核心概念。

ABSTRACT

We develop aspects of functional analysis in an abstract axiomatic setting, through monoidal and enriched category theory. We work in a given closed category, whose objects we call spaces, and we study R-module objects therein (or algebras of a commutative monad), which we call linear spaces. Building on ideas of Lawvere and Kock, we study functionals on the space of scalar-valued maps, including compactly-supported Radon measures and Schwartz distributions. We develop an abstract theory of vector-valued integration with respect to these scalar functionals and their relatives. We study three axiomatic approaches to vector integration, including an abstract Pettis-type integral, showing that all are encompassed by an axiomatization via monads and that all coincide in suitable contexts. We study the relation of this vector integration to relative notions of completeness in linear spaces. One such notion of completeness, defined via enriched orthogonality, determines a symmetric monoidal closed reflective subcategory consisting of exactly those separated linear spaces that support the vector integral. We prove Fubini-type theorems for the vector integral. Further, we develop aspects of several supporting topics in category theory, including enriched orthogonality and factorization systems, enriched associated idempotent monads and adjoint factorization, symmetric monoidal adjunctions and commutative monads, and enriched commutative algebraic theories.

研究动机与目标

• 在范畴论的抽象公理化设定下，推广泛函分析中的概念，如Radon测度、分布与向量积分。
• 通过闭范畴中的单子形式化，统一不同类型的向量积分（如Pettis型与Bourbaki型）。
• 通过丰富正交性定义线性空间的完备性，识别出分布完备空间的反射子范畴。
• 为抽象向量积分建立Fubini型定理，将经典结果推广至范畴论设定。
• 通过对偶性与单子理论结构，构建一个强调典范性与普遍性的泛函分析基础。

提出的方法

• 本文使用丰富范畴论将线性空间定义为闭范畴中的R-模对象，推广了向量空间的概念。
• 通过双对偶化与单子理论构造，引入自然与可及分布的概念，推广了Schwartz分布与Radon测度。
• 向量值积分通过分布单子诱导的典范态射形式化，积分由普遍性质定义。
• 完备性通过丰富正交性公理化，导出一个分离的、分布完备的线性空间的反射子范畴。
• 理论利用对称张量闭伴随与交换单子，确保与积分和对偶性的相容性。
• 通过分析单子代数、伴随与丰富因式分解系统之间的相互作用，证明Fubini型定理。

实验结果

研究问题

• RQ1 如何在一般范畴设定中公理化向量值积分，以统一Pettis型与Bourbaki型积分？
• RQ2 何种范畴条件可确保线性空间通过抽象分布支持行为良好的向量积分？
• RQ3 丰富正交性如何导出一种完备性概念，从而刻画可容纳抽象积分的空间？
• RQ4 在何种意义上，抽象分布（推广Radon测度与Schwartz分布）自然地从对偶性与单子结构中产生？
• RQ5 在该抽象设定中，Fubini型定理在多大程度上成立？其证明如何借助丰富范畴论实现？

主要发现

• 当底层线性空间为分布完备时，抽象向量积分在不同表述（Pettis型、Bourbaki型）下一致。
• 线性空间支持向量积分当且仅当其为分离空间且属于由丰富正交性定义的反射子范畴。
• $\tfrac{\tilde{\text{D}}}{\text{D}}$-Pettis线性空间范畴与底层线性空间为分离的$\tfrac{\tilde{\text{D}}}{\text{D}}$-代数范畴等价。
• 抽象向量积分满足Fubini型定理，其证明依赖于单子结构的自然性与交换性。
• 证明了分布单子是交换且幂等的，确保其与对称张量闭结构相容。
• 通过自然分布单子将线性空间嵌入其双对偶，得到一个全且忠实的函子，确立了函数完备性。