通过移动空间对测地线的代数研究 Jorge Pereira Fatelo 和 Nelson Martins-Ferreira

《Axioms》：An Algebraic Approach to Geodesics via Mobi Spaces Jorge Pereira Fatelo and Nelson Martins-Ferreira

　　摘要 作者提出了“Mobi空间”这一概念，作为对这样一种空间的代数公理化表述：在该空间中，任意两点都可以通过一条测地线路径相连。以往的研究主要集中在这些结构的代数性质上；在这里，我们回归到最初的几何动机。我们基于一类重要的平滑流形特性——这些流形是具有黎曼度量的欧几里得（n）空间中的开子集——提出了Mobi空间的新特征描述。我们证明了这类流形满足Mobi空间的公理，从而提供了大量自然的几何实例。

1. 引言
Mobi空间的概念[1,2,3]最初被提出，旨在用代数框架来捕捉这样一个空间的行为：在该空间中，任意两点都可以通过一条测地线路径相连。其核心思想是通过Mobi代数的元素参数化的代数插值运算来编码一个点位于另一个点之间的位置关系，其中Mobi代数是对单位区间的抽象。这样，沿着两点之间的路径移动的几何直观就可以完全用代数术语来表达。以往的研究主要集中在Mobi代数和Mobi空间的代数方面，包括它们的公理性质以及与其他代数结构的关系[1,2,3]。然而，引入Mobi空间的初衷是出于几何原因，即为了为具有测地线路径的空间提供一个代数模型。本文的目的是进一步发展这一几何视角。我们基于欧几里得n空间中带有黎曼度量的平滑流形（作为测地线的开子集）的特性，提出了Mobi空间的新特征描述。在第3节和第4节中，我们展示了这些实例满足Mobi空间的公理，从而为该理论提供了一类自然的几何模型。

2. 移动性代数与移动空间
在本节中，我们回顾了Mobi代数[1]和基于Mobi代数的Mobi空间[2,3]的定义。Mobi代数的设计目的是为了模拟单位区间及其仿射结构（由运算给出），以及一些特殊的常数。而Mobi空间则旨在模拟这样一个空间X：在该空间中，任意两点都可以通过一条由底层Mobi代数的元素参数化的测地线路径唯一地连接起来。

定义1. Mobi代数是一个系统，其中A是一个集合；p是A上的一个三元运算；0、1和2是A中的特殊元素，满足以下公理：
(A1) ;
(A2) ;
(A3) ;
(A4) ;
(A5) ;
(A6) ;
(A7) ;
(A8) ;
带有这些元素的Mobi代数被称为标准Mobi代数。任何单位环R，如果其中元素1是可逆的，也是Mobi代数的一个例子。其他Mobi代数的例子可以在[1]中找到。例如，在[1]中的一个Mobi代数例子是[具体例子内容未提供]，它包含三个常数[具体常数内容未提供]。

基于Mobi代数的移动空间（或称为Mobi空间）被定义为满足以下条件的一对(a, b)：
定义2. 设a是一个Mobi代数。一个A-Mobi空间由集合X和一个映射f组成，满足以下条件：
(M1) f(x, y) = g(y, x);
(M2) f(x, z) = f(z, x);
(M3) f(x, f(y)) = f(y, f(x));
注意，在[2]中，Mobi空间最初还引入了一个额外的公理：(1) f(x, y) ≠ f(y, x)。然而，这个性质可以从其他公理中推导出来。实际上，利用(M1)、(M3)和(M1)可以得出这个结论。标准Mobi代数上的标准Mobi空间可以通过选择适当的参数值x和y来获得。空集是任何Mobi代数上的一个平凡的Mobi空间示例。一个包含单个点x并且具有某个运算的空间也是任何Mobi代数上的一个平凡示例。

