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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\{(X_\alpha,\mathscr{T}_\alpha):\alpha\in\Lambda\}$ be an indexed family of topological spaces, and for each $\alpha\in\Lambda$ let $A_\alpha\subseteq{X_\alpha}$, then $\overline{\prod_{\alpha\in\Lambda}A_\alpha}=\prod_{\alpha\in\Lambda}\overline{A_\alpha}$.

I have tried to prove this and I have gotten the expression $\overline{\prod_{\alpha\in\Lambda}\overline{A_\alpha}}=\prod_{\alpha\in\Lambda}\overline{A_\alpha}$, because if I choose a subset $A_\beta$ of $X_\beta$, i know that $\prod_{\alpha\in\Lambda}\overline{A_\alpha}$ (where $A_\alpha=X_\alpha$ if $\alpha\neq{\beta})$ is a closed subset of $\prod_{\alpha\in\Lambda}X_\alpha$.

  • I need your help to end the proof.
share|cite|improve this question
What is the closure of a topological space? I know closures of strict subsets of spaces, and completions of metric spaces, but what are closures of spaces? – akkkk Dec 21 '12 at 22:09
What topology are you using on the product space? – Sigur Dec 21 '12 at 22:46
Arbitrary intersections of closed subsets are closed... – paul garrett Dec 21 '12 at 23:04

Hint: if $\pi_\alpha$ is the standard projection onto $X_\alpha$, then $\pi_\alpha^{-1}\left[ \overline{A_\alpha}\right]$ is closed. The closure of $\Pi A_\alpha$ is the smallest closed set containing $\Pi A_\alpha$.

share|cite|improve this answer

Going to definitions: let's prove two inclusions.

Suppose $x = (x_{\alpha})_{\alpha \in \Lambda}$ is in $\overline{\prod_{\alpha\in\Lambda} A_\alpha}$ and let's show it is in $\prod_{\alpha\in\Lambda}\overline{A_\alpha}$.

Fix $\alpha \in \Lambda$, and an open set $O \subset X_\alpha$ which contains $x_\alpha$. Then ${\pi_\alpha}^{-1}[O]$ ($O$ in coordinate $\alpha$ and the whole space in all other coordinates) is open the product space and contains $x$ and so intersects $\prod_{\alpha \in \Lambda} A_\alpha$, which means that $O$ in particular intersects $A_\alpha$. As $O$ was arbitrary this means that $x_\alpha$ is in $\overline{A_\alpha}$, and as this holds for all $\alpha$, this shows the first inclusion.

Now pick a point in $x= (x_{\alpha})_{\alpha \in \Lambda}$ in $\prod_{\alpha\in\Lambda}\overline{A_\alpha}$, and let $O$ be a basic open neighborhood of $x$ in the product space.

This means that for some finite subset $F = \{ \alpha_1,\ldots,\alpha_n\}$ of $\Lambda$, we have $O_{\alpha_1},\ldots,O_{\alpha_n}$ open subsets of $X_{\alpha_i}$ resp., such that $O = \prod_{\alpha\in\Lambda} O_\alpha$, where $O_\alpha = X_\alpha$ for all $\alpha \in \Lambda\setminus F$.

Every $O_\alpha$ intersects $A_\alpha$, as all $O_\alpha$ are open sets containing $x_\alpha$ and $x_\alpha$ is in $\overline{A_\alpha}$, and so $O$ intersects $\prod_{\alpha\in\Lambda} A_\alpha$. As $O$ was an arbritary basic open subset of $x$, every open neighbourhood around $x$ will intersect $\prod_{\alpha\in\Lambda} A_\alpha$, and so $x$ is in the closure of this set, as needed.

This concludes the proof. Note that almost the exact same proof will also show the same identity when we give the product space the so-called box topology.

share|cite|improve this answer
Hello thanks for your answer.In the first part, I don´t understand why if $x_\alpha$ is in $\overline{A_\alpha}$ then $\overline{\prod_{\alpha\in\Lambda}A_\alpha} \subset {\prod_{\alpha\in\Lambda}\overline{A_\alpha}}$ – Fernando Valle Dec 22 '12 at 19:17
We have shown for $x$ in the left hand side $\overline{\prod_{\alpha\in\Lambda}A_\alpha}$ that each coordinate $x_\alpha$ is in $\overline{A_\alpha}$, so $x$ (consisting of those coordinates) is by definition in $\prod_{\alpha\in\Lambda}\overline{A_\alpha}$, to show the inclusion. – Henno Brandsma Dec 22 '12 at 21:26
Good I understand it. Now in the second part, what do you mean when you say "basic open subset of x"? – Fernando Valle Dec 22 '12 at 23:00
edited it: meant basic open neighbourhood. – Henno Brandsma Dec 23 '12 at 8:04
OK thank´s for the help!. – Fernando Valle Dec 23 '12 at 15:57

Your Answer


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.