[论文解读] Introduction into Calculus over Division Ring

Aleks Kleyn|arXiv (Cornell University)|Dec 30, 2008

Mathematical and Theoretical Analysis参考文献 7被引用 12

一句话总结

本文通过引入广义的 Gâteaux 导数和微分作为线性逼近，建立了一个在除环上的微积分框架，将实分析与复分析中的概念进行推广。它在 D-向量空间中建立了泰勒级数展开、二阶导数以及齐次映射的欧拉定理，为非交换环境下的微分几何奠定了基础。

ABSTRACT

Based on twin representations of division ring in an Abelian group I consider $D$\Hyph vector spaces over division ring. Morphism of $D$\Hyph vector spaces is linear map of $D$\Hyph vector spaces. I consider derivative of function $f$ of continuous division ring as linear map the most close to function $f$. I explore expansion of map into Taylor series and method to find solution of differential equation. The norm in $D$\Hyph vector space allows considering of continuous mapping of $D$\Hyph vector spaces. Differential of mapping $f$ of $D$\Hyph vector spaces is defined as linear mapping the most close to map $f$.

研究动机与目标

• 为除环上的映射建立一致的微积分框架，特别解决在非交换环境下经典定理（如罗尔定理）失效的问题。
• 将除环上映射的导数定义为最佳线性逼近，推广弗雷chet导数与 Gâteaux 导数的概念。
• 在除环上的 D-向量空间中发展高阶导数与泰勒级数展开。
• 证明齐次映射在 D-向量空间中的欧拉定理，将经典结果推广至非交换线性代数。
• 通过引入 D*-向量空间与对偶表示的概念，解决除环上线性代数中的基础性问题。

提出的方法

• 以 Gâteaux D*-导数作为导数的主要定义，确保其不依赖于左乘/右乘的顺序。
• 将映射的微分定义为最接近函数的线性映射，推广了赋范 D-向量空间中的弗雷chet导数。
• 通过除环 D 在阿贝尔群中的对偶表示定义 D-向量空间，使非交换结构上的线性代数成为可能。
• 将加法映射作为 D-向量空间的同态，避免对双线性或张量积结构的依赖。
• 通过递归方式推导高阶导数：∂ⁿf(x)(a₁;...;aₙ) = ∂(∂ⁿ⁻¹f(x)(a₁;...;aₙ₋₁))aₙ。
• 利用迭代的 Gâteaux 导数与齐次映射，在 D-向量空间上的映射中建立泰勒级数展开。

实验结果

研究问题

• RQ1 是否可以为除环上的映射定义一致的导数概念，尤其在经典定理（如罗尔定理）失效的情况下？
• RQ2 在非交换性缺失的条件下，如何将除环上映射的微分定义为线性逼近？
• RQ3 在除环上的 D-向量空间中，高阶导数与泰勒级数展开的结构是怎样的？
• RQ4 齐次映射在非交换环境下如何表现于微分运算中？欧拉定理是否可推广？
• RQ5 除环在阿贝尔群中的对偶表示在定义 D-向量空间及其线性映射中起什么作用？

主要发现

• Gâteaux D*-导数在除环上提供了稳定且与顺序无关的导数定义，即使经典导数不存在，该定义依然有效。
• 二阶导数通过迭代 Gâteaux 导数递归定义，使得 D-向量空间中的泰勒级数展开成为可能。
• 齐次映射的欧拉定理成立：∂f(v)(v) = kf(v)，将经典结果推广至非交换环境。
• 映射的微分被定义为最接近函数的线性映射，推广了赋范 D-向量空间中的弗雷chet导数。
• D*-向量空间与对偶表示的概念为除环上的线性代数提供了稳健的理论框架，避免了对交换张量积的依赖。
• 该理论表明，除环上可微函数的集合非常小，尤其在非交换情形（如四元数）中，由于简单函数如 f(z) = z² 缺乏解析导数，导致其不可微。