I do not really have much to say about this movie; I found it kind of mediocre. It presents itself as more than it ends up being, and rather than having characters that face their problems in interesting or challenging ways, it felt dissapointing, a bit cliched. It is not a *bad *movie, though. I suppose there are worst ways of spending two hours.

## The last kiss

April 27, 2008## God grew tired of us

April 27, 2008This is an excellent documentary about a horrible ongoing tragedy. But there is a lot of hope in the story; John Bul Dau, one of the “lost boys of Sudan” the movie is about, is inspirational, a great leader. In the midst of all their suffering, I could not believe how much energy and optimism he displayed. He is truly an admirable person.

Part of the documentary follows several kids that are relocated to the States (thanks to Catholic Charities International). I found particularly interesting to see the culture clash that the group suffers, arriving to and having to survive in the States with what looks like very little assistance.

Although they are very grateful, we learn that the older ones have to hold one or two jobs in order to pay back the cost of their move. Of course, the jobs they find are not particularly appealing or well paid, plus they have to face discrimination and ignorance. The younger ones, on the other hand, get to go to school and several of them try very quickly to absorb the American life style, leaving behind their roots and traditions, which leads to an interesting clash with people like John Bul Dau, who makes every effort to keep their memory and connections alive.

I highly recommend this moving and sobering documentary.

## 116c- Lecture 8

April 24, 2008We defined infinite sums and products and showed that if for all , then .

We also showed that if is an increasing sequence of cardinals cofinal in , then . In particular, .

We defined singular cardinals and showed that (with choice) all successor cardinals are regular and all limit cardinals are singular unless . We showed that, indeed, there are *fixed points* of the aleph function, as a particular case of a result about *normal* functions. We defined *(weakly) inaccessible* cardinals as the regular limit cardinals (thus, regular fixed points of the aleph function).

**Correction**. I believe during lecture I mixed two arguments by mistake, making one of the proofs come out unnecessarily confusing, so I will present the correct argument here, for clarity.

In lecture we showed that if is a normal function, then it has a proper class of fixed points. Thus, we can enumerate them in increasing order. Let be this enumeration.

**Claim**. was also normal.

**Proof**. We need to check that is continuous. Let be a limit ordinal and suppose that . We need to show that .

By definition, this means that:

- is a fixed point of , and
- is the -th fixed point of .

But, clearly, if is a fixed point, then it must be the -th one, since we have already enumerated fixed points below , and any fixed point below is below some with , so it is not even the -th one.

So we only need to check that . But and each is a fixed point of (again, by definition of ), so , where the previous to last equality is by continuity of .

It follows that itself has a proper class of fixed points. It is also the case that there is a proper class of fixed points of that are limits of fixed points of : Simply notice that the argument above shows that any limit of fixed points of is itself a fixed point. Thus, we have:

**Corollary**. The function enumerating the limit points of (i.e., the fixed points of that are themselves limit of fixed points) is normal.

I believe during lecture I mixed at some point and (although I never explicitly mentioned ). Hopefully the above clarifies the argument. For the particular case of , we have that enumerates the ordinals such that , so is the first such cardinal. The function enumerates the limit points of , so . Notice that . One can easily see that if is a weakly inaccessible cardinal, then is a fixed point of , and .

In fact, define for all , let be the enumeration of the fixed points of , and let (for limit) enumerate the ordinals that are simultaneously fixed points of all the for . Then, if is weakly inaccessible, then * for all *.

**Remark**.

- We did not prove that weakly inaccessible cardinals exist. The examples given in lecture of fixed points of the aleph function have cofinality and, similarly, we can produce fixed points of arbitrarily large cofinality, but the argument falls short of finding regular fixed points (in fact, we can show that each as defined above is normal, but the argument does not show that we can “diagonalize” to obtain a fixed for all with ). In fact, it is consistent with that all limit cardinals are singular. However, it is the general consensus among set theorists that the existence of inaccessible cardinals is one of the axioms of set theory that the original list somehow missed.
- We defined normal functions as proper classes; however, we can as well define for any ordinal a function to be normal iff it is strictly increasing and continuous. The same argument as in lecture (or above) then shows that if and is normal, then there is a
*closed and unbounded*subset of consisting of fixed points of . It turns out that closed unbounded sets are very important in infinitary combinatorics, and we will study them in more detail in subsequent lectures.

