Thursday, 3 September 2015

algorithms - Can all real numbers be presented via a natural number and a sequence in the following way?

Is there (for each fixed base system with digits 0,1,,m) and then for each real number rR, an integer nZ and a sequence (ai)iN with ai{0,1,,m}, such that



r=n0.a1a2a3



and |n| is minimal among all such representations? How to compute it (up to arbitrary precision)?



Intuitively I'd say the answer is yes (apart from maybe pathologies involving signs, zero or one, which I forget) but I'm not acquainted with methods to properly show this. The question came up when thinking about definable and computable real numbers and what it really means to work with non-compact manifolds on a computer or even on paper.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...