Paracompactness and metrizable manifolds

  • Thread starter Thread starter aleazk
  • Start date Start date
  • Tags Tags
    Manifolds
aleazk
Science Advisor
Insights Author
Messages
83
Reaction score
62
Hi, where I can find a proof of the theorem that establishes that a manifold is metrizable (with a riemannian metric) if and only if is paracompact?.
 
Last edited:
Physics news on Phys.org
Wow, I found a proof in Kobayashi and Nomizu, Vol I, and it seems pretty hard :frown:. I think that simply I will have to accept the result :cry:
 
Hi aleazk! :smile:

Try "topology" of Munkres, it gives an easy proof of the result (but the proof is still several pages long :smile: )
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top