Regularidade de Partição e Teoria Estrutural de Ramsey

A teoria estrutural de Ramsey demonstra que sempre que os números inteiros ou outras estruturas ricas são particionados em um número finito de classes, uma classe deve conter padrões aritméticos ou combinatórios prescritos.

Definition

Um sistema ou padrão é regular de partição se, para cada partição do conjunto subjacente em um número finito de classes, pelo menos uma classe contém uma solução ou instância do padrão; a teoria estrutural de Ramsey estuda quais padrões possuem essa propriedade.

Scope

Este tópico abrange a regularidade de partição sobre os números inteiros – o teorema de Schur, o teorema de van der Waerden sobre progressões aritméticas monocromáticas e a caracterização de Rado de equações regulares de partição – juntamente com o teorema de Hales-Jewett, o resultado abstrato de linha combinatória do qual muitos destes derivam. Ele situa a teoria de Ramsey dentro da combinatória aditiva.

Core questions

• Quais padrões aritméticos devem aparecer em alguma classe de qualquer coloração finita dos números inteiros?
• Quando uma equação linear tem uma solução monocromática sob cada coloração?
• Como o teorema de Hales-Jewett unifica esses resultados de partição?
• Como esses resultados se conectam a densidades e combinatória aditiva?

Key concepts

• Regularidade de partição
• Teorema de Schur
• Teorema de Van der Waerden
• Teorema de Rado
• Teorema de Hales-Jewett
• Linhas combinatórias

Key theories

Teorema de Van der Waerden

Para qualquer número de cores e qualquer comprimento alvo, existe um número inteiro N tal que toda coloração dos números inteiros de um a N contém uma progressão aritmética monocromática desse comprimento.

Teorema de Hales-Jewett

Em um cubo combinatório de alta dimensão sobre um alfabeto fixo, toda coloração finita contém uma linha combinatória monocromática, um teorema mestre que implica o teorema de van der Waerden e muitos outros resultados de partição.

Clinical relevance

Esses resultados de regularidade de partição são pilares da combinatória aditiva e da teoria dos números, conectando-se ao teorema de Szemeredi sobre progressões aritméticas e ao teorema de Green-Tao sobre números primos, e informam argumentos de estrutura versus aleatoriedade em toda a matemática.

History

O teorema de Schur de 1916 e o teorema de van der Waerden de 1927 sobre progressões aritméticas iniciaram a teoria de partição dos números inteiros, que Rado sistematizou e o teorema de Hales-Jewett de 1963 unificou abstratamente.

Key figures

• Bartel van der Waerden
• Issai Schur
• Richard Rado

Seminal works

• graham1990
• landman2003

Frequently asked questions

O que o teorema de van der Waerden garante?

Independentemente de como os números inteiros até um certo limite grande são divididos em algumas classes de cores, uma classe é forçada a conter uma sequência igualmente espaçada de qualquer comprimento desejado.

Por que o teorema de Hales-Jewett é chamado de teorema mestre?

Porque o teorema de van der Waerden e vários outros resultados de partição seguem como casos especiais de sua afirmação sobre linhas combinatórias monocromáticas.