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 working on this problem that involves the collections of sets. I'm not really sure how to approach this problem. I understand that to prove that something is numerically equivalent one must show that there is a bijection. Any help would be appreciated.

Let $\{A_i\}_{i \in \mathbb{Z_+}}$ be a countable collection of sets. Let $B = \displaystyle \prod_{i\in \mathbb{Z_+}}A_i$ be the Cartesian product of the collection. Prove that if every set of the collection $\{A_i\}_{i\in \mathbb{Z_+}}$ contains two distinct elements, then $B$ is numerically equivalent to $\mathbb{R}$, that is, $|B|=|\mathbb{R}|$

share|cite|improve this question
Are you assuming the Axiom of Choice? And what are your hypothesis on the sizes of the $A_i$? As stated, the result is false: just take $A_1$ to be a set of cardinality strictly larger than that of $\mathbb{R}$ and all others to have at least two elements. That set contains a set of size $|A_1|$, which is strictly larger than that of $\mathbb{R}$. – Arturo Magidin May 8 '12 at 4:59
I assume that you mean that each of the sets $A_i$ contains exactly two elements, as otherwise $B$ could be too large. It's very difficult to specify an actual bijection. It's much easier to exhibit injections in both directions and then appeal to the Cantor-Schröder-Bernstein Theorem. – Brian M. Scott May 8 '12 at 5:02
If you know about cardinals, $$2^{\aleph_0} =(2^{\aleph_0})^{\aleph_0},$$ so if $2\leq |A_i|\leq 2^{\aleph_0}$ for each $i$, then the result follows. – Arturo Magidin May 8 '12 at 5:04

Do you know how to prove that $\mathbb{R}$ is numerically equivalent to $\mathcal{P}(\mathbb{N})$? Show that $\mathbb{R}$ is numerically equivalent to $(0,1)$, then show (using binary representation; careful with the numbers with dual representation) that there is an embedding $(0,1)\hookrightarrow \mathcal{P}(\mathbb{N})$. Then show that there is an embedding $\mathcal{P}(\mathbb{N})\hookrightarrow (0,1)$, say by looking at decimal representations of numbers that only use two digits, neither of them $0$ or $1$.

Now, if each $A_i$ has exactly two elements, do you see a connection between $\prod A_i$ and $\mathcal{P}(\mathbb{N})$?

share|cite|improve this answer

Consider each set as {0,1} Map the elements of the product onto the closed unit interval by mapping each to a binary number. For example, [0,1,0,1,0,1,..] maps to .01010101... [I'm assuming the Axiom of Choice.]

The image is uncountable with countably many duplications, hence B must have the same cardinality.

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.