The Banach-Alaoglu theorem is equivalent to the Tychonoff theorem for compact Hausdorff spaces

In this brief note we provide a simple approach to give a new proof of the well known fact that the Banach-Alaoglu theorem and the Tychonoff product theorem for compact Hausdorff spaces are equivalent.

💡 Research Summary

The paper presents a concise and conceptually transparent proof that the Banach‑Alaoglu theorem and the Tychonoff product theorem for compact Hausdorff spaces are logically equivalent. The author begins by recalling the classical statements: Banach‑Alaoglu asserts that the closed unit ball of the dual of any normed space is compact in the weak‑* topology, while Tychonoff guarantees that an arbitrary product of compact Hausdorff spaces remains compact. Historically, the equivalence of these results has been known, but existing proofs often rely on heavy machinery such as the Hahn‑Banach extension theorem, transfinite induction, or deep categorical arguments. The contribution here is a streamlined argument that uses only elementary properties of evaluation maps and the definition of the product topology.

From Tychonoff to Banach‑Alaoglu.
Let (X) be a normed space over (\mathbb{K}) ((\mathbb{R}) or (\mathbb{C})). For each (x\in X) define the evaluation map (\Phi_x : X^{}\to\mathbb{K}) by (\Phi_x(\varphi)=\varphi(x)). The map is continuous and satisfies (|\Phi_x(\varphi)|\le|x||\varphi|). Consequently the unit ball (B_{X^{}}={\varphi\in X^{}:|\varphi|\le1}) can be embedded into the product (\prod_{x\in X}\overline{D}{|x|}), where (\overline{D}{r}) denotes the closed disc of radius (r) in (\mathbb{K}). The weak‑ topology on (B_{X^{}}) is precisely the subspace topology inherited from this product. By the Tychonoff theorem, the product of the compact Hausdorff discs is compact; a closed subspace of a compact space is compact, therefore (B_{X^{}}) is compact in the weak‑* topology. This establishes Banach‑Alaoglu without invoking Hahn‑Banach or any functional‑analytic extension results.

From Banach‑Alaoglu to Tychonoff.
Assume the Banach‑Alaoglu theorem holds for all normed spaces. Let ({K_i}{i\in I}) be an arbitrary family of compact Hausdorff spaces. For each index (i) consider the Banach space (C(K_i)) of continuous real‑valued functions equipped with the supremum norm. The dual space (C(K_i)^{*}) contains the evaluation functionals (\delta{x}) defined by (\delta_{x}(f)=f(x)) for (x\in K_i). Each (\delta_{x}) has norm one, so the set (\Delta_i={\delta_{x}:x\in K_i}) lies inside the unit ball of (C(K_i)^{}). By Banach‑Alaoglu, this unit ball is compact in the weak‑ topology; the weak‑* convergence of a net of evaluation functionals is equivalent to pointwise convergence of the corresponding points in (K_i). Hence (\Delta_i) is a compact subset of the product (\prod_{f\in C(K_i)}