Tychonoff's theorem

<h2 id="topological-definitions">Topological definitions</h2>
The theorem depends crucially upon the precise definitions of <a href="/facts/Compact_space/d0cgXJH7">compactness</a> and of the <a href="/facts/Product_topology/0hg02IaX">product topology</a>; in fact, Tychonoff's 1935 paper defines the product topology for the first time. Conversely, part of its importance is to give confidence that these particular definitions are the most useful (i.e. most well-behaved) ones.
Indeed, the Heine–Borel definition of compactness—that every covering of a space by open sets admits a finite subcovering—is relatively recent. More popular in the 19th and early 20th centuries was the <a href="/facts/Bolzano-Weierstrass/3h7gu7r2">Bolzano-Weierstrass</a> criterion that every bounded infinite sequence admits a convergent subsequence, now called <a href="/facts/Sequentially_compact/5vL96D9l">sequential compactness</a>. These conditions are equivalent for <a href="/facts/Metrizable_space/BCLdo5Jf">metrizable spaces</a>, but neither one implies the other in the class of all topological spaces.
It is almost trivial to prove that the product of two sequentially compact spaces is sequentially compact—one passes to a subsequence for the first component and then a subsubsequence for the second component. An only slightly more elaborate "diagonalization" argument establishes the sequential compactness of a countable product of sequentially compact spaces. However, the product of <a href="/facts/Continuum_(set_theory)/ErGtLklG">continuum</a> many copies of the closed unit interval (with its usual topology) fails to be sequentially compact with respect to the product topology, even though it is compact by Tychonoff's theorem (e.g., see Wilansky 1970, p. 134).
This is a critical failure: if X is a <a href="/facts/Completely_regular/jyCgpKB5">completely regular</a> <a href="/facts/Hausdorff_space/gbKIrusl">Hausdorff space</a>, there is a natural embedding from X into [0,1]C(X,[0,1]), where C(X,[0,1]) is the set of continuous maps from X to [0,1]. The compactness of [0,1]C(X,[0,1]) thus shows that every completely regular Hausdorff space embeds in a compact Hausdorff space (or, can be "compactified".) This construction is the <a href="/facts/Stone%25E2%2580%2593%25C4%258Cech_compactification/5smYbEYS">Stone–Čech compactification</a>. Conversely, all subspaces of compact Hausdorff spaces are completely regular Hausdorff, so this characterizes the completely regular Hausdorff spaces as those that can be compactified. Such spaces are now called <a href="/facts/Tychonoff_space/jyCgpKB5">Tychonoff spaces</a>.

<h2 id="applications">Applications</h2>
Tychonoff's theorem has been used to prove many other mathematical theorems. These include theorems about compactness of certain spaces such as the <a href="/facts/Banach%25E2%2580%2593Alaoglu_theorem/NILk5nDm">Banach–Alaoglu theorem</a> on the weak-* compactness of the unit ball of the <a href="/facts/Dual_space/4Uw4Knz1">dual space</a> of a <a href="/facts/Normed_vector_space/rmDljfyE">normed vector space</a>, and the <a href="/facts/Arzel%25C3%25A0%25E2%2580%2593Ascoli_theorem/eqSFHXbo">Arzelà–Ascoli theorem</a> characterizing the sequences of functions in which every subsequence has a <a href="/facts/Uniform_convergence/ecz9eNWn">uniformly convergent</a> subsequence. They also include statements less obviously related to compactness, such as the <a href="/facts/De_Bruijn%25E2%2580%2593Erd%25C5%2591s_theorem_(graph_theory)/nYU5gB2g">De Bruijn–Erdős theorem</a> stating that every <a href="/facts/Critical_graph/bPg9g1B2">minimal k-chromatic graph</a> is finite, and the <a href="/facts/Curtis%25E2%2580%2593Hedlund%25E2%2580%2593Lyndon_theorem/NQ6Xt9yB">Curtis–Hedlund–Lyndon theorem</a> providing a topological characterization of <a href="/facts/Cellular_automaton/6gfkjKAW">cellular automata</a>.
As a rule of thumb, any sort of construction that takes as input a fairly general object (often of an algebraic, or topological-algebraic nature) and outputs a compact space is likely to use Tychonoff: e.g., the <a href="/facts/Gelfand_representation/QV54f7Jm">Gelfand space</a> of maximal ideals of a commutative <a href="/facts/C*-algebra/B3tnGHIo">C*-algebra</a>, the <a href="/facts/Stone_space/wqW5xc48">Stone space</a> of maximal ideals of a <a href="/facts/Boolean_algebra_(structure)/cHbo65jm">Boolean algebra</a>, and the <a href="/facts/Berkovich_spectrum/GKI96eyP">Berkovich spectrum</a> of a commutative <a href="/facts/Banach_ring/3BTHdpg2">Banach ring</a>.

