2021/09/02 by Dieter Spreen, Spreen, Dieter
Mathematics · #54D65 #54E35 #54E55 #F.4.1 #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Primary 03F60 #Secondary 03D45 #acm:03D45 #acm:03F60 #acm:54D65 #acm:54E35 #acm:54E55 #math.GN #math.LO #msc:03D45 #msc:03F60 #msc:54D65 #msc:54E35 #msc:54E55
paper · pdf · doi:10.48550/arxiv.2109.00914
arxiv created 2021/11/12 · arxiv updated 2021/11/15
The Continuity Problem is the question whether effective operators are continuous, where an effective operator F is a function on a space of constructively given objects x, defined by mapping construction instructions for x to instructions for F(x) in a computable way. In the present paper the problem is dealt with in a bi-topological setting. To this end the topological setting developed by the author \citesp is extended to the bi-topological case. Under very natural conditions it is shown that an effective operator F between bi-topological spaces \TTT = (T, τ, σ) and \TTT' = (T', τ', σ') is (effectively) continuous, if τ' is (effectively) regular with respect to σ'. A central requirement on \TTT' is that bases of the neighbourhood filters of the points in T' can computably be enumerated in a uniform way, not only with respect to topology τ', but also with respect to σ'. As follows from an example by Friedberg, the last condition is indispensable. Conversely, it is proved that (effectively) bi-continuous operators are effective. A prominent example of bi-topological spaces are quasi-metric spaces. Under a very reasonable computability requirement on the quasi-metric it is shown that all effectivity assumptions made in the general results are satisfied in the quasi-metric case.