Theorem

Szemeredi's Theorem

Number Theory

Any set of integers with positive upper density contains arbitrarily long arithmetic progressions. Proved by Endre Szemeredi, it generalizes the earlier Van der Waerden and Erdos-Turan results and underlies the later Green-Tao theorem.

Facts
Statement
A subset of the natural numbers with positive upper density contains an arithmetic progression of length k for every positive integer k. 1
Proof Year
1975 1
Classification
Statement Form
Existence Theorem 1
Szemeredi's Theorem
Filter Results1 entry
Connections

Has Statement Form

In Branch

Principal Result Of

Source Endre Szemerédi (Wikipedia)
Source Timothy Gowers (Wikipedia)

Proved By

Source Szemeredi's Theorem (Wikipedia)
Sources
1. Szemeredi's Theorem (Wikipedia)
Wikimedia Foundation
  • Statement section, first sentence
    Szemerédi's theorem asserts that a subset of the natural numbers with positive upper density contains an arithmetic progression of length k for all positive integers k.
  • lead paragraph, third sentence
    Endre Szemerédi proved the conjecture in 1975.
  • Proved By: Endre Szemerédi, Lead
    Endre Szemerédi proved the conjecture in 1975.
View the Source
Endre Szemerédi (Wikipedia)
Principal Result Of: Endre Szemerédi, Article text
Quote, Principal Result Of: Endre Szemerédi, Article text
He has made a number of discoveries in combinatorics and computer science, including Szemerédi's theorem, the Szemerédi regularity lemma, the Erdős-Szemerédi theorem, the Hajnal-Szemerédi theorem and the Szemerédi-Trotter theorem.
View the Source
Timothy Gowers (Wikipedia)
Principal Result Of: Timothy Gowers, Career and research
Quote, Principal Result Of: Timothy Gowers, Career and research
Gowers proved the first effective bounds for Szemerédi's theorem
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.

Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme