第三十三章　集合、关系与映射：
对象边界和连接规则怎样成立

33.1 对象域与成员资格如何规定

说“把所有有关对象放在一起”，并没有完成集合的基础工作。什么算一个对象，哪些对象具有成员资格，重复出现是否增加成员，排列次序是否改变整体，都需要明确。数学的集合语言之所以有力量，正因为它把这些问题转为可以共同推演的规定；发生性认知则进一步追问这些规定如何建立。

本章先使用有限卡片清单作为原始材料。清单甲写“红、蓝、红”，清单乙写“蓝、红”。若任务关心出现次序或重复次数，两份清单不同；若任务只关心出现了哪些颜色，可以把它们视为同一个成员整体。这里不是发现两份清单天然相同，而是明确选择保留成员资格、舍去次序和重复次数。

定义两份清单等价，当且仅当每个标签在第一份出现与在第二份出现完全对应。把等价清单作为同一个有限集合的不同表示，就得到一个可以研究的对象。成员关系“a属于X”表示标签a在任一代表清单中出现。因为等价定义保留了出现与否，这个成员判断不依赖选择哪一份代表。

在这个构造中，两个集合如果具有完全相同的成员，就被辨认为同一个集合。这是外延式对象辨认的发生重构：同一性由成员资格决定，而不是由清单的书写历史决定。但我们必须承认，这个结果与一开始选择忽略次序和重复的规定直接相关。它不是仅凭“纠缠”一词就推出的无前提事实。

若任务需要记录次数，则应当保留多重性；若任务需要记录先后，则应当保留序列。三种对象都可以有清楚的数学结构，却具有不同同一性条件。把它们都粗略叫作“集合”，会在后续运算中造成错误。基础性知识不只教人使用一个名称，还要教人判断何时需要更换对象类型。

对象域也有任务边界。我们可以研究颜色标签的集合，也可以研究具体卡片的集合。两张同色卡片在前者中可能对应同一个成员，在后者中却是两个不同对象。若一会儿按颜色、一会儿按卡片计数，就会把层级变化误当成数学矛盾。成员资格必须与对象身份一起说明。

三原理在这里可以组织一项真实的概念重构。清单的不同排列与“颜色种类相同”的判断出现张力，促使新的集合对象显露；新的对象要求改变比较序列，不再逐位置比较，而比较成员资格；E则重建为忽略次序和重复、保留出现关系的整体。这个过程使集合公理的含义获得发生内容。

然而，有限清单构造不等于全部集合论。它只建立了一类有限对象及其辨认规则。任意无限集合、复杂层级与一般公理模式，需要另外的背景与论证。一个清楚的有限起点能够帮助理解基础，但不能因为容易操作，就被夸大为已经解决全部集合基础。

对教育而言，这个区别很有价值。学生可以先比较清单、袋状计数与集合三种对象，再学习它们的符号。符号不再是凭空规定的格式，而是为保留不同关系服务。数学的根知识由此表现为：知道对象同一性是怎样被规定的，以及这种规定会让哪些后果成立。

33.2 关系与映射的符号化

对象域明确以后，关系才有可定位的端点。设A与B是两个已经规定的对象域，一个关系可以用允许出现的有序对表达。把第一位置的对象与第二位置的对象区分开，使“谁指向谁”具有形式内容。若交换位置可能改变关系，次序就不能被忽略。

以卡片为例，“与另一张同色”是一个关系，“可以向另一张移动”又是另一个关系。两者可能在某些实例中重合，却不是同一个定义。关系的名称要与其成员条件对应，不能因为画出的边相同，就认为两种发生方式没有区别。外形相同可以隐藏不同的规则来源。

函数是在关系中增加明确的单值要求：对定义域中的每个对象，恰好指定一个值。这个要求同时包含存在与唯一。若某个输入没有值，是定义域或规则不完整；若有两个不同值，则当前关系不是单值函数。把这些情况都称为“函数有点模糊”，会妨碍后续推演。

函数的发生可以从任务需要理解。若每张卡片需要一个唯一库存编号，就要建立单值对应；若一个研究问题可以有多种合法解答，强行要求唯一输出可能丢掉对象内容。函数不是比关系更高级的万能形式，而是在某些条件下适用的特殊结构。三方程的具体化也必须尊重这一区别。

现在研究表达压缩后的映射。设原对象上有一种等价关系，目标对象上也有一种等价关系。我们希望先把对象压成等价类，再执行映射，结果仍然明确。必要条件是：原来等价的两个对象，经过映射以后仍然等价。否则，选择不同代表就会得到不同结果，等价类上的函数无法稳定成立。

这个条件也足以建立映射。对每个等价类任选一个代表，把它映到目标以后再取目标等价类；由于任意代表都给出相同目标类，定义不依赖选择。于是关系保持成为公共符号能够使用的基础。这里的证明很短，却直接说明为什么数学中的“定义良好”是一项实质发生条件。

