0708-1300/not homeomorphic

From Drorbn
Revision as of 12:27, 18 November 2007 by Franklin (talk | contribs)
Jump to navigationJump to search

Please, read the following carefully. It can contain some mistake.

Assume is a homeomorphism. Since is proper we can extend it to a continuous map which in fact will be a homeomorphism. Taking inverse if necessary we may assume . Let be a homotopy of to a smooth map i.e. is continuous, and is smooth. Since is smooth and all of its image points are singular values and by Sard's theorem constitute a set of measure zero. Then there is a point in not in the image of , but the complement of that point is contractible. This means that we can extend to to be a homotopy of to a constant map. But then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^{-1}F_0 } is a contraction of which is a contradiction with the fact that no such contraction exists.