Set Theory and String Theory

29 10 2006

One remark that Penelope Maddy makes several times in Naturalism in Mathematics, is that if the indispensability argument was really important in justifying mathematics, then set theorists should be looking to debates over quantum gravity to settle questions of new axioms. Since this doesn’t seem to be happening, she infers that the indispensability argument can’t play the role Quine and Putnam (and perhaps her earlier book?) argued that it does.

However, since the awarding of the Fields Medal to the physicist Ed Witten in 1990, it’s not totally clear that Maddy is right about this. Set theorists certainly don’t pay much attention to string theory and related theories, but other mathematicians in low-dimensional topology and algebraic geometry seem to. I don’t know much about the details, but from what I understand, physicists have conjectured some deep and interesting connections between seemingly disparate areas of mathematics, in order to explain (or predict?) particular physical phenomena. These connections have rarely been rigorously proved, but they have stimulated mathematical research both in pursuing the analogies and attempting to prove them. Although the mathematicians often find the physicists’ work frustratingly imprecise and non-rigorous, once the analogies and connections have been suggested by physicists, mathematicians get very interested as well.

If hypothetically, one of these connections was to turn out to be independent of ZFC, I could imagine that there would at least be a certain camp among mathematicians that would take this as evidence for whatever large cardinal (or other) principle was needed to prove the connection. Set theorists themselves haven’t paid too much attention to these issues, because the interesting connections are in mathematical areas traditionally considered quite distant from set theory. Instead, they have traditionally looked at intra-set-theoretic considerations to justify large cardinals. But if it became plausible that some of these other debates would turn out to be connected, I’m sure they would start paying attention to the physics research, contrary to what Maddy suggests.


Random Links

26 10 2006

Metaphysicians and ontologists may want to consult this list in doing their work. Or perhaps make contributions. I added “numbers”.

Math And Science Song Information, Viewable Everywhere – unfortunately, there are no songs about set theory it seems.

Texas Decision Theory

24 10 2006

I was in Austin a couple weeks ago for the second Texas Decision Theory Workshop, which was a lot of fun. It was a fairly small group, and some interesting topics I didn’t know much about were discussed. In particular, there was a lot of discussion (primarily by Sahotra Sarkar and Carl Wagner) about decision making with imprecise probabilities. There was also a lot of discussion of multiple-criteria decision making. My friend Alex Moffett discussed the impossibility theorems of Arrow, and Gibbard and Satterthwaite – he mentioned an analogy between multiple-agent decision making (as in the traditional presentations of these theorems) and multiple-criteria decision making, suggesting that in this context at least, the “independence of irrelevant alternatives” criterion really is important. And Mike Titelbaum presented some of his work on generalized versions of conditionalization as constraints on rational agents even under forgetting.

I talked about some of the things I discussed earlier this summer, but with more of a worked-out formalism for describing the decision apparatus (and constructing stronger decision theories out of weaker ones). I was surprised to see that some of this formalism that I developed for infinitary cases seems to resemble some of the formalisms for imprecise probabilities! I’ll have to look into this more to see how they really connect.

Banach-Tarski, the Axiom of Choice, and Notions of Size

1 10 2006

At the Australasian Association of Philosophy conference in July, someone raised a question about the Banach-Tarski paradox (that link actually explains and proves it quite nicely) that was supposed to be a problem for someone’s position. It was pointed out that this depended on the Axiom of Choice (and therefore perhaps wasn’t that important), but Jason Grossman said that this wasn’t quite true. In discussion afterwards, he sent me to this paper by Randall Dougherty and Michael Foreman, where the relevant results were published (back in 1994).

It turns out that this is not quite right – full Banach-Tarski-like results do in fact depend on the Axiom of Choice. (This can be seen because the Axiom of Determinacy, which is an alternative to choice that is believed to be consistent, entails that all sets of reals are Lebesgue measurable, which would mean that only sets of the same Lebesgue measure are equidecomposable.) However, Dougherty and Foreman do prove some similarly paradoxical-sounding results without choice, which is what Grossman was referring to.

