Tychonoff theorem

To start off, I will be giving a proof of the Tychonoff theorem of topology, the theorem says that if X_i are compact topological spaces indexed by i\in I, then X=\Pi_{i\in I}X_i with the product topology is compact.

The following proof has the main idea illustrated in the following simpler theorem (the Königs lemma):

Take a poset P and assume that every point has finite rank, that is, if p\in P then the cardinality of chains in \{q\in P | q<p\} are bounded by a natural number, the least bound is called the rank, so the minimal elements have rank zero, those after them have rank 1, etc.  If we assume that the poset P has infinite elements but finitely many of a given rank n, then there exists an infinite chain p_0 < p_1<p_2<\dots (with the rank of p_n equal to n).

The proof is simple but clever, first choose p_0 to be minimal such that it has infinitely many elements above it, it exists as there are infinite elements in the poset but finitely many minimal elements; after that choose p_1 minimal above p_0 having infinitely many elements above it (exists by similar considerations), etc. (strictly speaking “q is above p” here should be defined as having a chain p=p_0<p_1<\dots <p_n=q with the required rank property).

The Tychonoff theorem can now be proved using the same idea with the technical padding of the analogy of “compact space” to “finite set” and transfinite recursion, the sets of rank i being the space X_i.

In full suppose by contradiction that there is an open cover \mathcal{U} of X which has no finite subcover (we may assume it to consist of elements of the usual basis). Well order I by a cardinal \kappa, may assume w.l.o.g that I=\kappa. Define with a transfinite recursion process on \alpha\leq \kappa points x_{\beta}\in X_{\beta} with \beta<\alpha, and such that \Pi_{\beta<\alpha}\{x_{\beta}\}\times\Pi_{\beta\geq \alpha}X_{\beta} is not covered by a finite subcover of \mathcal{U}. At stage \alpha=\kappa we get a contradiction.

At stage \alpha=\delta  a limit ordinal, no new element needs to be chosen, and the process goes through by the finiteness in the definition of the product topology (i.e. it has a basis of the form \Pi_{i\in I}U_i where U_i\subset X_i is open and is equal to X_i for all but finitely many indexes),  said differently if \Pi_{\beta<\delta}\{x_{\beta}\}\times\Pi_{\beta\geq \delta}X_{\beta} is covered by a finite subcover then \Pi_{\beta<\gamma}\{x_{\beta}\}\times\Pi_{\beta\geq \gamma}X_{\beta} for a \gamma<\delta.

At sucesor stage \alpha+1 we need to choose x_{\alpha}\in X_{\alpha} with the infiniteness property, for this assume by contradiction that no such element exists, choose for each point x\in X_{\alpha} an open neighborhood U_x such that \Pi_{\beta<\alpha}\{x_{\beta}\}\times U_x \times \Pi_{\beta> \alpha}X_{\beta} is covered by an open subcover and apply the compacity of X_{\alpha}




I will use this blog to post some things in mathematics which I find exceptionally neat, I expect the pace to be at first artificially fast while I go through the stuff I have found during the previous years.