Prüfer manifold

From testwiki
Jump to navigation Jump to search

Template:Short description In topology, the Prüfer manifold or Prüfer surface is a 2-dimensional Hausdorff real analytic manifold that is not paracompact. It was introduced by Tibor Radó in 1925 and named after Heinz Prüfer.[1]

Construction

The Prüfer manifold can be constructed as follows:Template:Sfnp take an uncountable number of copies (Xa)a∈ℝ of the plane, and take a copy H of the upper half-plane. Then glue the open upper half of each plane Xa to the upper half plane H by identifying (x,y)∈Xa for y>0 with the point (a+yx,y) in H. The resulting quotient space Q is the Prüfer manifold. The images in Q of the points (0,0) of the spaces Xa under identification form an uncountable discrete subset.

See also

References

Template:Reflist