11
$\begingroup$

I know that the open subsets in the product topology of $X=X_1\times X_2\times...\times X_3$, where $X_1,X_2,...,X_n$ topological spaces, are the union of subsets of X: $U_1\times U_2\times ...\times U_n$, where $U_1,U_2,...,U_n$ are open subsets of $X_1,X_2,...,X_n$ respectively.

I have a question, how the closed subsets look like? can I say that they are the union of the subsets of X: $F_1\times F_2 \times...\times F_n$, where $F_1,F_2,...,F_n$ are closed subsets of $X_1, X_2,..., X_n$ respectively? In fact, what they are?

thanks

$\endgroup$
10
$\begingroup$

Sets of the form $F_1\times\dots\times F_n$, with $F_j$ closed for $1\leq j\leq n$, are closed since their complement is open: it is indeed $$\bigcup_{j=1}^n\left(\prod_{i=1}^{j-1}X_i\times (X_i\setminus F_i)\times \prod_{i=j+1}^nX_i\right).$$ But not all the closed sets have this form: for example, in the plane $\Bbb R^2$, the unit disk $\{(x_1,x_2)\in\Bbb R^2, x_1^2+x_2^2\leq 1\}$ cannot be written as a cartesian product.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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