<h2 id="proofs-of-tychonoffs-theorem">Proofs of Tychonoff's theorem</h2>
1) Tychonoff's 1930 proof used the concept of a <a href="/facts/Complete_accumulation_point/95MykoGU">complete accumulation point</a>.
2) The theorem is a quick corollary of the <a href="/facts/Alexander_subbase_theorem/CoQAlDFJ">Alexander subbase theorem</a>.
More modern proofs have been motivated by the following considerations: the approach to compactness via convergence of subsequences leads to a simple and transparent proof in the case of countable index sets. However, the approach to convergence in a topological space using sequences is sufficient when the space satisfies the first axiom of countability (as metrizable spaces do), but generally not otherwise. However, the product of uncountably many metrizable spaces, each with at least two points, fails to be first countable. So it is natural to hope that a suitable notion of convergence in arbitrary spaces will lead to a compactness criterion generalizing sequential compactness in metrizable spaces that will be as easily applied to deduce the compactness of products. This has turned out to be the case.
3) The theory of convergence via filters, due to <a href="/facts/Henri_Cartan/IGrXDS4a">Henri Cartan</a> and developed by <a href="/facts/Nicolas_Bourbaki/qRJhs9nr">Bourbaki</a> in 1937, leads to the following criterion: assuming the <a href="/facts/Ultrafilter_lemma/KUpERdqN">ultrafilter lemma</a>, a space is compact if and only if each <a href="/facts/Ultrafilter_(set_theory)/KUpERdqN">ultrafilter</a> on the space converges. With this in hand, the proof becomes easy: the (filter generated by the) image of an ultrafilter on the product space under any projection map is an ultrafilter on the factor space, which therefore converges, to at least one xi. One then shows that the original ultrafilter converges to x = (xi). In his textbook, <a href="/facts/James_Munkres/Ybfa6fs4">Munkres</a> gives a reworking of the Cartan–Bourbaki proof that does not explicitly use any filter-theoretic language or preliminaries.
4) Similarly, the <a href="/facts/Moore-Smith_sequence/msmsvMTT">Moore–Smith</a> theory of convergence via nets, as supplemented by Kelley's notion of a <a href="/facts/Net_(mathematics)/msmsvMTT">universal net</a>, leads to the criterion that a space is compact if and only if each universal net on the space converges. This criterion leads to a proof (Kelley, 1950) of Tychonoff's theorem, which is, word for word, identical to the Cartan/Bourbaki proof using filters, save for the repeated substitution of "universal net" for "ultrafilter base".
5) A proof using nets but not universal nets was given in 1992 by Paul Chernoff.

<h2 id="tychonoffs-theorem-and-the-axiom-of-choice">Tychonoff's theorem and the axiom of choice</h2>
All of the above proofs use the <a href="/facts/Axiom_of_choice/1Ura2HTh">axiom of choice</a> (AC) in some way. For instance, the third proof uses that every filter is contained in an ultrafilter (i.e., a maximal filter), and this is seen by invoking <a href="/facts/Zorn%2527s_lemma/ssCublFT">Zorn's lemma</a>. Zorn's lemma is also used to prove Kelley's theorem, that every net has a universal subnet. In fact these uses of AC are essential: in 1950 Kelley proved that Tychonoff's theorem implies the axiom of choice in <a href="/facts/Zermelo%25E2%2580%2593Fraenkel_set_theory/UYIsPbXw">ZF</a>. Note that one formulation of AC is that the Cartesian product of a family of nonempty sets is nonempty; but since the empty set is most certainly compact, the proof cannot proceed along such straightforward lines. Thus Tychonoff's theorem joins several other basic theorems (e.g. that every vector space has a basis) in being equivalent to AC.
On the other hand, the statement that every filter is contained in an ultrafilter does not imply AC. Indeed, it is not hard to see that it is equivalent to the <a href="/facts/Boolean_prime_ideal_theorem/5eqqjJeY">Boolean prime ideal theorem</a> (BPI), a well-known intermediate point between the axioms of Zermelo-Fraenkel set theory (ZF) and the ZF theory augmented by the axiom of choice (ZFC). A first glance at the second proof of Tychnoff may suggest that the proof uses no more than (BPI), in contradiction to the above. However, the spaces in which every convergent filter has a unique limit are precisely the Hausdorff spaces. In general we must select, for each element of the index set, an element of the nonempty set of limits of the projected ultrafilter base, and of course this uses AC. However, it also shows that the compactness of the product of compact Hausdorff spaces can be proved using (BPI), and in fact the converse also holds. Studying the strength of Tychonoff's theorem for various restricted classes of spaces is an active area in <a href="/facts/Set-theoretic_topology/YPYNCK5S">set-theoretic topology</a>.
The analogue of Tychonoff's theorem in <a href="/facts/Pointless_topology/AASaqh3w">pointless topology</a> does not require any form of the axiom of choice.

