While trying Sweet & Salty Snack Mix Cheez-Its last night at my daughter’s recommendation (she was right–they’re great), I thought about Georg Cantor and set theory, which he invented and I’m trying to learn about. Before Cantor came along, people used the word “set” imprecisely; he gave it a useful rigor that helped make it a foundational concept of modern-day math. And amazing things resulted, like his finding that there are infinities of different sizes. Cheez-Its can help make this clear.
As the snack’s web page illustrates, there are 31 varieties of Cheez-Its, making the product line a set with 31 elements. One can also group the product line, however, into five sets: the traditional baked crackers, the ultrathin “Snap’d” line, the Grooves, the mashup-flavored Duoz, and the Snack Mixes. This is one thing sets are good for: helping us group things and think of them together. As Cantor put it, “A set is a Many that allows itself to be thought of as a One.”
Now let’s think about just the Snack Mixes, of which there are only three: the Sweet & Salty, the Double Cheese, and the Classic. This means the Snack Mixes is a set with three elements. One of the things Cantor noticed is that the set of all possible subsets of a set–what mathematicians refer to as the “power set” of a set–always has more elements than the set itself. In the case of the Snack Mixes, you could have a single-element set made up of only the Sweet & Salty, only the Double Cheese, or only the Classic; a two-element set of the Sweet & Salty and the Double Cheese, the Sweet & Salty and the Classic, or a set of the Double Cheese and the Classic; a set with nothing in it (mathematicians call this the “null set,” and it’s a subset of any set); or the original three-element set (because every set is a subset of itself). That means that for a three-element set, its power set has eight elements, and it turns out, as Cantor proved, that this follows a predictable rule: for any set with a number of elements represented by n, the number of elements in its power set is 2 raised to the power of n.
Now here’s where things get really cool. The number of Cheez-It varieties (at least so far) is finite. But in math there are infinite sets, like that of the integers. But if, for any set, the power set always has more elements than the set itself, it must be the case that while the set of the integers is infinite, the power set of the integers is even more so.
The idea that there are degrees of infinity, with some bigger than others, is something that freaked people out big time, in Cantor’s day; and it’s a lot to absorb even now. I think I’ll pause there for today; it’s something to chew on. Maybe with your own box of Cheez-Its.