Partitionsregularität und Strukturelle Ramsey-Theorie

Die strukturelle Ramsey-Theorie zeigt, dass immer dann, wenn die ganzen Zahlen oder andere reichhaltige Strukturen in endlich viele Klassen unterteilt werden, eine Klasse vorgeschriebene arithmetische oder kombinatorische Muster enthalten muss.

Definition

Ein System oder Muster ist partitionsregulär, wenn für jede Partition der zugrunde liegenden Menge in endlich viele Klassen mindestens eine Klasse eine Lösung oder Instanz des Musters enthält; die strukturelle Ramsey-Theorie untersucht, welche Muster diese Eigenschaft besitzen.

Scope

Dieses Thema behandelt die Partitionsregularität über den ganzen Zahlen – den Satz von Schur, den Satz von van der Waerden über monochromatische arithmetische Progressionen und Rados Charakterisierung partitionsregulärer Gleichungen – zusammen mit dem Satz von Hales-Jewett, dem abstrakten Ergebnis der kombinatorischen Linie, aus dem viele dieser Ergebnisse folgen. Es ordnet die Ramsey-Theorie in die additive Kombinatorik ein.

Core questions

• Welche arithmetischen Muster müssen in jeder endlichen Färbung der ganzen Zahlen in einer Klasse erscheinen?
• Wann hat eine lineare Gleichung unter jeder Färbung eine monochromatische Lösung?
• Wie vereinheitlicht der Hales-Jewett-Satz diese Partitionsresultate?
• Wie verbinden sich diese Ergebnisse mit Dichten und additiver Kombinatorik?

Key concepts

• Partitionsregularität
• Satz von Schur
• Satz von Van der Waerden
• Satz von Rado
• Satz von Hales-Jewett
• Kombinatorische Linien

Key theories

Satz von Van der Waerden

Für jede Anzahl von Farben und jede Ziellänge gibt es eine ganze Zahl N, so dass jede Färbung der ganzen Zahlen von eins bis N eine monochromatische arithmetische Progression dieser Länge enthält.

Satz von Hales-Jewett

In einem hochdimensionalen kombinatorischen Würfel über einem festen Alphabet enthält jede endliche Färbung eine monochromatische kombinatorische Linie, ein Meistertheorem, das van der Waerdens Satz und viele andere Partitionsresultate impliziert.

Clinical relevance

Diese Ergebnisse zur Partitionsregularität sind Eckpfeiler der additiven Kombinatorik und Zahlentheorie, die mit Szemeredis Satz über arithmetische Progressionen und dem Green-Tao-Satz über Primzahlen in Verbindung stehen, und sie beeinflussen Argumente zur Struktur versus Zufälligkeit in der gesamten Mathematik.

History

Schurs Satz von 1916 und van der Waerdens Satz von 1927 über arithmetische Progressionen begründeten die Partitionstheorie der ganzen Zahlen, die Rado systematisierte und der Hales-Jewett-Satz von 1963 abstrakt vereinheitlichte.

Key figures

• Bartel van der Waerden
• Issai Schur
• Richard Rado

Seminal works

• graham1990
• landman2003

Frequently asked questions

Was garantiert der Satz von van der Waerden?

Wie auch immer die ganzen Zahlen bis zu einer bestimmten großen Grenze in einige Farbklassen aufgeteilt werden, eine Klasse muss eine gleichmäßig beabstandete Sequenz beliebiger Länge enthalten.

Warum wird der Hales-Jewett-Satz als Meistertheorem bezeichnet?

Weil der Satz von van der Waerden und mehrere andere Partitionsresultate als Spezialfälle seiner Aussage über monochromatische kombinatorische Linien folgen.