Understanding Open Sets and Homeomorphisms on the Unit Circle

Click For Summary
SUMMARY

The discussion centers on the conditions under which a continuous, open, and bijective function qualifies as a homeomorphism, specifically examining the function f(x) = (sin x, cos x) from the interval [0, 2π) to the unit circle S. It is established that while f is a continuous bijection, it does not map open sets in [0, 2π) to open sets in S due to the nature of the topology involved. The confusion arises from the distinction between open intervals in the real line and their intersections with the interval I = [0, 2π), which leads to half-open intervals in S.

PREREQUISITES
  • Understanding of continuous functions in topology
  • Knowledge of bijective mappings
  • Familiarity with the concept of homeomorphisms
  • Basic understanding of topological spaces and induced topologies
NEXT STEPS
  • Study the properties of homeomorphisms in topology
  • Learn about induced topologies and their implications on open sets
  • Explore examples of continuous functions that are not homeomorphisms
  • Investigate the topology of the unit circle and its relationship with R²
USEFUL FOR

Mathematicians, students of topology, and anyone interested in understanding the nuances of continuous functions and homeomorphisms within the context of real analysis and topology.

gmn
Messages
4
Reaction score
0
The question I had was to show that if a function is continuous, open and bijective then it is a homeomorphism. At first I said "no" because I thought of the example showing that [0,2pi) is not homeomorphic to the unit circle S. I knew that f(x)=(sinx,cosx) is a continuous bijection whose inverse fails to be continuous. I don't need help answering this question (I know that it is a homeomorphism) but I am confused because I keep reading that f fails to take open sets in [0,2pi) to open sets in the circle and intuitively (the reason I first thought the answer was no) I thought that f would take open sets to open sets. Specifically I read that f takes some open intervals in [0,2pi) to half-open intervals in S, and I couldn't figure out what half-open intervals in S means or what they would be. I also read that [a,b) is an open interval in R, which makes me confused because I would think that [a,b) is niether closed nor open in R. I thought I understood open sets but I don't think I do that well now.

I guess a concrete version of my question is how does f(x)=(sinx,cosx) fail to take open sets in [0,2pi) to open sets in S, specifically what are they? Is it because the circle is really in R2 ?
 
Physics news on Phys.org
You need to restrict the topology of the real line to the interval I=[0,2*pi). So the 'open sets' in I are intersections of open sets in the reals with I. E.g., (-pi,pi) intersect I is open in I. That means [0,pi) is an open set in the induced topology. 'I' is the whole space.
 

Similar threads

Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
Replies
4
Views
6K
Replies
1
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 17 ·
Replies
17
Views
9K
  • · Replies 1 ·
Replies
1
Views
7K
  • · Replies 2 ·
Replies
2
Views
9K