Are Quotients by Homeomorphic Subspaces Homeomorphic?

  • Thread starter WWGD
  • Start date
  • Tags
    Subspaces
In summary: It's just that I don't think thatguessing or speculation is what qualifies someone as an "expert". What makes you thinkthat?In summary, the author is not sure if the quotient spaces X/A and X/B are homeomorphic.
  • #1
WWGD
Science Advisor
Gold Member
6,910
10,288
Hi, All:

Let X be any topological space, and let A,B be subspaces of X that are homeomorphic
to each other. Does it follow that the quotients X/A and X/B are homeomorphic?

I know this is true if A,B are both contractible in X , since we then have X/A ~X ~X/B
But I'm not sure otherwise. Any ideas?

Thanks in Advance.
 
Physics news on Phys.org
  • #2
so try a case that is not contractible, like two circles on a torus, one contractible and one going around a handle. or just take two circles in a closed disc, one the border of the disc and another one anywhere else, like concentric with that border, but with half the radius.

I don't even believe the contractible case. take a closed disc and attach an interval with one end point of the interval attached at 12 o'clock on the disc and the other at 6 o'clock. then contract the whole disc to get a circle, something one dimensional, or contract a homeomorphic smaller disc to get something homeomorphic to the original space, hence two dimensional.

even simpler, just contract a disc to a point, i.e. X = A = the disc, or contract a smaller homeomorphic concentric disc and get a disc.why do you believe the contractible case? are you reading this somewhere? if so, do you know the difference between homeomorphism and homotopy? and are you missing some hypotheses maybe? just asking.
 
Last edited:
  • #3
If there is a homeomorphism that carries A homeomorphically onto B it seems plausible that it would work.
 
  • #4
do you think that is what he meant? since that case is not just plausibly but patently true, the question would hardly arise.
 
  • #5
mathwonk said:
so try a case that is not contractible, like two circles on a torus, one contractible and one going around a handle. or just take two circles in a closed disc, one the border of the disc and another one anywhere else, like concentric with that border, but with half the radius.

I don't even believe the contractible case. take a closed disc and attach an interval with one end point of the interval attached at 12 o'clock on the disc and the other at 6 o'clock. then contract the whole disc to get a circle, something one dimensional, or contract a homeomorphic smaller disc to get something homeomorphic to the original space, hence two dimensional.

even simpler, just contract a disc to a point, i.e. X = A = the disc, or contract a smaller homeomorphic concentric disc and get a disc.


why do you believe the contractible case? are you reading this somewhere? if so, do you know the difference between homeomorphism and homotopy? and are you missing some hypotheses maybe? just asking.

I remember reading the result from Hatcher's AT, but I could not find it just now.
You're right, it may be that if A homeo. to B, then X/A homotopically-equivalent to X/B ,
tho maybe not, given the examples of the torus that you described, i.e., two disks, one
homologically-trivial (i.e., contractible in the torus) , and the other one not trivial.I will
continue looking.

I don't know if lavinia's condition, which comes down to isotopy is strong-enough.
I wonder too, if the result would be true for homologically-trivial spaces.
 
  • #6
What you want for that to be true is a homeomorphism that restricts to a homeomorphism on the subspaces. An arbitrary homeomorphism from A to B might not extend to a homeomorphism of the bigger spaces.
 
  • #7
Right, that is the condition of isotopy we were talking about. I think if the space is
homologically trivial , or unknotted in a given dimension ( I don't know if this is the
correct terminology; I mean if any two embeddings of a subspace into the space
are isotopic ), the result may be true. There is a version of knottedness from the
perspective of extending homeomorphisms, e.g., S^1 is unknotted in R^2 , since any
homeomorphism h: (S^1 <R^2 )-->(S^1 -->R^2) extends into a homeomorphism of
R^2 to itself, but this does not generalize into S^2 in R^3 , by, e.g., the Alexander
Knotted Sphere.
 
  • #8
