This has been bugging me all day:
Comparisons involving infinitely large numbers are notoriously tricky. ... To grasp the mathematical challenge, imagine that you’re a contestant on Let’s Make a Deal and you’ve won an unusual prize: an infinite collection of envelopes, the first containing $1, the second $2, the third $3, and so on. As the crowd cheers, Monty chimes in to make you an offer. Either keep your prize as is, or elect to have him double the contents of each envelope. At first it seems obvious that you should take the deal. “Each envelope will contain more money than it previously did,” you think, “so this has to be the right move.” And if you had only a finite number of envelopes, it would be the right move. To exchange five envelopes containing $1, $2, $3, $4, and $5 for envelopes with $2, $4, $6, $8, and $10 makes unassailable sense. But after another moment’s thought, you start to waver, because you realize that the infinite case is less clear-cut. “If I take the deal,” you think, “I’ll wind up with envelopes containing $2, $4, $6, and so on, running through all the even numbers. But as things currently stand, my envelopes run through all whole numbers, the evens as well as the odds. So it seems that by taking the deal I’ll be removing the odd dollar amounts from my total tally. That doesn’t sound like a smart thing to do.” Your head starts to spin. Compared envelope by envelope, the deal looks good. Compared collection to collection, the deal looks bad.
Your dilemma illustrates the kind of mathematical pitfall that makes it so hard to compare infinite collections. The crowd is growing antsy, you have to make a decision, but your assessment of the deal depends on the way you compare the two outcomes.
A similar ambiguity afflicts comparisons of a yet more basic characteristic of such collections: the number of members each contains. ... Which are more plentiful, whole numbers or even numbers? Most people would say whole numbers, since only half of the whole numbers are even. But your experience with Monty gives you sharper insight. Imagine that you take Monty’s deal and wind up with all even dollar amounts. In doing so, you wouldn’t return any envelopes nor would you require any new ones... You conclude, therefore, that the number of envelopes required to accommodate all whole numbers is the same as the number of envelopes required to accommodate all even numbers—which suggests that the populations of each category are equal (Table 7.1). And that’s weird. By one method of comparison—considering the even numbers as a subset of the whole numbers—you conclude that there are more whole numbers. By a different method of comparison—considering how many envelopes are needed to contain the members of each group—you conclude that the set of whole numbers and the set of even numbers have equal populations.
Physicists call this the measure problem, a mathematical term whose meaning is well suggested by its name. ... Solving the measure problem is imperative.
[From Greene, Brian (2011). The Hidden Reality: Parallel Universes and the Deep Laws of the Cosmos (Kindle Locations 3609-3624). Random House, Inc.. Kindle Edition.]