第三十五章　空间与场：
连接、度量和几何结构的发生

35.1 相邻与可达怎样转为连接规范

一组点并没有自动带来一种空间。哪些点相邻，允许沿什么方向移动，怎样比较两点之间的远近，都需要关系规定。把点画在纸上，只提供一种视觉显露；若研究交通、依赖或信息通道，纸面的直线距离未必就是对象所需的距离。数学的场态研究从这种差异开始。

先取一个有限无向图。顶点是当前辨认的单位，边表示允许直接通行。路径是由相邻顶点组成的有限序列，允许零步路径。局部相邻通过有限连接产生可达，这已经在前文证明了自反、对称、传递。所有顶点因此被组织成连通部分，每个部分内部具有相互可达关系。

这个构造说明，整体空间关系可以由局部生成操作建立。但它不意味着任何整体都仅由两两边决定。若移动还受到容量、时间或共同资源限制，就需要把这些条件加入。当前图模型研究的是不带额外冲突的通行关系，不能因为图易画，就把复杂E全部压成边。

相邻与可达也不能混称。相邻是直接一步，路径可达允许中间承接。一个点可以与另一个点同属一个连通部分，却相距许多步。若把连通部分中的所有点都画成直接相邻，就改变了后续的距离与成本。结构压缩可以有用，但必须保留被压缩的关系信息。

为了从连接进入度量，需要给每条边一个代价。代价可以是单位步数，也可以是明确规定的长度或时间，但不同含义需要不同测量条件。路径代价定义为沿途边代价之和。这个加法规定本身就是一项生成承诺：我们暂时认为各段代价能够顺序相加，不存在共享折扣或额外等待。

在这个条件下，两段路径连接，其代价等于两段代价之和。若现实任务不满足这种可加性，模型需要修改。数学没有要求现实必须可加，而是说明在选择可加结构以后可以得到什么。发生性认知使这种选择显露，避免把模型规定误当成世界自动提供的事实。

三原理在这里可以组织从相邻到度量的转变。已有连接与实际通行代价之间出现张力，促使距离作为新显露；新的距离要求改变比较序列，不再只看有没有边，而要搜索路径；E则加入代价组合和选择规则。空间对象由此在关系重构中发生，而不是从点的外观直接读出。

需要保留一个重要边界：如果两个点不在同一连通部分，就没有有限通路。可以把距离记为无穷，也可以只在各连通部分内部定义通常有限距离。这两种表达服务于不同任务。不能为了让表格每格都有普通数字，就凭空填入一个没有发生依据的距离。

35.2 距离怎样被定义和比较

在所有从x到y的允许路径中，取代价最小的一条，其代价定义为d(x,y)。对于有限图且边代价非负，任何有重复绕行的路径都可以去掉某些回环而不增加代价，因此可以在有限条简单路径中寻找最小值。这个条件保证当前构造的最小距离能够获得明确意义。

举一个三点例子。甲乙之间直接代价为三，乙丙之间为四，甲丙之间直接代价为十。甲到丙可以直接付出十，也可以经乙付出七，所以最短路径距离为七。原始边上的十不是错误记录，它表示直接连接代价；距离则是把全部允许路径纳入以后形成的新关系。两个数字对应不同对象。

这个例子显示，距离不是只把已有数字抄到矩阵里。搜索与比较的D，使不同通路之间的纠缠进入整体，新的S才显露为七。若不允许经过乙，距离又会变成十。通行规则改变，数学对象的具体内容也改变，因此距离必须带着其发生条件理解。

数值的单位同样重要。若边权全部从米改为厘米，所有路径代价与最短距离都按同一正比例变化，哪些路径更短通常保持。若有的边用米、有的边用分钟，却直接相加，模型就没有统一量纲。即使计算程序能运行，结果也未必具有所说意义。符号可计算不等于知识可成立。

也可以不把边权解释为物理长度，而把它定义为某种任务成本。此时需要说明成本如何组合、是否具有非负性、是否允许不同资源折算。一个综合评分可能用于选择，却不自动成为几何距离。名称应当与已经证明的性质相称，而不是所有数字矩阵都叫距离。

