On Monday, we considered how the sets can be represented as functions In fact, for every function we can define Combining this with the definition of the characteristic function, we have the identities

and

This actually provides the bijection between and the functions that I mentioned immediately following the definition of the characteristic function.

Structurally, the class

is very similar to the class

of multisets over Our ability to represent the set operations on by well-defined operations in the ordered field suggests that we look at some of the well-defined operations on as a basis for formally defining the multiset operations on

One operation on that we have already used is the cardinal sum which is defined for every set of cardinals

Definition

Let be an indexed family of multisets. The multiset sum of is the multiset

Since for all the cardinal sum on the right is well-defined and the multiset sum does indeed give us another multiset over For a pair of multisets, we will generally write the multiset sum in infix notation as

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 we have for all 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:

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

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

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

This entry was posted on Wednesday, May 14th, 2008 at 4:00 am and is filed under Mathematics, Multisets. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

Now I’m curious… what does one do in a Math Ideas class?

I already had a year of calculus before I finished high school, and I don’t think I’ve ever encountered a course with a title like that. I did have a writing-emphasis course in my math program. We wrote a historical essay (mine was actually on Cantor), and worked quite a bit on improving our written presentation of mathematical arguments (read: lots of well-presented proofs, not just a series of equations with a box around the final answer).

Well, during that semester. We studied the historical background of Pi and how that came about. We also learned about the Pythagorean theorem and where it came from, how it was created etc. (wrote papers).

Our final projected was to get something created in this world and explain how the functions of math work it’s way around that specific object. My friend and I chose to explain a camera and we discussed the focal length, depth of field, aperture, etc.

So it wasn’t a complete waste of class. I took the class just to get my math credit out of the way. It’s basically a class designed for students who are non-math related majors. I’m a film guy. Math is the last thing I wanted to study.

[…] Over the past two weeks, we’ve introduced three operations on families of multisets: sums, products, and intersections. The other basic operation on families of multisets, unions, is […]

[…] defined four operations on families of multisets where for all : sums, products, intersections, and unions. As I’ve already commented in a couple of places, we can […]

This is a lot easier to read. And, I do like the theme as well. Thanks!

Wow! This is the reason why I took a Math Ideas class in college. All we did was write essays about math theories. =)

Now I’m curious… what does one do in a Math Ideas class?

I already had a year of calculus before I finished high school, and I don’t think I’ve ever encountered a course with a title like that. I

didhave a writing-emphasis course in my math program. We wrote a historical essay (mine was actually on Cantor), and worked quite a bit on improving our written presentation of mathematical arguments (read: lots of well-presented proofs, not just a series of equations with a box around the final answer).Well, during that semester. We studied the historical background of Pi and how that came about. We also learned about the Pythagorean theorem and where it came from, how it was created etc. (wrote papers).

Our final projected was to get something created in this world and explain how the functions of math work it’s way around that specific object. My friend and I chose to explain a camera and we discussed the focal length, depth of field, aperture, etc.

So it wasn’t a complete waste of class. I took the class just to get my math credit out of the way. It’s basically a class designed for students who are non-math related majors. I’m a film guy. Math is the last thing I wanted to study.

[…] suprema, and well-orders In the last couple of posts about multisets, we’ve looked at two types of operations we can perform on the class […]

[…] Over the past two weeks, we’ve introduced three operations on families of multisets: sums, products, and intersections. The other basic operation on families of multisets, unions, is […]

[…] defined four operations on families of multisets where for all : sums, products, intersections, and unions. As I’ve already commented in a couple of places, we can […]