i recommend you try to prove as an exercise that lavinia's condition is sufficient. that should be a simple test of whether you understand the concepts. until you can do that, I suspect you are wasting your time memorizing statements and vocabulary.
 
  • #9
I seriously don't see what makes you think I'm just "memorizing terms and vocabulary", specially when only one post ( one of yours ) offered more than
a guess. Why aren't you claiming that the others who just speculated were also
just memorizing? I don't expect everyone to know every answer; I sure don't, but
how are comments speculating on the answer somehow "more grown up" than mine?
Again, nothing wrong in speculating, but somehow I'm just throwing big terms around?

An isotopy between subspaces A,B of X is an automorphism of X that takes A to B.
Knotedness is equivalent to the problem of extending maps from subspaces into the whole space; is it not? What do I not understand here? Please convince me how the terms I'm using are out-of-context or are being misused.
 
  • #10
you seem to know the definitions but not how to make the simplest use of any of them. that is indicative of memorizing withoutn working out examples and exercises. i used to memorize like that a lot myself, and it got me in trouble. that's how i recognize it and advise against relying on it. try my exercises and outline in your other post on the mapping torus. i hope they help.
 
  • #11
Just curious as to a more pointset-theoretical approach to showing if there is
a homeo. from X to X taking A to B, then X/A ~ X/B (or, equiv. a deformation
or homotopy of X where the maps are isomorphisms and not just continuous ):

Would you consider then, re the above, a collection X/A_t of quotients ; where t in [0,1], A_0:=A and A_1=B to do the job? I mean, we start with X/A :=X/A_0
and then continue by a path of homeomorphisms A_t in (0,1), until reaching
A_1=X/B. Then X/B is a composition of the collection of homeomorphisms indexed
by t , and so X/A homeo X/B ?
 
  • #12
You got a homeo F:X-->X that take A to B.

Under what conditions does a continuous map f:X-->X descends to a continuous map X/A --> X/B ? Well, certainly we need that f(A) lands in B otherwise the map X/A --> X/B is ill-defined. But actually that is all we need because continuity is taken care of automatically by definition of the quotient topology.

Therefor, from this simple observation, our homeo F descends to a homeo X/A --> X/B.

Similarly, if F_t is a path of homeo taking A to A_t, then at every stage, F_t descends to a homeo X/A --> X/A_t.
 
  • Like
Likes WWGD

1. What is a quotient space?

A quotient space is a mathematical construct that is formed by partitioning a larger space into smaller, disjoint subsets. These subsets are known as cosets and the resulting quotient space is the set of all cosets.

2. What is a homeomorphic subspace?

A homeomorphic subspace is a subset of a larger space that has the same topological structure as the larger space. This means that it can be mapped onto the larger space in a continuous and bijective manner.

3. What does it mean for two spaces to be homeomorphic?

Two spaces are considered homeomorphic if there exists a continuous and bijective function between them. This means that the two spaces have the same topological structure and can be mapped onto each other without any distortions or breaks.

4. How do you determine if quotients by homeomorphic subspaces are homeomorphic?

To determine if quotients by homeomorphic subspaces are homeomorphic, you need to show that there exists a continuous and bijective function between the two quotient spaces. This can be done by constructing a mapping between the cosets of the two subspaces and showing that the mapping is both continuous and bijective.

5. What are some real-world applications of quotients by homeomorphic subspaces?

Quotients by homeomorphic subspaces have many applications in fields such as topology, geometry, and physics. One common application is in the study of symmetry, where quotient spaces are used to describe the set of all symmetries of a given object or system. They are also used in the study of manifolds and their properties, as well as in the analysis of dynamical systems and their behavior.

Similar threads

  • Topology and Analysis
2
Replies
43
Views
764
  • Topology and Analysis
2
Replies
61
Views
884
  • Topology and Analysis
Replies
8
Views
375
Replies
6
Views
2K
Replies
15
Views
1K
Replies
14
Views
1K
  • Topology and Analysis
Replies
17
Views
2K
  • Topology and Analysis
Replies
16
Views
453
Replies
45
Views
5K
Replies
13
Views
2K
Back
Top