580 -Cardinal arithmetic (9)

March 7, 2009

2. The ultrapower construction

 

The study of ultrapowers originates in model theory, although it has found applications both in algebra and in analysis. However, it is accurate to say that it is mainly exploited in set theory. Here I present the basic idea, showing its close connection to the study of measurable cardinals, defined last lecture.

Suppose first that {{mathcal U}} is an ultrafilter over a set {X.} We want to define the ultrapower of the universe {V} of sets by {{mathcal U}.} The basic idea is to consider the product of {X} many copies of the structure {(V,in).} We want to “amalgamate” them somehow into a new structure {(tilde V,tildein).} For this, we look for the “typical” properties of the elements {{f(x): xin X}} of each “thread” {f:Xrightarrow V,} and add an element {tilde f} to {tilde V} whose properties in {(tilde V,tildein)} are precisely these typical properties. We use {{mathcal U}} to make this precise, by saying that a property {varphi} is typical of the range of {f} iff {{xin X:varphi(f(x))}in{mathcal U}.} This leads us to the following definition, due to Dana Scott, that adapts the ultrapower construction to the context of proper classes:

Definition 1 Let {{mathcal U}} be an ultrafilter over a nonempty set {X.} We define the ultrapower {(V^X/{mathcal U},hatin)} of {V} by {{mathcal U}} as follows:

For {f,g:Xrightarrow V,} say that

displaystyle  f=_{mathcal U} gmbox{ iff }{xin X:f(x)=g(x)}in{mathcal U}.

This is easily seen to be an equivalence relation. We would like to make the elements of {V^X/{mathcal U}} to be the equivalence classes of this relation. Unfortunately, these are all proper classes except for the trivial case when {X} is a singleton, so we cannot within the context of our formal theory form the collection of all equivalence classes.

Scott’s trick solves this problem by replacing the class of {f} with

displaystyle  [f]:={g:Xrightarrow V: g=_{mathcal U}fmbox{ and }{rm rk}(g)mbox{ is least possible}}.

Here, as usual, {{rm rk}(g)={rm min}{alpha:gin V_{alpha+1}}=sup{{rm rk}(x)+1:xin g}.} All the “classes” {[f]} are now sets, and we set {V^X/{mathcal U}={[f]: f:Xrightarrow V}.}

We define {hatin} by saying that for {f,g:Xrightarrow V} we have

displaystyle  [f]hatin[g]mbox{ iff }{xin X:f(x)in g(x)}in{mathcal U}.

(It is easy to see that {hatin} is indeed well defined, i.e., if {f=_{mathcal U}f'} and {g=_{mathcal U}g'} then {{xin X:f(x)in g(x)}in{mathcal U}} iff {{xin X:f'(x)in g'(x)}in{mathcal U}.})

 

(The ultrapower construction is more general than as just defined; what I have presented is the particular case of interest to us.) The remarkable observation, due to mbox{L o's,} is that this definition indeed captures the typical properties of each thread in the sense described above:

Read the rest of this entry »