Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\left\{X_a \right\}_{a \in I}$ be an indexed family of topological spaces. Consider their topological product $X=\prod_{a \in I} X_a$. Let $I'$ be a finite subset of $I$ and define $X' =\prod_{a \in I'} X_a$. Let $y$ be a point of $X$. Define an embedding $j:X' \rightarrow X$ by $j(x')(a)=x'(a)$ if $a \in I'$ and $j(x')(a)=y(a)$ if $a \in I-I'$, where $x' \in X'$. Let $p_a : X \rightarrow X_a$ be the projection on the $a$ factor $x \mapsto x(a)$.

I read the statement "j is continuous, since all maps $p_a j$ are continuous". I can see that $p_a j$ is continuous for any $a \in I$. But why does this continuity imply the continuity of $j$?

share|improve this question
    
What is your definition of topological product? –  Phira Apr 30 '12 at 21:11
    
The topology consists of unions of sets of the form $p_{a_1}^{-1}(O_{a_1}) \cap \cdots \cap p_{a_k}^{-1}(O_{a_k})$, where $O_{a_i}$ is open in $X_{a_i}$ and $p_a$ is the projection onto the $a$ factor. –  Manos May 1 '12 at 12:10
    
I see it now :-) –  Manos May 1 '12 at 12:18

2 Answers 2

up vote 4 down vote accepted

It's a special case of a general result that's worth knowing:

Theorem: Let $X=\prod\limits_{i\in I}X_i$ be a product of topological spaces, and for $i\in I$ let $p_i:X\to X_i$ be the canonical projection map. Let $Y$ be a topological space, and let $f:Y\to X$ be any function. Then $f$ is continuous iff $p_i\circ f:Y\to X_i$ is continuous for each $i\in I$.

Clearly continuity of $f$ implies continuity of the compositions $p_i\circ f$, since the composition of continuous functions is continuous. The converse implication is an easy consequence of the fact that the sets of the form

$$\bigcap_{i\in F}p_i^{-1}[U_i]\;,$$ where $F$ is a finite subset of $I$, and $U_i$ is open in $X_i$ for each $i\in F$, are a base for the product topology.

share|improve this answer

Since each $p_a j$ is continuous, this means that for each $a$ and each open $U \subset X_a$, we have $j^{-1}(p_a^{-1}(U))$ is open in $X'$. Now note that the collection of sets of the form $p_a^{-1}(U)$ generate the topology of $X$ (just by definition of the product topology).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.