Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

I'm reading topology of Munkres and I have a problem that stuck me for a while. I'm so greatful if anyone can help me with this.

Let $A$ be a proper subset of $X$, and let $B$ is a proper subset of $Y$. If $X$ and $Y$ are connected, show that $$(X\times Y) \setminus (A\times B)$$ is connected.

Thanks so much for your consideration ^^

share|cite|improve this question
What does the $*$ stand for? – Your Ad Here Oct 15 '12 at 16:39
I think le duc quang means: $(X \times Y) - (A \times B)$. If so, we denote "times" in terms of subspaces by using "\times", $\times$, instead of an asterisk "\ast", $\ast$. After looking in Munkres, this exercise is found on page 152. – josh Oct 15 '12 at 17:23
up vote 5 down vote accepted

We can simplify Davide Giraudo's answer by noting that we only need to show that $(a,b)$ is in the same connected component as every other point.

So, start by fixing $a \in X \setminus A$ and $b \in Y \setminus B$ as Davide does, and consider an arbitrary point $(x,y) \in (X \times Y) \setminus (A \times B)$.

  • If $x \notin A$, then $\{x\} \times Y$ is connected and contains both $(x,y)$ and $(x,b)$, while $X \times \{b\}$ is connected and contains both $(x,b)$ and $(a,b)$. Thus, $(\{x\} \times Y) \cup (X \times \{b\})$ is connected and contains both $(x,y)$ and $(a,b)$.

  • Otherwise, $x \in A \implies y \notin B$. Thus, analogously, $X \times \{y\}$ is connected and contains both $(x,y)$ and $(a,y)$, while $\{a\} \times Y$ is connected and contains both $(a,y)$ and $(a,b)$, and so $(X \times \{y\}) \cup (\{a\} \times Y)$ is connected and contains both $(x,y)$ and $(a,b)$.

share|cite|improve this answer
I think that your answer is in fact a proof by contradiction implicitly. You suppose that $H= X\times Y - A\times B$ is NOT connected so there are two disjoint non-empty open sets of $A$ and $B$ of $H$ whose union is $H$ and using your argument, you show that either $A$ or $B$ is an empty subset, a contradiction. Am I right? Isn't it better understood that way? @IlmariKaronen – Maths Lover Aug 21 '14 at 12:39

Let $(x_1,y_1)$ and $(x_2,y_2)\in (X\times Y)\setminus (A\times B)$. We will prove that these points are in the same connected component. Fix $a\in X\setminus A$ and $b\in Y\setminus B$.

  • First case: $x_1\notin A$ and $x_2\notin A$. Then $\{x_1\}\times Y$ is connected. So is $X\times \{b\}$ and $\{x_2\}\times Y$. Take $C_1:=\{x_1\}\times Y$, $C_2:=X\times\{b\}$ and $C_3:=\{x_2\}\times Y$. These three sets are connected and $C_1\cap C_2$, $C_2\cap C_3$ are non-empty so $C_1\cup C_2\cup C_3$ is connected and lies in $(X\times Y)\setminus (A\times B)$.

  • Second case: $x_1\notin A$ and $y_2\notin B$. Take $C_1:=\{x_1\}\times Y$, $C_2:=X\times \{y_2\}$ and $C_3:=\{x_2\}\times Y$.

The other cases are similar.

share|cite|improve this answer

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.