Products of Spaces

Introduction: Why put spaces together? 🌍➕🌍

students, in topology we often want to study two or more spaces at the same time. A product of spaces is the way to build a new space from old ones by pairing points together. This idea shows up everywhere: in coordinates on a map, in motion on a screen, and in systems with multiple settings, like temperature and pressure together.

In this lesson, you will learn how products of spaces are built, what points in a product look like, and why this construction is one of the main ideas behind product topology. By the end, you should be able to explain the terminology, use product notation correctly, and understand why projection maps matter.

Learning objectives

Explain the main ideas and terminology behind products of spaces.
Apply topology reasoning or procedures related to products of spaces.
Connect products of spaces to the broader topic of product topology.
Summarize how products of spaces fit within product topology.
Use examples and evidence related to products of spaces in topology.

1. What is a product of spaces?

Suppose $X$ and $Y$ are sets. Their Cartesian product is the set

$$X \times Y = \{(x,y) : x \in X,\ y \in Y\}.$$

Each element of $X \times Y$ is an ordered pair, so the order matters. The pair $(x,y)$ is usually different from $(y,x)$ unless $x=y$ or the two coordinates happen to match in some special way.

If $X$ and $Y$ are topological spaces, then $X \times Y$ is called a product of spaces. But there is a key question: what topology should we put on $X \times Y$?

The answer is not just “any topology.” The standard choice is the product topology, which is designed so that the geometry of each factor space is respected. For example, if $X = \mathbb{R}$ and $Y = \mathbb{R}$ with the usual topology, then $\mathbb{R} \times \mathbb{R}$ becomes the ordinary plane $\mathbb{R}^2$.

A point in the product can represent two pieces of information at once. For example, a weather app might store $(\text{temperature}, \text{humidity})$. A coordinate pair in the plane $(x,y)$ can describe location. These are real-world examples of product thinking: one object made from two components.

Example 1: A small finite product

Let $X = \{a,b\}$ and $Y = \{1,2,3\}$. Then

$$X \times Y = \{(a,1),(a,2),(a,3),(b,1),(b,2),(b,3)\}.$$

This product has $2 \cdot 3 = 6$ points. In general, if $X$ has $m$ elements and $Y$ has $n$ elements, then $X \times Y$ has $mn$ elements.

2. Products of more than two spaces

The idea extends naturally to three or more spaces. If $X$, $Y$, and $Z$ are sets, then

$$X \times Y \times Z = \{(x,y,z) : x \in X,\ y \in Y,\ z \in Z\}.$$

Here each point is a triple. You can continue with four spaces, five spaces, or even infinitely many spaces.

For a finite family $X_1, X_2, \dots, X_n$, the product is

$$\prod_{i=1}^n X_i = X_1 \times X_2 \times \cdots \times X_n.$$

An element of this product looks like

$$(x_1,x_2,\dots,x_n),$$

where $x_i \in X_i$ for each $i$.

This is useful in science and engineering. A state of a system may depend on several independent variables. For example, one coordinate may represent position, another velocity, and another time. Product spaces let mathematicians organize all of these at once.

Example 2: Coordinates in space

The space $\mathbb{R}^3$ is the product

$$\mathbb{R} \times \mathbb{R} \times \mathbb{R}.$$

A point in $\mathbb{R}^3$ is written as $(x,y,z)$. This is a product of three copies of the real line, and it is the natural setting for 3D geometry.

3. Why topology needs more than just sets

If we only used the set $X \times Y$, we would know the points in the product, but not which subsets are open. Topology is all about open sets, continuity, and limits, so we need a topology on the product.

The product topology is the standard topology on $X \times Y$ and on products of many spaces. It is built so that the projection maps are continuous.

For two spaces, the projection maps are

$$\pi_X : X \times Y \to X, \quad \pi_X(x,y)=x,$$

and

$$\pi_Y : X \times Y \to Y, \quad \pi_Y(x,y)=y.$$

These maps “forget” one coordinate. They are important because they connect the product space back to each factor space.

Real-world intuition

Imagine a school schedule app that stores $(\text{day}, \text{class})$. The projection onto the first coordinate gives the day, and the projection onto the second coordinate gives the class. Each projection extracts one piece of information from the combined record. In topology, projection maps do the same kind of job.

4. Basic properties of products of spaces

The product of spaces collects information from each factor, but it also inherits structure from them. Some key ideas are:

A product point has one coordinate from each space.
The product topology is the coarsest topology that makes all projection maps continuous.
Open sets in a product are generated from products of open sets in the factor spaces.

