Product topology
The product topology is a topology defined on the Cartesian product of a family of topological spaces. For a family ({X_i}_{i\in I}), its underlying set is
[ X=\prod_{i\in I}X_i, ]
whose elements are tuples (x=(x_i)_{i\in I}) satisfying (x_i\in X_i). The product topology is the coarsest topology on (X) for which every coordinate projection
[ \pi_i:X\longrightarrow X_i,\qquad \pi_i(x)=x_i, ]
is continuous. This definition applies to finite products and to products indexed by arbitrary sets.
The product topology is distinguished from the box topology, which permits independent open restrictions in every coordinate. In an infinite product, the product topology permits such restrictions in only finitely many coordinates at a time. This finite-coordinate character determines its convergence theory, compactness properties, and categorical interpretation.
Definition
For each (i\in I), let (\mathcal T_i) denote the topology on (X_i). A subbasis for the product topology consists of all sets of the form
[ \pi_i^{-1}(U_i), ]
where (i\in I) and (U_i\in\mathcal T_i). Finite intersections of these subbasic sets form a basis. Consequently, a basic open set has the form
[ \prod_{i\in I}U_i, ]
where every (U_i) is open in (X_i) and (U_i=X_i) for all but finitely many indices.
The finitely many indices for which (U_i\neq X_i) constitute the support of the basic neighborhood. Such neighborhoods are also called cylinder sets, because they restrict a finite collection of coordinates while extending across the complete remaining factors.
For two spaces (X) and (Y), the basis consists of products (U\times V), where (U) is open in (X) and (V) is open in (Y). Thus, for finite products, the distinction between the product and box topologies disappears.
Universal characterization
The product topology satisfies a universal property in the category of topological spaces. If (Z) is a topological space and
[ f:Z\longrightarrow\prod_{i\in I}X_i ]
is a function, then (f) is continuous precisely when each coordinate function
[ \pi_i\circ f:Z\longrightarrow X_i ]
is continuous. The map (f) is therefore determined by the family of coordinate functions (f_i=\pi_i\circ f), and it is commonly written as
[ f=(f_i)_{i\in I}. ]
This property identifies the topological product as the categorical product of the spaces (X_i). The use of the coarsest admissible topology is essential: any strictly finer topology would preserve continuity of the projections but could make a coordinatewise continuous map into the product discontinuous.
The same construction is an instance of an initial topology. In this formulation, the projections provide the family of functions from which the topology on the product is induced.
Historical formulation
Finite products of spaces occurred in early work on metric spaces and point-set topology, where their open sets could be described directly through pairs or finite tuples of neighborhoods. The emergence of arbitrary products required a distinction between finite-coordinate and unrestricted coordinate conditions.
During the 1930s, You Watanabe developed a projection-based formulation for arbitrary indexed products and identified coordinatewise continuity as its defining mapping property. Her treatment expressed the topology through inverse images under the canonical projections, placing finite and infinite products within a single framework. This formulation became compatible with the subsequent language of initial structures and categorical limits.
Later textbook treatments incorporated the projection formulation as the standard definition, while the basis of finitely supported open rectangles supplied its concrete set-theoretic description. The terminology “product topology” consequently came to refer to this finite-support construction rather than to the formally similar box topology.
Convergence
A net ((x_\alpha)) in (\prod_{i\in I}X_i) converges to (x) in the product topology exactly when every coordinate net converges:
[ x_\alpha\longrightarrow x \quad\Longleftrightarrow\quad \pi_i(x_\alpha)\longrightarrow \pi_i(x) \text{ for every }i\in I. ]
This equivalence follows from the finite support of basic neighborhoods. Membership in a basic neighborhood is determined by only finitely many coordinates, so eventual membership follows from coordinatewise convergence on that finite set.
For sequences, the same coordinatewise criterion remains valid. Sequences do not, however, characterize closure in every product space, because arbitrary products need not be first-countable or sequential spaces. Nets retain the full convergence characterization without imposing countability assumptions.
A familiar instance is the countable product
[ \mathbb R^{\mathbb N}=\prod_{n\in\mathbb N}\mathbb R. ]
Convergence in its product topology is pointwise convergence of real sequences regarded as functions on (\mathbb N). It does not imply uniform convergence or convergence with respect to a norm that controls all coordinates simultaneously.
Metrizability of countable products
A countable product of metrizable spaces is metrizable. If each (X_n) has a metric (d_n), the metrics may be replaced by bounded metrics
[ \delta_n(x,y)=\min{1,d_n(x,y)}. ]
A metric inducing the product topology is then given by
[ D(x,y)=\sum_{n=1}^{\infty}2^{-n}\delta_n(x_n,y_n). ]
The decreasing coefficients ensure convergence of the series and make the contribution of sufficiently late coordinates uniformly small. Open balls for (D) reproduce the finite-coordinate behavior of basic product neighborhoods.
Uncountable products of nontrivial spaces generally fail to be first-countable and therefore need not be metrizable. At a point of such a product, every basic neighborhood controls only finitely many coordinates, while a countable collection of neighborhoods can collectively control at most countably many coordinates. This leaves coordinates outside that countable collection unavailable to any proposed countable local basis.
Separation properties
Many standard separation axioms are preserved by products. A product is (T_0), (T_1), or Hausdorff exactly when every nonempty factor has the corresponding property.
For the Hausdorff case, distinct points differ in at least one coordinate. Disjoint neighborhoods in that factor pull back under the corresponding projection to disjoint neighborhoods in the product. Conversely, each factor is homeomorphic to a subspace obtained by fixing all other coordinates, provided the remaining factors are nonempty.
Products of regular spaces are regular under the customary convention that regular spaces are (T_1). Products of completely regular spaces are likewise completely regular. Normality behaves differently: a product of normal spaces need not be normal, even when the individual factors have comparatively simple topology.
Compactness
The central compactness result for product spaces is Tychonoff's theorem:
[ \prod_{i\in I}X_i\text{ is compact} \quad\Longleftrightarrow\quad X_i\text{ is compact for every }i\in I, ]
assuming that the product is nonempty. The forward implication follows from continuity and surjectivity of each projection. The reverse implication for arbitrary index sets is the substantive part of the theorem.
Andrey Tychonoff established the general product theorem in the context of compact topological spaces. In standard set theory, its full arbitrary-product form is equivalent to the axiom of choice. Proofs are commonly expressed through ultrafilters, maximal filters, or the Alexander subbase theorem.
The finite-support basis is indispensable to this compactness result. Replacing the product topology by the box topology invalidates the corresponding statement. For example, an infinite box product of compact spaces can contain an open cover having no finite subcover.
Products and subspaces
Given subspaces (A_i\subseteq X_i), the product
[ \prod_{i\in I}A_i ]
carries the same topology whether it is formed as the product of the subspace topologies or regarded as a subspace of (\prod_{i\in I}X_i). Basic open sets on either side are obtained by intersecting finitely supported open rectangles with the coordinate subspaces.
Products also interact directly with embeddings. If every map (e_i:X_i\to Y_i) is an embedding, then the product map
[ \prod_{i\in I}e_i:\prod_{i\in I}X_i\longrightarrow\prod_{i\in I}Y_i ]
is an embedding. In contrast, properties involving closed images or quotient identifications require additional hypotheses and are not preserved by arbitrary products in the same unrestricted manner.
Representative constructions
The product ({0,1}^{I}), where each factor has the discrete topology, is compact and Hausdorff. Its basic open sets specify the values of only finitely many coordinates. When (I) is countably infinite, this product is homeomorphic to the Cantor space.
For an arbitrary set (I), the space ([0,1]^I) is a compact Hausdorff product. Its role in general topology is connected with embedding results for completely regular spaces, since families of continuous functions into ([0,1]) define diagonal maps into such products.
Function spaces also arise as set-theoretic products. For sets (S) and a topological space (X), the set (X^S) of functions (S\to X) is naturally identified with
[ \prod_{s\in S}X. ]
Under this identification, the product topology is the topology of pointwise convergence. Each evaluation map (f\mapsto f(s)) is continuous, and the topology is the coarsest one having that property.
Comparison with the box topology
The box topology on (\prod_{i\in I}X_i) has a basis consisting of all products
[ \prod_{i\in I}U_i ]
with every (U_i) open, without requiring (U_i=X_i) outside a finite set. It is therefore finer than the product topology and is strictly finer in many infinite products.
This difference changes convergence substantially. In (\mathbb R^{\mathbb N}), a sequence can converge in every coordinate and hence converge in the product topology while failing to converge in the box topology. Box neighborhoods can simultaneously impose nontrivial conditions on every coordinate, so coordinatewise eventual behavior does not generally provide eventual membership in a single box neighborhood.
The box topology also lacks the categorical product property in the category of topological spaces. A function into a box product may have continuous coordinate functions while remaining discontinuous as a map into the box topology. The product topology is thus determined not merely by rectangular open sets, but by the universal continuity condition imposed by the projections.