The name of several theorems in discrete mathematics formulated and proved by F.P. Ramsey .
The first of these theorems was formulated by Ramsey as follows. Let be an infinite class and let and be positive integers; let all the subclasses of which have elements, in other words, all the -tuples of , be separated in some way into disjoint classes , , so that each -tuple is an element of one and only one class ; then, assuming the axiom of choice, the class must contain an infinite subclass such that all the -tuples of belong to the same class . The finite analogue of this Ramsey theorem was also established by Ramsey and can be formulated in the following way.
Let be a set containing elements and let be the family of all subsets of containing precisely elements of . Let the family be decomposed into (non-intersecting) subfamilies and let be integers, , . Then there exists a minimal number , depending only on and not depending on , such that if , then for some , , there exists a subset of with elements which has all its -subsets in the family (a proof of this theorem is also contained in , ).
The latter theorem can be illustrated by an example in which the number is calculated. Consider six points in the plane which are connected in pairs by edges, each of which is coloured either red or blue. Then three points exist such that the edges joining them are coloured by the same colour. From the five edges joining a certain point with the five other points there are three edges of one colour (for example, red). Let these be the edges , , . If one of the edges , , is red, then it and the two others joining its ends with the point form a red triangle, if they are all blue, then they themselves form a blue triangle. This means that . However, five points on the plane can be joined in pairs by red and blue edges so that no triangle of one colour can be found. To do this, let the edges , , , , be red and the remaining blue. This shows that . Thus .
Ramsey's theorem implies the following result: For a given integer there exists an integer such that among any points in the plane, no three of each lying on the same line, there are points forming a convex -gon (see ).
|||F.P. Ramsey, "On a problem of formal logic" Proc. London Math. Soc. Ser. 2 , 30 (1930) pp. 264–285|
|||H.J. Ryser, "Combinatorial mathematics" , Math. Assoc. Amer. (1963)|
|||M. Hall, "Combinatorial theory" , Blaisdell (1967)|
|||P. Erdös, G. Szekeres, "A combinatorial problem in geometry" Compos. Math. , 2 (1935) pp. 463–470|
|||P. Erdös, R. Rado, "A partition calculus in set theory" Bull. Amer. Math. Soc. , 62 (1956) pp. 427–489|
Nowadays, the study of Ramsey-like theorems has grown into a separate branch of combinatorics, called Ramsey theory.
|[a1]||R.L. Graham, B.L. Rothschild, J.H. Spencer, "Ramsey theory" , Wiley (1980)|
|[a2]||P. Erdös, A. Hajnal, A. Mate, R. Rado, "Combinatorial set theory: partition relations for cardinals" , North-Holland (1984)|
Ramsey theorem. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Ramsey_theorem&oldid=17790