比较距离时还可以研究保持关系的变换。统一乘以正数，保留零、对称与三角不等式；随意对每条距离应用非线性函数，则未必保留同样性质。以平方为例，在一条三点直线路径上，两个相邻距离都为一，端点距离为二；平方后端点距离为四，却大于两段平方距离之和二。新的数字不再满足原三角关系。

这个反例使尺度选择的后果清楚显露。数值变换不是只改变显示方式，它可能改变结构公理。若研究者希望保留某些性质，就要检查变换是否保持它们。数学基础知识因此包括对表示变化的敏感，而不只是对原公式的熟练。

在教学中，可以让学习者先计算直接边权，再计算最短路径距离，最后比较二者。随后改变一条边，观察哪些距离跟着变化、哪些保持。局部改变怎样引发整体调整，是场态发生最直接的入口之一。这里的学习目标不是多做一张表，而是看见整体关系如何由连接与路径共同规定。

35.3 几何规定如何组织整体结构

现在逐项证明最短路径距离的基本性质。零步路径的代价为零，所有边代价非负，所以d(x,x)=0。无向边允许反向通行且代价相同，任何x到y的路径都可以反向成为y到x的同代价路径，因此d(x,y)=d(y,x)。这两个性质来自具体生成条件，而不是从“距离”一词直接得到。

三角不等式来自路径连接。选择x到y的一条最短路径，再选择y到z的一条最短路径，连接后得到x到z的一条允许路径，代价为d(x,y)+d(y,z)。而d(x,z)是所有允许路径中的最小代价，因此它不大于这条特定路径的代价。于是d(x,z)≤d(x,y)+d(y,z)。

要使不同点距离严格大于零，还需要进一步条件。若每条边代价都严格正，并且图有限，则不同点之间任何简单路径都具有正代价，有限个候选中的最小值也为正。这样，在一个连通部分上得到通常度量。若允许零代价边，不同点之间可能距离为零，此时得到的是允许零距离不同点的较弱结构。

这种较弱结构并非毫无价值。它表示当前代价尺度无法区分某些对象。可以把零距离的点视为等价：自反和对称来自已有性质，传递则由三角不等式得出，因为零加零仍为零。将这些点压成等价类后，可以在类之间建立真正区分不同类的距离。

类间距离需要检查定义良好。若x与x′距离为零，y与y′距离为零，三角不等式给出d(x,y)≤d(x,x′)+d(x′,y′)+d(y′,y)=d(x′,y′)；反向同理，所以两者相等。选不同代表不会改变类间距离。符号学中的单位重建、逻辑中的承接与数学中的度量，在同一证明中接合。

若图具有方向，对称性可能失效，但某些其他性质仍可保留。若边权允许负数，无向负边可以被往返重复，形成任意低的路径代价，最小距离便可能不再是有限值。每一种失败都对应具体生成条件，而不是说明全部距离理论崩溃。公理逐项检查，使研究者知道该修改哪里。

本书对三点完全图的六十四种零到三整数边权进行了有限检查。三十种原始边权不满足三角不等式，但最短路径构造后的结果都满足相应三角关系；其中二十七种形成区分不同点的度量，三十七种因存在零代价连接而只能形成上述较弱结构。[16]这些计数仅用于核查构造与实现，一般理由已经在正文证明。

这项结果把公理发生的桥梁具体展示出来。零路径、反向路径、连接操作、非负代价与最小选择，分别支持不同性质。三原理帮助我们从失配中寻找这些条件，符号化使条件可表达，逻辑化使性质可证明。没有任何一项可以被“数学当然如此”替代。

35.4 同一材料怎样支持不同场态构型

同一组点可以支持多种距离。只看纸面直线距离是一种选择，沿允许道路的最短距离是另一种选择，按不同资源成本建立的距离又可能不同。数学创造的一部分，是根据问题重建合适的连接与度量，而不是默认只有一种自然几何。

考虑一个中心点O和三个叶点A、B、C，每条中心到叶点的边长为一，叶点之间没有直接边。最短路径度量中，中心到每个叶点距离为一，任意两个叶点之间距离为二。这个度量满足前节证明的性质，却不能作为四点通常欧氏距离完整实现。

理由可以直接说明。如果在欧氏空间中，OA与OB都长一，而AB长二，那么三角不等式取等号，A与B必须处在经过O的相反方向。同理，A与C长二要求C也在A的相反方向且距O为一，因此C与B重合。但原度量要求BC为二，矛盾。这里说明的是给定四点距离不具有该欧氏实现，而不是否认它作为路径度量的合法性。

