[论文解读] Categories with norms

Wiesław Kubiś|arXiv (Cornell University)|May 29, 2017

Advanced Algebra and Logic参考文献 9被引用 4

一句话总结

本文引入了“赋范范畴”——一种在态射上配备非负函数的范畴，该函数满足三个公理：恒等态射的范数为零，复合满足三角不等式，且一个对偶不等式确保在同构下保持对称性。该理论推广了度量空间与Lipschitz映射，建立了柯西序列与完备化，并证明了范畴论版本的巴拿赫不动点定理，表明当存在有限范数的态射时，压缩函子存在不动点。

ABSTRACT

We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a category, generalizing pseudo-metrics and group valuations. In this new context, we discuss topics like Cauchy completion and the Banach Contraction Principle.

研究动机与目标

• 通过在范畴的态射上定义范数，推广度量空间与伪度量。
• 通过赋范范畴中的柯西序列，统一度量收敛与范畴论余极限的概念。
• 将巴拿赫不动点定理推广至赋范范畴的设定，证明在压缩函子下不动点的存在性。
• 为研究度量 enriched 范畴中的连续Fraïssé极限与普遍齐次对象提供一个框架。

提出的方法

• 将范畴 K 上的范数 μ 定义为函数 μ: K → [0, ∞]，满足 μ(id_x) = 0，μ(f∘g) ≤ μ(f) + μ(g)，且对可复合态射有 μ(g) ≤ μ(f∘g) + μ(f)。
• 证明赋范范畴推广了度量空间，当范畴为所有对均相关之偏序集时，可得到对称伪度量。
• 将赋范范畴的柯西完备化构造为一个更大的赋范范畴，其中每个柯西序列都收敛于满足收敛条件的余极限。
• 证明在柯西完备的赋范范畴上，若存在一个态射 f: a → F(a) 且其范数有限，则序列连续的压缩函子 F 具有不动点。
• 利用几何级数 ∑r^n（r < 1）的收敛性，证明迭代函子 F^n(f) 的序列是柯西序列，因此在完备化中收敛。
• 证明范数条件 (N3) 确保范数在同构下的不变性，例如对同构 h 有 μ(h) = μ(h⁻¹)。

实验结果

研究问题

• RQ1 能否通过将伪度量推广至范畴，统一度量收敛与范畴论余极限的概念？
• RQ2 巴拿赫不动点定理在赋范范畴的语境下如何重新表述与推广？
• RQ3 在赋范范畴中，函子不动点存在的条件是什么？何时保证唯一性？
• RQ4 离散范数在范畴上如何产生非平凡结构，而此类结构在度量空间中并不显著？
• RQ5 在由Lipschitz映射构成的度量空间范畴中，定义为双Lipschitz常数对数的范数 μ(f) = log(max(Lip(f), Lip(f⁻¹)))，如何捕捉几何形变？

主要发现

• 范数公理 (N1)–(N3) 推广了伪度量与群赋值，且在复合与同构下保持稳定。
• 每个度量空间均可嵌入为赋范范畴，其中态射的范数即为其定义域与值域之间的距离。
• 在Lipschitz映射构成的度量空间范畴中，自然地定义了范数 μ(f) = log(max(Lip(f), Lip(f⁻¹)))，若 f 不是双Lipschitz，则 μ(f) = ∞。
• 赋范范畴中的柯西序列是定义在 ω（自然数的偏序集）上的函子，其在余极限锥中态射的范数序列收敛。
• 赋范范畴的柯西完备化被构造为底层类似度量结构的完备化中的全子范畴，确保所有柯西序列均收敛。
• 在柯西完备的赋范范畴上，若存在一个态射 f: a → F(a) 且 μ(f) < ∞，则序列连续的压缩函子 F 具有不动点，尽管一般情况下唯一性不成立。