# Is there a sequence of points in $[0, 1]^{\mathbb N}$ that has no convergent sub-sequence?

What tools would I use to answer the following topology question?

Is there a sequence of points in $[0, 1]^{\mathbb N}$ that has no convergent sub-sequence?

I am not sure what tools to use to answer this question. I was also wondering if the space is compact. I do not believe it is. $[0,1]$ is compact, so take an open cover of $[0,1]^{\mathbb N}$. On each coordinate, it has a finite subcover, but the there are a non-finite amount of coordinates, so the product cannot be a subcover. Is my reasoning correct?

• What is N? The natural numbers or a natural number? – Rudy the Reindeer Sep 11 '15 at 0:41
• the set of natural numbers. – ThinkConnect Sep 11 '15 at 0:43
• The topology on $[0,1]^{\Bbb N}$ is important. Most likely, you're using the product topology, in which case absalon's answer is sufficient. – Cameron Williams Sep 11 '15 at 0:57
• @CameronWilliams I had never heard of Bolzano Weierstrass property before and then I skimmed the linked document in absalon's answer but it seems it's only about finite dimensional products. Do you know where I can find the BW property stated for infinite products? – Rudy the Reindeer Sep 11 '15 at 1:01
• @RudytheReindeer Oops I didn't notice that he mentioned the BW property. I figured he meant what you wrote, but alas. – Cameron Williams Sep 11 '15 at 1:20

Note that the countable product of metric spaces is metrisable. (see e.g. here)

For metrisable spaces compactness and sequential compactness are equivalent.

Finally, the space $[0,1]^{\mathbb N}$ is compact by Tychonoff's theorem.

• So: compact implies sequentially compact implies every sequence has a convergent subsequence. – Rudy the Reindeer Sep 11 '15 at 0:55
• Thanks! Such a simple solution, yet I somehow never would have thought to put the ideas together as such. – ThinkConnect Sep 11 '15 at 1:49
• The Tychonoff -product topology of any set of compact spaces is compact.This is called the Tychonoff Theorem.It is not obvious. For the special case $I^K$ where $I=[0,1]$and the cardinal of $K$ is less, or equal to, the cardinal of the reals, it can be done using the Bolzano-Weierstrass theorem. – DanielWainfleet Sep 11 '15 at 3:35
• @user254665 Thank you for your comment. I looked at the document linked to in the other answer but could not find Bolzano Weierstrass for cardinalities greater than finite. Where can I find it for countably infinite? – Rudy the Reindeer Sep 11 '15 at 3:44
• I gave the wrong name .I was thinking of the following ,due to Weierstrass: Every continuous$f: I \to R$ can be uniformly approximated by a polynomial $p:I\to R$. Now $p$ can be uniformly approximated by a polynomial $p^*$ with rational co-efficients, and there are countably many such $p^*$. – DanielWainfleet Sep 15 '15 at 20:07

By Tykhonov's theorem it is a compact metrizable space and every compact metrizable space has the Bolzano-Weierstraß property. Done.

• Can you state the Bolzano Weierstrass property? – Rudy the Reindeer Sep 11 '15 at 0:52
• Thank you. And which part in the linked document is relevant to the question? It seems to me that the document only deals with finite dimensional products but humour me and point me to the relevant theorem in the document. – Rudy the Reindeer Sep 11 '15 at 0:57
• In page 2 the author defines the Bolzano-Weierstraß property. – absalon Sep 11 '15 at 1:01