这个例子具有重要的基础教育意义。学生可能把“距离”天然等同于尺子在平面上量出的直线长度，因而认为不符合这种图像的结构就是错误。发生性认知则帮助他区分：某组公理支持的是哪类距离，额外的欧氏实现要求又增加了什么条件。数学的多样性不靠任意想象，而靠不同结构承诺。

造网任务也应当保持这个层次。把散点连成一张新网络，可以产生新的实例和新的操作方案，但不自动产生新的数学理论。若提出新的连接原则、证明其结构性质或显示旧原则无法表达的对象，才进一步接近理论创新。实例的新颖与规则的新颖，需要分别评价。

在SDE框架中，同一材料的不同场态可以通过六路径进入。由已有连接改变差异序列，可以显露新的距离；由期望距离反向设计连接，可以形成新的网络；由操作失败重建成本关系，可以改变E。三原理则使这些改变有明确触发与回写，而不是随意换图。

三界中的应用也需要保留差异。现实通路的距离可以依靠测量，理念结构的距离可以由定义研究，自我判断中的远近可能只有次序而没有等距尺度。不能因为都说“近”，就把同一度量公理强加给全部内容。下一章将专门处理这种跨界表达的条件。

把被遗漏的状态写进空间，恢复可接续性

固定预算为什么会破坏简单传递性，还可以从空间对象的选择解释。若只把地点作为节点，甲能到乙与乙能到丙可能分别使用了同一份完整预算，直接把两次成功接起来就会重复使用资源。这里的失配不是“路径不能相接”这个抽象结论，而是节点名称没有保存到达乙时还剩多少资源。相同地点被当成同一状态，掩盖了能够继续发生什么的区别。

可以建立一个扩展对象域。把节点写成“地点与剩余步数”的组合，剩余步数从零到某个固定上限B。每沿原图一条允许的边前进，剩余步数减一；只有剩余步数至少为一时才允许这个动作。于是，从(甲,B)到达(乙,b)以后，下一段路径必须从同一个(乙,b)出发，而不能偷偷重新从(乙,B)开始。预算没有被补充，只是此前隐藏的条件进入了符号单位。

在这个扩展图中，允许零步和合法路径接合，通常的可达关系仍具有自反与传递。证明的关键与此前相同：两个见证路径必须端点完全匹配，而端点现在包含剩余预算。原来丢失的承接条件已经由对象身份承担，因此组合不会凭空恢复资源。若再把剩余步数投影掉，只问两个地点之间是否存在某次预算内通行，过强传递推断仍可能重新出现。投影与组合不一定相容，这是对象粒度造成的知识问题。

这个构造产生三种互依变化。符号学上，“在乙”被细分为“以某个剩余条件到达乙”；逻辑学上，下一步的许可由完整端点决定；数学上，空间从地点集合扩展为地点与资源状态的关系整体。三原理的回写因此不是只给旧图增加说明，而是改变了可作为单位的对象与可合法承接的路径。

扩展对象也有代价。预算上限越大，状态数量越多；资源有多个维度，组合域还会继续扩大。不能把所有差异都无限写入状态，声称这就是最好的模型。研究者要决定哪些差异直接影响后续许可，哪些可以可靠封装。新空间的价值，是以足够的区分恢复必要关系，而不是以最大的表格取代判断。

本章完成了第三组公理发生重构：从路径与代价的具体生成，推到距离性质，并通过方向、零边、负边和非欧氏实现等边界显示额外条件的作用。数学公理不再只是现成结果，而成为可以沿着发生关系重新进入的知识。它们也由此成为创造新结构时可主动使用和修订的根基。

章末来源与论证身份

[4]数学场态与公理发生总纲。[16]加权三点图的有限检查。最短路径性质、零距离商结构与四点星形非欧氏实现均在正文给出论证；使用通常非负数、有限图和欧氏几何的基础性质作为公开背景。

本次增厚中的构造、条件分析与教学材料为本书的进一步展开，不作为三篇理论底本已经给出的结论。[18]提供相应有限构造的复核；一般性论证仍以正文所列前提与证明为准。