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 $A$ be a set, and $S$ be a topological space $\Pi_{\alpha\in A} 2$, where $2 = \{0, 1\}$ carries the discrete topology. Then, what subspace $T \subset S$ is connected? What if $A$ is countably infinite, and what if $A$ is countable? (When $A$ is countably infinite, $S$ is essentially what is known as Cantor set.)

share|improve this question

migrated from cstheory.stackexchange.com Dec 2 '11 at 16:21

This question came from our site for theoretical computer scientists and researchers in related fields.

2 Answers 2

up vote 4 down vote accepted

The space $\{0,1\}^A$ is known as Cantor cube. (If $|A|=\aleph_0$ then it is Cantor space.) This space is a zero-dimensional Hausdorff space and, consequently, it is totally disconnected, which means that connected components are one-point sets.


Let me give a little more details.

$\{0,1\}^A$ is a product space, i.e. the topology generated by the basis consisting of sets $B_{F,G}=\{f: A\to \{0,1\}, f[F]=0, f[G]=1\}$ for disjoint finite sets $F$, $G$. It is relatively easy to show that the basic sets of this form are also closed, since the complement of $B_{F,G}$ is the open set $B_{G,F}$. Thus this space has a basis consisting of clopen sets. (Spaces having this property are called zero-dimensional.)


Now, if $X$ is a Hausdorff zero-dimensional space, then there is no connected subset $S$ of $X$ consisting of more than one point.

To show this, suppose that $x,y\in S$ and $x\ne y$. Since $X$ is Hausdorff, there are neighborhoods $U_x\ni x$, $U_y\ni y$ such that $U_x\cap U_y=\emptyset$. In fact, we can choose the neighborhoods $U_x$ and $U_y$ from any given basis, hence there exist clopen neighborhoods with these properties. Then $U_x\cap S$ is a clopen proper subset of $S$, which means that $S$ is not connected.

share|improve this answer

Note that if $a, b$ are points in a topological space $X$ and $f : X \to \{ 0, 1 \}$ is a continuous function such that $f(a) = 0, f(b) = 1$, then $a, b$ must lie in different connected components of $X$ (in fact $f^{-1}(0)$ and $f^{-1}(1)$ must be disjoint clopen sets whose union is $X$). Now, by definition, $\{ 0, 1 \}^A$ has the property that all projections $f_a : \{ 0, 1 \}^A \to \{ 0, 1 \}$ (for $a \in A$) are continuous, and any two points in $\{ 0, 1 \}^A$ can be separated by such a projection.

share|improve this answer
1  
+1: an extremely clean, simple answer. (+1 to Martin too...) –  Pete L. Clark Dec 4 '11 at 9:31

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.