## 116c- Lecture 7

April 22, 2008We presented the proof that “-trichotomy” implies choice. The following is still open:

**Question.** () Assume that is non-well-orderable. Is there a countably infinite family of pairwise size-incomparable sets?

We mentioned a few (familiar) statements that fail in the absence of choice, like the existence of bases for any vector space, Tychonoff’s theorem, or the “surjective” version of the Schröder-Bernstein theorem.

We defined addition, multiplication and exponentiation of cardinals, and verified that addition and multiplication are trivial. We stated the *continuum hypothesis* , and the *generalized continuum hypothesis* .

We want to prove (in subsequent lectures) a few non-trivial results about the behavior of exponentiation. In order to do this, we need the key notion of *cofinality*. We proved a few basic facts about cofinality and defined *regular* cardinals.

## 116c- Homework 3

April 22, 2008**Update.** Now due Wednesday, April 30 at 2:30 pm.

**Corrections**. (Thanks to Fedor Manin for noticing these.)

- On Exercise 2.(c), assume in addition that satisfies the conditions of in item 2.(a); this should really be all that is needed of 2.(c) for later parts of the exercise.
- On Exercise 2.(f), we also need .

**Update**. Here is a quick sketch of the proof of the Milner-Rado paradox.

First notice that the result is clear if , since we can write any as a countable union of singletons. So we may assume that is uncountable.

Notice that . This can be checked either by induction on , or by using the characterization of ordinal exponentiation in terms of functions of finite support.

Notice that the function is normal. By the above, it follows that for all uncountable cardinals . In particular, it suffices to prove the result for ordinals that are an ordinal power of , since these ordinals are cofinal in , and a representation as desired for an ordinal gives (by restriction) such a representation for any smaller ordinal.

By the above, for any . It is easy to see that for any , if , then the interval is order isomorphic to ; this can be proved by a straightforward induction on .

For any , we can write , where so it has order type .

Also, if is a limit ordinal below , then we can write for some strictly increasing continuous sequence cofinal in . Let and for . Then and each has order type .

[That the sequence is continuous (at limits) ensures that the cover . That they have the claimed order type follows from the “straightforward inductive argument” three paragraphs above.]

So we have written each as an increasing union of many intervals whose order types are ordinal powers of , and is either or . Now proceed by induction. We may assume that each ordinal below can be written as claimed in the paradox. In particular, each , having order type an ordinal smaller than , can be written that way, say where . If , this immediately gives the result for : Take and . Clearly their union is and they have small order type as required. If , take and . Again, their union is , and is at most the order type of concatenating many copies of [it is here that we use that for ], so .

## 116c- Lecture 6

April 18, 2008We revisited the proof of the Schröder-Bernstein theorem and showed how arguments using recursion can provide explicit fixed points for the required map. Recall that if and are injective, we consider the monotone map given by , since if is a fixed point of , then , and we obtain a bijection by setting if and if .

We also presented a combinatorial proof considering “paths” along the graphs of and (surely folklore, but apparently first recorded by Paul Cohen) and Cantor’s original argument (using choice).

We then started the proof of the equivalence (in ) of several versions of choice:

- The well-ordering principle (our official version of ).
- The existence of choice functions for any set .
- Zorn’s lemma.
- Trichotomy: Given any sets and , one of them injects into the other. (Called
*trichotomy*as it gives that either , or .) - -trichotomy (for a fixed ): Given any sets, at least one of them injects into another.

(The proof that (5) implies (1) will be given in Tuesday.)