Is the set of infinite strings of {a,b} countable?

  • Thread starter Thread starter EvLer
  • Start date Start date
  • Tags Tags
    Diagonalization
EvLer
Messages
454
Reaction score
0
I am stumpt on this problem:
Use Cantor's diagonalization method to show that the set of all infinite
strings of the letters {a,b} is not countable:

Can I have a hint? :redface:
 
Physics news on Phys.org
Do you understand the argument that shows that the set of decimal numbers between 0 and 1 is uncountable? Try running that argument in base two, and you have what you want.
 
Do you know Cantor's diagonal method? The application here is pretty direct. Assume that the set of all infinite sequences of {a,b} is countable. Then you can put them in a numbered list. Create a string z by "if the nth letter in the nth sequence is a, the nth letter in z is b, else the nth letter in z is a". Where is z in the list?
 
I guess my problem is coming up with a numbering scheme of these strings, so that I could see a diagonal. Do i always need to disprove by diagonal? I know it is called diagonalization principle but still...
I think I understand the principle, but sometimes the prof changes a small thing and then we all are lost.
So, yeah, if someone can lead me on numbering, that would be appreciated.
 
You don't need a numbering scheme. The assumption that the set is countable is equivalent to the statement that there exists a bijection between it and the natrual numbers. So if you assume the existence of such a bijection and reach a contradiction, you have disproved the hypothesis that the set is countable.
 
oh, ok.
thanks
that makes sense.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top