On ∏ᵢ Xᵢ, the product topology has basis of finite intersections of sets of the form πᵢ⁻¹(Uᵢ) where Uᵢ is open. Products of finitely many spaces are metrizable if factors are (product metric). Infinite products: projections are open, products of Hausdorff/compact/connected spaces are Hausdorff/compact/connected (by Tychonoff). Product topology is the coarsest making projections continuous.
You already know how to put a topology on a single set by specifying open sets. Now suppose you have two topological spaces X and Y and want to build a topology on their Cartesian product X × Y. There are many possible topologies — but one stands out as the "right" choice: the product topology, defined as the coarsest topology that makes both projection maps π₁: X×Y → X and π₂: X×Y → Y continuous. Coarsest means "fewest open sets" — you only declare something open if you are forced to by the continuity requirement.
A basis for the product topology consists of sets of the form U × V, where U is open in X and V is open in Y. Every open set in the product topology is a union of such "open rectangles." This matches geometric intuition: in ℝ² = ℝ × ℝ, open rectangles (a,b) × (c,d) do indeed form a basis for the standard topology, which coincides with the product topology. A key characterization: a function f: Z → X × Y is continuous if and only if both component functions π₁ ∘ f: Z → X and π₂ ∘ f: Z → Y are continuous. This makes the product topology the natural setting for analyzing multi-component continuous maps.
For finite products, the product topology coincides with metric topologies in all metrizable cases — on ℝ² it gives the familiar Euclidean topology, and on ℝⁿ it generalizes cleanly. The structural properties propagate beautifully: a product of Hausdorff spaces is Hausdorff, a product of connected spaces is connected, and a finite product of compact spaces is compact. The last result — Tychonoff's theorem — extends to *infinite* products as well, and is one of the deepest theorems in topology (equivalent to the axiom of choice).
The infinite product case reveals why the definition matters. For an infinite product ∏ᵢ Xᵢ, one might guess that open sets should be products Uᵢ with each Uᵢ open — but this gives the box topology, which is strictly finer than the product topology and fails to preserve compactness. The product topology instead requires that Uᵢ = Xᵢ for all but finitely many indices. This constraint is exactly what makes projections continuous with the coarsest possible topology, and it is what allows Tychonoff's theorem to hold. The distinction between product and box topology is a concrete instance of a general principle: coarser topologies have stronger convergence properties.
No topics depend on this one yet.