c语言傲娇的十六进制,纪念阿诺尔德文章的后半部分

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

关于动形的最简洁科普：

既然已经有这个答案在前面了，我就补充点中学生能听懂的信息吧(至少下文有一段是这样)。仅仅是一个今天想到的解释，其实信息量不大，但是说出来可能还是对某些人有点帮助的。只是想把一些比较晦涩的话展开讲一讲，想知道更多还是得看书，知乎不适合讨论太高深的东西。

Motive 这个概念，经常会听到 “代数簇的影子” “universal cohomology” 这类的说法，简单讲就是对于代数簇，我们可以定义很多 cohomology, 比如 étale cohomology, crystalline cohomology, de Rham cohomology, 这些上同调都有类似的美好性质，正如另一个答案提到的

所谓 Motive, 就是这一切美好的上同调公共的根源.

用中文, 就是每个[好上同调函子都 factor through the motivator].

说白了就是，这些美好的性质让人有一个类似于柏拉图洞穴比喻的想法，会不会这些性质都来自于同一个东西，是同一个抽象的东西在不同层面的实现。那个东西就是所谓的 Motive.

讲个故事吧。如果刚刚发展数的概念的几个原始部落接触，可能会发现对方用的数字表示方式并不是十进制——比如玛雅人的二十进制、十八进制，也不难想象有的部落用的是五进制二进制或者八进制十六进制，还有的部落是一进制(结绳记事)。操作这些数字的方法也不一样：做加法的时候二进制是逢二进一，八进制是逢八进一，做减法的时候借位的方式也不一样，做乘法的时候十进制的人用九九表，二进制的人用一一表，十六进制的人用 FF 表…… 但是大家迅速发现，尽管有这么多不同，有很多美好的性质是一致的，比如加法和乘法都满足交换律结合律，乘法对加法有分配律，都能做数学归纳法……

于是大家开始想象 “抽象的自然数” 的这个概念，比如如果一个数在十进制下表示为 100, 实际上它既是 0b1100100 (二进制), 也是 0x64(十六进制)，还是，这些具体的表示方法只是在不同进位制下的实现而已，背后对应的数都是同一个。抽象的 “数” 更有利于理解背后的内蕴的概念。说句题外话，日常生活中其实没理解抽象的数的概念的人并不少，某些数字神秘主义也很依赖于十进制，可以说是没理解抽象的数的概念的典型。

如果把抽象的自然数的集合记做的话，则上述的 “实现” 是一系列映射，比如二进制实现把映射到 0, 1 组成的有限长度的列表这个集合的一个子集，十进制实现把映射到 0-9 组成的有限长度的列表这个集合的一个子集…… 稍微折腾一下也有 “比较定理”，告诉你怎么把二进制转换成十进制，或者把十进制转换成二进制。这些比较定理是很自然的，因为他们只不过是同一个东西的不同表示方式而已。

如果你写过程序的话，可以说上帝写下了头文件 number.h, 定义了抽象的自然数，以及抽象的加法、乘法(比如皮亚诺公理定义的那些)，具体的 implementation (number_impl.c) 交给各个部落去写，不同部落写出来的实现方式并不一样，但是都满足头文件里需要的那些性质。

回到代数几何，Weil 提出了把代数拓扑的方法用在代数几何上的想法，然后人们去实现，找到了 de Rham cohomology, étale cohomology, crystalline cohomology 等工具(对于上的代数流形，还有原来已经知道的 singular cohomology)，这些工具都满足非常类似的美好的性质，也能证明一些比较定理，所以才有这些性质都来自 motive 的想法。Motive 上的东西，或者说更加接近几何实质的东西，有个专门的形容词, motivic. Motivic 的东西，对任意 cohomology 的实现都应该对，不依赖于 cohomology 的特殊性。回到自然数的例子，小学奥数里面有很多 non-motivic 的比较丑陋的东西，比如 “一个自然数能被 9 整除当前仅当它的十进制表示的各位数字之和能被 9 整除”——这个显然非常依赖于十进制的特殊性，和抽象的自然数没什么关系。但是前面提到的 “加法和乘法都满足交换律结合律，乘法对加法有分配律，都能做数学归纳法” 显然是 motivic 的。

多说几句，其实 motive/motif 这个单词，字面上看就是 “主题” 的意思，解释到这份上也不难理解词源了。其实对很多数学现象，都可以问背后的深层次原因是什么，说白了每个数学现象都应该有个 motive 才是。但是像自然数这类概念，不管是十进制的表示还是二进制的表示，他们和抽象的自然数之间，已经存在一一对应，也就是说理解了十进制的表示唯一地代表背后的抽象的自然数这件事情以后，并不需要专门定义抽象的自然数(但是