Define Ο:NβC by
Ο(x):=(0x(0),1,0x(1),1,0x(2),1,β¦).
since there are infinitely many digits in x, there are infinitely many 1s in
Ο(x). also this is a bijection because this encoding is invertible: given any
binary string b obtain [Οβ1(b)](i) as the number of 1s between the i-th
and (i+1)-th occurrence of 1 in b.
it remains to show that both Ο and Οβ1 are continuous. for this it suffices
to show that subbasis elements get mapped to open sets.
-
fix any iβN and Vβ0,1 and let S=Οiβ1β(V)βC. we wish to show Οβ1(S)
open in N.
fix any xβΟβ1(S), and let U=N[i]β(x) be the set of all strings sharing
digits up to index i with x. let yβU. by construction then Ο(x) and
Ο(y) share (at least) a common length-i prefix as well, so in particular
Ο(y)(i)=Ο(x)(i) so Ο(y)βS. so UβΟβ1(S).
-
fix any iβN and VβN and let S=Οiβ1β(V)βN. we wish to show Ο(S) open in
C.
fix any xβΟ(S), and let y=Οβ1(x). let
k=y(0)+1+y(1)+1+β―+y(i)+1. let U=N[k]β(x) be the set
of all strings sharing first prefix up to index k with x. then observe
that for any xβ²βU we have Οβ1(xβ²) sharing at least prefix up to k with
y, so in particular Οβ1(xβ²)(i)=y(i)βV, so Οβ1(xβ²)βS, so xβ²βΟ(S). since
this holds for arbitrary xβ²βU we have UβΟ(S).