Type I Manifolds and the Bagpipe Theorem

  • David GauldEmail author


In 1984 Nyikos introduced a special class of manifolds which he called Type I. These are manifolds which might just fail to be metrisable in the sense that they are a union of \(\aleph _1\) many open Lindelöf subspaces rather than \(\aleph _0\) many (hence, in fact, a single one). He also presented a condition, called \({\omega }\)-boundedness, which is equivalent to compactness in a metric space but not in a general topological space. A manifold is \({\omega }\)-bounded if and only if it is of Type I and is countably compact. Nyikos then went on to prove his amazing Bagpipe Theorem which describes the structure of \({\omega }\)-bounded surfaces. We present a proof of Nyikos’s Bagpipe Theorem. We also show that there are \(2^{\aleph _1}\) many \({\omega }\)-bounded, connected surfaces: contrast this with the compact, connected surfaces of which there are only \(\aleph _0\) many.


Compact Manifold Boundary Component Topological Type Open Unit Disc Connected Surface 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Cheeger, J., Kister, J.M.: Counting topological manifolds. Topology 9, 149–151 (1970)CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Gallier, J., Xu, D.: A Guide to the Classification Theorem for Compact Surfaces. Springer, Berlin (2013)CrossRefzbMATHGoogle Scholar
  3. 3.
    Greenberg, M.J., Harper, J.R.: Algebraic Topology: A First Course. Benjamin/Cummings Pub. Co., Reading Mass (1981), ISBN: 0-805335-58-7Google Scholar
  4. 4.
    Massey, W.S.: Singular Homology Theory. Springer-Verlag, New York, Heidelberg, Berlin (1980)Google Scholar
  5. 5.
    Nyikos, P.: The theory of nonmetrizable manifolds. In: Kunen, K., Vaughan, J.E. (eds.) Handbook of Set-Theoretic Topology, pp. 634–684. Holland, Amsterdam (1984)Google Scholar

Copyright information

© Springer Science+Business Media Singapore 2014

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of AucklandAucklandNew Zealand

Personalised recommendations