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

  • Context: Graduate 
  • Thread starter Thread starter pmsrw3
  • Start date Start date
  • Tags Tags
    Continuous Injection
Click For Summary
SUMMARY

The discussion centers on the mathematical problem of finding a continuous injection from the orbit space ℝ^2×ℝ^2×ℝ^2/E+(2) to ℝ^3, where E+(2) represents the group of rigid-body motions in two dimensions. The original poster expresses skepticism about the existence of such a mapping, suspecting it relates to the Borsuk–Ulam theorem. However, responses indicate that continuous bijections do exist between these spaces, contradicting the initial assumption of impossibility.

PREREQUISITES
  • Understanding of topology, specifically orbit spaces and continuous mappings.
  • Familiarity with the Borsuk–Ulam theorem and its implications in topology.
  • Knowledge of rigid-body motion groups, particularly E+(2).
  • Basic concepts of dimensionality in mathematical spaces, such as ℝ^2 and ℝ^3.
NEXT STEPS
  • Study the Borsuk–Ulam theorem in detail to understand its applications in topology.
  • Research continuous mappings and bijections in the context of topological spaces.
  • Explore the properties of the group E+(2) and its role in rigid-body motion analysis.
  • Investigate examples of continuous injections and their significance in mathematical theory.
USEFUL FOR

Mathematicians, particularly those specializing in topology, researchers in motion analysis, and students seeking to understand the implications of continuous mappings in higher-dimensional spaces.

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
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K