Register to reply

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

Share this thread:
Jan1-13, 03:35 PM
P: 455
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.
Phys.Org News Partner Science news on
Sapphire talk enlivens guesswork over iPhone 6
Geneticists offer clues to better rice, tomato crops
UConn makes 3-D copies of antique instrument parts
Jan6-13, 06:16 AM
P: 455
Got some answers to this on It turns out there ARE continuous bijections ℝ^2×ℝ^2×ℝ^2/E+(2) -> ℝ^3.

Register to reply

Related Discussions
Does f(x) being continuous affect |f(x)| being continuous and vice versa? Calculus & Beyond Homework 7
Linear function F continuous somewhere, to prove continuous everywhere Calculus & Beyond Homework 5
How to prove that the composition of injection is an injection? Calculus & Beyond Homework 1
Is the anti-derivative of a continuous function continuous? Calculus 13
Continuous limited function, thus uniformly continuous Calculus & Beyond Homework 0