三、“fxl光速定律”的证明：从速度有界性到九章数学体系的应用
（一）定律表述：光速的新认知
“⑨_(W_3 )等价于fxl光速定律”为：⑨_(W_3 )⊙(f_和 )经过狭义转换定理得到相对无穷大速度(f_极 = c)，再经过闭域约束得出光速不可超越。这一定律从全新的角度对光速这一物理学中的关键概念进行了阐释，为我们理解光的传播以及物体运动速度的极限提供了新的思路，同时也是对经典力学在速度相关问题上的重要拓展，使其能够更好地与量子力学中的一些速度相关现象相联系。
（二）速度有界性的证明
从物理学的基本原理来讲，质能公式E = mc²揭示了能量E和质量m之间紧密的联系。当我们要给物体加速的时候，根据动能定理E_k = ½mv²，速度v的增加是需要能量输入的。
然而，现实世界存在一些限制条件。一方面，整个宇宙的总能量是有限的。我们通过对宇宙的观测，比如宇宙微波背景辐射等现象，能感觉到宇宙的能量是有限分布的。另一方面，能量的转化和传递必须遵循能量守恒定律，这就意味着在任何一个物理过程里，能够用来给特定物体加速的能量不是无穷无尽的。
当我们考虑一个具体的物理系统时，可以把它看成是一个能量有限的闭域。随着物体速度v不断增大，它的动能E_k也会持续增加。但是因为系统总能量有限，当接近可提供能量的上限时，物体速度的增加肯定会受到阻碍。这就说明，从能量的角度看，物体的速度是有上限的，不可能一直增大下去。这一论证并非否定经典力学中能量、质量和速度的基本关系，而是在更宏观的宇宙能量背景下，深入探讨速度增加的限制条件，为经典力学在处理高速运动问题时提供更全面的视角，同时也为与量子力学中可能涉及的能量 – 速度关系提供类比和联系的基础。
2. 基于物理观测事实的归纳论证
在大量的物理观测和实验研究中，不管是微观的粒子加速器实验，还是宏观的天体观测，都有很多数据和现象支持物体速度有上限这个观点。
在粒子加速器里，科学家们花了很大力气，用了很多能量去加速粒子。但是不管技术怎么进步，投入的能量怎么增加，粒子的速度只能非常接近光速c，却没办法真正达到或者超过光速。比如说欧洲核子研究中心（CERN）的大型强子对撞机（LHC），它能把质子加速到很接近光速的速度，但始终突破不了光速的限制。
在天体观测方面，我们对遥远的星系和宇宙射线进行研究，也没有发现有物体的速度能超过光速。基于这么多广泛的观测事实，我们可以归纳得出，在现实的物理世界里，物体的速度有一个极限值，这个极限值就是光速c。这种基于大量观测事实的归纳论证，进一步巩固了速度有界性的观点，同时也表明经典力学需要在速度上限这一问题上进行更深入的思考和拓展，以更好地解释微观粒子和宏观天体的运动速度现象，为与量子力学中速度相关内容的衔接提供现实依据。
3. 纯数学反证法论证
假设速度是没有上限的，也就是速度v可以一直增大。根据动能定理E_k = ½mv²，在能量E有限的情况下（这是基于前面说的物理世界能量有限），为了让这个公式在速度无限增大的时候还成立，质量m就必须无限减小。
因为在我们现有的物理知识里，光子以光速c运动，而且它的静止质量非常小（现在的实验测不出来光子有静止质量，一般假定它的静止质量是零或者小到可以忽略）。如果速度没有上限，那么在追求更高速度的过程中，肯定会出现比光子质量还小的粒子。
但是到现在为止，在所有的物理实验和观测里，都没有发现比光子质量更小的粒子。这就和我们的假设矛盾了，所以假设不成立，也就是说速度肯定是有上限的，这个上限就是光速c。通过纯数学反证法，从逻辑上进一步证明了速度有界性，这不仅为经典力学在速度问题上提供了严谨的数学支持，而且与前面基于物理原理和观测事实的论证相互呼应，共同为经典力学在速度上限问题上的拓展提供了坚实的基础，有助于经典力学在处理高速运动和微观粒子速度相关问题时，与量子力学的相关理论进行更好的融合。
（三）九章数学体系核心理论基础
在证明了速度有界性之后，我们引入九章数学体系来进一步深入理解和解释相关的物理现象，通过九章数学体系的独特视角，为经典力学在速度相关问题上与量子力学的衔接提供新的途径，使经典力学在更广泛的物理情境中发挥作用。
（三）九章数学体系核心理论基础
1. 相对无穷理论
相对无穷大与相对无穷小：在九章数学体系里，相对无穷是定义在有界闭区间或者非阿基米德闭球内的，它有一个特点就是边界可以达到。其中，相对无穷大f_极用来描述“极大值态”，相对无穷小f_和用来描述“极小值态”，它们通过狭义转换定理形成一种对偶关系：f_和⊙f_极 = 1（这是在三位二进制运算下的测度归一化）。这种相对无穷的概念，不同于传统数学中对无穷的抽象理解，它将无穷置于有界的具体数学结构中，为我们理解物理量在极端情况下的行为提供了新的视角。在经典力学与量子力学的衔接中，有助于我们从相对的角度去分析微观粒子的某些物理量，比如能量、速度等在极小或极大状态下的相互关系。
关键命题：M_1（相对无穷边界可达）、M_3（同一闭域内f_极与f_和严格互斥）、M_{10}（相对无穷是基于闭域动态定义的，和传统无穷那种“无端点静态抽象”本质不一样）。这些命题为我们后面用九章数学体系解释物理现象提供了很重要的理论支持。以M_1为例，相对无穷边界可达的特性，使得我们可以将物理量的极限状态（如光速）与相对无穷大联系起来，在有界的数学框架内探讨速度的上限问题，为经典力学在速度相关问题上与量子力学的结合提供了具体的数学依据。
2. 定义域约束原则
九章体系特别强调所有的理论都要在可以构造出来的有界闭域里才成立，像阿基米德闭区间[a,b]或者非阿基米德闭球B_r (c)。这个原则很有用，它可以避免传统无穷公理带来的一些悖论，像芝诺悖论、巴拿赫 – 塔斯基悖论这些，让数学理论和物理现实中的有限性、确定性更好地匹配起来。在经典力学向量子力学拓展的过程中，定义域约束原则尤为重要。量子世界中，许多物理量呈现出离散、有限的特性，与九章体系的定义域约束理念相契合。例如，通过将微观粒子的运动限制在特定的闭域内，我们可以更准确地描述其行为，避免因传统无穷概念带来的不确定性，从而使经典力学在微观尺度下的应用更加合理和精确。
3. 跨体系桥接公式D_3
跨体系桥接公式D_3能够实现阿基米德体系（连续的）和非阿基米德体系（离散的）之间测度的等价转换，这就为我们统一描述宏观和微观的物理现象提供了一个很有力的工具，帮助我们在不同的物理尺度和数学描述之间建立联系。在经典力学中，我们通常用连续的数学模型来描述宏观物体的运动；而在量子力学中，微观世界的现象往往具有离散性。跨体系桥接公式D_3就像一座桥梁，连接了这两种看似不同的描述方式。比如，在研究微观粒子的能量跃迁时，我们可以通过D_3公式将经典力学中连续的能量概念与量子力学中离散的能级联系起来，为经典力学在量子领域的应用提供了一种有效的途径，促进经典力学与量子力学的融合。
（四）“fxl光速定律”的九章数学体系证明
1. 物理量的闭域建模
质量与速度的相对无穷刻画：在粒子物理的情况里，我们把光子质量定义为相对无穷小量f_和，它可不是传统意义上的“绝对零”，而是一种结构化基元，满足f_和 = ε（ε是闭域内可以构造出来的极小值）。根据狭义转换定理里相对无穷小和相对无穷大的对偶关系f_和⊙f_极 = 1，我们可以推导出来速度的极限态就是相对无穷大f_极。这种对光子质量和速度极限的刻画，从九章数学体系的角度，为我们理解光的传播速度提供了新的视角。与传统对光子质量和速度的理解不同，它将光子的物理量置于相对无穷的框架下，强调了质量与速度在这种特殊数学结构中的相互关系，有助于我们在微观尺度下更深入地探讨光的性质，以及经典力学与量子力学在光传播问题上的联系。
闭域约束下的速度极限：按照九章体系命题M1，相对无穷大f_极在闭域内边界是可以达到的，这在物理世界里就对应着我们能观测到的速度上限——光速c。所以，光速c本质上就是闭域内f_极的物理表现。通过将光速与相对无穷大在闭域内的可达边界联系起来，我们为光速不可超越这一现象提供了一种基于九章数学体系的解释。这种解释不仅从数学结构上说明了光速的特殊性，而且为经典力学在速度极限问题上与量子力学的衔接提供了具体的物理模型，使我们能够从更统一的理论框架去理解宏观和微观世界中速度的限制。
2. 基于动能定理的数学推导
传统动能定理的九章改造：动能定理E_k = ½mv²在九章体系里要考虑定义域的约束。对于光子来说，它的质量m就相当于f_和，它的动能E_k是由外界注入的能量（比如电磁辐射能量）决定的。当m相当于f_和的时候，根据狭义转换定理f_和⊙f_极 = 1，我们可以得到：v = √（2E_k/m）= √（2E_k/f_和）=f_极 = c，也就是说光子的速度v天生就对应着闭域内的相对无穷大f_极，也就是光速c。这一推导过程，并非否定传统动能定理，而是在九章数学体系的框架下，结合相对无穷理论和定义域约束，对动能定理在光子这种微观粒子情况下进行了拓展和深化。通过这种改造，我们从新的数学和物理角度解释了光子速度为何是光速，为经典力学在微观粒子速度问题上的研究提供了新的方法，也为经典力学与量子力学在光子相关现象上的融合提供了理论基础。
速度有界性的再次印证：结合九章体系命题M_4，在开区间（无界域）里相对无穷会退化成经典无穷，但是物理世界本质上是闭域系统。这就又强调了速度极限c是闭域内构造出来的边界值，不能超越，这和我们之前证明的速度有界性是相互印证的，从九章数学体系的角度又一次确认了光速作为速度极限是不能超越的。通过这种相互印证，我们进一步巩固了基于九章数学体系对光速不可超越的证明，同时也体现了九章体系在统一解释物理现象方面的自洽性和有效性。这种自洽性不仅有助于我们在经典力学中更深入地理解速度极限问题，而且为其与量子力学在速度相关问题上的统一描述提供了有力支持。
3. 跨体系的测度一致性
通过跨体系桥接公式D_3，我们可以让阿基米德体系下连续的速度分布和非阿基米德体系下离散的能级（比如量子化轨道）实现测度的等价转换。在非阿基米德闭球B_p (c)里，光子的“离散化速度”通过p – adic测度收敛到c，这和阿基米德体系里的连续极限是一致的。这种一致性进一步证明了光速的普适性，也就是说，不管用哪种数学体系来描述，光速c作为速度极限的性质都是稳定统一的，不会因为数学体系的不同而改变。跨体系的测度一致性，为我们在不同数学描述之间建立了联系，使得经典力学与量子力学在速度和能量等物理量的描述上能够相互协调。例如，在研究原子中电子的运动速度和能级关系时，我们可以利用这种测度一致性，将经典力学中关于速度的连续描述与量子力学中离散的能级结构统一起来，为经典力学在量子领域的应用提供更全面的视角，促进经典力学与量子力学的深度融合。
（五）对经典物理现象的九章体系解释
1. 迈克尔逊 – 莫雷实验
– 实验结论：迈克尔逊 – 莫雷实验表明，光速在不同的惯性系里都是不变的，不存在“以太风”效应。
– 九章体系解释：从九章数学体系来看，光速c作为闭域内的相对无穷大f_极，它本质上是闭域拓扑性质产生的结果（和非阿基米德空间的超度量不等式有关）。在任何闭域里，因为闭域拓扑性质很稳定，所以f_极和参考系没有关系。这就意味着，不管在哪个惯性系下去观测，光速c都是一个常数，不需要“以太”这种东西作为传播介质来解释光速不变的现象。这样的解释从九章数学体系独特的角度，很简洁又深刻地说明了迈克尔逊 – 莫雷实验的结果。与传统对该实验的解释不同，九章体系从闭域拓扑和相对无穷的角度出发，为光速不变现象提供了一种全新的理解方式。这种解释不仅避免了引入“以太”这一假设，而且从更本质的数学结构层面揭示了光速不变的原因，有助于我们从统一的理论框架去理解经典力学与量子力学中与光速相关的现象，进一步拓展了经典力学在解释物理现象方面的能力。
2. 质速效应的重新审视
传统相对论质速公式：传统相对论里，质速公式是m = m_0/√（1 – v²/c²），这个公式说质量会随着速度增加而变化。但是引入这个分母并没有特别充分的依据，只是因为传统对无穷的定义比较模糊，有点用无穷去证明无穷的感觉。大家广泛认可的东西不一定就是正确的。
九章体系解惑：九章体系根据自己的理论框架，不认同“质量随速度变化”这个假设。在九章体系里，认为质量m是闭域内一个独立的物理量，它和速度的关系应该用狭义转换定理来描述。当v趋近于c的时候，按照九章体系的理论，m还是一个常量。有质量粒子加速到光速c所需要的能量是无穷大，在九章体系里可以解释成闭域内f_和⊙f_极 = 1的测度归一化约束，并不是质量本身发生了变化。这种观点重新审视了传统的质速效应，为我们理解质量、速度和能量之间的关系提供了新的思考方向。九章体系的解释，从其独特的数学结构和相对无穷理论出发，对传统质速效应进行了反思。它提供了一种不同于传统相对论的视角，强调质量在闭域内的独立性，通过狭义转换定理来理解质量、速度和能量的关系，为经典力学在处理高速运动物体的质量、速度和能量问题上提供了新的思路，有助于我们在经典力学的框架内更合理地探讨这些物理量之间的关系，同时也为经典力学与量子力学在相关问题上的交流和融合提供了新的观点。
传统相对论质速公式：传统相对论里，质速公式是m = m_0/（√（1 – v^2/c^2）），该公式描述了质量会随着速度增加而变化。从传统理论推导来看，它基于洛伦兹变换以及对时空相对性的理解。然而，深入分析会发现其中存在一些值得商榷的地方。 首先，引入√（1 – v^2/c^2）这个分母的依据并非坚如磐石。在传统推导过程中，虽然从数学形式上构建了与光速c相关的表达式，但对于为何采用这样的形式，其深层次的物理意义和数学严谨性在一定程度上依赖于对无穷概念的传统理解。传统对无穷的定义相对模糊，这使得在推导过程中，从某种程度上像是用一种模糊的无穷概念去证明另一个涉及无穷的结论，存在逻辑上不够清晰明确的问题。 其次，从数学运算角度看，九章数学体系提出了有力的质疑。在九章数学体系中，已经证明c等价于相对无穷大f_{极}，进而v^2/c^2= v^2/f_极= v^2/∞。在九章数学体系的规则下，禁止无穷直接参与运算，因为这是众多悖论的根源。在传统数学中，当我们处理v^2/c^2时，尤其是当v趋近于c，分母等价于∞，整个表达式会陷入一种看似合理但实际上隐藏着逻辑困境的状态。例如，在一些极限运算中，对v^2/c^2在v → c时的处理，就是∞/∞的未定式！ 在传统理论里，当v无限接近c时，v^2/c^2无限接近1，分母1 – v^2/c^2无限趋近于0，从而导致质量m趋近于无穷大。但这种基于传统无穷概念的推导，忽略了运算过程中无穷所带来的不确定性和潜在矛盾。比如，在某些思想实验或者理论延伸中，这种处理方式可能会导致与其他物理原理或者逻辑原则相冲突的结论。 而九章数学体系基于其独特的理论框架，对这种情况有着不同的看法。在九章体系里，认为质量m是闭域内一个独立的物理量，它和速度的关系应该用狭义转换定理来描述。该体系强调物理量的定义和运算都应在有界闭域内进行，避免传统无穷概念带来的困扰。当v趋近于c的时候，按照九章体系的理论，m还是一个常量。因为在九章体系中，有质量粒子加速到光速c所需要的能量是无穷大，这可以解释成闭域内f_{和} ⊙f_{极} = 1的测度归一化约束，并不是质量本身发生了变化。 这种观点重新审视了传统的质速效应，为我们理解质量、速度和能量之间的关系提供了新的思考方向。九章体系的解释，从其独特的数学结构和相对无穷理论出发，对传统质速效应进行了反思。它提供了一种不同于传统相对论的视角，强调质量在闭域内的独立性，通过狭义转换定理来理解质量、速度和能量的关系，为经典力学在处理高速运动物体的质量、速度和能量问题上提供了新的思路，有助于我们在经典力学的框架内更合理地探讨这些物理量之间的关系，同时也为经典力学与量子力学在相关问题上的交流和融合提供了新的观点。
（六）结论
通过先全面深入地证明速度有界性，我们为用九章数学体系解读和证明“fxl光速定律”打下了坚实的基础。九章数学体系利用相对无穷的可达性、定义域约束等核心理论，成功地把光速c定义成有界物理闭域内的相对无穷大态f_极。这个理论不需要依赖“绝对时空”或者“质速效应”这些传统概念，而是通过把构造性数学和物理实际结合起来的方式，直接证明了光速的不可超越性，为经典力学和量子理论的统一提供了一种新的模式。核心逻辑链就是：相对无穷小质量(f_和 )通过狭义转换定理得到相对无穷大速度(f_极 = c)，再经过闭域约束得出光速不可超越。
这个证明过程突出了九章体系“以域限术”的构造性优势，避免了传统无穷公理带来的逻辑困境，给物理学基本规律提供了更简洁、自洽的数学基础，很有希望为物理学的进一步发展开拓新的道路。从更广泛的意义上说，九章数学体系对经典力学的拓展，不仅仅局限于对光速定律的证明，而是为整个经典力学在量子力学及其他物理领域的应用提供了一种新的范式。它使得经典力学在面对微观世界的复杂现象时，能够借助九章体系的独特视角和方法，实现与量子力学的更好衔接，为物理学的统一理论构建提供了一个有价值的探索方向。这种拓展不仅丰富了经典力学的内涵，而且为我们理解宇宙的基本物理规律提供了更强大的理论工具，引领我们在探索物理世界奥秘的道路上不断前行。
综上所述，九章数学体系以其独特的视角和创新的理论，对经典力学进行了多方面的拓展与深化。从对牛顿理论的重构，到万有引力新图景的构建，再到“fxl光速定律”的证明与阐释，无一不是在肯定经典力学伟大成就的基础上，为其注入新的活力与内涵。尽管九章数学体系的下篇因涉及国防暂未公开，但仅从已展现的内容来看，它已经为经典力学与量子力学的衔接提供了富有前景的方向。其通过引入相对无穷理论、定义域约束原则以及跨体系桥接公式等核心要素，成功解决了传统经典力学在微观与宏观层面面临的诸多困境，为物理学的发展带来了新的思路与可能。我们有理由相信，九章数学体系有望在未来进一步推动经典力学的发展，助力物理学向更深层次的统一迈进。
参考文献:
[1]甲 郭书春. 《九章算术译注》[M]. 上海：上海古籍出版社，2010.
[2]乙 孙子算经 [M]. 李淳风注。南宋鲍澣之刻本。上海图书馆藏.
[3]丙 华罗庚. 《数论导引》[M]. 北京：科学出版社，1957.
[4]丁 陈景润. 《初等数论Ⅰ》[M]. 北京：科学出版社，1978.
[5] Bosch, S. Lectures on Formal and Rigid Geometry[M]. Springer, 2014.
[6] Escassut, A. Ultrametric Functional Analysis[M]. AMS, 2003.
[7] Gouvêa, F. Q. p – adic Numbers: An Introduction[M]. Springer, 1997.
[8] Halmos, P. R. Measure Theory[M]. New York: Springer – Verlag, 1974.
[9] Koblitz, N. p – adic Numbers, p – adic Analysis, and Zeta -Functions[M]. Second Edition, Springer, 1984.
[10] Robert, A. M. A Course in p – adic Analysis[M]. Berlin: Springer, 2000.
[11] Schikhof, W. H. Ultrametric Calculus[M]. Cambridge: Cambridge University Press, 1984.
[12] Scholze, P. (2012). Perfectoid spaces. Publications mathématiques de l’IHÉS, 116, 245 – 313.
[13] van Rooij, A. C. M. Non – Archimedean Functional Analysis[M]. New York: Marcel Dekker, 1978.
[14] Vladimirov, V. S., & Volovich, I. V. p – adic Analysis and Mathematical Physics[M]. World Scientific, 1994.
[15] 高卫东, 王立东, 薛玉梅. 非阿基米德分析中的积分理论[J]. 《数学研究与评论》, 2003, 23(2): 255 – 262.
[16] 李文林. 《数学史概论》[M]. 第 3 版. 北京: 高等教育出版社, 2019: 256 – 260.
[17] 华东师范大学数学系. 《数学分析》[M]. 第 4 版. 北京: 高等教育出版社, 2010: 58 – 62.
[18] 孙广仁, 黄立萍, 陈培慈. 《非阿基米德分析》[M]. 北京: 科学出版社, 1998: 35 – 42.
[19] 熊金城. 《点集拓扑讲义》[M]. 第 4 版. 北京: 高等教育出版社, 2011: 45 – 50.
[20] 张景中. 《从数学教育到教育数学》[M]. 北京: 中国少年儿童出版社, 2017: 121 – 130.
[21] (苏联) 菲赫金哥尔茨, Г . М . 《微积分学教程: 第一卷》[M]. 第8 版. 北京: 高等教育出版社, 2006: 75 – 82.
[22] Bosch, S. Non – Archimedean Geometry and Analysis[M]. Springer, 2017.
[23] Bohm, D. Quantum Theory[M]. Prentice – Hall, 1951.
[24] Hawking, S. W., & Ellis, G. F. R. The Large Scale Structure of Space – Time[M]. Cambridge: Cambridge University Press, 1973.
[25] Kedlaya, K. S. p – adic differential equations[M]. Cambridge, 2010.
[26] Khrennikov, A. Yu. p – adic Probability Theory[M]. Springer, 1997.
[27] Lang, S. Introduction to Non – Archimedean Spaces and Their Geometric Properties[M]. Springer, 1983.
[28] Monna, A. F. Non – Archimedean Functional Analysis[M]. Springer – Verlag, 1973.
[29] Mumford, D. (1972). An analytic construction of degenerating curves over complete local rings. Compositio Mathematica, 24, 129 -174.
[30] Russell, B., & Whitehead, A. N. Principia Mathematica[M]. Cambridge: Cambridge University Press, 1910 – 1913.
[31] Schikhof, W. H. Ultrametric Calculus: An Introduction to p -adic Analysis[M]. Cambridge: Cambridge University Press, 1984.
[32] Schikhof, W. H. Ultrametric Calculus: An Introduction to padic Analysis[M]. Cambridge: Cambridge University Press, 1984.
附录部分
附录 A：𝓜𝟔 ≍命题六：相对无穷大函数与相对无穷小函数在有界闭球Qₚ中的绝对收敛性证明
在非阿基米德体系下，我们要证明相对无穷大函数和相对无穷小函数的绝对收敛情况。下面为你详细说明证明过程。
相对无穷大函数的绝对收敛证明
我们先看相对无穷大函数。之前提到的一些命题为我们的证明提供了基础。比如有个命题说传统的无穷边界达不到，但相对无穷的边界能达到，这让我们可以从这个角度去思考函数在非阿基米德体系里的表现，进而研究它的收敛性。还有个命题提到，在某些区间里，相对无穷大会变成经典无穷大，相对无穷小会在实数范围内取值并遍历数轴，这对我们从经典无穷大的收敛情况，来推导相对无穷大函数在这个体系下的收敛性很有帮助。
在非阿基米德体系中，相对无穷大函数是这样定义的：有一个函数，它从Qₚ这个区域映射到实数集R，在某个点c的位置，不管给出一个多大的正数，都能找到另一个正数，只要函数里的变量x和这个点c的距离在一定范围内，那么函数值的绝对值就会大于之前给出的那个正数。
为了证明它的绝对收敛性，我们要对Qₚ这个区域进行积分。我们把Qₚ划分成好多有界闭球。对于每个有界闭球，因为函数符合相对无穷大函数的定义，所以在这个闭球里，函数值会有一个特点，就是它的下限会朝着正无穷大的方向发展。我们知道，对于特定半径的闭球，它有对应的测度值。根据测度和积分的计算性质，把每个闭球的测度和函数值下限相关的量相乘再相加，结果会趋向于正无穷大。这也就意味着在每个闭球上对这个函数积分，结果是正无穷大。
又因为Qₚ是由这些闭球组合起来的，根据积分的可加性，对整个Qₚ区域积分的结果也是正无穷大。虽然积分值是正无穷，但从相对无穷大函数的定义以及非阿基米德体系的特点来看，这种情况在这个体系里是符合规则的，就好像是一种特殊的“收敛”状态，因为它的行为是被这个体系的规则决定和限制的。
相对无穷小函数的绝对收敛证明
接着看相对无穷小函数。同样有一些命题对证明有帮助。比如有命题表明，在同一个区间里，相对无穷小和相对无穷大是严格分开的，相对无穷大总是大于相对无穷小，这能帮我们确定相对无穷小函数在非阿基米德体系里的取值范围和特性，进而证明它的收敛性。还有命题提到相对无穷在数轴上取值的一些限制，这和相对无穷小函数在有界闭球里的表现有关，对分析它的积分收敛性有指导意义。
相对无穷小函数的定义是：在Qₚ的有界闭球里，当函数里的变量x靠近球内某个点c的时候，函数值的绝对值会趋近于0。也就是说，不管给出一个多么小的正数，都能找到另一个正数，只要变量x和点c的距离在一定范围内，函数值的绝对值就会小于给出的那个很小的正数。
我们还是像刚才那样把Qₚ划分成好多有界闭球。对于对整个Qₚ区域关于这个函数的积分，它等于各个有界闭球上积分的总和。在每个有界闭球里，因为函数符合相对无穷小函数的定义，所以对于任意给定的很小的正数，总能找到一个数，当满足一定条件时，在特定半径的闭球里，函数值的上限会小于等于给定的那个很小的正数。已知这个闭球有对应的测度值，根据积分的性质，在这个闭球上的积分会趋近于一个有限的小值。
又因为Qₚ是由这些闭球组成的，根据积分可加性，对整个Qₚ区域积分，由于每个闭球上的积分都趋近于有限小值，所以总的积分值是有限的。这就证明了相对无穷小函数在非阿基米德体系下是绝对收敛的。
总结一下，在非阿基米德体系下，相对无穷大函数虽然积分值是正无穷，但符合这个体系的特性，可以看作是一种特殊的“收敛”；相对无穷小函数是绝对收敛的。
附录B：D₍ₐ₃₎桥接公式在非阿基米德体系下的证明
对于相对无穷大函数和相对无穷小函数，非阿基米德体系和我们平常熟悉的阿基米德体系有本质区别。在非阿基米德体系里，一些积分之间不再有等价关系，所以原本的D₍ₐ₃₎桥接公式变成了两个式子。结合跨体系测度映射定理，这两个式子分别涉及相对无穷大函数和相对无穷小函数的积分，并且和非阿基米德空间的测度以及实数轴的划分有关。
正半轴证明：相对无穷大函数
根据前面附录A里关于函数绝对收敛性的结论，相对无穷大函数在非阿基米德体系下的积分虽然是发散的，但在这个体系里是合理的。我们来看看实数轴正半轴的情况，把正半轴划分成好多闭区间，每个闭区间都和非阿基米德体系里的一个有界闭球相对应。
因为存在跨体系测度映射定理，所以实数区间的测度和非阿基米德体系里对应部分的测度是一样的。这样，正半轴关于相对无穷大函数的积分就可以用这些闭区间上的积分和来表示，并且和非阿基米德体系里的测度相关。随着划分的闭区间越来越多，其中一个和函数值下限相关的量会趋近于无穷大，这就使得整个积分总和是发散的。不过在非阿基米德体系里，这种发散是被体系内的某种结构限制的，和相对无穷大函数的定义是相符的。
负半轴证明：对称性与测度平移
利用非阿基米德体系里Qₚ的对称性，我们可以把负半轴的积分通过一种平移变换，转化成正半轴的积分问题。这是因为存在一个测度平移不变性公理，保证了这种变换的合理性。
全局D₍ₐ₃₎：相对无穷大函数的结合正负半轴结果
把正负半轴的积分结果结合起来，就得到了整个数轴上相对无穷大函数的积分表达式。根据跨体系测度映射定理，这个表达式对应的是非阿基米德直积空间的发散积分，而这种发散是由相对无穷大函数自身的局部行为导致的。
收敛性与体系特性：相对无穷小函数
相对无穷小函数的积分和阿基米德体系里的一种积分是一样的，这验证了跨体系测度映射是正确的，从而也就证明了D₍ₐ₃₎桥接公式。
通俗版完（专业版为付费内容）
