Is a Circle Homeomorphic to a Subset of R^n?

  • Thread starter joao_pimentel
  • Start date
  • Tags
    Circle
In summary, the author is trying to show that S^{^{1}} is not homeomorphic to any subset of \mathbb{R}. They are trying to use path connectedness and removal of points to show this.
  • #1
joao_pimentel
68
0
Hi,
how can I prove that a circle it is not homeomorphic to a subset of [tex]R^n[/tex]

I can somehow, see that there isn't any homeomorphic application, for example between a circle in [tex]R^2[/tex] to a line, but how can I prove it?

Thank you
 
Physics news on Phys.org
  • #2
what have you tried?
 
  • #3
Let a C be a circle, radius r

[tex]C=\left\{ x \in R^2 : |x|=r \right\}[/tex]

Let A be a subset of R between a and b, i.e. [tex]A=[a,b)[/tex]

A bijective map could be [tex]f:A\rightarrow C[/tex]

[tex]f(t)=\left(r \sin\left(\frac{2\pi(t-a)}{b-a}\right), r \cos\left(\frac{2\pi(t-a)}{b-a}\right)\right) \ t \in [a,b)[/tex]

i can't go longer :(
 
  • #4
Are you trying to show [itex]S^{^{1}}[/itex] is not homeomorphic to any subset of [itex]\mathbb{R}[/itex]? If so, then think about path connectedness.
 
  • #5
WannabeNewton said:
Are you trying to show [itex]S^{^{1}}[/itex] is not homeomorphic to any subset of [itex]\mathbb{R}[/itex]?

Yes, that's it!

Can you be more precise please in your answer?

Thank you
 
  • #6
joao_pimentel said:
Yes, that's it!

Can you be more precise please in your answer?

Thank you

We have to see some attempt of you first. We don't just give away the answers like that.

Think about path connectedness and what happens if you remove a point.
 
  • #7
joao_pimentel said:
Yes, that's it!

Can you be more precise please in your answer?

Thank you
Before we move any further, let's make sure you know what path connectedness is. Have you dealt with this property of topological spaces before? If you do then Micromass gave you the crucial idea so think about what he said.
 
  • #8
WannabeNewton said:
Before we move any further, let's make sure you know what path connectedness is. Have you dealt with this property of topological spaces before?

To be honest I am not that aware what path connectedness is!

My knowledge on topoligical spaces, is not very deep!

Though, I've been reading, do you mean this
http://en.wikipedia.org/wiki/Connected_space#Path_connectedness
 
  • #9
Ok, using what I found in wikipedia, a continuous function f from [0,1] to the circle radius 1 could be

[tex]f(t)=\left(\sin\left(2\pi t\right), \cos\left(2\pi t\right)\right) \ t \in [0,1][/tex]

so, I know what you mean (intuitevely) that a circle is always connected, and a line is not, but I don't know how to express it mathematically

Can you kindly help me?

Thank you
 
  • #10
Yes that is what I meant by a path connected topological space. Firstly, note that since [itex]S^{1}[/itex] is both connected and compact, if it were to be homeomorphic to a subset of [itex]\mathbb{R}[/itex], it would have to be a closed interval so we can just focus our attention on that. Can you see intuitively what happens differently, in terms of path connectedness, between [itex][a,b]\subset \mathbb{R}[/itex] and [itex]S^{1}[/itex] if I removed a point from each?
 
  • #11
Here's another approach. suppose that the circle is on a plane. Naturally we will get a definition of clockwise and anti-clockwise. Then imagine that there is a homeomorphism between the circle and a line. So now take a point on the circle and continuously move clockwise until you return to the same point. The image of this path should start and end at the same point. This corresponding path will have to intersect itself otherwise it would never have returned to the same point. So take one such point of intersection. This would imply that such a point has two corresponding points on the circle. Therefore the homeomorphism does not exist since its co-image at some point on the line contaims more than one point.
 
  • #12
poverlord said:
Here's another approach. suppose that the circle is on a plane. Naturally we will get a definition of clockwise and anti-clockwise. Then imagine that there is a homeomorphism between the circle and a line. So now take a point on the circle and continuously move clockwise until you return to the same point. The image of this path should start and end at the same point. This corresponding path will have to intersect itself otherwise it would never have returned to the same point. So take one such point of intersection. This would imply that such a point has two corresponding points on the circle. Therefore the homeomorphism does not exist since its co-image at some point on the line contaims more than one point.

Not really very rigorous, unless you're going to talk about fundamental groups.
 
  • #13
WannabeNewton said:
Yes that is what I meant by a path connected topological space. Firstly, note that since [itex]S^{1}[/itex] is both connected and compact, if it were to be homeomorphic to a subset of [itex]\mathbb{R}[/itex], it would have to be a closed interval so we can just focus our attention on that. Can you see intuitively what happens differently, in terms of path connectedness, between [itex][a,b]\subset \mathbb{R}[/itex] and [itex]S^{1}[/itex] if I removed a point from each?

Hi, sorry my delay, I've been thinking.
If I remove a point from each, we wouldn't have a connected path, I suppose nor it would be a closed interval...

@poverlod
Thank you very much :) I think I saw it, but still don't get it :) Can't I miss the last point, i.e. can't I make a map without the last point?

[itex]f:A \rightarrow B[/itex]

[itex]f(t)=(\sin(2\pi t),\cos(2\pi t)) \ t\in [0,1)[/itex]

why this map is not hemeomorphic if I remove the last point?

Sorry and thank you very much for attention
 
  • #14