举一个有限反例。把零、一、二、三按奇偶分成两类。定义f把零映为零，把二映为一，其余值任意指定。零与二在原分类中相同，却在目标的通常相等意义下不同，因此f不能只根据“偶数类”决定输出。若只保存奇偶信息，函数所需的差异已经被压缩掉。

这与前章转位签的横纵粗化具有相同的结构问题。表达层级一旦删除承重差异，后续关系就可能不再单值。发生性数学不只是发现公式算不出，而是能够定位到哪个对象辨认规则过粗。修订可以细化分类，也可以改变函数任务，二者需要分别说明。

映射组合又把局部关系带入整体。如果f把A映到B，g把B映到C，那么先f后g可以形成A到C的映射；若f的某些值不在g的定义范围内，组合就不能在全部A上成立。这个简单条件常常被漂亮流程图隐藏。数学通过定义域与值域，把“下一步能够接上”变成明确规范。

方程能否在新概念上成立：相容条件的必要与充分

前面关于映射的相容条件，可以进一步写成一个完整的小定理。设X是已经明确的对象域，q把X中的对象表达为概念类，并把q的实际像作为新对象域。设A是一项允许操作。我们希望存在新对象域上的操作Ā，使每个x都满足q(A(x))=Ā(q(x))。这意味着先做真实操作再表达，与先表达再按概念运算，能够得到同一个结果。

这样的Ā存在，当且仅当：只要q(x)=q(y)，就有q(A(x))=q(A(y))。必要性很直接，若两个输入已经是同一个概念类，Ā对这个类只能给出同一个结果。充分性也可以构造证明：对一个概念类c，取任意满足q(x)=c的代表，把Ā(c)定义为q(A(x))；相容条件保证换一个代表不会改变结果。由于新对象域就是q的像，每个类都有代表，所以操作在整个当前域上得到定义。

这项定理使符号学的稳定性获得一个明确的数学检验。概念不是只要拥有同一个名称就能进入同一种计算；概念的分类必须保留操作所需要的差异。如果这一点不满足，公式有时给出两个答案，并不必然是计算错误，而可能是概念粒子化过粗，使被折叠的差异重新在运算中显露。

取只由字母a组成的有限串，把“长度恰好为一”的串分为一类，把其他长度分为另一类。空串与两个a的串同在后一类。现在执行“在末尾添加一个a”的操作：空串变成长度一，两个a变成长度三，结果分属两类。因此，这种分类不能独自支持一个确定的添加运算。要修复，可以保留足够的长度信息，也可以限制任务只询问不会被当前操作打破的性质；不能给同一个类任意挑一个输出，然后宣布表达已经稳定。

这个例子还说明相容要求不是要求所有概念都变得极细。若改为按长度奇偶分类，添加一个a总会在奇、偶之间切换，分类就能支持当前操作。它没有保留完整长度，却保留了任务所需的组合关系。发生性的抽象不是无限保留，也不是任意舍弃，而是建立具有明确保持性质的选择。

三原理在这里可以形成一条实际研究路线：现有S把某些实例视为相同，操作D却显露它们具有不同后续，原E的辨认规范不能承接，因而需要改变概念分类或操作许可；新分类使方程在概念域上成为确定关系，又改变后续推演。这种共同修订，把新概念发生与数学公理发生接在同一个可证明关节上。

因此，关系和映射的基础性，在于它们使概念之间的连接可以被检查。它们不是只有数学家才会面对的抽象对象，而是任何公共知识表达中“什么对应什么、何时能继续”的根问题。发生学将这些问题重新接回对象与操作，使符号化不再只是记号训练。

33.3 逻辑相等、数学等价与身份辨认的区别

两个符号写得一样，两个对象被判为相等，两个实例在某种关系下等价，是三个不同问题。若在基础阶段混同，后续许多争论会变成语言滑动。SDE符号学要求稳定所指，数学则进一步研究不同同一性条件怎样组织结构。

在有限集合构造中，“红、蓝、红”与“蓝、红”作为清单不相等，但作为忽略次序和重复的集合表示可以等价。取等价类以后，它们表示同一个形式对象。这里的相等属于新的对象层级，而不是宣布原清单的差异从来不存在。层级转换需要被明确记录。

等价关系通常要求自反、对称和传递。每个对象与自身等价，等价可以往返，前后等价能够承接，三项共同使对象能够被稳定分成等价类。少一项，分类可能出现不同问题。后面的图构造将展示这些性质如何由具体路径操作得到，而不是只把它们作为三个词背诵。

相似关系则未必具有传递性。两种颜色各自与一个中间颜色很接近，并不保证两端同样接近。若把相似直接当成等价，逐步连接可能把差别很大的对象纳入同一类。是否需要这种闭合，是一个新的结构选择，不能在命名时悄悄完成。

