Bi-topological spaces and the Continuity Problem

MaRDI QIDQ6376661arXivFDO

Authors Dieter Spreen

Publication date 2 September 2021

Published in arXiv

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Constructive and recursive analysis (03F60) Separability of topological spaces (54D65) Metric spaces, metrizability (54E35) Bitopologies (54E55)

arXiv classification

math.GNmath.LO

Abstract: 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,au,sigma)$ and $TT{T}^{\prime }=(T^{\prime },a{u}^{\prime },sigm{a}^{\prime })$ is (effectively) continuous, if $a{u}^{\prime }$ is (effectively) regular with respect to $sigm{a}^{\prime }$. A central requirement on $TT{T}^{\prime }$ is that bases of the neighbourhood filters of the points in $T^{\prime }$ can computably be enumerated in a uniform way, not only with respect to topology $a{u}^{\prime }$, but also with respect to $sigm{a}^{\prime }$. 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.

This page was built for publication: Bi-topological spaces and the Continuity Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6376661)