Computing with Sequences, Weak Topologies and the Axiom of Choice

  • Vasco Brattka
  • Matthias Schröder
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3634)


We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines. We prove that under the Axiom of Choice non-separable normed spaces cannot even be admissibly represented with respect to any compatible topology (a compatible topology is one which makes all bounded linear functionals continuous). Surprisingly, it turns out that when one replaces the Axiom of Choice by the Axiom of Dependent Choice and the Baire Property, then some non-separable normed spaces can be represented admissibly on Turing machines with respect to the weak topology (which is just the weakest compatible topology). Thus the ability to adequately handle sequence spaces on Turing machines sensitively relies on the underlying axiomatic setting.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brattka, V.: Computability on non-separable Banach spaces and Landau’s theorem. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, Oxford (to appear)Google Scholar
  2. 2.
    Ko, K.I.: Complexity Theory of Real Functions. Progress in Theoretical Computer Science. Birkhäuser, Boston (1991)Google Scholar
  3. 3.
    Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin (1989)Google Scholar
  4. 4.
    Schäfer, H.H.: Topological Vector Spaces. Macmillan, New York (1966)MATHGoogle Scholar
  5. 5.
    Schechter, E.: Handbook of Analysis and Its Foundations. Academic Press, San Diego (1997)MATHGoogle Scholar
  6. 6.
    Schröder, M.: Extended admissibility. Theoretical Computer Science 284, 519–538 (2002)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Schröder, M.: Admissible Representations for Continuous Computations. PhD thesis, Fachbereich Informatik, FernUniversität Hagen (2002)Google Scholar
  8. 8.
    Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)MATHGoogle Scholar
  9. 9.
    Werner, D.: Funktionalanalysis, 4th edn. Springer, Berlin (2002)MATHGoogle Scholar
  10. 10.
    Willard, S.: General Topology. Addison-Wesley, Reading (1970)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Vasco Brattka
    • 1
  • Matthias Schröder
    • 2
  1. 1.Department of Mathematics & Applied MathematicsUniversity of Cape TownRondeboschSouth Africa
  2. 2.LFCS, School of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations