0
$\begingroup$

I have a question about the following passage:

enter image description here

enter image description here

How is this $F$ injective? For example, $0.0111\sim = 0.1000\sim$. I don't understand how "discarding the nonstandard representations" is defined. The domain of $F$ clearly contains $g$ and $g'$ such that $F(g) = 0.0111\sim = 0.1000\sim = F(g')$. Thanks for help.

  • 0
    @ThomasAndrews You are right. Your comment answers my question. Thank you!2012-10-26

2 Answers 2

2

Discarding the non-standard representations simply means that we don’t allow them: we work only with the standard representations. The real numbers $+.1\overline{0}$ and $+.0\overline{1}$ are not equal: the interpretation is decimal, not binary, so these numbers are $\frac1{10}$ and $\frac1{90}$, respectively.

The function $F$ produces decimals whose digits are all $0$ or $1$, so it cannot produce a non-standard representation of a positive real, and it clearly does not produce $-.\overline{0}$; thus, it produces only standard representations and so must be one-to-one (though obviously not surjective!).

  • 0
    Noooo -- I thought these were binary representations! *Duh!*2012-10-26
1

I think that when you define $F$ you work in base 10 (or 3)... That issue only occurs in base 2...

Without reading the more I have to guess, it is easy to construct one two one functions in both directions by using base 2 in one direction and another base in the other...

If you want to construct a bijection directly, and define $F$ using the binary representation, then $F$ is onto on $[0,1]$, and the set of pairs where is not one to one is countable, so it is easy to fix.