Projection Maps in Product Topology
students, imagine looking at a point in a city map and asking, “What is its east-west coordinate?” or “What is its north-south coordinate?” 📍 In topology, a projection map does something similar: it takes a point in a product space and returns one of its coordinates. Projection maps are one of the most important tools in product topology because they connect a multi-part space back to each of its pieces.
In this lesson, you will learn how projection maps are defined, why they matter, and how they help build the product topology. By the end, you should be able to explain the key ideas, use the notation correctly, and connect projections to the basis of the product topology.
What Is a Projection Map?
Suppose $X$ and $Y$ are two topological spaces. Their product space is written as $X \times Y$, and its points look like ordered pairs $(x,y)$ where $x \in X$ and $y \in Y$. A projection map is a function that “picks out” one coordinate from each ordered pair.
The first projection map is usually written as $\pi_1 : X \times Y \to X$, defined by
$$\pi_1(x,y)=x.$$
The second projection map is written as $\pi_2 : X \times Y \to Y$, defined by
$$\pi_2(x,y)=y.$$
So if a point in $X \times Y$ is like a student’s locker combination, a projection is like reading just one part of the combination at a time. 🔐
More generally, if there are spaces $X_1, X_2, \dots, X_n$, then the $i$-th projection map is
$$\pi_i : X_1 \times X_2 \times \cdots \times X_n \to X_i,$$
with
$$\pi_i(x_1,x_2,\dots,x_n)=x_i.$$
These maps are very natural because they match the way product spaces are built: a point in the product contains one coordinate from each space.
Why Projection Maps Matter
Projection maps are not just simple coordinate-pickers. They are central because the product topology is defined using them.
In product topology, the open sets are built so that the projection maps are continuous. This is a key idea: rather than defining the topology from scratch in a complicated way, we require that the coordinate maps behave nicely.
For the product $X \times Y$, a set $U$ is open in the product topology when it can be described using open sets from $X$ and $Y$. A typical basic open set looks like
$$U \times V,$$
where $U$ is open in $X$ and $V$ is open in $Y$.
The projection maps help explain why these sets are natural. If you take a basic open set $U \times V$, then applying $\pi_1$ gives $U$, and applying $\pi_2$ gives $V$. This shows how product topology keeps the structure of each factor visible.
Think of a weather map showing temperature and humidity together. If you project onto temperature, you ignore humidity and keep only the temperature data. If you project onto humidity, you ignore temperature. Projection maps let you study one feature at a time while still working inside the full combined space. 🌦️
Continuity of Projection Maps
A major fact in topology is that projection maps are always continuous in the product topology.
For $X \times Y$, both
$$\pi_1 : X \times Y \to X \quad \text{and} \quad \pi_2 : X \times Y \to Y$$
are continuous.
Why is that true? To check continuity, we look at the preimage of an open set. Let $U$ be open in $X$. Then
$$\pi_1^{-1}(U)=U \times Y.$$
Since $U$ is open in $X$ and $Y$ is open in itself, the set $U \times Y$ is open in the product topology. So $\pi_1$ is continuous.
Similarly, if $V$ is open in $Y$, then
$$\pi_2^{-1}(V)=X \times V,$$
which is open in $X \times Y$. So $\pi_2$ is continuous.
This idea works for any finite product and also for many infinite products. The point is that the product topology is designed so that each projection map behaves continuously. That makes projections a foundation, not just an extra feature.
Projections and the Basis for the Product Topology
The product topology has a standard basis made from sets that look like products of open sets. In the case of $X \times Y$, the basis consists of sets of the form
$$U \times V,$$
where $U$ is open in $X$ and $V$ is open in $Y$.
Projection maps help describe these basis elements. For a basic open set $U \times V$:
- $\pi_1(U \times V)=U$
- $\pi_2(U \times V)=V$
This means every basic open set is built from open sets in the individual spaces.
For a finite product $X_1 \times \cdots \times X_n$, a basis element looks like
$$U_1 \times U_2 \times \cdots \times U_n,$$
where each $U_i$ is open in $X_i$. The projections satisfy
$$\pi_i(U_1 \times \cdots \times U_n)=U_i.$$
This is useful because it shows that the topology on the product is not random. It is assembled from the topologies on the individual spaces using projections.
A real-world analogy is a student schedule 📚. If a schedule includes classes, lunch, and sports, then projecting onto just the class part gives the class schedule. The full schedule has many parts, but each projection recovers one part cleanly.
Example: Projection Maps on the Plane
A very familiar example is the Cartesian plane $\mathbb{R}^2 = \mathbb{R} \times \mathbb{R}$.
Here the projection maps are
$$\pi_1(x,y)=x \quad \text{and} \quad \pi_2(x,y)=y.$$
If we take the open rectangle
$$(-1,2) \times (3,5),$$
then
$$\pi_1\big((-1,2) \times (3,5)\big)=(-1,2),$$
and
$$\pi_2\big((-1,2) \times (3,5)\big)=(3,5).$$
This is a nice example because it shows how a small open region in the plane comes from open intervals in each coordinate line.
Also, if $A \subseteq \mathbb{R}^2$ is any set, then $\pi_1(A)$ is the set of all first coordinates of points in $A$, and $\pi_2(A)$ is the set of all second coordinates. For example, if
$$A=\{(x,y) \in \mathbb{R}^2 : x^2+y^2<1\},$$
then $\pi_1(A)=(-1,1)$ and also $\pi_2(A)=(-1,1)$. This does not mean $A=(-1,1) \times (-1,1)$; it only means that every first coordinate and every second coordinate appearing in the open disk lies in $(-1,1)$.
Infinite Products and Coordinate Projections
Projection maps also appear in infinite product spaces. If $\{X_i\}_{i \in I}$ is a family of spaces, the product space is
$$\prod_{i \in I} X_i.$$
A point in this space is a function-like object
$$x=(x_i)_{i \in I},$$
where each $x_i \in X_i$.
The projection map onto the $j$-th coordinate is
$$\pi_j : \prod_{i \in I} X_i \to X_j,$$
with
$$\pi_j\big((x_i)_{i \in I}\big)=x_j.$$
These maps are again continuous in the product topology.
In an infinite product, the product topology is the weakest topology that makes all the projections continuous. That phrase means: it is the smallest topology with this property. This is a very important universal idea in topology, because it tells us that projections determine the topology.
How Projection Maps Are Used
Projection maps are used in many topology arguments. Here are three common uses:
- Checking continuity: A map into a product space is continuous if each coordinate function is continuous. For a map $f: Z \to X \times Y$, we can study $\pi_1 \circ f$ and $\pi_2 \circ f$.
- Building open sets: Basis elements in the product topology are described using open sets in each factor and the behavior of projections.
- Understanding structure: Projections help separate a complicated space into understandable parts.
For example, if $f: Z \to X \times Y$ is given by
$$f(z)=(g(z),h(z)),$$
then
$$\pi_1 \circ f=g \quad \text{and} \quad \pi_2 \circ f=h.$$
So $f$ is continuous exactly when both $g$ and $h$ are continuous, because the product topology is built to make projection maps continuous.
This is extremely useful in mathematics because it lets you study complicated maps one coordinate at a time. 🧠
Conclusion
Projection maps are the coordinate maps from a product space to one of its factor spaces. For $X \times Y$, the maps $\pi_1(x,y)=x$ and $\pi_2(x,y)=y$ are the main examples. They are continuous, they help define the product topology, and they explain the basis of open sets in product spaces.
students, if you remember one idea, remember this: the product topology is designed so that every projection map is continuous. That single fact connects the definition of product topology, the basis of open sets, and the way we study maps into product spaces. Projection maps are simple to write down, but they carry a lot of the structure of product topology.
Study Notes
- A projection map sends a point in a product space to one of its coordinates.
- For $X \times Y$, the projections are $\pi_1(x,y)=x$ and $\pi_2(x,y)=y$.
- For $X_1 \times \cdots \times X_n$, the projection is $\pi_i(x_1,\dots,x_n)=x_i$.
- Projection maps are continuous in the product topology.
- If $U$ is open in $X$, then $\pi_1^{-1}(U)=U \times Y$.
- If $V$ is open in $Y$, then $\pi_2^{-1}(V)=X \times V$.
- The basis of the product topology uses products of open sets like $U \times V$.
- Projection maps help explain why these basis elements are natural.
- In an infinite product $\prod_{i \in I} X_i$, each coordinate has its own projection $\pi_j$.
- The product topology is the weakest topology making all projection maps continuous.