Prüfer manifold

In mathematics, the Prüfer manifold or Prüfer surface is a 2-dimensional Hausdorff real analytic manifold that is not paracompact. It was introduced by Radó (1925) and named after Heinz Prüfer.

Construction

The Prüfer manifold can be constructed as follows (Spivak 1979, appendix A). Take an uncountable number of copies X_a of the plane, one for each real number a, and take a copy H of the upper half plane (of pairs (x, y) with y > 0). Then glue each plane X_a to the upper half plane H by identifying (x,y)∈X_a for y > 0 with the point (a + yx, y) in H. The resulting quotient space is the Prüfer manifold. The images of the points (0,0) in the spaces X_a form an uncountable discrete subset.

See also

• Long line (topology)

References

• Radó, T. (1925), "Über den Begriff der Riemannschen Flächen", Acta Litt. Sci. Szeged 2: 101–121 
• Solomentsev, E.D. (2001), "Prüfer surface", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 
• Spivak, Michael (1979), A comprehensive introduction to differential geometry. Vol. I (2nd ed.), Houston, TX: Publish or Perish, ISBN 978-0-914098-83-6, MR 532830