## Is this set uncountable

##S = \bigcup _{i=1}^{∞}\left\{{0,1}\right\}^i ##

methinks yes because:

##S = \bigcup _{i=1}^{∞}\left\{{0,1}\right\}^i \equiv \left\{{0,1}\right\}^\mathbb{N}##

 PhysOrg.com science news on PhysOrg.com >> 'Whodunnit' of Irish potato famine solved>> The mammoth's lament: Study shows how cosmic impact sparked devastating climate change>> Curiosity Mars rover drills second rock target

Blog Entries: 8
Recognitions:
Gold Member
Staff Emeritus
 Quote by Bachelier ##\bigcup _{i=1}^{∞}\left\{{0,1}\right\}^i \equiv \left\{{0,1}\right\}^\mathbb{N}##
This equality is false. Furthermore, the set on the right is uncountable. The set on the left is countable.

 Quote by micromass This equality is false. Furthermore, the set on the right is uncountable. The set on the left is countable.
So how do we look at ##\left\{{0,1}\right\}^∞##?

Blog Entries: 8
Recognitions:
Gold Member
Staff Emeritus

## Is this set uncountable

 Quote by Bachelier So how do we look at ##\left\{{0,1}\right\}^∞##?
What do you mean with $\infty$? The notation you are using now is not standard at all.

Blog Entries: 1
Recognitions:
Gold Member
Homework Help
 Quote by Bachelier ##S = \bigcup _{i=1}^{∞}\left\{{0,1}\right\}^i \equiv \left\{{0,1}\right\}^\mathbb{N}##
As micromass said, this is false. The reason for this is that every element of the left hand side is an n-tuple for some n, i.e., a FINITE tuple such as (0, 1, 0, 1, 1, 0). On the other hand, every element of the right hand side is an infinite sequence, such as (0, 1, 0, 1, 1, 0, ...). Therefore the left hand side and right hand side actually contain no elements in common.

 I think that $S = \bigcup _{i=1}^{∞}\left\{{0,1}\right\}^i$ is countable all right. The mapping with $\mathbb{N}$ is quite obvious.
 Thanks guys, yes it is kind of clear that ## \bigcup_{i=1}^{∞}\left\{{0,1}\right\}^i ## is countable...I was just looking too much into it. I believe my confusion was coming from misunderstanding the set: ##\left\{{0,1}\right\}^\mathbb{N}## which has the cardinality of the power set of ##\mathbb{N}##.