3. 通过抽象映射来描述Mobi空间
我们首先介绍一些通用结果，这些结果可以利用集合和映射来构造Mobi空间，如下述命题1所述。为了直观理解其背后的代数原理，请记住标准Mobi代数是由实数区间以及相应的三元运算定义的。之后，我们将这些通用结果应用于特殊情况，比如U是向量空间V的开子集，映射f是恒等映射，并且f将U中的每对点映射到一个向量v，使得沿着v的方向移动会从x到达y。在这种情况下，映射h可以作为相应初值问题的（唯一）解得到。

命题1. 设a是一个Mobi代数，考虑集合X和映射f，满足以下条件：
(a) 对于每一个x属于X，存在a(x, y)和b(y, x)使得f(a(x), y) = f(y, a(x));
(b) 对于所有的x, y属于X，f(a(x), y)满足某种关系；
(c) 对于每一个x, y属于X，f(x, f(y))满足某种关系。
那么，公式f(x, y) = f(y, x)定义了一个A-Mobi空间。

证明。首先，为了证明公理(M1)，我们需要考虑X中的任意两个元素x和y。在假设(a)下，我们可以自由地选择a(x)和b(y)。对于任意x属于X，根据定义q，f(a(x), y)与f(y, a(x))是相同的。因此，根据(A4)和(A5)，可以得出f(x, y) = f(y, a(x))。为了证明(M2)，假设存在x和y满足f(x, y) = f(y, a(x))，根据定义q，我们可以得到f(x, y) = f(y, f(x))。由此，假设(b)可以推出f(x, y) = f(y, f(x))。利用已经证明的公理(M1)，可以得到所需的等式。最后，为了证明(M3)，取任意x和y，定义相应的映射f，根据定义q，条件(2)正好就是公理(M3)。

推论1. 设a是一个Mobi代数，考虑集合X和映射f。那么，公式f(x, y) = f(y, x)定义了一个A-Mobi空间，如果满足以下条件：
(a) 对于每一个x属于X，存在a(x)和b(y)使得f(a(x), y) = f(y, a(x));
(b) 对于所有的x, y属于X，f(a(x), y)满足某种关系；
(c) 对于每一个x, y属于X，f(x, f(y))满足某种关系。

4. 测地空间作为Mobi空间
在本节中，我们分析了作为欧几里得n空间开子集得到的空间，在这些空间中任意两点之间的测地线路径是唯一的（或者可以唯一选择一个）。我们展示了每个这样的空间都对应一个Mobi空间。对于当前的讨论，我们只关注n维向量空间的开子集；然而，同样的原理也适用于抽象的黎曼流形[4]，我们计划在未来的工作中进一步探讨这一点。我们的目标是说明具有测地线的空间形成了一类自然的Mobi空间实例。

让我们以n维向量空间V的一个开子集为例，考虑一个映射f，满足某些条件。在这种情况下，具有测地线的空间就是一个Mobi空间。为了更直观地理解，回想一下标准Mobi代数是由实数区间及其三元运算定义的。之后，我们将这些通用结果应用于特定情况，例如U是向量空间V的开子集，映射f是恒等映射，并且f将U中的每对点映射到一个向量v，使得沿着v的方向移动会从x到达y。在这种情况下，映射h可以作为相应初值问题的（唯一）解得到。

