AbstractsMathematics

From the Axiom of Choice to Tychono ’s Theorem

by Gustav Hörngren




Institution: Örebro University
Department:
Year: 2015
Keywords: Urvalsaxiomet; Tychonoffs sats; Zorns lemma; topologiskt rum; kompakthet; Natural Sciences; Mathematics; Naturvetenskap; Matematik; Matematik; Mathematics
Record ID: 1344454
Full text PDF: http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-44729


Abstract

A topological space X, is shown to be compact if and only if every net in X has a cluster point. If s is a net in a product Q 2A X, where each Xis a compact topological space, then, for every subset B of A, such that the restriction of s to B has a cluster point in the partial product Q 2B X, it is found that the restriction of s to B [ fg – extending B by one element 2 A n B – has a cluster point in its respective partial product Q 2B[fg X, as well. By invoking Zorn’s lemma, the whole of s can be shown to have a cluster point. It follows that the product of any family of compact topological spaces is compact with respect to the product topology. This is Tychono’s theorem. The aim of this text is to set forth a self contained presentation of this proof. Extra attention is given to highlight the deep dependency on the axiom of choice.