[论文解读] Nel's category theory based differential and integral Calculus, or did Newton know category theory ?

Elemér E Rosinger|ArXiv.org|Apr 28, 2005

Optics and Image Analysis参考文献 8被引用 3

一句话总结

本文提出了一种基于范畴论的微分与积分经典微积分的表述，表明标准导数与积分可通过连续函数空间与满足代数中值条件的函数之间的自然同构——具体而言，即对角评估映射——推导得出。其核心贡献在于一种纯粹代数的、范畴论的构造，无需广义导数或极限即可恢复经典微积分，从而使得在无内点的非凸定义域上也能进行微积分运算。

ABSTRACT

In a series of publications in the early 1990s, L D Nel set up a study of non-normable topological vector spaces based on methods in category theory. One of the important results showed that the classical operations of derivative and integral in Calculus can in fact be obtained by a rather simple construction in categories. Here we present this result in a concise form. It is important to note that the respective differentiation does not lead to any so called generalized derivatives, for instance, in the sense of distributions, hyperfunctions, etc., but it simply corresponds to the classical one in Calculus. Based on that categorial construction, Nel set up an infinite dimensional calculus which can be applied to functions defined on non-convex domains with empty interior, a situation of great importance in the solution of partial differential equations

研究动机与目标

• 使用范畴论重新表述经典微分与积分微积分。
• 证明标准导数与积分可仅通过一个简单的范畴论构造推导得出，无需广义导数。
• 将微积分扩展至具有空内部的非凸定义域上的函数，此问题在偏微分方程理论中具有重要意义。
• 建立经典导数自然源于差商的代数条件。
• 证明对角评估映射在函数空间之间提供自然同构，从而为微积分奠定范畴论基础。

提出的方法

• 将巴拿赫空间中的路径定义为连续函数 f:I→E，使得存在连续函数 hf 满足 f(y)−f(x)=(y−x)hf(x,y)。
• 引入空间 ad C(I×I,E)，即所有满足对所有 x,y,z∈I 成立的代数恒等式 (y−x)h(x,y)+(z−y)h(y,z)+(x−z)h(z,x)=0 的连续函数 h。
• 通过 (edI,E(h))(x) = h(x,x) 构造对角评估映射 edI,E: ad C(I×I,E) → C(I,E)。
• 证明 edI,E 是函子 ad C(I×I,−) 与 C(I,−) 之间的自然同构与等距映射，从而确立范畴论基础。
• 对 f∈Path C(I,E) 定义导数 Df = edI,E(hf)，在不使用极限或差商连续性假设的情况下恢复经典导数。
• 定义积分 ∫ab f = (b−a)·avf(a,b)，其中 avf(a,b) 表示 f 在 [a,b] 上的平均值，并证明其满足牛顿-莱布尼茨公式。

实验结果

研究问题

• RQ1 经典导数与积分能否通过纯粹代数的、范畴论的构造推导得出，而无需使用极限或广义函数？
• RQ2 对角评估映射 edI,E 是否在 ad C(I×I,−) 与 C(I,−) 之间提供自然同构，从而为微积分的范畴论基础提供依据？
• RQ3 该范畴论框架能否将微积分推广至具有空内部的非凸定义域上的函数，这在偏微分方程理论中是必需的？
• RQ4 即使不假设差商的可微性或连续性，经典导数 f′(x) 是否仍可作为 h(x,x) 从 h∈ad C(I×I,E) 中恢复？
• RQ5 当导数通过范畴论方式定义时，通过平均值定义的积分是否仍满足牛顿-莱布尼茨公式？

主要发现

• 对角评估映射 edI,E 是函子 ad C(I×I,−) 与 C(I,−) 之间的自然同构与等距映射，为微积分提供了范畴论基础。
• 对 f∈Path C(I,E) 定义的导数 Df = edI,E(hf) 恢复了经典导数 f′(x) = hf(x,x)，且无需使用极限或差商的连续性假设。
• 当通过范畴论方式定义导数时，经典牛顿-莱布尼茨公式 ∫ab f′ = f(b)−f(a) 成立。
• 通过 ∫ab f = (b−a)·avf(a,b) 定义的积分满足微积分基本定理：若 F(x) = ∫ax f，则 F′ = f。
• 该构造可通过折线函数的稠密性推广至所有连续函数，同时保持积分与导数的关系不变。
• 该框架适用于无穷维巴拿赫空间以及在具有空内部的非凸定义域上的函数，为偏微分方程领域开辟了新应用。