0708-1300/not homeomorphic

From Drorbn
Revision as of 13:26, 18 November 2007 by Franklin (talk | contribs)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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 (syntax error): {\displaystyle f^{-1}F_0} is a contraction of which is a contradiction with the fact that no such contraction exists.