1905年，保罗莱维开始着手研究关于集合论的一些问题。
其中一个重要问题，是关于排序的。
集合论中有特性是无序性。
所以研究很多数域的时候，关于顺序的问题也变得重要起来。
其中最为重要的是哪些可以排序，哪些不可以排序。
莱维的老师和顾问为雅克阿达马。
他指导莱维做这方面的研究。
莱维说：“很多数域都可以正常排序，称之为全序。
而很多数域不能有全序，那也不能贸然看成无序，也要研究偏序性。”
自然数的集合配备了它的自然次序（小于等于关系）。
这个偏序是全序。
整数的集合配备了它的自然次序。
这个偏序是全序。
自然数的集合的有限子集{1，
2，...，n}。
这个偏序是全序。
自然数的集合配备了整除关系。
给定集合的子集的集合（它的幂集）按包含排序。
向量空间的子空间的集合按包含来排序。
阿达马说：“偏序集合是数学中，特别是序理论中，指配备了部分排序关系的集合。
这理论将排序、顺序或排列这个集合的元素的直觉概念抽象化。
这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。
部分排序集合定义了部分排拓扑。”
莱维说：“一般的说偏序集合的两个元素x和y可以处于四个相互排斥的关联中任何一个：要么xy，要么x和y是“不可比较”
的（三个都不是）。
全序集合是用规则排除第四种可能的集合：所有元素对都是可比较的，并且声称三分法成立。
自然数、整数、有理数和实数都关于它们代数（有符号）大小是全序的，而复数不是。”
阿达马说：“这不是说复数不能全序排序；比如我们可以按词典次序排序它们，通过x+iy小于u+iv当且仅当x小于u或x等于u且y小于v，但是这种排序没有合理的大小意义因为它使得1大于100i。
按绝对大小排序它们产生在其中所有对都是可比较的预序，但这不是偏序因为1和i有相同的绝对大小但却不相等，违反了反对称性。”
莱维陷入沉思，开始思考如果要标记东西，就需要有一定的顺序。
而很多东西是有顺序的，也就是可以被可数标记。
而有些东西是没有顺序的，也就是不可以被可数标记。
那什么是不能被标记的？
1、无理数无法被标记，因为其不可连续表示性。
2、随机量子涨落无法被标记。
3、等高线一类带梯度的东西，不方便标记。
4、流体向量中含涡流和湍流的。
如果可标记的话，那就可以解了，就可以写出维纳斯托克斯方程的解了。
请关闭浏览器阅读模式后查看本章节，否则将出现无法翻页或章节内容丢失等现象。