Definition of a homeomorphism between topological spaces

In summary: S1 is the unit circle in the complex plane)"The definition of a homeomorphism between topological spaces X, Y, is that there exists a function Y=f(X) that is continuous and whose inverse X=f-1(Y) is also continuous. In summary, the function f is a bijection, but the inverse is not. There is a need to mention the inverse is also continuous because if it wasn't, then f would map open sets to open sets, but this doesn't happen because f is not invertible.
  • #1
RedX
970
3
The definition of a homeomorphism between topological spaces X, Y, is that there exists a function Y=f(X) that is continuous and whose inverse X=f-1(Y) is also continuous.

Can I assume that the function f is a bijection, since inverses only exist for bijections?

Also, I thought that if a function f is continuous, then its inverse is automatically continuous? So why is there a need to mention that the inverse is also continuous in the definition I have above?

Also, a manifold is defined to be a topological space that is locally homeomorphic to R^n. So take the interval [a,b] on R. Would this be a manifold? [a,b] is compact so is not homeomorphic to R, but locally it can be done with an open covering of [a,b]. If there exists just one open covering where each of the open sets is homeomorphic to R^n, then is that sufficient to say the space is a manifold?
 
Physics news on Phys.org
  • #2


RedX said:
The definition of a homeomorphism between topological spaces X, Y, is that there exists a function Y=f(X) that is continuous and whose inverse X=f-1(Y) is also continuous.

Can I assume that the function f is a bijection, since inverses only exist for bijections?
If there exists a function whose inverse is continuous, then the function must be invertible. :wink:

Also, I thought that if a function f is continuous, then its inverse is automatically continuous?
Nope. If the inverse was continuous, then f would map open sets to open sets. Can you think of functions without that property?

Also, both f and f-1 would have to map connected sets to connected sets.



Also, a manifold is defined to be a topological space that is locally homeomorphic to R^n. So take the interval [a,b] on R. Would this be a manifold? [a,b] is compact so is not homeomorphic to R, but locally it can be done with an open covering of [a,b].
Try it. :wink: Obviously, the probems would be at a and b -- what open subset of [a,b] containing a is homeomorphic to R?
 
  • #3


Hurkyl said:
Nope. If the inverse was continuous, then f would map open sets to open sets. Can you think of functions without that property?

I can't think of one. The book mentions f(x)=x^2 on (-a,a) maps to [0,a^2) which is not open. However, the problem with this is that f(x)=x^2 is not a bijection, so it doesn't make sense to even speak about an inverse.

Can you have a continuous bijection whose inverse is not continuous?
 
  • #4


RedX said:
Can you have a continuous bijection whose inverse is not continuous?

Sure. The function

[tex] \phi : [0,1) \rightarrow S^{1}[/tex]

defined by

[tex] \phi(x) = e^{2\pi i x} [/tex]

is a continuous bijection, but its inverse is not continuous. (S1 is the unit circle in the complex plane)
 
Last edited:
  • #5


"Also, a manifold is defined to be a topological space that is locally homeomorphic to R^n. So take the interval [a,b] on R. Would this be a manifold? [a,b] is compact so is not homeomorphic to R, but locally it can be done with an open covering of [a,b]. "

Try finding neighborhoods ( I assume you are using the subspace topology)
of either a or b that are homeomorphic to R.
 
  • #6


[a,b] is not homeomorphic to R.
 
  • #7


A homeomorphism is a continuous bijection which has a continuous inverse. If a function has an inverse then it is a bijection and vice versa. Recall the definitions of the two terms. A bijection is a map that is both surjective and injective. An inverse [itex]f^{-1}[/itex] of a function [itex]f:X\rightarrow Y[/itex] is another function [itex]f^{-1}:Y\rightarrow X[/itex] such that [itex]f\circ f^{-1}[/itex] is the identity map on Y and [itex]f^{-1}\circ f[/itex] is the identity on X. You then have to prove that a function is a biection if and only if it has an inverse.

Just because a bijection is continuous it does not mean its inverse is continuous. Consider the function [itex]f:[0,1]\cup (2,3]\rightarrow [0,2][/itex] defined by

f(x) = x for x in [0,1], and
f(x) = x-1 for x in (2,3]

Then f is a continuous bijection, but its inverse is not continuous (check these statements).
 
Last edited:
  • #8


qspeechc said:
f(x) = x for x in [0,1], and
f(x) = x-1 for x in (2,3]


That's a good one. So the point {1} is actually an open set on the domain: [0,1][itex]
\cup (2,3] [/itex]. So if you take an open set on this domain to be say {1}[tex]\cup(2,2.5) [/tex] then it maps to [1,1.5) which is not open on the codomain [0,2]. So I guess this is an example of where Hurkyl said that f has to map connected sets to connected sets.

dx said:
[tex]
\phi : [0,1) \rightarrow S^{1}
[/tex]
defined by
[tex]
\phi(x) = e^{2\pi i x}
[/tex]

This is an example where the mapping is from a connected set to connected. You have a definite boundary point x=0 in the domain that will correspond to a definite point on S^1, so f([0,a))=not open, unless a=1.
 
  • #9


Lavinia wrote:
"[a,b] is not homeomorphic to R. "

True, but I think the OP was talking about manifolds, and [a,b] is an example
of a non-manifold, since neither a nor b have neighborhoods homeomorphic to R.
 
  • #10


RedX said:
I can't think of one. The book mentions f(x)=x^2 on (-a,a) maps to [0,a^2) which is not open. However, the problem with this is that f(x)=x^2 is not a bijection, so it doesn't make sense to even speak about an inverse.

Can you have a continuous bijection whose inverse is not continuous?

Surjectivity is never a problem; we could have just assumed that the map was only to the image of the map i.e. [0,a^2) with the subspace topology.

For me, I always think of homeomorphisms as maps between things which have the same shape. All a bijection is is a map between sets which associates each point to a new distinict point. So a bijective continuous map which is not a homeomorphism maps every point of some object into another one, but alters its shape somehow.

So these will usually be mappings which take the boundary points of the old object to the interior of the new one, such as wrapping something up, or twisting a line into a circle for example.
 
  • #11


The trivial function (R->{0}) maps (non-empty) open sets to closed sets, but the preimage of every open set is open, namely the empty set.
 

1. What is a homeomorphism between topological spaces?

A homeomorphism between topological spaces is a bijective (one-to-one and onto) mapping between two topological spaces that preserves the topological structure. This means that the open sets in one space are mapped to open sets in the other space, and vice versa.

2. How is a homeomorphism different from an isomorphism?

A homeomorphism is a type of isomorphism that specifically deals with topological spaces. While both are bijective mappings, an isomorphism also preserves additional structures such as algebraic operations, while a homeomorphism only preserves the topological structure.

3. Can a homeomorphism exist between two spaces with different dimensions?

No, a homeomorphism can only exist between spaces with the same dimension. This is because the open sets in one space must be mapped to open sets in the other space, and the dimension of the space determines the number of open sets.

4. How is the concept of continuous functions related to homeomorphisms?

Continuous functions are a key component of homeomorphisms. A homeomorphism is a bijective mapping between two topological spaces where both the function and its inverse are continuous. This ensures that the topological structure is preserved.

5. Are all homeomorphisms also diffeomorphisms?

No, not all homeomorphisms are diffeomorphisms. While both are bijective mappings, a diffeomorphism is a type of homeomorphism that also preserves differentiable structures. This means that the function and its inverse are both differentiable.

Similar threads

  • Differential Geometry
Replies
20
Views
3K
  • Topology and Analysis
2
Replies
61
Views
942
  • Topology and Analysis
2
Replies
43
Views
825
  • Differential Geometry
Replies
7
Views
3K
Replies
4
Views
2K
  • Topology and Analysis
Replies
8
Views
394
  • Differential Geometry
Replies
20
Views
2K
  • Differential Geometry
Replies
7
Views
4K
  • Differential Geometry
2
Replies
69
Views
9K
Replies
6
Views
2K
Back
Top