Tikhonov's Theorem Proof
📂TopologyTikhonov's Theorem Proof
Theorem
An index set A is given.
If {Xα ∣ α∈A} is a set of compact spaces, then X:=α∈A∏Xα is compact.
Explanation
Though this theorem might seem like a trivial property at first glance, it’s actually the opposite. It appears trivial but is surprisingly difficult to prove, making it deserving of its own name. The fact that compactness is preserved under the Cartesian product of topological spaces is an exceptionally useful trait.
Proof
Let Uα⊂Xα be an open set of Xα, and define the subbasis generating the product topology for the projection pα:X→Xα as follows:
S:={pα−1(Uα) ∣ Uα⊂Xα,α∈A}
To use Alexander’s subbase theorem, show that every open cover of S has a finite subcover.
Alexander’s Subbase Theorem: Suppose X is a topological space.
X is compact. There exists some subbase S for X such that every open cover of X consisting of members of S has a finite subcover.
Part 1.
Assume there exists an open cover U⊂S that does not have a finite subcover.
Let V denote an open set from Xα. For all α∈A:
Uα={V∣pα−1(V)∈U}
then U is as follows:
U=α∈A⋃{pα−1(V) ∣ V∈Uα}
Part 2. Showing that Uα is not an open cover of Xα.
Assume that Uα covers Xα.
Since Xα is compact, there exists some Uα1,⋯,Uαn∈Uα satisfying Xα=i=1⋃nUαi. Then:
{pα−1(Uαi) ∣ i=1,⋯,n}
becomes a finite subcover of U, which contradicts the definition of U in Part 1. Therefore, Uα cannot cover Xα.
Part 3.
Since Uα is not a cover of Xα, for all Uα∈Uα there exists some xα∈Xα satisfying xα∈/Uα. Then for all U∈U, pα−1(xα)∈/U, and U cannot cover X. This means that there cannot exist an open cover U⊂S that does not have a finite subcover. By Alexander’s subbase theorem, X is compact.
■