PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
multiset (Definition)

A multiset is a set for which repeated elements are considered.

Note that the standard definition of a set also allows repeated elements, but these are not treated as repeated elements. For example, $\{1,1,3\}$ as a set is actually equal to $\{1,3\}$ However, as a multiset, $\{1,1,3\}$ is not simplifiable further.

A definition that makes clear the distinction between set and multiset follows:

Multiset 1   A multiset is a pair $(X, f)$ where $X$ is a set, and $f$ is a function mapping $X$ to the cardinal numbers greater than zero. For any $x \in X$ $f(x)$ is called the multiplicity of $x$

Using this definition and expressing $f$ as a set of ordered pairs, we see that the multiset $\{1,3\}$ has $X = \{1,3\}$ and $f = \{(1,1),(3,1)\}$ By contrast, the multiset $\{1,1,3\}$ has $X = \{1,3\}$ and $f = \{(1,2),(3,1)\}$

Generally, a multiplicity of zero is not allowed, but a few mathematicians do allow for it, such as Bogart and Stanley. It is far more common to disallow infinite multiplicity, which greatly complicates the definition of operations such as unions, intersections, complements, etc.

Bibliography

1
Kenneth P. Bogart, Introductory Combinatorics. Florence, Kentucky: Cengage Learning (2000): 93
2
John L. Hickman, ``A note on the concept of multiset'' Bulletin of the Australian Mathematical Society 22 (1980): 211 - 217
3
Richard P. Stanley, Enumerative Combinatorics Vol 1. Cambridge: Cambridge University Press (1997): 15




"multiset" is owned by PrimeFan. [ full author list (3) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: axioms of metacategories and supercategories

Other names:  bag
Log in to rate this entry.
(view current ratings)

Cross-references: complements, intersections, unions, operations, infinite, ordered pairs, multiplicity, greater than zero, cardinal numbers, mapping, function, clear
There are 12 references to this entry.

This is version 9 of multiset, born on 2002-02-18, modified 2008-05-16.
Object id is 2090, canonical name is Multiset.
Accessed 6337 times total.

Classification:
AMS MSC03E99 (Mathematical logic and foundations :: Set theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 7 ]
Discussion
Style: Expand: Order:
forum policy
some suggestions by kfgauss70 on 2007-12-27 18:54:46
Hi, I've some suggestions to improve the multiset definiton.

1) Multiset is also known as bag
2) in the formal definition represent f:X\to{1,2,3,...} - avoid the use of "function mapping"
3) in the formal definition say, "A multiset M is a pair..." and conclude saying "f(x) if the multiplicity of x in M"
4) stress two possible way of representing a multiset, as sequence of (element,multiplicity) pairs or as collection of objects, each repeated with its multiplicity {...}

[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)