Mathematics > Logic
[Submitted on 2 Sep 2021 (v1), last revised 12 Nov 2021 (this version, v2)]
Title:Bi-topological spaces and the Continuity Problem
View PDFAbstract:The \emph{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 \cite{sp} 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, \tau, \sigma)$ and $\TTT' = (T', \tau', \sigma')$ is (effectively) continuous, if $\tau'$ is (effectively) regular with respect to $\sigma'$. 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 $\tau'$, but also with respect to $\sigma'$. 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.
Submission history
From: Dieter Spreen [view email][v1] Thu, 2 Sep 2021 13:15:28 UTC (63 KB)
[v2] Fri, 12 Nov 2021 10:06:01 UTC (63 KB)
Current browse context:
math.LO
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.