Hindman’s Theorem
In mathematics, an IP set is a set of natural numbers which contains all finite sums of some infinite set. The finite sums of a set ''D'' of natural numbers are all those numbers that can be obtained by adding up the elements of some finite nonempty subset of ''D''. The set of all finite sums over ''D'' is often denoted as FS(''D''). Slightly more generally, for a sequence of natural numbers (''n''i), one can consider the set of finite sums FS((''n''i)), consisting of the sums of all finite length subsequences of (''n''i). A set ''A'' of natural numbers is an IP set if there exists an infinite set ''D'' such that FS(''D'') is a subset of ''A''. Equivalently, one may require that ''A'' contains all finite sums FS((''n''i)) of a sequence (''n''i). Some authors give a slightly different definition of IP sets: They require that FS(''D'') equal ''A'' instead of just being a subset. The term IP set was coined by Hillel Furstenberg and Benjamin Weiss to abbreviate "infinite-dimensional ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Milliken–Taylor Theorem
In mathematics, the Milliken–Taylor theorem in combinatorics is a generalization of both Ramsey's theorem and Hindman's theorem. It is named after Keith Milliken and Alan D. Taylor. Let \mathcal_f(\mathbb) denote the set of finite subsets of \mathbb, and define a partial order on \mathcal_f(\mathbb) by α<β max α |
|
Semigroup Theory
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', denotes the result of applying the semigroup operation to the ordered pair . Associativity is formally expressed as that for all ''x'', ''y'' and ''z'' in the semigroup. Semigroups may be considered a special case of magmas, where the operation is associative, or as a generalization of groups, without requiring the existence of an identity element or inverses. The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup. As in the case of groups or magmas, the semigroup operation need not be commutative, so ''x''·''y'' is not necessarily equal to ''y''·''x''; a well-known example of an operation that is ass ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Vitaly Bergelson
Vitaly Bergelson (born 1950 in Kiev) is a mathematical researcher and professor at Ohio State University in Columbus, Ohio. His research focuses on ergodic theory and combinatorics. Bergelson received his Ph.D in 1984 under Hillel Furstenberg at the Hebrew University of Jerusalem. He gave an invited address at the International Congress of Mathematicians in 2006 in Madrid. Among Bergelson's best known results is a polynomial generalization of Szemerédi's theorem. The latter provided a positive solution to the famous Erdős–Turán conjecture from 1936 stating that any set of integers of positive upper density contains arbitrarily long arithmetic progressions. In a 1996 paper Bergelson and Leibman obtained an analogous statement for "polynomial progressions". The Bergelson-Leibman theoremAlexander Soifer, Branko Grünbaum, and Cecil RousseauMathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators. Springer-Verlag, New York, 2008, ; p. 358 an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Thick Set
In mathematics, a thick set is a set of integers that contains arbitrarily long intervals. That is, given a thick set T, for every p \in \mathbb, there is some n \in \mathbb such that \ \subset T. Examples Trivially \mathbb is a thick set. Other well-known sets that are thick include non-primes and non-squares. Thick sets can also be sparse, for example: \bigcup_ \. Generalisations The notion of a thick set can also be defined more generally for a semigroup, as follows. Given a semigroup (S, \cdot) and A \subseteq S, A is said to be ''thick'' if for any finite subset F \subseteq S, there exists x \in S such that F \cdot x = \ \subseteq A. It can be verified that when the semigroup under consideration is the natural numbers \mathbb{N} with the addition operation +, this definition is equivalent to the one given above. See also * Cofinal (mathematics) * Cofiniteness * Ergodic Ramsey theory * Piecewise syndetic set * Syndetic set References * J. McLeod,Some Notions of Size i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Syndetic Set
In mathematics, a syndetic set is a subset of the natural numbers having the property of "bounded gaps": that the sizes of the gaps in the sequence of natural numbers is bounded. Definition A set S \sub \mathbb is called syndetic if for some finite subset F of \mathbb :\bigcup_ (S-n) = \mathbb where S-n = \. Thus syndetic sets have "bounded gaps"; for a syndetic set S, there is an integer p=p(S) such that , a+1, a+2, ... , a+p\bigcap S \neq \emptyset for any a \in \mathbb. See also * Ergodic Ramsey theory * Piecewise syndetic set * Thick set References * * * {{cite journal , last1=Bergelson , first1=Vitaly , authorlink1=Vitaly Bergelson , last2=Hindman , first2=Neil , title=Partition regular structures contained in large sets are abundant , journal=Journal of Combinatorial Theory The ''Journal of Combinatorial Theory'', Series A and Series B, are mathematical journals specializing in combinatorics and related areas. They are published by Elsevier. ''Series A'' i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Piecewise Syndetic Set
In mathematics, piecewise syndeticity is a notion of largeness of subsets of the natural numbers. A set S \sub \mathbb is called ''piecewise syndetic'' if there exists a finite subset ''G'' of \mathbb such that for every finite subset ''F'' of \mathbb there exists an x \in \mathbb such that :x+F \subset \bigcup_ (S-n) where S-n = \. Equivalently, ''S'' is piecewise syndetic if there is a constant ''b'' such that there are arbitrarily long intervals of \mathbb where the gaps in ''S'' are bounded by ''b''. Properties * A set is piecewise syndetic if and only if it is the intersection of a syndetic set and a thick set. * If ''S'' is piecewise syndetic then ''S'' contains arbitrarily long arithmetic progressions. * A set ''S'' is piecewise syndetic if and only if there exists some ultrafilter ''U'' which contains ''S'' and ''U'' is in the smallest two-sided ideal of \beta \mathbb, the Stone–Čech compactification of the natural numbers. * Partition regularity: if S is piecewise sy ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ergodic Ramsey Theory
Ergodic Ramsey theory is a branch of mathematics where problems motivated by additive combinatorics are proven using ergodic theory. History Ergodic Ramsey theory arose shortly after Endre Szemerédi's proof that a set of positive upper density contains arbitrarily long arithmetic progressions, when Hillel Furstenberg gave a new proof of this theorem using ergodic theory. It has since produced combinatorial results, some of which have yet to be obtained by other means, and has also given a deeper understanding of the structure of measure-preserving dynamical systems. Szemerédi's theorem Szemerédi's theorem is a result in arithmetic combinatorics, concerning arithmetic progressions in subsets of the integers. In 1936, Erdős and Turán conjectured. that every set of integers ''A'' with positive natural density contains a ''k'' term arithmetic progression for every ''k''. This conjecture, which became Szemerédi's theorem, generalizes the statement of van der Waerden's theorem ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', denotes the result of applying the semigroup operation to the ordered pair . Associativity is formally expressed as that for all ''x'', ''y'' and ''z'' in the semigroup. Semigroups may be considered a special case of magmas, where the operation is associative, or as a generalization of groups, without requiring the existence of an identity element or inverses. The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup. As in the case of groups or magmas, the semigroup operation need not be commutative, so ''x''·''y'' is not necessarily equal to ''y''·''x''; a well-known example of an operation that is as ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ramsey's Theorem
In combinatorics, Ramsey's theorem, in one of its graph-theoretic forms, states that one will find monochromatic cliques in any edge labelling (with colours) of a sufficiently large complete graph. To demonstrate the theorem for two colours (say, blue and red), let and be any two positive integers. Ramsey's theorem states that there exists a least positive integer for which every blue-red edge colouring of the complete graph on vertices contains a blue clique on vertices or a red clique on vertices. (Here signifies an integer that depends on both and .) Ramsey's theorem is a foundational result in combinatorics. The first version of this result was proved by F. P. Ramsey. This initiated the combinatorial theory now called Ramsey theory, that seeks regularity amid disorder: general conditions for the existence of substructures with regular properties. In this application it is a question of the existence of ''monochromatic subsets'', that is, subsets of connected edges of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Neil Hindman
Neil is a masculine name of Gaelic and Irish origin. The name is an anglicisation of the Irish ''Niall'' which is of disputed derivation. The Irish name may be derived from words meaning "cloud", "passionate", "victory", "honour" or "champion".. As a surname, Neil is traced back to Niall of the Nine Hostages who was an Irish king and eponymous ancestor of the Uí Néill and MacNeil kindred. Most authorities cite the meaning of Neil in the context of a surname as meaning "champion". Origins The Gaelic name was adopted by the Vikings and taken to Iceland as ''Njáll'' (see Nigel). From Iceland it went via Norway, Denmark, and Normandy to England. The name also entered Northern England and Yorkshire directly from Ireland, and from Norwegian settlers. ''Neal'' or ''Neall'' is the Middle English form of ''Nigel''. As a first name, during the Middle Ages, the Gaelic name of Irish origins was popular in Ireland and later Scotland. During the 20th century ''Neil'' began to be used in Engl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Natural Number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called ''Cardinal number, cardinal numbers'', and numbers used for ordering are called ''Ordinal number, ordinal numbers''. Natural numbers are sometimes used as labels, known as ''nominal numbers'', having none of the properties of numbers in a mathematical sense (e.g. sports Number (sports), jersey numbers). Some definitions, including the standard ISO/IEC 80000, ISO 80000-2, begin the natural numbers with , corresponding to the non-negative integers , whereas others start with , corresponding to the positive integers Texts that exclude zero from the natural numbers sometimes refer to the natural numbers together with zero as the whole numbers, while in other writings, that term is used instead for the integers (including negative integers). The natural ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |