80 likes | 313 Views
Weierstra Theorem. Tests x<0, x=0, x>0: undecidable. Continuity for Functions. ?x?X. ?e>0. ??>0. ?x'?X:. d(x,x')<? ?? d(y,y')<e. where y=f(x), y'=f(x'). uniform. continuity of f:X?Y. X,Y metric spaces,. Facts: a) X compact, f continuous ?? uniformly sob) f computable ? continuousc)
E N D
1. Relative Computability and Uniform Continuity of Relations