products of compact pavings are compact
Suppose that is a paved space for each in index set . The product
(http://planetmath.org/GeneralizedCartesianProduct) is the set of all functions
such that for each , and the product of subsets is
Then, the product paving is defined by
Theorem 1.
Let be compact paved spaces for . Then, is a compact paving on .
Note that this result is a version of Tychonoff’s theorem applying to paved spaces and, together with the fact that all compact pavings are closed subsets of a compact space, is easily seen to be equivalent
to Tychonoff’s theorem.
Theorem 1 is simple to prove directly. Suppose that is a subset of satisfying the finite intersection property. Writing for gives
(1) |
for any . By the finite intersection property, this is nonempty whenever is finite, so . Consequently, satisfies the finite intersection property and, by compactness of , the intersection is nonempty. So equation (1) shows that is nonempty.