IP Set

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:

    The question is not ... if art is enough to fulfill my life, but if I am true to the path I have set for myself, if I am the best I can be in the things I do. Am I living up to the reasons I became a singer in the first place?
    Kathleen Battle (b. 1948)