Skip to main content Accessibility help

The sequential topology on is not regular



The compact-open topology on the set of continuous functionals from the Baire space to the natural numbers is well known to be zero-dimensional. We prove that the closely related sequential topology on this set is not even regular. The sequential topology arises naturally as the topology carried by the exponential formed in various cartesian closed categories of topological spaces. Moreover, we give an example of an effectively open subset of that violates regularity. The topological properties of are known to be closely related to an open problem in Computable Analysis. We also show that the sequential topology on the space of continuous real-valued functions on a Polish space need not be regular.



Hide All
Asperti, A. and Longo, G. (1991) Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist, MIT Press.
Bauer, A., Escardó, M. and Simpson, A. (2002) Comparing Functional Paradigms for Exact Real-number Computation. In: Proc. ICALP '02. Springer-Verlag Lecture Notes in Computer Science 2380 488500.
Engelking, R. (1989) General Topology, Heldermann.
Escardó, M., Lawson, J. and Simpson, A. (2004) Comparing Cartesian Closed Categories of (Core) Compactly Generated Spaces. Topology and its Applications 143 105145.
Hyland, J. M. E. (1979) Filter Spaces and Continuous Functionals. Annals of Mathematical Logic 16 101143.
Kisyński, J. (1960) Convergence du Type L. Colloquium Mathematicum 7 205211.
Kleene, S. E. (1959) Countable Functionals. In: Constructivity in Mathematics, North-Holland 81100.
Kreisel, G. (1959) Interpretation of Analysis by means of Functionals of Finite Type. In: Constructivity in Mathematics, North-Holland 101128.
Michael, E. (1973) On k-spaces, kR-spaces and k(X). Pacific Journal of Mathematics 47 (2)487498.
Normann, D. (1980) Recursion on the Countable Functionals. Springer-Verlag Lecture Notes in Mathematics 811.
Normann, D. (2005) Comparing Hierarchies of Total Functionals. Logical Methods in Computer Science 1 (2:4)128.
Schröder, M. (2002) Extended Admissibility. Theoretical Computer Science 284 519538.
Schröder, M. (2003) Admissible Representations for Continuous Computations, Ph.D. Thesis, Fernuniversität Hagen.
Simpson, A. (2003) Towards a Convenient Category of Topological Domains. In: Proceedings of thirteenth ALGI Workshop, RIMS, Kyoto University.
Weihrauch, K. (2000) Computable Analysis, Springer-Verlag.
Willard, S. (1970) General Topology, Addison-Wesley.

Related content

Powered by UNSILO

The sequential topology on is not regular



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.