joao_pimentel said:
Hi, sorry my delay, I've been thinking.
If I remove a point from each, we wouldn't have a connected path, I suppose nor it would be a closed interval...
Given [itex][a,b]\subset \mathbb{R}[/itex], take some [itex]c\in (a,b)[/itex] and consider [itex][a,b] \setminus \left \{ c \right \}[/itex]. Will it always be possible to find a path between any two points in [itex][a,b] \setminus \left \{ c \right \}[/itex]? On the other hand, take some [itex]p\in S^{1}[/itex] and try to convince yourself intuitively (and explain to me your reasoning of course) that it will be possible for [itex]S^{1}\setminus \left \{ p \right \}[/itex].
 
  • #15
WannabeNewton said:
Given [itex][a,b]\subset \mathbb{R}[/itex], take some [itex]c\in (a,b)[/itex] and consider [itex][a,b] \setminus \left \{ c \right \}[/itex]. Will it always be possible to find a path between any two points in [itex][a,b] \setminus \left \{ c \right \}[/itex]? On the other hand, take some [itex]p\in S^{1}[/itex] and try to convince yourself intuitively (and explain to me your reasoning of course) that it will be possible for [itex]S^{1}\setminus \left \{ p \right \}[/itex].

ok, I see that it will not be possible to find a path between any two points in [itex][a,b] \setminus \left \{ c \right \}[/itex] because there will be a 'hole' in the line

I see also that it will be possible for [itex]S^{1}\setminus \left \{ p \right \}[/itex] because it will be possible 'to find a path around', i.e., there will always exists a path between any two points...

though, I must confess, I can't see the relation with homeomorphism, a continuous map, whose inverse is also continuous.

Thank you so much
 
  • #16
Yes you've got the intuition. The point is to assume there exists a homeomorphism between the unit circle and a closed subset of R and to use the aforementioned difference between the unit circle and a closed subset of R to find a contradiction.
 
  • #17
ok, so we assume that there is a homeomorphism between the unit circle and a closed subset of R, and then as we remove a point, we have a connected path in the circle and we don't have it in the subset of R.
But what is the relation between path connectedness and homeomorphism?
AHH, ok, the map must be continous! Is that?
Please just confirm it!

Thank you

João
 
  • #18
ok [itex]S^1[/itex] is compact, i.e., closed and limited and the line would have to be if there were a homeomorphism between both.

On the other hand, if I remove a point, I wouldn't have a compact set, on both, but one is still conncted and the other is not.

And I suppose, that if one is path connected, and there is a homeomorphis to another set, the other set must be path connected...

and then we have a contradiction...
 
  • #19
Assume there is a homeomorphism h between S^1 and E , where E is a subset

of the real line. Since connectedness is a topological property--i.e., connectedness

is preserved by homeomorphisms ( continuous maps will do)-- h(S^1) is a connected

subset of the real line. Then h(S^1) is an interval ; by compactness of S^1 (which must be preserved by h), h(S^1) is also compact in the real line, it then follows by

Heine-Borel, h(S^1) is closed and bounded in the real line , so h(S^1)=[a,b].

Now, if h is a homeomorphism, the restriction of h to any subset of

S^1 is a homeomorphism (into its image). Consider x in S^1 with h(x) not an endpoint , i.e.,

h(x)≠ a,b; say h(x)=c . Now consider the restriction of h to S^1 -{x}. This is

a homeomorphism from the connected space S^1-{x} to the disconnected space

[a,b]-{c} . This is not possible , so no such h can exist.

Moral of the story/ general point: disconnection number is a homeomorphism invariant.
 
  • #20
Thank you so very much :)
 
  • #21
It might be fun to try to prove this by approximating a homeomorphism of the circle in R^n by a sequence of smooth maps to see how far off from a diffeomorphism the homeomorphism can get. the image of a smooth approximation must have measure zero so it can not produce a homeomorphism between the circle and euclidean space.
 

What does it mean for a circle to not be homeomorphic?

Homeomorphism is a mathematical concept that describes a continuous transformation between two spaces. When two spaces are homeomorphic, they are essentially the same in terms of their topological properties. Therefore, if a circle is not homeomorphic, it means that there is no continuous transformation that can turn it into another space without breaking any of its topological properties.

What are the topological properties of a circle?

The topological properties of a circle include being a closed and bounded curve, having no endpoints, being connected, and being simply connected. These properties are what distinguish a circle from other shapes and make it unique.

How do you prove that a circle is not homeomorphic to another space?

In order to prove that a circle is not homeomorphic to another space, you can use the concept of topological invariants. These are properties that remain unchanged under continuous transformations. By showing that the topological invariants of a circle are different from those of another space, you can prove that they are not homeomorphic.

Why is it important to understand that a circle is not homeomorphic?

Understanding the concept of homeomorphism and why a circle is not homeomorphic to another space is important in mathematics and other fields such as physics and engineering. It helps us to better understand the properties and behavior of different shapes and spaces, and can also be applied in solving real-world problems.

Can a circle ever be homeomorphic to another space?

No, a circle can never be homeomorphic to another space. This is because the topological properties of a circle, such as being closed and bounded, are unique to it and cannot be replicated in any other space. Therefore, there is no continuous transformation that can turn a circle into another space without breaking its topological properties.

Similar threads

  • Topology and Analysis
2
Replies
61
Views
943
  • Topology and Analysis
Replies
12
Views
320
Replies
14
Views
1K
  • Topology and Analysis
Replies
8
Views
395
Replies
6
Views
2K
  • Topology and Analysis
Replies
10
Views
5K
  • Topology and Analysis
2
Replies
54
Views
5K
  • Topology and Analysis
Replies
16
Views
469
Replies
29
Views
5K
Replies
13
Views
2K
Back
Top