4. 测地空间作为Mobi空间
在本节中，我们分析了作为欧几里得n空间开子集得到的空间，在这些空间中任意两点之间的测地线路径是唯一的（或者可以唯一选择），并展示了每个这样的空间都对应一个Mobi空间。对于当前的讨论，我们仅关注n维向量空间的开子集；然而，同样的原理也适用于抽象的黎曼流形[4]，我们计划在未来的工作中进一步探讨这一点。我们的目标是要说明具有测地线的空间形成了一类自然的Mobi空间实例。确实，因此，可以使用（12）重新表述为。所需的等式随后根据初始条件的解的唯一性得出，如条件（15）中所表达的。□引理2。考虑一个初始值问题，如所述，具有唯一解h，并假设存在一个映射，使得对于每个，都有（21）。那么，以下两个条件是等价的：(a)；(b)具有该性质的映射β是唯一的。此外，我们总是有证明。假设条件成立，如果存在另一个具有相同性质的映射，比如说，那么对于每个，我们有现在，从可以立即得出。相反，假设给定任何和，用表示和。我们现在考虑并观察到，因此，根据的唯一性，我们得到这结束了证明的第一部分。对于剩余的部分，我们只需观察到如果，那么□引理3。考虑一个初始值问题，如所述，具有唯一解h。如果存在一个唯一的，对于所有，都有（22），那么我们有证明。一方面，的定义意味着另一方面，引理1的一个特例表明因此，的唯一性证明了（22）。□定理2。考虑一个初始值问题，如所述，具有唯一解h，对于该解存在一个唯一的，使得成立。那么，结构与是在上的一个流动空间，其中证明。为了证明这个定理，只需证明命题1的三个假设都得到满足。我们可以考虑和。(a)对于每个，存在，和，使得(b)对于所有的和，我们已经使用了引理2和当（18）也被使用时，引理1的一个特例的性质。因此，。(c)对于每个，和其中使用了引理1和3。□推论2。设是欧几里得空间中的一个开子集，被视为黎曼流形，在其中一条唯一的测地线连接任意两点。那么，是一个流动空间，其中表示沿从x到y的测地线的参数位置。证明。如果分别是度量的克里斯托费尔符号（参见[5]），那么初始值问题（13）中的函数具有形式并且因此满足（12）。任意两点之间存在唯一测地路径意味着定理2中的是唯一的。□作为推论2的一个简单例子，考虑一个对应于实函数f图形的空间X，该函数对于实变量f定义，对于，其导数由给出，因此，该函数是严格递增的，其图形如下：空间由一维开子集参数化。因此，X上无穷小欧几里得距离的平方是我们可以从（23）得出，在曲线上，度量由给出，因此克里斯托费尔符号是（25）测地线的方程因此是以下：这个微分方程很容易求解，并且，对于任意的实数u和v，解可以写为使用命题1的符号，这个例子对应于以下集合和映射：注意，如果我们设置，也是个流动空间。作为另一个例子，考虑函数和，并验证初始条件如（13）中呈现的以下微分方程系统，对于某个实数k：那么，我们得到h、和q的以下表达式：我们的上一个例子是以下推论的应用，它表明任何具有唯一解的二阶微分方程通过引入一个额外维度可以生成一个流动空间。推论3。考虑光滑函数和，并且设和是关于变量的第一和第二导数。如果问题对于任何和，都有唯一解，并且，表示为那么是在上的一个流动空间，其中证明。考虑一个变量s，使得，并且用和表示关于s的第一和第二导数，并且让表示关于s的导数，我们得到和。很明显。解的唯一性意味着存在一个初始值问题（在初始值），例如，等同于。因此，可以应用定理2并证明了这个推论。□如前所述，例子（29）用说明了推论3。方程是一个临界阻尼谐振子的微分方程。注意，如果t不被视为一个额外维度，那么经典问题将是其解不满足流动空间的所有公理，但解（32）满足。注意在问题（29）中，和。作为推论3以及因此定理2的另一个例子，考虑函数，其中是一个常数。对于，方程是一维中的抛体方程。在这个例子中，有了和，我们得到涉及函数和的以下初始值问题的解：很容易看出存在一个唯一的，由给出。然后我们得到流动空间的三元运算，它由给出。这正是方程（11）中呈现的例子。5. 结论在本文的第3节和第4节中，我们开发了一个基于黎曼度量生成流动空间的框架。这种方法突出了基本原则如何统一了一系列示例，同时也阐明了当前公式化的局限性。这些局限性的一些例子是在第2节中呈现的流动空间。这些例子展示了框架的灵活性，并提供了其更广泛适用性的具体证据。这些考虑自然地指出了未来研究的几个方向。进一步研究几何结构与流动空间生成之间的相互作用可能会加深对框架及其潜在应用的理解。