The phrase “coarsest topology” means the smallest topology with a given property. Here, that property is continuity of all projections.

If $U \subseteq X$ and $V \subseteq Y$ are open, then $U \times V$ is a basic open set in $X \times Y$ under the product topology.

This is easy to picture in $\mathbb{R}^2$: if $U$ is an open interval on the $x$-axis and $V$ is an open interval on the $y$-axis, then $U \times V$ is an open rectangle. Many open sets in the plane are built from such rectangles.

Example 3: Open rectangles

Let $U = (0,1)$ and $V = (-2,2)$ in $\mathbb{R}$. Then

$$U \times V = \{(x,y) : 0 < x < 1,\ -2 < y < 2\}.$$

This is an open rectangle in $\mathbb{R}^2$. It is a basic open set in the product topology.

5. Projection maps and continuity

Projection maps are central to product spaces. For spaces $X$ and $Y$, the maps

$$\pi_X(x,y)=x \quad \text{and} \quad \pi_Y(x,y)=y$$

are continuous in the product topology.

Why is that important? Because continuity is preserved when you pass from the product to each factor. If you have a continuous map

$$f : Z \to X \times Y,$$

then the composed maps

$$\pi_X \circ f : Z \to X$$

and

$$\pi_Y \circ f : Z \to Y$$

are also continuous. This gives a practical way to analyze maps into a product: check each coordinate separately.

Example 4: A map into a product

Suppose

$$f(t) = (\cos t, \sin t)$$

is a map from $\mathbb{R}$ to $\mathbb{R}^2$. The first projection gives

$$\pi_X(f(t)) = \cos t,$$

and the second gives

$$\pi_Y(f(t)) = \sin t.$$

Since both coordinate functions are continuous, the map $f$ is continuous in the product topology.

This coordinate-by-coordinate idea is one of the main reasons product spaces are useful. A complicated map into a product can often be understood by studying each coordinate function.

6. Finite products and infinite products

Finite products are familiar because they match ordinary coordinate systems. Infinite products are also important in topology.

If $\{X_i\}_{i \in I}$ is a family of spaces indexed by a set $I$, the product is

$$\prod_{i \in I} X_i.$$

An element is a function-like tuple $(x_i)_{i \in I}$ with $x_i \in X_i$ for every $i \in I$.

For infinitely many spaces, the product topology is still defined using projections. For each index $i$, the projection map is

$$\pi_i : \prod_{j \in I} X_j \to X_i,$$

where $\pi_i((x_j)_{j\in I}) = x_i.$

Infinite products appear in many areas of mathematics, including sequences of functions, spaces of signals, and spaces of choices. They are useful because they allow us to study many coordinates at once.

7. How products fit into product topology

Products of spaces are the underlying sets. Product topology is the topology placed on those sets. So the lesson topic “Products of spaces” is the starting point for product topology.

The overall structure is:

Start with spaces $X_i$.
Form the set-theoretic product $\prod_{i \in I} X_i$.
Put the product topology on that set.
Use projection maps to study continuity and open sets.

This construction is one of the most important tools in topology because it builds new spaces from old ones in a controlled way.

Conclusion

students, products of spaces are a fundamental way to combine topological spaces into one larger space. The points of a product are tuples, like $(x,y)$ or $(x_1,x_2,\dots,x_n)$. The product topology makes this space usable in topology by defining open sets so that all projection maps are continuous. This is why products are so useful: they connect separate spaces while keeping their structure visible. Whether you are working with the plane $\mathbb{R}^2$, a finite tuple, or an infinite family of spaces, the product idea helps organize information clearly and precisely. 📘

Study Notes

The Cartesian product of sets $X$ and $Y$ is $X \times Y = \{(x,y) : x \in X,\ y \in Y\}$.
A point in a product space is an ordered tuple, and the order of coordinates matters.
For spaces $X$ and $Y$, the projection maps are $\pi_X(x,y)=x$ and $\pi_Y(x,y)=y$.
The product topology is the coarsest topology that makes all projection maps continuous.
Basic open sets in a product are built from products of open sets, such as $U \times V$.
In $\mathbb{R}^2$, product open sets look like open rectangles.
Finite products give spaces like $\mathbb{R}^n$, while infinite products use tuples $(x_i)_{i \in I}$.
Products of spaces are the set-theoretic foundation of product topology.
Continuity into a product can often be checked by checking each coordinate map separately.
Products of spaces help model systems with several variables or pieces of information at once.