 Multiset

This article is about the mathematical concept. For the computer science data structure, see Set (computer science)#Multiset.
In mathematics, the notion of multiset (or bag) is a generalization of the notion of set in which members are allowed to appear more than once. For example, there is a unique set that contains the elements a and b and no others, but there are many multisets with this property, such as the multiset that contains two copies of a and one of b or the multiset that contains three copies of both a and b. The term "multiset" was coined by Nicolaas Govert de Bruijn in the 1970s.^{[1]} The use of multisets in mathematics predates the name "multiset" by nearly 90 years: Richard Dedekind used multisets in a paper published in 1888.^{[2]}
Contents
Overview
The number of times an element belongs to the multiset is the multiplicity of that member. The total number of elements in a multiset, including repeated memberships, is the cardinality of the multiset. For example, in the multiset {a, a, b, b, b, c} the multiplicities of the members a, b, and c are respectively 2, 3, and 1, and the cardinality of the multiset is 6. To distinguish between sets and multisets, a notation that incorporates brackets is sometimes used: the multiset {2,2,3} can be represented as [2,2,3].^{[3]} In multisets, as in sets and in contrast to tuples, the order of elements is irrelevant: The multisets {a, b} and {b, a} are equal.
Formal definition
Within set theory, a multiset may be formally defined as a 2tuple(A, m) where A is some set and m : A → N_{≥1} is a function from A to the set N_{≥1} = {1, 2, 3, ...} of positive natural numbers. The set A is called the underlying set of elements. For each a in A the multiplicity (that is, number of occurrences) of a is the number m(a). If a universe U in which the elements of A must live is specified, the definition can be simplified to just a multiplicity function m_{U} : U → N from U to the set N = {0, 1, 2, 3, ...} of natural numbers, obtained by extending m to U with values 0 outside A. This extended multiplicity function is the multiplicity function called 1_{A} below. Like any function, the function m may be defined as its graph: the set of ordered pairs { (a, m(a)) : a in A }. With these definitions the multiset written as { a, a, b } is defined as ({ a, b },{ (a, 2), (b, 1) }), and the multiset { a, b } is defined as ({ a, b },{ (a, 1), (b, 1) }).
The concept of a multiset is a generalization of the concept of a set. A multiset corresponds to an ordinary set if the multiplicity of every element is one (as opposed to some larger natural number). However to replace set theory by "multiset theory" so as to have multisets directly into the foundations is not easy: a privileged role would still have to be given to (ordinary) sets when defining maps, as there is no clear notion of maps (functions) between multisets. It can be done^{[not specific enough to verify]}, with the result that classical theorems such as the Cantor–Bernstein–Schroeder theorem or Cantor's theorem, when generalized to multisets, are false^{[examples needed]}; they remain true only in the case of finite multisets^{[citation needed]}. In addition, the notion of a set as a "class of items satisfying a certain property" – i.e. the extension of a predicate – is used throughout mathematics, and this notion lacks a sensible generalization to multisets with multiple memberships.
An indexed family, ( a_{i} ), where i is in some indexset, may define a multiset, sometimes written { a_{i} }, in which the multiplicity of any element x is the number of indices i such that a_{i} = x. The condition for this to be possible is that no element occurs infinitely many times in the family: even in an infinite multiset, the multiplicities must be finite numbers.
Multiplicity function
The set indicator function of a normal set is generalized to the multiplicity function for multisets. The set indicator function of a subset A of a set X is the function
defined by
The set indicator function of the intersection of sets is the minimum function of the indicator functions
The set indicator function of the union of sets is the maximum function of the indicator functions
The set indicator function of a subset is smaller than or equal to that of the superset
The set indicator function of a cartesian product is the product of the indicator functions of the cartesian factors
The cardinality of a (finite) set is the sum of the indicator function values
Now generalize the concept of set indicator function by releasing the constraint that the values are 0 and 1 only and allow the values 2, 3, 4 and so on. The resulting function is called a multiplicity function and such a function defines a multiset. The concepts of intersection, union, subset, cartesian product and cardinality of multisets are defined by the above formulas.
The multiplicity function of a multiset sum, is the sum of the multiplicity functions
The multiplicity function of a multiset difference is the zerotruncated subtraction of the multiplicity functions
The scalar multiplication of a multiset by a natural number n may be defined as:
A small finite multiset, A, is represented by a list where each element, x, occurs as many times as the multiplicity, 1_{A}(x), indicates.
Examples
One of the simplest and most natural examples is the multiset of prime factors of a number n. Here the underlying set of elements is the set of prime divisors of n. For example the number 120 has the prime factorization
which gives the multiset {2, 2, 2, 3, 5}.
A related example is the multiset of solutions of an algebraic equation. A quadratic equation, for example, has two solutions. However, in some cases they are both the same number. Thus the multiset of solutions of the equation could be { 3, 5 }, or it could be { 4, 4 }. In the latter case it has a solution of multiplicity 2.
Free commutative monoids
The free commutative monoid on a set X (see free object) can be taken to be the set of finite multisets with elements drawn from X, with the monoid operation being multiset sum and the empty multiset as identity element. Such monoids are also known as (finite) formal sums of elements of X with natural coefficents. The free commutative semigroup is the subset of the free commutative monoid which contains all multisets with elements drawn from X except the empty multiset.
Free abelian groups are formal sums (i.e. linear combinations) of elements of X with integer coefficients. Equivalently, they may be seen as signed finite multisets with elements drawn from X.
Counting multisets
See also: Stars and bars (probability)The number of multisets of cardinality k, with elements taken from a finite set of cardinality n, is called the multiset coefficient or multiset number. This number is written by some authors as , a notation that is meant to resemble that of binomial coefficients; it is used for instance in (Stanley, 1997), and could be pronounced "n multichoose k" to resemble "n choose k" for . Unlike for binomial coefficients, there is no "multiset theorem" in which multiset coefficients would occur, and they should not be confused with the unrelated multinomial coefficients that occur in the multinomial theorem. The value of multiset coefficients can be given explicitly as
where the last expression expresses it as binomial coefficient; many authors in fact avoid separate notation and just write binomial coefficients. So, the number of such multisets is the same as the number of subsets of cardinality k in a set of cardinality n + k − 1. The analogy with binomial coefficients can be stressed by writing the numerator in the above expression as a rising factorial power
to match the expression of binomial coefficients using a falling factorial power:
There are for example 4 multisets of cardinality 3 with elements taken from the set {1,2} of cardinality 2 (n=2, k=3), namely : {1,1,1}, {1,1,2}, {1,2,2}, {2,2,2}. And there are also 4 subsets of cardinality 3 in the set {1,2,3,4} of cardinality 4 (n+k1 = 4), namely : {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}.
One simple way to prove the equality of multiset coefficients and binomial coefficients given above, involves representing multisets in the following way. First, consider the notation for multisets that would represent { a, a, a, a, a, a, b, b, c, c, c, d, d, d, d, d, d, d } (6 as, 2 bs, 3 cs, 7 ds) in this form:
This is a multiset of cardinality 18 made of elements of a set of cardinality 4. The number of characters including both dots and vertical lines used in this notation is 18 + 4 − 1. The number of vertical lines is 4 − 1. The number of multisets of cardinality 18 is then the number of ways to arrange the 4 − 1 vertical lines among the 18 + 4 − 1 characters, and is thus the number of subsets of cardinality 4 − 1 in a set of cardinality 18 + 4 − 1. Equivalently, it is the number of ways to arrange the 18 dots among the 18 + 4 − 1 characters, which is the number of subsets of cardinality 18 of a set of cardinality 18 + 4 − 1. This is
so that is the value of the multiset coefficient
One may define a generalized binomial coefficient
in which n is not required to be a nonnegative integer, but may be negative or a noninteger, or a nonreal complex number. (If k = 0, then the value of this coefficient is 1 because it is the empty product.) Then the number of multisets of cardinality k in a set of cardinality n is
This fact led GianCarlo Rota to ask "Why are negative sets multisets?".^{[citation needed]} He considered that question worthy of the attention of philosophers of mathematics.
Recurrence relation
A recurrence relation for multiset coefficients may be given as
with
The above recurrence may be interpreted as follows. Let [n] := {1, ..., n} be the source set. There is always exactly one (empty) multiset of size 0, and if n = 0 there are no larger multisets, which gives the initial conditions.
Now, consider the case in which n,k > 0. A multiset of cardinality k with elements from [n] might or might not contain any instance of the final element n. If it does appear, then by removing n once, one is left with a multiset of cardinality k − 1 of elements from [n], and every such multiset can arise, which gives a total of
 possibilities.
