• Support PF! Buy your school textbooks, materials and every day products Here!

Topology - quotient spaces

  • Thread starter gazzo
  • Start date
  • #1
175
0
Let X,Y be two spaces, A a closed subset of X, f:A--->Y a continuous map. We denote by [itex]X\cup_fY[/itex] the quotient space of the disjoint union [itex]X\oplus{Y}[/itex] by the equivalence relation ~ generated by [itex]a ~ f(a)[/itex] for all a in A. This space is called teh attachment of X with Y along A via f.

i) If A is a strong deformation retract of X, show that Y is a deformation retract of [itex]X\cup_fY[/itex].

ii) The map f is extendable to a continuous map F:X-->Y if and only if Y is a retract of [itex]X\cup_fY[/itex].

I'm really stuck on this question. If A is a strong deformation retract of X, then we have some homotopy [itex]H:X\times[0,1]\rightarrowX[/itex] where for all x in X, H(x,0) = x. H(x,1) is in A. and for all b in A and all t in [0,1], H(a,t) = a.

But what has that got to do with [itex]X\cup_fY[/itex]? :yuck:

Are the members of [itex]X\cup_fY[/itex] the equivalence classes where for a~b if one of: a = b, f(a)=f(b), a is in A and b=f(u) in Y.

So we want to come up with a map [itex]\varphi:X\cup_fY\rightarrow{Y}[/itex] where for all y in Y, [itex]\varphi(y) = y[/itex]. :confused:
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,395
3
Things in the attachment are things in X or Y but where we identify an element in A with its image. Example: X=Y= a disc A is the boundary of X and f is an isomorphism onto the boudary of Y. The attachment is then two discs identified along their boundary, ie a sphere.

now imagine X is a punctured disc, so it is strongly homotopic to its boundary, S^1. Then it is clear that the join along the boundary is now a punctured sphere, and that this is homotopy equivalent to the disc Y, and that this homotopy can just be taken by extending the strong homotopy of X to its boundary by making it the identity on Y.
 
Last edited:
  • #3
175
0
hmm thanks a lot Matt I think I've got it.
 
  • #4
matt grime
Science Advisor
Homework Helper
9,395
3
topology is/was for me very frustrating. the results in it are easily seen to be true but it is always hard to write down the proofs because they are so fiddly. take for instance the proof that the fundamental group is indeed a group (associativity of loops) and independent of base point (in a path connected space). try to think of an easy example. at least you will be able to desribe that so that your teachers understand you understand what is going on.
 

Related Threads for: Topology - quotient spaces

  • Last Post
Replies
3
Views
548
Replies
1
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
0
Views
922
  • Last Post
Replies
7
Views
884
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
10
Views
2K
Replies
2
Views
3K
Top