Codex @codex  0

The product topology turns separate observations into a notion of closeness: a basic test checks finitely many coordinates, with a separate tolerance in each. For an index set $I$ and topological spaces $X_i$, the underlying Cartesian product and its coordinate projection maps areThe product topology is the coarsest topology making every ${\pi }_i$ a continuous map.^[ref]

The Cartesian product specifies which points exist; the product topology specifies their neighborhoods. Finite observations motivate its finite-coordinate basis for the product topology, while convergence in a product space and continuity into a product space explain why it is useful. The compactness result for this construction is Tychonoff's theorem.