<h2 id="proof-of-the-axiom-of-choice-from-tychonoffs-theorem">Proof of the axiom of choice from Tychonoff's theorem</h2>
To prove that Tychonoff's theorem in its general version implies the axiom of choice, we establish that every infinite <a href="/facts/Cartesian_product/BfqBWzdL">cartesian product</a> of non-empty sets is nonempty. The trickiest part of the proof is introducing the right topology. The right topology, as it turns out, is the <a href="/facts/Cofinite_topology/LvpB23pu">cofinite topology</a> with a small twist. It turns out that every set given this topology automatically becomes a compact space. Once we have this fact, Tychonoff's theorem can be applied; we then use the <a href="/facts/Finite_intersection_property/xg5uX9n0">finite intersection property</a> (FIP) definition of compactness. The proof itself (due to <a href="/facts/J._L._Kelley/zmQyF2xn">J. L. Kelley</a>) follows:
Let {Ai} be an indexed family of nonempty sets, for i ranging in I (where I is an arbitrary indexing set). We wish to show that the cartesian product of these sets is nonempty. Now, for each i, take Xi to be Ai with the index i itself tacked on (renaming the indices using the <a href="/facts/Disjoint_union/x9QSfkr5">disjoint union</a> if necessary, we may assume that i is not a member of Ai, so simply take Xi = Ai ∪ {i}).
Now define the cartesian product

X
        =
        
          ∏
          
            i
            ∈
            I
          
        
        
          X
          
            i
          
        
      
    
    {\displaystyle X=\prod _{i\in I}X_{i}}

along with the natural projection maps πi which take a member of X to its ith term.
We give each Xj the topology whose open sets are: the empty set, the singleton {i}, the set Xi. This makes Xi compact, and by Tychonoff's theorem, X is also compact (in the product topology). The projection maps are continuous; all the Ai's are closed, being complements of the <a href="/facts/Singleton_(mathematics)/LtNVfujT">singleton</a> open set {i} in Xi. So the inverse images πi−1(Ai) are closed subsets of X. We note that

∏
          
            i
            ∈
            I
          
        
        
          A
          
            i
          
        
        =
        
          ⋂
          
            i
            ∈
            I
          
        
        
          π
          
            i
          
          
            −
            1
          
        
        (
        
          A
          
            i
          
        
        )
      
    
    {\displaystyle \prod _{i\in I}A_{i}=\bigcap _{i\in I}\pi _{i}^{-1}(A_{i})}

and prove that these inverse images have the FIP. Let i1, ..., iN be a finite collection of indices in I. Then the finite product Ai1 × ... × AiN
is non-empty (only finitely many choices here, so AC is not needed); it merely consists of N-tuples. Let a = (a1, ..., aN) be such an N-tuple. We extend a to the whole index set: take a to the function f defined by f(j) = ak if j = ik, and f(j) = j otherwise. This step is where the addition of the extra point to each space is crucial, for it allows us to define f for everything outside of the N-tuple in a precise way without choices (we can already choose, by construction, j from Xj ). πik(f) = ak is obviously an element of each Aik so that f is in each inverse image; thus we have

⋂
          
            k
            =
            1
          
          
            N
          
        
        
          π
          
            
              i
              
                k
              
            
          
          
            −
            1
          
        
        (
        
          A
          
            
              i
              
                k
              
            
          
        
        )
        ≠
        ∅
        .
      
    
    {\displaystyle \bigcap _{k=1}^{N}\pi _{i_{k}}^{-1}(A_{i_{k}})\neq \varnothing .}