If n does not appear, then our original multiset is equal to a multiset of cardinality k with elements from [n − 1], of which there are
Thus,
Polynomial notation
The set {x} may be represented by the monomial x. The set of subsets, { {}, {x} } , is represented by the binomial 1 + x.
The set {x,y} may be represented by the monomial x·y. The set of subsets, { {}, {x}, {y}, {x,y} } , is represented by the polynomial
 (1 + x)·(1 + y) = 1 + x + y + x·y.
The multiset {x,x} may be represented by the monomial x·x = x^{2}. The multiset of submultisets, { {}, {x}, {x}, {x,x} }, is represented by the polynomial
 (1 + x)^{2} = 1 + x + x + x·x = 1 + 2·x + x^{2}.
The multiset of submultisets of the multiset x^{n} is
That is why the binomial coefficient counts the number of kcombinations of an nset.
The multiset x^{K}·y^{N−K} , containing N elements, K of which are hits, is called a statistical population, and a submultiset is called a statistical sample. The set of samples is
 (1 + x)^{K}·(1 + y)^{N−K}
which by the binomial theorem equals
So the number of nsamples with k hits is
See hypergeometric distribution and inferential statistics for further on the distribution of hits.
The infinite set of finite multisets of elements taken from the set {x}:
 { {}, {x}, {x,x}, {x,x,x}, ... }
may be represented by the formal power series
 S = 1 + x + x^{2} + x^{3} + ... = 1 + xS .
The formal solution,
 S = (1 − x)^{−1},
makes sense as a set of multisets, but the intermediate result, 1−x, does not make sense as a set of multisets.
The infinite set of finite multisets of elements taken from the set x·y is
 (1 − x)^{−1}·(1 − y)^{−1} = 1 + (x + y) + (x^{2} + x·y + y^{2}) + ...
The special case y=x : The infinite multiset of finite multisets of elements taken from the multiset x^{2} is
 (1 − x)^{−2} = 1 + 2·x + 3·x^{2} + ...
The general case: The infinite multiset of finite multisets of elements taken from the multiset x^{n} is
 .
This explains why "multisets are negative sets". The negative binomial coefficients count the number of kmultisets of elements taken from an nset.
Cumulant generating function
A nonnegative integer, n, can be represented by the monomial x^{n} . A finite multiset of nonnegative integers, say {2, 2, 2, 3, 5}, can likewise be represented by a polynomial f(x), say f(x) = 3·x^{2} + x^{3} + x^{5} .
It is convenient to consider the cumulant generating function g(t) = log(f(e^{t})), say g(t) = log(3·e^{2·t} + e^{3·t} + e^{5·t}) .
 The cardinality of the multiset is e^{g(0)} = f(1), say 3 + 1 + 1 = 5.
 The derivative g is g '(t) = f(e^{t})^{−1}·f '(e^{t})·e^{t}, say g '(t) = (3·e^{2·t} + e^{3·t} + e^{5·t})^{−1}·(6·e^{2·t} + 3·e^{3·t} + 5·e^{5·t}) .
 The mean value of the multiset is μ = g '(0) = f(1)^{−1}·f '(1), say μ = (3+1+1)^{−1}·(6+3+5) = 2.8 .
 The variance of the multiset is σ^{2} = g ' '(0) .
