Skip to main content

Section Projections and Continuous Functions on Products

Given topological spaces \((X_1, \tau_1)\) and \((X_2, \tau_2)\text{,}\) we define \(\pi_1: X_1 \times X_2 \to X_1\) and \(\pi_2: X_1 \times X_2 \to X_2\) by \(\pi_1((x,y)) = x\) and \(\pi_2((x,y)) = y\text{.}\) These functions \(\pi_1\) and \(\pi_2\) are the projections of \(X_1 \times X_2\) onto \(X_1\) and \(X_2\text{,}\) respectively. These projection functions can help us determine when a function \(f\) from a topological space \(Y\) to \(X_1 \times X_2\) is continuous.

Activity 20.6.

Let \((X_1, \tau_1)\) and \((X_2, \tau_2)\) be topological spaces and let \(O_1\) be an open set in \(X_1\text{.}\)

(a)

Determine which set is \(\pi_1^{-1}(O_1)\text{.}\) Verify your conjecture.

(b)

Explain why \(\pi_1\) is continuous.
The same argument as in Activity 20.6 shows that \(\pi_2\) is also a continuous function. In general, if \(X = \Pi_{i=1}^n X_{i}\) is a finite product of topological spaces, then the projection \(\pi_{k}: X \to X_{k}\) is a continuous function for each \(k\text{,}\) where \(\pi_k((x_1,x_2, \ldots, x_n)) = x_k\text{.}\)
Let \(O = \Pi_{i=1}^n O_i\) be a basic open set in \(X = \Pi_{i=1}^n X_i\text{,}\) where \(X_i\) is a topological space for each \(i\text{.}\) We can extend the result of Activity 20.6 to see that
\begin{equation*} \pi_i^{-1}(O_i) = X_1 \times X_2 \times \cdots \times X_{i-1} \times O_i \times X_{i+1} \times \cdots \times X_n\text{.} \end{equation*}
So
\begin{equation*} \Pi_{i=1}^n O_i = \bigcap_{i=1}^n \pi_i^{-1}(O_i)\text{.} \end{equation*}
So each basic open set is a finite intersection of sets of the form \(\pi_i^{-1}(O_i)\) where \(O_i\) is open in \(X_i\text{.}\) When this happens, we call the collection of sets of the form \(\pi_i^{-1}(O_i)\) a subbasis of the topology.

Definition 20.2.

Let \((X, \tau)\) be a topological space. A subset \(\CS\) of \(\tau\) is a subbasis or subbase for \(\tau\) if the set of all finite intersections of elements of \(\CS\) is a basis for \(\tau\text{.}\)
As an example, since finite intersections of intervals of the form \((-\infty,b)\) and \((a, \infty)\) give all intervals of the form \((a,b)\text{,}\) the collection \(\CS = \{(-\infty,b), (a, \infty) \mid a, b \in \R\}\) is a subbasis for the standard topology on \(\R\text{.}\) Note that this collection itself is not a basis for the standard topology on \(\R\text{.}\) If \(X = \Pi_{i=1}^n X_i\) is a product of topological space, then another example of a subbasis is the collection
\begin{equation*} \CS = \bigcup_{i=1}^n \{\pi_i^{-1}(O_i) \mid O_i \text{ is open in } X_i\}\text{.} \end{equation*}
This set is a subbasis for the product topology on \(X\) (the verification of this is left to Exercise 1).
We note here that there is another topology, called the product topology, on \(X\) with subbasis \(S = \bigcup_{\alpha \in I} S_{\alpha}\text{,}\) where
\begin{equation*} S_{\alpha} = \{\pi_{\alpha}^{-1}(U_{\alpha}) \mid U_{\alpha} \text{ is open in } X_{\alpha}\}\text{.} \end{equation*}
For reasons we won’t go into, the product topology is preferred to the box topology for infinite products (many important theorems that hold for finite products will not hold for infinite products using the box topology, but will hold using the product topology). However, the product topology and the box topology are the same for finite products, and since we won’t consider infinite products here we will not worry about the distinction. For our purposes we will use the terms “box topology” and “product topology” interchangeably.
As we have discussed before, it can often be easier to define a topology using a basis or subbasis than it is to describe all of the sets in the topology. As we might expect, since the continuity of a function can be determined by the inverse image of basis elements, the continuity of a function can also be determined by the inverse image of subbasis elements.

Activity 20.7.

Hint.
Recall that \(f\) is continuous if \(f^{-1}(B)\) is open in \(X\) for each basic open set \(B\text{.}\)
Now suppose that \(X_1\text{,}\) \(X_2\text{,}\) and \(Y\) are topological spaces, and that \(f: Y \to X_1 \times X_2\) is a function. Then \(\pi_1 \circ f\) maps \(Y\) to \(X_1\) and \(\pi_2 \circ f\) maps \(Y\) to \(X_2\text{.}\) Since the composition of continuous functions is continuous, we can see that if \(f\) is continuous so are \(\pi_1\circ f\) and \(\pi_2 \circ f\text{.}\) To determine if \(f\) is a continuous function, it would be useful to know if the converse is true. A key idea in the proof is the result of Exercise 9 that if \(R\text{,}\) \(S\text{,}\) and \(T\) are sets, and \(g: R \to S\) and \(h : S \to T\) are functions, then \((h \circ g)^{-1}(O) = g^{-1}(h^{-1}(O)\) for any subset \(O\) of \(T\text{.}\)
Now we can use projections to determine when functions to product spaces are continuous.

Proof.

Let \(X_i\) for \(i\) from \(1\) to \(n\) and \(Y\) be topological spaces, and let \(f: Y \to \Pi X_i\) be a function. If \(f\) is continuous, the facts that each \(\pi_i\) is continuous and that composites of continuous functions are continuous show that \(\pi_i \circ f\) is continuous for each \(i\text{.}\)
Now suppose that \(\pi_i \circ f\) is continuous for each \(i\text{.}\) Recall that
\begin{equation*} \CS = \{\pi_i^{-1}(O_i) \mid O_i \text{ is open in } X_i\} \end{equation*}
is a subbasis for the product topology on \(\Pi_{i=1}^n X_i\text{.}\) To prove that \(f\) is continuous, Theorem 20.3 tells us that it is enough to show that \(f^{-1}(S)\) is open for each \(S\) in \(\CS\text{.}\) Let \(O_i\) be an open set in \(X_i\text{.}\) Exercise 9 tells us that
\begin{equation*} f^{-1}(\pi_i^{-1}(O_i)) = (\pi_i \circ f)^{-1}(O_i)\text{,} \end{equation*}
which is open in \(Y\) because \(\pi_i \circ f\) is continuous. Therefore, \(f\) is continuous.