Martin Ziegler
Computable Urysohn
Proof
Proof : : Let Let f f ( ( x x ):= ):= ∑ ∑
mmrrmm rrmm++εεmm rrmm--εεmm
εεmm//22mm
LetLet
( ( r r
mm) )
mm
, , ( ( ε ε
mm) )
mm
⊆ ⊆ Q Q
bebe computablecomputable sequencessequencesThenThen therethere isis a a computablecomputable
f f :[0;1] :[0;1] → → [0;1] [0;1]
s.t.
s.t.
f f
--11[0] = [0;1] [0] = [0;1] \ \
mm( ( r r
mm- - ε ε
mm, , r r
mm+ + ε ε
mm) )
..max(0,
max(0, ε εmm- - | | x x - - r r
mm|)/ |)/ 2 2
mm
CC∞∞
CC∞∞ ''pulse' functionpulse' function
φφ((tt) = ) = exp(exp(--tt²²/1/1--tt²²))
||tt|<1|<1
Martin Ziegler
Specker'59: Uncomputable roots/argminapproximatingapproximating aa rootroot vsvs. . approximateapproximate rootroot
Lemma:
Lemma: ThereThere areare computablecomputable sequencessequences
( ( r r
mm) )
mm
, , ( ( ε ε
mm) )
mm
⊆ ⊆ Q Q
s.t. s.t.U U := :=
mm( ( r r
mm- - ε ε
mm, , r r
mm+ + ε ε
mm) )
contains
contains all all computablecomputable realsreals in [0;1]in [0;1]
and has
and has measuremeasure <<½½..
Corollary
Corollary:: ThereThere isis a a computablecomputable CC∞∞
f f :[0;1] :[0;1] → → [0;1] [0;1]
s.t. s.t.f f
--11[0] [0]
has has measuremeasure >>½½butbut containscontains nono computablecomputable real real numbernumber.. LetLet
( ( r r
mm) )
mm
, , ( ( ε ε
mm) )
mm
⊆ ⊆ Q Q
bebe computablecomputable sequencessequencesThenThen therethere isis a a computablecomputable
f f :[0;1] :[0;1] → → [0;1] [0;1]
s.t.
s.t.
f f
--11[0] = [0;1] [0] = [0;1] \ \
mm( ( r r
mm- - ε ε
mm, , r r
mCCm+ + ε ε
mm) )
..∞∞
Martin Ziegler
Singular Covering of Computable Reals
Lemma:
Lemma: ThereThere areare computablecomputable sequencessequences
( ( r r
mm) )
mm
, , ( ( ε ε
mm) )
mm
⊆ ⊆ Q Q
s.t. s.t.U U := :=
mm( ( r r
mm- - ε ε
mm, , r r
mm+ + ε ε
mm) )
contains
contains all all computablecomputable realsreals in [0;1]in [0;1]
and has
and has measure measure <<½½.. Proof
Proof:: DoveDove--tailingtailing w.r.tw.r.t. (. (
M M , , t t ) )
:: IfIf Turing Turing machinemachine# # M M
withinwithint t
((butbut notnot
t t - - 1 1
) ) stepssteps printsprintsa a
11, , … … a a
MM+5+5s.t.
s.t.
| | a a
kk/2 /2
kk+1+1- - a a
ℓℓ/2 /2
ℓℓ+1+1| | ≤ ≤ 2 2
--kk+2 +2
--ℓℓ∀1 ∀ 1 ≤ ≤ k k , , ℓ ℓ ≤ ≤ M M +5 +5
thenthen letlet
r r
〈〈M,t〉M,t〉:= := a a
MM+5+5/2 /2
M+6M+6 and andε ε
〈〈M,tM,t〉〉:= := 2 2
-M-M--55,, elseelser r
〈〈M,tM,t〉〉:= := 0 0
and andε ε
〈〈M,t〉M,t〉:= 2 := 2
--〈〈M,t〉M,t〉-3-3..Machine
Machine computescomputes rr∈∈RR
iffiff prints seq. prints seq. aann⊆⊆ withwith ||aann/2/2n+1 n+1 -- aamm/2/2m+1 m+1 ||≤≤22--n n ++22--mm..