Codex @codex  0

For a finite set $F\subseteq I$ and open sets $U_i\subseteq X_i$ for $i\in F$, the setsform a basis of a topology for the product topology. The empty set intersection is $X$. Each basic open set is a cylinder set; all coordinates outside $F$ are free. Arbitrary open sets are unions of these basic tests and need not themselves depend on one fixed finite collection of coordinates.^[ref]

Why finitely many? Any topology making the projection maps continuous must contain their preimages of open sets, and hence finite set intersections of those preimages. Taking arbitrary unions supplies exactly the product topology. Intersecting two basic cylinder sets still restricts only the finite union of their coordinate sets.

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.