In discrete mathematics , Schur's theorem provides statements as to how large a set of numbers must be so that a single-colored solution always exists for any - coloring of these . This sentence was originally an auxiliary sentence in a publication by Issai Schur in 1916. Schur was not at all interested in examining the coloring of points in the plane, but rather Fermat's last theorem (which only became a theorem after a proof in 1995). Although found twelve years before Ramsey , it is considered the first sentence of the Ramsey theory .
Formulation of the sentence
In the sentence coloring problems of the plane are considered. Let be a simple plane and the set of all points on the plane with positive integer coordinates. For example and , this time and not necessarily having to be different. Now a finite set of colors is chosen and a color is assigned to each natural number.
After that, all points are colored with the corresponding color exactly when the coloring of and on the number line is identical. All points not taken into account in this way are marked with a . The question remains whether the existence of a colored point is certain or whether it is possible to mark every point on the plane with one . In other words, whether there is a coloring for such that no point is colored. Schur's theorem answers this question.
For each there is a smallest one , so that for each coloration from to there is a monochrome solution .
Be it . The set of Ramsey ensures the existence of the number , for any staining of the complete graph with nodes , the existence of a single-color triangle. We choose our coloring as follows. The nodes of are numbered with and the set is broken down into disjoint subsets. These quantities should correspond to the colors. Now the edge that connects the nodes and is colored with the color of the set to which it belongs. According to Ramsey's theorem, there is a monochrome triangle in the graph and its corners are . Then follows there and are monochrome. With and then applies . The theorem is proved.
In addition to Rado's theorem , a generalization can be achieved if the equation is considered instead of the equation .
Be and each was . Then there exists a smallest number such that every -Color of at least one exists that a solution of the color exists.
Another generalization examines the equation . The smallest number , such that any 2-coloration of allows a single-colored Pythagorean triple , is .
For the original and for the generalized case, it can be examined in each case whether the existence of these numbers is present, if it is additionally required that initially and in the generalized case is for . In this area in particular, only a few upper and lower bounds have been investigated so far.
- The numbers are called Schur numbers .
- The numbers are called general Schur numbers .
- The triples that satisfy the above sentence are called Schur triples .
- The -tuples of the generalization are called Schur-t-tuples .
- The set of Rado is a generalization of Schur's theorem.
While the research focus of Schur's numbers relates to the determination of bounds , the number of tuples is of interest , i.e. how many of the tuples exist for.
- Issai Schur: About the congruence In: Annual report of the DMV. Vol. 25. Teubner, Stuttgart 1917, pp. 114-117.
- Bruce M Landman, Aaron Robertson: Ramsey Theory on the Integers. AMS, Rhode Island 2004, pp. 199-200.
- Heule, Kullmann, Marek: Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
- Nature News: Two-hundred-terabyte maths proof is largest ever