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).
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.
Some authors give a slightly different definition of IP sets. They require that FS(D) equal A instead of just being a subset.
Sources disagree on the origin of the name IP set. Some claim it was coined by Furstenberg and Weiss to abbreviate "Infinite-dimensional Parallelepiped", others that it abbreviates "idempotent" (since a set is IP if and only if it is a member of an idempotent ultrafilter).
Read more about IP Set: Hindman's Theorem, Semigroups
Famous quotes containing the word set:
“What these perplexities of my uncle Toby were,—’tis impossible for you to guess;Mif you could,—I should blush ... as an author; inasmuch as I set no small store by myself upon this very account, that my reader has never yet been able to guess at any thing. And ... if I thought you was able to form the least ... conjecture to yourself, of what was to come in the next page,—I would tear it out of my book.”
—Laurence Sterne (1713–1768)