Multiset sums

May 14, 2008

On Monday, we considered how the sets A\in\wp\left(X\right) can be represented as functions \chi_A: X\to \mathbb{F}_2. In fact, for every function \chi:X\to\mathbb{F}_2, we can define A_\chi = \left\{x\in X \:|\:\chi\left(x\right) = 1\right\}. Combining this with the definition of the characteristic function, we have the identities

A_{\chi_A} = A and \chi_{A_\chi} = \chi.

This actually provides the bijection between \wp\left(X\right) and the functions \chi that I mentioned immediately following the definition of the characteristic function.

Structurally, the class

\mathbf{SSet}_X := \left\{\left(X, \chi\right) \:|\: \chi: X\to\mathbb{F}_2\right\}

is very similar to the class

\mathbf{MSet}_X := \left\{(\left(X, f\right) \:|\: f: X\to\mathbf{Card}\right\}

of multisets over X. Our ability to represent the set operations on \mathbf{SSet}_X by well-defined operations in the ordered field \mathbb{F}_2 suggests that we look at some of the well-defined operations on \mathbf{Card} as a basis for formally defining the multiset operations on \mathbf{MSet}_X.

One operation on \mathbf{Card} that we have already used is the cardinal sum \sum_{i\in I}\kappa_i, which is defined for every set of cardinals \left\{\kappa_i\right\}_{i\in I}.


Let \mathcal{M} = \left\{\mathcal{M}_i = \left(X, f_i\right)\right\}_{i\in I} be an indexed family of multisets. The multiset sum of \mathcal{M} is the multiset

\biguplus_{i\in I} \mathcal{M}_i := \left(X, \sum_{i\in I}f_i\right).

Since \mathrm{dom}\left(f_i\right) = X for all i\in I, the cardinal sum on the right is well-defined and the multiset sum does indeed give us another multiset over X. For a pair of multisets, we will generally write the multiset sum in infix notation as \mathcal{M}_1 \uplus \mathcal{M}_2.

As the notation suggests, the multiset sum is related to the union operation on sets. Multiset sums, like the union of sets are both commutative and associative—these follow directly from the corresponding properties of the cardinal sum. Cardinal sums are also monotonic nondecreasing; for any cardinal sum \kappa = \sum_{i\in I} {\kappa_i} we have \kappa_i \leq \kappa for all i\in I. One consequence of this is that a cardinal sum is 0 if and only if all of its summands are 0, and so we have the following relationship between support, multiset sums, and set unions:

\mathrm{support}\left(\biguplus_{i\in I} {\mathcal{M}_i}\right) = \bigcup_{i\in I} {\mathrm{support}\left(\mathcal{M}_i\right)}.

The monotonicity of cardinal sums also ensures that the multiset sum of a family of multisets contains each of the multisets in the family:

\mathcal{M} = \biguplus_{i\in I}{\mathcal{M}_i}\:\Rightarrow\:\left(\forall i\in I\right)\left(\mathcal{M}_i\subseteq\mathcal{M}\right).

Here’s a way in which the multiset sum differs from the union of sets. Set union is idempotent—for any set X, we have X\cup X = X. The multiset sum, on the other hand, is not idempotent, as we can see by considering the sum

\left\{a\right\}\uplus\left\{a\right\} = \left\{a, a\right\} \neq \left\{a\right\}.

This last example also shows that the class of multisets with all multiplicities equal to 1 is not closed under multiset sums.

Copyright © 2008 Michael L. McCliment.