范德瓦尔登定理保证了什么？

无论将某个大范围内的整数如何分成几个颜色类别，其中一个类别必然包含任意所需长度的等差数列。

为什么海尔斯-朱厄特定理被称为主定理？

因为范德瓦尔登定理和许多其他划分结果都是其关于单色组合线论述的特例。

结构拉姆齐理论表明，当整数或其他丰富结构被划分为有限多个类别时，其中一个类别必然包含预设的算术或组合模式。

用 PaperMind 寻找选题即将推出Find papers & topics

Tools & resources

Learn & explore

视频即将推出

如果一个系统或模式是划分正则的，那么对于将基础集合划分为有限多个类别的每一种划分，至少有一个类别包含该模式的解或实例；结构拉姆齐理论研究哪些模式具有这种性质。

本主题涵盖整数上的划分正则性——舒尔定理、范德瓦尔登关于单色算术级数的定理，以及拉多对划分正则方程的刻画——以及海尔斯-朱厄特定理，这是一个抽象的组合线结果，许多其他定理都由此得出。它将拉姆齐理论置于加性组合学之中。

范德瓦尔登定理: 对于任意数量的颜色和任意目标长度，存在一个整数N，使得从1到N的整数的每种着色都包含一个该长度的单色算术级数。
海尔斯-朱厄特定理: 在一个固定字母表上的高维组合立方体中，每种有限着色都包含一条单色组合线，这是一个主定理，它蕴含了范德瓦尔登定理和许多其他划分结果。

这些划分正则性结果是加性组合学和数论的基石，它们与塞迈雷迪关于算术级数的定理以及格林-陶关于素数的定理相联系，并为数学中结构与随机性之间的论证提供了信息。

舒尔1916年的定理和范德瓦尔登1927年关于算术级数的定理开启了整数的划分理论，拉多对其进行了系统化，而1963年的海尔斯-朱厄特定理则对其进行了抽象统一。