Abstract:For infinite products of compact spaces, Tychonoff's theorem asserts that their product is compact, in the product topology. Tychonoff's theorem is shown to be equivalent to the axiom of choice. In this paper, we show that any countable product of compact metric spaces is compact, without using Tychonoff's theorem. The proof needs only basic and standard facts of compact metric spaces and the Bolzano-Weierstrass property. Moreover, the component spaces need not be assumed to be copies of the same compact metric space, and each component space can be an arbitrary nonempty compact metric space independently. Total boundedness together with completeness of a metric space implies its compactness. Completeness of a product of complete spaces is easily inferred from the completeness of each component. Total boundedness therefore suffices to prove the compactness of a product space consisting of countably (infinitely) many nonempty compact component spaces. The countable infiniteness is needed in the proof to exhibit a standard metric that gives rise to the product topology. Any such metric topology for the product arises as exhibited, and they are all equivalent to the product topology. The requirement of summability of the sequences restricts the scope of the result to countably infinite products. In summary, the product space obtained by taking the product of any sequence of nonempty compact metric spaces in the product topology is shown to be compact, using only the basic and standard facts of compact metric spaces. In conclusion, compactness of the product of a countably infinitely many nonempty compact metric spaces can be proved within Cantor's set theory, without using the axiom of choice and Tychonoff's theorem.

On the Connected Components of a Certain Class of Blaschke Products in the Uniform Topology

On the Central Limit Theorem in Product Spaces

On universal quotient Blaschke products

Global Topology of Hyperbolic Components: Cantor Circle Case

The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

Reducing Subspaces Associated with Finite Blaschke Products

Products of composition and integral type operators from<b><i>H</i></b><sup><b>∞</b></sup>to the Bloch space

BREGMAN DISTANCES AND KLEE SETS IN BANACH SPACES

Idempotents and connected components

Compactness of any Countable Product of Compact Metric Spaces in Product Topology without Using Tychonoff's Theorem

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

On Infinite Tychonoff Product of Weakly Submesocompact Spaces

Geometric Constructions of Thin Blaschke Products and Reducing Subspace Problem

A Characterization of One-component Inner Functions

Products of integral-type operators and composition operators between Bloch-type spaces

The Bloch space over the Siegel upper half-space

Approximation by polynomials and Blaschke products having all zeros on a circle

On multiplication operators on the bergman space: Similarity, unitary equivalence and reducing subspaces

Finite-index phenomena and the topology of bundle singularities

Boundedness of Hausdorff Operators on Some Product Hardy Type Spaces

On the cup product for Hilbert schemes of points in the plane