Constructing Explicit Deformation Retractions

  • Context: Graduate 
  • Thread starter Thread starter Anonymous217
  • Start date Start date
  • Tags Tags
    Deformation Explicit
Click For Summary
SUMMARY

This discussion focuses on constructing explicit deformation retractions, specifically for the space \(\mathbb{R}^n - \{0\}\) to the sphere \(S^{n-1}\). The mapping defined as \(F(x,t) = \left(\frac{x_1}{t||x||+(1-t)}, \ldots, \frac{x_n}{t||x||+(1-t)}\right)\) serves as a deformation retraction, where \(F(x,0) = x\) and \(F(x,1) = \frac{x}{|x|}\). The challenge lies in understanding the intuition behind the mapping, particularly the role of the term \((1-t)\) in the construction. The discussion highlights the difficulty in deriving such mappings despite grasping the underlying concepts of homotopies.

PREREQUISITES
  • Understanding of homotopies and their properties
  • Familiarity with the concept of deformation retractions
  • Basic knowledge of topology, particularly spheres and Euclidean spaces
  • Proficiency in mathematical notation and functions
NEXT STEPS
  • Study the construction of deformation retractions in more complex topological spaces
  • Explore the concept of homotopy equivalence in algebraic topology
  • Learn about the role of unit vectors in deformation retractions
  • Investigate other examples of mappings in topology, such as retracts and homotopies
USEFUL FOR

Mathematicians, particularly those specializing in topology, students studying algebraic topology, and anyone interested in the practical applications of deformation retractions in mathematical analysis.

Anonymous217
Messages
355
Reaction score
2
I don't really know why, but I'm having trouble actually building deformation retractions, although I understand the concepts behind homotopies, etc.For example, when constructing a deformation retraction for \mathbb{R}^n-\{0\} to S^{n-1}, I found that you could define the mapping F(x,t) = (\frac{x_1}{t||x||+(1-t)},...,\frac{x_n}{t||x||+(1-t)}). However, I still don't see how you can think of such a thing..
I get the idea of turning the x_ns into unit vectors, but I don't understand the intuition behind the +(1-t), etc.
Anyone want to give some advice?
 
Physics news on Phys.org
I am not sure what you would like to know. Your mapping F(x,t) is such that F(x,0)=x, hence F(.,0)=id on R^n - {0} and F(x,1)=x/|x| is in the (n-1)-sphere. This is the reason the t's and (t-1)'s are put there as they are.
 
^ Never mind; I got my answer somewhere else. But what I meant was how someone comes up with such an idea. It's easy to see that the mapping is a det. ret., but it's harder to actually produce the mapping to begin with (or what I was having trouble on anyways).
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
1K
Replies
8
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K