The numbers ( μ, σ^{2}, ··· ) = ( g '(0), g ' '(0), ··· ) are called cumulants.
The infinite set of nonnegative integers {0, 1, 2, ···} is represented by the formal power series 1 + x + x^{2} + ··· = (1 − x)^{−1}. The mean value and standard deviation are undefined. Nevertheless it has a cumulantgenerating function, g(t) = −log(1−e^{t}). The derivative of this cumulantgenerating function is g '(t) = (e^{−t}−1)^{−1}.
A finite multiset of real numbers , A = { A_{i} }, is represented by the cumulant generating function
This representation is unique: different multisets have different cumulant generating functions. See partition function (statistical mechanics) for the case where the numbers in question are the energy levels of a physical system.
The cumulantgenerating function of a multiset of n real numbers having mean μ and standard deviation σ is: g(t) = log(n) + μ·t + 2^{−1}·(σ·t)^{2} + ··· , and the derivative is simply: g '(t) = μ + σ^{2}·t + ···
The cumulantgenerating function of set, {k}, consisting of a single real number, k, is g(t) = k·t , and the derivative is the number itself: g '(t) = k . So the concept of the derivative of the cumulant generating function of a multiset of real numbers is a generalization of the concept of a real number.
The cumulantgenerating function of a constant multiset, {k, k, k, k, ··· , k} of n elements all equal to the same real number k, is g(t) = log(n)+k·t , and the derivative is the number itself: g '(t) = k , irrespective of n.
The cumulantgenerating function of the multiset of sums of elements of two multisets of numbers is the sum of the two cumulantgenerating functions:
There is unfortunately no general formula for computing the cumulant generating function of a product
but the special case of a constant times a multiset of numbers is:
The multiset 2·A = {2·A_{i}} is not the same multiset as 2×A =A+A = {A_{i}+A_{j}}. For example, 2·{+1,−1} = {+2,−2} while 2×{+1,−1} = {+1,−1} + {+1,−1} = {+1+1,+1−1,−1+1,−1−1} = {+2,0,0,−2}.
The standard normal distribution is like a limit of big multisets of numbers.
This limit does not make sense as a multiset of numbers, but the derivative of the cumulant generating functions of the multisets in question makes sense, and the limit is well defined.
The constant term k^{2}·log(2) vanishes by differentiation. The terms ··· vanish in the limit. So for the standard normal distribution, having mean 0 and standard deviation 1, the derivative of the cumulant generating function is simply g '(t) = t . For the normal distribution having mean μ and standard deviation σ, the derivative of the cumulant generating function is g '(t) = μ + σ^{2}·t .
See also random variable.
Notes
 ^ Knuth, Donald E. (1998). The Art of Computer Programming – Vol. 2: Seminumerical Algorithms (3rd edition ed.). Addison Wesley. pp. 694. ISBN 0201896842. Knuth also lists other names that were proposed for multisets, such as list, bunch, bag, heap, sample, weighted set, collection, and suite.
 ^ Syropoulos, Apostolos (2001), p. 347
 ^ Hein, James L. (2003). Discrete mathematics. Jones & Bartlett Publishers. pp. 29–30. ISBN 0763722103.
References
 Blizard, Wayne D. (1989) "Multiset theory," Notre Dame Journal of Formal Logic, Volume 30, Number 1, Winter: pp. 36–66. doi:10.1305/ndjfl/1093634995 http://projecteuclid.org/euclid.ndjfl/1093634995 MR990203 0668.03027
 Bogart, Kenneth P. (2000). Introductory combinatorics, 3rd. ed. San Diego CA: Harcourt.
 Gessel, Ira M., and Stanley, Richard P. (1995) "Algebraic enumeration" in Graham, R. L., Grötschel, M., & Lovász, L., eds., Handbook of combinatorics, Vol. 2. Elsevier: 1021–1061. ISBN 0444823514, 044488002X, 0262071711, 026207169X.
 Multisets are discussed on pp. 1036–1039.
 Hickman, J. L. (1980) "A note on the concept of multiset," Bulletin of the Australian Mathematical Society 22: 211–17.
 Stanley, Richard P. (1997, 1999) Enumerative Combinatorics, Vols. 1 and 2. Cambridge University Press. ISBN 0521553091, 0521560691.
 Syropoulos, Apostolos (2001) "Mathematics of Multisets" in C. S. Calude et al., eds., Multiset processing: Mathematical, computer science, and molecular computing points of view, LNCS 2235. SpringerVerlag: 347–358.
Categories: Basic concepts in set theory
 Factorial and binomial topics
Wikimedia Foundation. 2010.
Look at other dictionaries:
multiset — noun A generalization of a set: a container, in which, unlike for set, an element can be present multiple times … Wiktionary
Mobile Membranes — Membrane systems have been inspired from the structure and the functioning of the living cells. They were introduced and studied by Gh.Paun under the name of P systems [24]; some applications of the membrane systems are presented in [15].… … Wikipedia
Incidence algebra — In order theory, a field of mathematics, an incidence algebra is an associative algebra, defined for any locally finite partially ordered set and commutative ring with unity. Contents 1 Definition 1.1 Related concepts 2 Special elements … Wikipedia
Permutation — For other uses, see Permutation (disambiguation). The 6 permutations of 3 balls In mathematics, the notion of permutation is used with several slightly different meanings, all related to the act of permuting (rearranging) objects or values.… … Wikipedia
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
Set (computer science) — In computer science, a set is a collection (container) of certain values, without any particular order, and no repeated values. It corresponds with a finite set in mathematics. Disregarding sequence, and the fact that there are no repeated values … Wikipedia
Бирюков, Алекс — Алекс Бирюков (англ. Alex Biryukov) криптограф, в настоящее время доцент университета Люксембурга[1]. К его значимым достижениям относится дизайн поточного шифра LEX, а также криптоанализ многочисленных криптографических примитивов. В 1998… … Википедия
Combination — Combin redirects here. For the mountain massif, see Grand Combin. For other uses, see Combination (disambiguation). In mathematics a combination is a way of selecting several things out of a larger group, where (unlike permutations) order does… … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Amenable number — An amenable number is an integer for which there exists a multiset of as many integers as the original number that can be either added up or multiplied together to give the original number. To put it algebraically, for an integer n , there is a… … Wikipedia