Perhaps the most surprising result is that for any two closed balls in Rn, one can take a finite collection of disjoint open(!) subsets of the first and rearrange them to form a set whose closure is the other. One can even arrange things so that these sets are dense in each ball. Intuitively, there is a sense in which a dense open subset of a set is “almost equal” to that set (this is in Baire’s sense, rather than the senses of Borel or Lebesgue), and there is also a sense in which open sets are extremely well-behaved. Thus, the result shows that one can take two balls of vastly different sizes, and show that they are “almost the same” as one another, using well-behaved sets and well-behaved tranformations of those sets (rotations and translations). This sounds bad – but it may make weaken the case of Banach-Tarski against the Axiom of Choice, since you can get something almost as bad even without it. However, I think this isn’t quite right. Instead, it seems to suggest both that Baire’s sense of “almost all” just isn’t as good as Lebesgue’s, and perhaps also that open sets aren’t as nice as we thought.

Baire’s idea is that a dense open subset of a nice topological space is almost all of it. (We call the complement of a dense open subset, “nowhere dense”, because its closure contains no open interval – in fact it contains nothing outside of itself.) This was reinforced when he proved the Baire Category Theorem, which shows that the intersection of countably many dense open sets is itself always dense (anything including such a countable intersection is said to be “co-meager”, and its complement, a subset of the countable union of nowhere dense sets, is said to be “meager”). Traditionally, meager sets are thought of as “almost empty” and co-meager sets are thought to contain “almost all” points. In particular, the boundary of any open or closed set is meager. A set is said to have “the property of Baire” if its symmetric difference with some open set is meager – thus, it is “almost open”.

By contrast, Lebesgue introduced a much more precise notion of measure, assigning a real number to every measurable set, and saying that sets of measure 0 are “almost empty” and their complements contain “almost all” points. In the reals, this is done by declaring the measure of any open or closed interval to be the difference between the endpoints, and then saying that this measure is additive for disjoint unions of measurable sets. (In higher dimensions, one starts with rectangular products of open or closed intervals in the reals, saying that the measure of the product is the product of the measures, and continuing as before.) Finally, any subset of a measure 0 set is also declared to be measurable, and to have measure 0. It turns out that a set is Lebesgue measurable iff its symmetric difference with some open set has measure 0, so being measurable is Lebesgue’s counterpart of the property of Baire.

It has long been known that Baire’s and Lebesgue’s notions are different. It turns out that one can find dense open sets of arbitrarily small Lebesgue measure (consider the countable collection of basic open sets with rational endpoints, and take one open subset of each of measure at most x/2n, and their union will be a dense open subset of measure at most 2x), and thus the countable intersection of some of them will be a co-meager set of measure 0, and its complement will be a meager set of full measure.

Now, because Lebesgue measure is countably additive, and open sets are all Lebesgue measurable, we can see what must be going on in the Dougherty-Foreman case mentioned above. The dense open sets in the decomposition must have Lebesgue measure less than that of the small ball, but their boundary must be a meager set whose Lebesgue measure makes up for the difference. Thus, although we can rearrange parts of the small ball to be dense in the large one, we haven’t filled “almost all” of it in Lebesgue’s sense. If we stick with Lebesgue measure rather than Baire-influenced notions, we don’t get the paradox unless we use the Axiom of Choice. And with the Axiom of Choice, the sets needed for the decomposition are non-Lebesgue-measurable. And as a further blow against the Baire notion, the central result of Dougherty and Foreman is a Banach-Tarski-style decomposition where every set involved has the property of Baire. Thus, sets with the property of Baire aren’t really all that nice, since we can use them to decompose small sets into large ones.

At one point in the past, it looked like Baire and Lebesgue had come across two different but equally good notions of “almost equality” for sets of reals (and sets in other topological spaces as well). However, it looks like more recent developments in set theory have shown that Lebesgue’s is in general more useful. The Banach-Tarski paradox doesn’t occur without the Axiom of Choice (or at least, some axiom on the way towards it, since we need to construct non-Lebesgue-measurable sets), but with choice we can do it with sets with the property of Baire. Something seemingly nearly as bad occurs with open sets even without choice, but it turns out that it only looks bad when using Baire’s notion of almost equality. So the Banach-Tarski paradox remains approximately as paradoxical as it always was, though we have more understanding now of it through some of its relatives.