Continuous R^2xR^2xR^2/E^+(2) -> R^3 injection

Click For Summary
The discussion revolves around the challenge of finding a continuous injection from ℝ^2×ℝ^2×ℝ^2/E+(2) to ℝ^3 that captures rotation and translation-invariant information of an animal's movement. The original poster expresses doubt about the existence of such a mapping, suspecting it relates to the Borsuk–Ulam theorem. However, responses indicate that continuous bijections from the orbit space to ℝ^3 do exist, contradicting the initial belief. This highlights a nuanced understanding of topology in relation to motion representation. The conversation underscores the complexities of translating geometric transformations into continuous mathematical frameworks.
pmsrw3
Messages
459
Reaction score
1
This is a question that comes from my research. I know next to nothing about topology, so I'm not able to assure myself of the answer. The problem is this: I'm watching an animal move in two dimensions. At three successive points in time I have three positions, (x1,y1), (x2,y2), (x3,y3). But there are three uninteresting degrees of freedom in these numbers: two that say where it all happened and one that gives the angle you're looking at it from. In other words, I am only interested in translation and rotation-invariant aspects of the motion. Thus, the three positions are best understood not as being a point in ℝ^2×ℝ^2×ℝ^2, but in the orbit space ℝ^2×ℝ^2×ℝ^2/E+(2), E+(2) being the group of rigid-body motions in two dimensions, acting uniformly on all three positions, i.e. e in E+(2) acts on ((x1,y1), (x2,y2), (x3,y3)) to produce (e(x1,y1), e(x2,y2), e(x3,y3)).

I want to get three numbers that contain all the rotation and translation-independent information in (x1,y1), (x2,y2), (x3,y3). This is easy. I would also like the mapping to be continuous. That is, I would like to have a continuous injection from ℝ^2×ℝ^2×ℝ^2/E+(2) -> ℝ^3. This, I believe, is impossible. Am I right? I have a feeling this is basically Borsuk–Ulam, but like I said, I'm pretty ignorant of topology.

Thanks for any help.
 
Physics news on Phys.org
Got some answers to this on mathoverflow.net. It turns out there ARE continuous bijections ℝ^2×ℝ^2×ℝ^2/E+(2) -> ℝ^3.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K