Example:A bijective and continuous map that is not a homeomorphism

From Maths
Jump to: navigation, search
Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Maybe add others? Tidy the page up a bit!

Example

Let [ilmath]X:\eq[0,1)\subset\mathbb{R} [/ilmath] with the subspace topology and consider: [ilmath]f:\mathbb{R}\rightarrow\underbrace{\mathbb{S}^1}_{\subseteq\mathbb{C} } [/ilmath] by [ilmath]f:r\mapsto e^{2\pi j x} [/ilmath], then:

  • [ilmath]f[/ilmath] is clearly continuous
  • [ilmath]f[/ilmath] is also easily seen to be bijective

But [ilmath]f[/ilmath] is not a homeomorphism[1], that is specifically: [ilmath]f^{-1}:\mathbb{S}^1\rightarrow [0,1)[/ilmath] is not continuous.

Clearly this is equivalent to [ilmath]f[/ilmath] (not) being an open map as [ilmath](f^{-1})^{-1}(U)\eq f(U)[/ilmath], which we require to be open for all [ilmath]U[/ilmath] open in [ilmath][0,1)[/ilmath]

Proof

Grade: A
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
Would be good to do Alec (talk) 23:04, 22 February 2017 (UTC)

References

  1. Introduction to Topological Manifolds - John M. Lee

Template:Example Of