Sheng Li (gmachine1729) wrote,
Sheng Li

On the point-set topology pertaining to Tychonoff’s theorem

Originally published at 狗和留美者不得入内. You can comment here or there.

We defined a base of a topological space in Definition 4 of [1]. In short, a base via unions generates the topological space. Since the intersection of finitely many open sets is also an open set (this follows directly from one of the neighborhood axioms), one naturally also defines a set that generates the topological space per arbitrary unions of finite intersections. We thus have

Definition 1 A subbase of a topological space is a collection of its open sets, [公式] , such that for every open set [公式] , there exists a finite subset of [公式] , [公式] such that [公式] .

Proposition 1 A base of a topological space is also a subbase of it.

Proof: Trivial. [公式]

Since Tychonoff’s theorem involves product spaces, we shall also define them.

Definition 2 Let [公式] and [公式] be topological spaces. [公式] is continuous iff for every sequence [公式] in [公式] that converges to some [公式] , the sequence [公式] also converges to [公式] . Equivalently, if [公式] is open in [公式] , then [公式] is open in [公式] .

We leave the proof of the equivalence in Definition 2 to the reader.

Definition 3 Let [公式] be a collection of topological spaces indexed by [公式] for [公式] where [公式] is an arbitrary set. We take [公式] to be the Cartesian product of all the topological spaces in the aforementioned collection. We let [公式] be the canonical projection to the component corresponding to index [公式] , which we require to be continuous for all [公式] .

Proposition 2 Every topology on [公式] must contain, for all [公式] open in [公式] for all [公式], [公式] .

Proof: This must hold if the canonical projections are to be continuous. [公式]

Definition 4 We define the product topology or Tychonoff topology on [公式] to be the coarsest topology on it such that canonical projections are continuous. This is the topology generated by [公式] via unions of finite intersections. In other words, this is a subbase of the product topology. One can also say that the open sets on [公式] are the subsets of it such that all but a finite number of the canonical projections [公式] across all [公式] , when applied to the subset in question, yield [公式] (the codomain of [公式] ), and that those which do not yield the codomain, are all open (in the topological space defined on the codomain).

Tychonoff’s theorem (Theorem 1) The topological space on the Cartesian product of any collection of compact topological spaces with the product topology is compact.

Proof: Definition 4 tells us that [公式] is a subbase for the product topology. Take any cover [公式] of the product space by elements of this subbase. We assume [公式] does not contain [公式] , in which case Tychonoff’s theorem holds trivially. With the exception of [公式] , every element of this subbase has exactly one [公式] for which the projection onto the [公式] component is not the [公式] . This induces a map from the subbase to [公式] . Thus, we can partition [公式] into the disjoint union [公式] , where [公式] is the preimage of [公式] of the aforementioned map. Suppose that no [公式] covers the space. Then for each [公式] we pick an [公式] not such that [公式] , which gives a point in [公式] not in any of element of [公式] , which would imply that [公式] is not a cover, a contradiction.

We note that [公式] covers the space for some [公式] and [公式] , where every [公式] is equal to [公式] for some [公式] open in [公式] . We see that[公式] is an open cover of [公式] , which, being compact, has a finite subcover, which we denote as [公式] . Then [公式] is a finite subcover of [公式] , which covers the product space. This shows that if we can prove that a topological space such that every cover from a subbase is compact, we have proven Tychonoff’s theorem. The aforementioned proposition is called the Alexander subbase theorem, named after American mathematician James Waddell Alexander II, which we shall prove next. [公式]

Alexander’s subbase theorem (Theorem 2) If every open cover from a subbase of a topological space has a finite subcover, then the topological space is compact.

Proof: We denote the cover by elements of the subbase as [公式] . We also remark that any open cover is a collection of sets and that there is a partial order on open covers via collection inclusion. Assume the hypothesis of the theorem, and then assume by contradiction, there there are open covers which do not have finite subcovers. Take all the collection of all such open covers. Let [公式] for [公式] be any collection of covers without finite subcovers and [公式] a total order such that whenever [公式] for [公式] , [公式] . Let [公式] . If [公式] had a finite subcover by sets [公式] , then we can find [公式] such that [公式] , in which case the maximum of [公式] per the total order defined on [公式] , which we denote as [公式] , is such that [公式] has a finite subcover, a contradiction. This means that every chain in open covers without finite subcovers is bounded above by some open cover without a finite subcover. This enables us to apply Zorn’s lemma (proven in [2]) to derive some open cover with finite subcover that is not a proper subset of any other such open cover, which we call [公式] . By our hypothesis on the subbase, [公式] is not a cover. Thus, we can take an [公式] in our topological space not contained by [公式] . Any [公式] containing [公式] is not in [公式] . For any [公式] where [公式] , [公式] must contain a finite subcover, which we denote as [公式] . [公式] , which also means that Let [公式] . By the definition of subbase, there exists [公式] that such [公式] and [公式] . Let [公式] be a finite subcover for the cover [公式] for all [公式] . Then, [公式] would be a finite subcover of [公式] , a contradiction. This completes our proof. [公式]

I shall now explain a bit of the intuition behind the proof of Tychonoff’s theorem using the Alexander subbase theorem. I believe it should be more or less immediately for anyone who has studied boolean algebra deeply.

A difficulty some students might have with point set topology is the existence of not only countable unions or products but also of uncountable ones, as in the general Tychonoff’s theorem. We note how here de Morgan’s laws still apply. A element’s not being in an countable union of sets means it is not in any of the uncountably many unioned sets. One, after putting the NOT or set complement operator inside into every set unioned also switches the union to intersection. In the proof of Tychonoff’s theorem, this immediately tells us that the proposition of not being a cover evaluates to true iff a conjunction of nots of set inclusion evaluates to true, which can only be violated if no [公式] covers the space. This is basically saying that the “true for all” operator applied to a collection of boolean values evaluates to true iff all of the elements of the collection are true. From this, we can see that in general, if we want to prove something given the hypothesis of membership in a union of sets, it suffices to prove anything that implies non-membership in all the unioned sets of the element in question.

Inclusion of an element in a Cartesian product of sets a logical conjunction operator of the inclusion of the projections into their corresponding sets. [公式] lets us isolate to a component of the product space to give us a covered guarantee based only on the value of one component. If the value of the that component does not lie in the guaranteed range of values, it is covered iff the value of some other component lies in the guaranteed range of values for that other component. If [公式] for some [公式] , that guarantee obviously always exists. If that doesn’t hold for any [公式] , then there exists an uncovered point.


Tags: uncategorized

  • Big Picard theorem

    Originally published at Inside the Mind of the G Machine. You can comment here or there. I’ve been asked to prove the Big Picard theorem,…

  • Jordan normal form

    Originally published at Inside the Mind of the G Machine. You can comment here or there. Jordan normal form states that every square matrix is…

  • Weierstrass products

    Originally published at Inside the Mind of the G Machine. You can comment here or there. Long time ago when I was a clueless kid about the finish…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened