Topology: Product Spaces (I)

In this article, we consider the product of two topological spaces. To motivate our definition, we first begin with metric spaces (X, dX) and (Y, dY). Letting ZX × Y be the set-theoretic product, we wish to define a metric on Z from dX and dY. Here’re some possibilities, all of which seem rather reasonable. For any (x,y), (x',y')\in X\times Y, let:

  • d((x,y), (x',y')) = \sqrt{ d(x,x')^2 + d(y,y')^2};
  • d_1((x,y), (x', y')) = d_X(x,x') + d_Y(y,y');
  • d_\infty((x,y), (x',y')) = \max(d_X(x,x'), d_Y(y,y')).


It’s not hard to prove that all the above are metrics, but which one to choose? It turns out all these are topologically equivalent anyway. E.g. to show equivalence of d and d1, note that for any p, p'\in X\times Y,

d(p, p') \le d_1(p, p') and d_1(p, p') \le \sqrt 2 \cdot d(p, p').

Since this is not the main point, we’ll leave the details of the proof and the remaining cases to the reader. Instead, the point we wish to make is the following:

Theorem. The above metrics all define the topology T with basis given by

B= \{U\times V: U \text{ open in } X, V \text{ open in } Y\}.


Since we can pick any metric and use the corresponding open balls as a basis, let’s pick:

\begin{aligned}N_{d_\infty}( (x,y),\epsilon) &= \{(x',y')\in X\times Y: d_X(x,x')<\epsilon \text{ and } d_Y(y,y')<\epsilon\}\\ &= N(x,\epsilon) \times N(y,\epsilon).\end{aligned}

Let B’ denote this collection of open balls. Clearly, B’ is contained in B. Conversely, each element of B is obviously a union of elements of B’. Thus, they generate the same topology. ♦

So let’s generalise the definition of product space to arbitrary topological spaces.

Definition. If X and Y are topological spaces, then the corresponding topology on X × Y is defined by the basis

B= \{U\times V: U \text{ open in } X, V \text{ open in } Y\}.

Note that in any topological space, our B is truly a basis since (i) the union of all elements of B is X × Y (in fact, X × Y lies in B), and (ii) the intersection of (U × V) and (U’ × V’) is (U ∩ U’) × (V ∩ V’) which is in B. So the definition is valid.

Note. If C\subseteq X, D\subseteq Y are closed subsets, then C × D is closed in X × Y, because its complement is ((X-C)\times Y) \cup (X\times (Y-D)), which is a union of two open subsets.


Relationship with Bases and Subbases

If we’re given bases or subbases of X and Y, then these can be used to define a corresponding basis or subbasis of X × Y.

Theorem. Let X and Y be topological spaces.

  • If BX and BY are given bases of X and Y respectively, then B=\{U\times V: U\in B_X, V\in B_Y\} is a basis of X × Y.
  • If SX and SY are given subbases of X and Y respectively, then S=\{U\times Y:U\in S_X\} \cup \{X\times V: V\in S_Y\} is a subbasis of X × Y.



For the first statement, we already saw that B' = \{U\times V: U \text{ open in } X, V\text{ open in } Y\} is a basis of X × Y. But since BX and BY are bases of X and Y,  we can write U = \cup_i U_i, V =\cup_j V_j for some U_i\in B_X, V_j\in B_Y. This gives U\times V = \cup_{i,j} (U_i\times V_j) so every element of B’ is expressible as a union of elements of B.

For the second, suppose finite intersections of SX (resp. SY) give the basis BX (resp. BY). Hence, if U\in B_X, V\in B_Y, we can write U = U_1\cap\ldots\cap U_m and V=V_1\cap \ldots\cap V_n for some U_i \in S_X, V_j\in S_Y. This gives U\times V = (U\times Y)\cap (X\times V) = \left(\cap_i (U_i\times Y)\right) \cap \left(\cap_j (X\times V_j)\right). Thus every element of the collection B =\{U\times V: U\in B_X, V\in B_Y\} is a finite intersection of elements of S; by the first statement, S is a subbasis for X × Y. ♦

Consistency of Successive Products

Next, let’s consider some basic properties on commutativity and associativity of products. Recall that we mentioned two topological spaces X and Y are homeomorphic if there’s a bijective map f : X → Y, such that a subset U of X is open if and only if f(U) is open in Y.

Proposition. Let X, Y, Z be topological spaces. Then the following spaces are homeomorphic.

  • X\times Y\cong Y\times X, via (x,y)\mapsto (y,x);
  • X\times (Y\times Z)\cong (X\times Y)\times Z, via (x, (y,z)) \mapsto ((x,y),z).


The first property is obvious since the map takes U × V to V × U, for open subsets U\subseteq X, V\subseteq Y. For the second property, since B = {U × VU open in XV open in Y} is a basis for X × Y, the above theorem tells us that:

{(U × V) × WU open in XV open in Y, W open in Z}

is a basis for (X × Y) × Z. Likewise, the collection of U × (V × W) is a basis for X × (Y × Z). Since the above map takes (U × V) × W to U × (V × W), this gives a homeomorphism. ♦

From the proof, it follows that for the topology on X × Y × Z, one can take a basis comprising of U × V × W, for open subsets U\subseteq X, V\subseteq Y, W\subseteq Z. Also, given a finite number of topological spaces X_1, \ldots, X_k, one can unreservedly take their product X_1 \times \ldots \times X_k since product of topological spaces is commutative and associative.

Consistency with Subspace

Finally, we have the following.

Proposition. Let X, Y be topological spaces and X' \subseteq X, Y'\subseteq Y be subsets. One can define a topology on X’ × Y’ in two distinct ways.

  • Take subspace topologies on X’ and Y’, then form the product topology X’ × Y’.
  • Take the product topology on X × Y, then the subspace topology on X’ × Y’.

These two are identical.


For the first case, the subspace topology on X’ is given by {U ∩ X’U open in X} and that on Y’ is given by {V ∩ Y’V open in Y}. Hence, the product topology on X’ × Y’ is given by the basis {(U ∩ X’) × (V ∩ Y’)}, for open subsets U of X and V of Y.

For the second case, the product topology on X × Y has basis U × V for open subsets U of X and V of Y. From our previous article, a basis on X’ × Y’ can thus be given by the collection of:

(U × V) ∩ (X’ × Y’) = (U ∩ X’) × (V ∩ Y’)

for open subsets U of X and V of Y. ♦


  1. The product of two (or finitely many) discrete topological spaces is still discrete. We’ll see later that this is not true for an infinite product of discrete spaces.
  2. The product of Rn and Rm, with topology given by the usual Euclidean metric, is Rn+m with the same topology. In particular, each Rn has the product topology of n copies of R.
  3. If X and Y are metrisable, then the initial paragraphs of this article show that X × Y is metrisable.
  4. Suppose X is any topological space and Y = {1, 2} with the discrete topology. Then the picture of X × Y is that of two identical copies of X. We’ll expound on disjoint unions in the next article.
  5. Let XS1, the set of points (x, y) in R2 satisfying x2 + y2 = 1. Then the space X × X is called a torus.
This entry was posted in Notes and tagged , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s