身份辨认还可能依赖时间与版本。一份稿件经过修改后仍叫同一个书名，但内容版本已经不同；同一个文件路径可能指向不同文本。若论证引用不记录版本，就可能把不同对象当成相同来源。数学式的同一性思考在这里具有现实意义，但具体身份规则仍要由任务规定。

逻辑推演中的相等通常允许在相应表达中替换，但替换需要保持对象类型与语境。两个数值相等，不意味着两个证据来源相同；两次测量读数相同，不意味着过程相同。把不同层次的等价直接提升为身份同一，可能使发生历史和支持关系被删除。

因此，建立一个新概念时，应当同时说明它的同一性标准。哪些变化仍然是同一对象的不同表现，哪些变化构成新对象，哪些只是当前任务中视为等价？这三个判断共同决定概念能够怎样传播与组合。没有同一性标准，概念的独立调用就难以保持。

这也解释了为什么数学结构可以帮助符号学。一个保持关系的重新标记，使我们辨认表面不同但结构相同的实例；一个不保持承重关系的改名，则不能被当成同一概念。创新评价据此可以排除许多仅仅换词的“新理论”，同时承认真正改变关系的细微修订。

但结构同一也不等于价值同一。两套组织流程在抽象图上同构，现实资源、责任和参与体验仍可能不同。数学保持的是已经明确的结构，不会自动保存全部三界内容。发生性认知需要知道同构映射保留了什么，而不能用形式同一覆盖所有差异。

在这个意义上，相等、等价与身份不是文字辨析的小问题，而是知识体系能否稳定又能否创造的根条件。它们决定我们何时可以复用旧结论，何时必须重建对象，以及新关系究竟改变了哪一层同一性。

33.4 有限实例、一般公理与元语言假设

有限集合的生成可以支持若干明确构造。空清单给出空集合；把两个标签写入同一清单，给出包含它们的有限集合；合并两份清单并按成员资格辨认，得到并集；对一份有限清单逐项选择保留或不保留，可以生成其全部子集。这些操作使一些基础规范获得可执行入口。

若一个有限集合有n个彼此不同的成员，对每个成员作保留或不保留两种选择，就得到二的n次方种选择模式。不同模式产生不同子集，因为至少一个成员的资格不同；每个子集又对应唯一模式。因此，有限幂集的大小关系可以从成员选择构造直接证明。这里的证明使用了有限组合计数，不能假装没有背景数学。

这些构造并不自动提供无限集合。即使允许从有限对象反复作有限合并与取有限子集，每一次具体构造仍然可能只得到有限对象。要把全部阶段作为一个新的整体接受，已经增加了另一层承诺。不能把“可以一直继续”与“存在一个包含所有阶段的对象”不加区别地混写。

选择问题也有相似层次。对于明确给出的一组有限非空集合，可以逐个选择一个成员；若每个集合都具有已经指定的最小元素规则，选择可以由规则统一给出。但这并不等于在完全一般的无限情形下已经建立选择函数。有限过程的成功不能替所有更强公理作证。

本书在这里并不停止研究，而是把后续问题具体化：什么发生条件使一个无限总体可以被接受，什么符号化使其成员资格清楚，什么逻辑化支持相关推论，哪些构造与原有体系相容？三原理能够组织这些追问，但每一个答案都需要相应的形式工作。

元语言的使用必须继续显露。我们已经使用对象、有限清单、等价类、关系和函数来进行说明。这是一个相对重构，不是完全不借助任何数学概念的起源神话。研究者可以进一步追问这些工具的基础，但不能在当前层级中同时把它们当作可用工具，又宣布它们已经由本章全部无前提推出。

这种分层有助于理解本书提出的数学公理发生命题。其强度不应由一句宏大表述决定，而应由逐项桥接的成果决定。有限外延辨认、映射相容和关系闭合可以给出明确重构；更强的无限与选择承诺则保留为需要继续形式化的研究接口。部分完成与普遍结论必须分别记录。

对于创造力教育，这并不是要求初学者一开始研究全部集合论，而是让他知道公理的作用和来源可以被追问。一个简单的“忽略重复”决定，就会改变对象同一性；一个“允许全部子集”的决定，就会改变结构空间。学生理解这些承诺，才有可能在新任务中主动选择合适对象，而不是只套现成符号。

本章由有限清单出发，形成集合辨认、关系、映射与等价相容的具体知识。它们共同展示：数学基础不是一堆最早记住的信息，而是一组使对象和连接能够稳定发生的规范。下一章进入运算与次序，研究这些连接怎样组合，并通过反模型看清不同公理各自承担的工作。

章末来源与论证身份

[4]数学公理的发生学定位。有限清单、等价类、映射下降条件及有限子集计数为文内构造与证明；通常集合和逻辑作为明确元语言。无限总体与一般选择问题未由有限示例宣称解决。

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