By the FIP definition of compactness, the entire intersection over I must be nonempty, and the proof is complete.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Alexander%2527s_sub-base_theorem/CoQAlDFJ">Alexander's sub-base theorem</a> – Collection of subsets that generate a topologyPages displaying short descriptions of redirect targets</li>
<li><a href="/facts/Compactness_theorem/8tHVkdeK">Compactness theorem</a> – Theorem in mathematical logic</li>
<li><a href="/facts/Tube_lemma/q7XbEvNJ">Tube lemma</a> – Lemma in topology</li></ul>
<h2 id="notes">Notes</h2>

<ul><li>Chernoff, Paul R. (1992), "A simple proof of Tychonoff's theorem via nets", <a href="/facts/American_Mathematical_Monthly/Te6CHvkg">American Mathematical Monthly</a>, 99 (10): 932–934, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.2307%2F2324485">10.2307/2324485</a>, <a href="/facts/JSTOR_(identifier)/YTeVmaJ7">JSTOR</a> <a href="https://www.jstor.org/stable/2324485">2324485</a>.</li>
<li>Johnstone, Peter T. (1982), Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3, New York: Cambridge University Press, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-521-23893-5.</li>
<li>Johnstone, Peter T. (1981), "Tychonoff's theorem without the axiom of choice", <a href="/facts/Fundamenta_Mathematicae/aacADU5N">Fundamenta Mathematicae</a>, 113: 21–35, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4064%2Ffm-113-1-21-35">10.4064/fm-113-1-21-35</a>.</li>
<li>Kelley, John L. (1950), "Convergence in topology", <a href="/facts/Duke_Mathematical_Journal/S6wn8HYp">Duke Mathematical Journal</a>, 17 (3): 277–283, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1215%2FS0012-7094-50-01726-1">10.1215/S0012-7094-50-01726-1</a>.</li>
<li>Kelley, John L. (1950), "The Tychonoff product theorem implies the axiom of choice", Fundamenta Mathematicae, 37: 75–76, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.4064%2Ffm-37-1-75-76">10.4064/fm-37-1-75-76</a>.</li>
<li><a href="/facts/James_Munkres/Ybfa6fs4">Munkres, James R.</a> (2000), Topology (2nd ed.), <a href="/facts/Upper_Saddle_River%2c_NJ/Ps08aEYT">Upper Saddle River, NJ</a>: <a href="/facts/Prentice_Hall%2c_Inc/bynWAuat">Prentice Hall, Inc</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-13-181629-9, <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/42683260">42683260</a></li>
<li>Tychonoff, Andrey N. (1930), "Über die topologische Erweiterung von Räumen", <a href="/facts/Mathematische_Annalen/GPhGaonc">Mathematische Annalen</a> (in German), 102 (1): 544–561, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2FBF01782364">10.1007/BF01782364</a>.</li>
<li>Wilansky, A. (1970), Topology for Analysis, Ginn and Company</li>
<li>Willard, Stephen (2004) [1970], <a href="https://books.google.com/books?id=-o8xJQ7Ag2cC">General Topology</a>, <a href="/facts/Mineola%2c_N.Y./GWYvEokQ">Mineola, N.Y.</a>: <a href="/facts/Dover_Publications/RwjvlSFv">Dover Publications</a>, <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-486-43479-7, <a href="/facts/OCLC_(identifier)/Yqad8waq">OCLC</a> <a href="https://search.worldcat.org/oclc/115240">115240</a></li>
<li>Wright, David G. (1994), "Tychonoff's theorem.", Proc. Amer. Math. Soc., 120 (3): 985–987, <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1090%2Fs0002-9939-1994-1170549-2">10.1090/s0002-9939-1994-1170549-2</a>.</li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="/facts/Mizar_system/lX1GUsUG">Mizar system</a> proof: <a href="http://mizar.org/version/current/html/yellow17.html#T23">http://mizar.org/version/current/html/yellow17.html#T23</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Tikhonov, Andrey Nikolayevich (1935), "Über einen Funktionraum", Mathematische Annalen (in German) (111): 762–766 <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Willard, Stephen (2004), General Topology, Dover, p. 120, ISBN 978-0-486-43479-7 <a href="978-0-486-43479-7" target="_blank">978-0-486-43479-7</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Goguen, Joseph (September 1973), "The Fuzzy Tychonoff Theorem", Journal of Mathematical Analysis and Applications, 43 (3): 734–742, doi:10.1016/0022-247X(73)90288-6 <a href="/wiki/Joseph_Goguen" target="_blank">/wiki/Joseph_Goguen</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
</ol>

Tychonoff's theorem open-in-new

Tychonoff's theorem