In the previous article we saw that fruitful analogies between finitary and infinitary mathematics can allow the techniques of one to shed light on the other. Here we borrow the power of infinitary math—in particular, ultrafilters and non-standard analysis—to simplify proofs of finitary statements.
Arguments in hard analysis are notorious for their profusion of “epsilons and deltas”, a more familiar example being the -definition of convergence from high school calculus. One may have to keep track of a whole army of epsilons, some of which are “small”, “very small” (i.e. negligible as compared to even the “small” epsilons), “very very small” and so on. This “epsilon management” is exacerbated with those unsightly quantifiers (“for every there exists such that…”) sprinkled within any statement. These quantifers need care to weave together, and need careful untangling to comprehend. To borrow a rather mild example from the previous article,
Finite convergence principle. If and is a function from the positive integers to the positive integers, and is such that is sufficiently large depending on and , then there exists an integer with such that for all .
(Anyone knows of more convoluted examples?)
“Automating” epsilon management has progressed in “asymptotic notation” like the family of notations, as well as the – and -type symbols, which rigorously formulate the respective qualitative ideas of “bounded by”, “much smaller than” and “comparable in size to”, without resorting to explicit quantities like and .
However, the absence of actual quantities inhibits detailed study; for instance, sums and products of “bounded numbers” (i.e. ) are also bounded, but it’s meaningless (obstructed by an axiom of set theory) to say that the set of is closed under addition and multiplication. Non-standard analysis solves this problem by adding new numbers into our number system, including infinities and infinitesimals.
Such “new numbers” are defined using non-principal ultrafilters, which are method to find the -limit of any sequence of real numbers. If converges then the -limit is the usual limit. However, the sequence has a -limit of the ordinal , which you can think of as “the smallest infinity”. You can get bigger infinities from the -limits of sequences like (which understandably converges to ).
The standard real number system together with all possible -limits forms the set of non-standard numbers, or hyperreal numbers. The analogue of an number is then a hyperreal number that is smaller than some standard real number. In fact, this set is a ring and we can readily apply every insight from ring theory to it. This is made possible from the principle that non-standard numbers can be manipulated just like standard numbers, also known as:
Transfer principle. Every proposition valid over real numbers is also valid over the hyperreals.
This allows us to take reciprocals of infinities to get infinitesimals for use in calculus. In fact, allowing calculus to rigorously work with infinitesimals was a major motivation for the development of non-standard analysis. For any infinitesimal , the -limit of the sequence is much, much smaller than . This process can be iterated to churn out a heirarchy of infinitesimals that shrink at a ridiculous pace, simplifying epsilon management. Tao says that:
“it lets one avoid having to explicitly write a lot of epsilon-management phrases such as ‘Let be a small number (depending on and ) to be chosen later’ and ‘… assuming was chosen sufficiently small depending on and ‘, which are very frequent in hard analysis literature…”
I guess ultrafilters do not change a proof in essence but greatly simplifies its language, freeing one’s attention for the big picture, as opposed to wading in a swamp of .
The original blog post details several important limitations to the above properties. It also develops some interesting properties of ultrafilters, such as their connection to the usual limits (and identities concerning them) and propositional logic. Many of these properties are explained with a wonderfully illustrative analogy of an ultrafilter as a “voting system”: In a sequence , each integer “votes” on some real number , and the -limit is the elected candidate. Different ultrafilters are distinguished by how much influence each integer has on the final decision (voting is unfair!)
The connection with propositional logic comes with asking each integer a yes-no question and evaluating the -limit, which would be either yes () or no (). A property of integers (i.e. ) is “-true” (i.e. almost surely true) if the “decision” after asking the integers “do you satisfy ?” is “yes”. -truths satisfy the laws of logic, but tautologically true statements are -true!
[1.5] Tao, Terence. Ultrafilters, non-standard analysis, and epsilon management. In Structure and Randomness: Pages from Year One of a Mathematical Blog. American Mathematical Society (2008).